A. Hernández Encinas
University of Salamanca
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by A. Hernández Encinas.
Advances in Engineering Software | 2007
A. Hernández Encinas; L. Hernández Encinas; S. Hoya White; A. Martín del Rey; G. Rodríguez Sánchez
In this work a new model for fire front spreading based on two-dimensional cellular automata is proposed. It is a more realistic modification of the model introduced by Karafyllidis and Thanailakis (see [Karafyllidis I, Thanailakis A. A model for predicting forest fire spreading using cellular automata. Ecol Model 1997;99:87-97]), which is based on the transfer of fractional burned area. Specifically, the model proposed in this work introduces a more accurate factor of propagation from a diagonal neighbor cell and includes, in a detailed form, the rate of fire spread. Moreover, the model is useful for both homogeneous and inhomogeneous environments. Some tests have been passed in order to determine the goodness of the method.
Computer Physics Communications | 2005
Gonzalo Alvarez; A. Hernández Encinas; L. Hernández Encinas; A. Martín del Rey
The main goal of this work is to study how discrete dynamical systems can be used to design secret sharing schemes. Specifically, the proposed scheme permits to share secret color images, and it is based on bidimensional cellular automata. The main idea is to analyze how a simple reversible model of computation allows one to compute the shares and then using the reverse computation in order to recover the secret image. Moreover, the proposed scheme exhibits good statistical properties.
distributed computing and artificial intelligence | 2016
J. Bullón Pérez; A. González Arrieta; A. Hernández Encinas; A. Queiruga Dios
Textile Engineering relies increasingly on the use of computer models that seek to predict the properties and performance of certain textile structures. Those models have been using different computational tools to represent fabrics in a suitable computing environment and also to predict its final properties. Among others, the mathematical models to simulate the behavior of the studied textile structures (yarns, fabrics, kniting and nonwoven). The analysis of textile designs or structures through the Finite Element Method (FEM) has largely facilitated the prediction of their behavior of the textile structure under mechanical loads. For classification problems Artificial Neural Networks (ANNs) have proved to be a very effective tool for a quick and accurate solution. The Case-Based Reasoning (CBR) method is proposed, to complement the results of the those systems where the finite element simulation, mathematical modeling and neural networks can not be applied.
distributed computing and artificial intelligence | 2016
A. Martín del Rey; A. Hernández Encinas; J.D. Hernández Guillén; J. Martín Vaquero; A. Queiruga Dios; G. Rodríguez Sánchez
In this work a novel mathematical model to simulate malware spreading in wireless sensor networks is introduced. This is an improvement of the global model (based on a system of delayed ordinary differential equations) proposed by Zhu and Zhao in 2015 ([15]). Specifically, our model follows the individual-based paradigm which allows us to consider the particular characteristics and specifications of each element of the model.
international work-conference on the interplay between natural and artificial computation | 2015
A. Martín del Rey; A. Hernández Encinas; J. Martín Vaquero; A. Queiruga Dios; G. Rodríguez Sánchez
The mobile devices, and especially the smartphones, are exposed to the malicious effects of malware. In this sense the study, simulation and control of epidemic processes due to malware is an important issue. The main goal of this work is to introduce a new mathematical model to study the spread of a mobile computer worm. Its dynamic is governed by means of two cellular automata based on logic transition functions. Some computer simulations are shown and analyzed in order to determine how a mobile worm might spread under different conditions.
international symposium on distributed computing | 2017
J. Bullón Pérez; A. Hernández Encinas; J. Martín-Vaquero; Araceli Queiruga-Dios; A. Martínez Nova; J. Torreblanca González
The design and development of wearable biosensor systems for health monitoring has garnered lots of attention in the scientific community and the industry during the last years. The Internet of Things (IoT) enables added value services by connecting smart objects in a secure way in different applications, such as transport, health, building, energy, ecology, or industry, through multiscale integration. This paper presents a preliminary study on the design of a smart sock for dia-betic patients. This smart sock will allow monitoring diabetic patient’s health condition and temperature levels using foot temperature sensors. Sensed vital signs will be transmitted to a dedicated transmitter/receiver pair, such as a PC, PDA, or a mobile phone. It would make possible for patients to have real time information about their health condition, including foot temperature levels and therefore managing their diet and/or medication. As the market’s demand for medical information increases, this smart sock will provide a significant part of the answer for patients.
11th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2017, ISBN 978-3-319-60815-0, págs. 110-117 | 2017
Araceli Queiruga-Dios; J. Bullón Pérez; A. Hernández Encinas; J. Martín-Vaquero; A. Martínez Nova; J. Torreblanca González
Foot temperature monitoring is of great importance in diabetic patients, as they are prone to complications such as peripheral neuropathy and vascular insufficiency. In recent years, the study of different non-invasive procedures to monitor healthy indicators is growing, due to the advances in mobile devices, micro-sensors, and also wireless sensors. The health monitoring systems are used by medical staff and also by patients when they are out of the hospital, in their personal environment. This paper presents a preliminary work to identify the specific points on the feet where the temperature sensors should be positioned. We have developed an statistical analysis of the data obtained by a thermal camera from healthy people.
Integrated Computer-aided Engineering | 2016
A. Martín del Rey; A. Hernández Encinas; J. Martín Vaquero; A. Queiruga Dios; G. Rodríguez Sánchez
The main goal of this work is to propose a model for the study and analysis of malware propagation in an industrial critical infrastructure. Specifically, an individual-based mathematical model is introduced and its parameters, variables and equations are explicitly defined and constructed. This model follows the agent based modeling paradigm which makes it extremely suitable for use within the small and heterogeneous environments where individual characteristics of all devices can be captured. The main strengths of this model are its ease of computational implementation (both in hardware and software), and its ability to simulate control measures (which can be of great help for security system administrators); however, this model strongly depends on a proper identification of the parameters.
computational intelligence in security for information systems | 2015
A. Martín del Rey; A. Hernández Encinas; J. Martín Vaquero; A. Queiruga Dios; G. Rodríguez Sánchez
In this work a novel mathematical model to simulate the spatio-temporal spreading of mobile malware is introduced. It is a compartmental model where the mobile devices are grouped into two classes: susceptibles and infected devices, and the malware spreads via bluetooth. There are few models dealing with the spreading of mobile malware using bluetooth connections and all of them only study the temporal evolution. Due to the main characteristics of bluetooth it is of interest to simulate not only the temporal evolution but also the spatial spreading, and consequently, this is the main goal of this work. In our model the global dynamic is governed by means of a system of difference equations and the transmission vector is defined by the bluetooth connections. Explicit conditions for spreading are given in terms of the number of susceptible individuals at a particular time step. These could serve as a basis for design control strategies.
Archive | 2007
A. Hernández Encinas; S. Hoya White; A. Martín del Rey; G. Rodríguez Sánchez; Fernández Ballesteros