Listar LCC - Artículos por título
Mostrando ítems 104-123 de 237
-
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
Oakes, Bentley James; Troya-Castilla, Javier
; Galasso, Jessie; Wimmer, Manuel (Springer Nature, 2023-09-29)
The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation. Many approaches for checking properties of model transformations have been ... -
FIMED: Flexible management of biomedical data
Hurtado-Requena, Sandro José; García-Nieto, José Manuel; Navas-Delgado, Ismael; Aldana-Montes, José Francisco (Elsevier, 2021-11)
Background and objectives: In the last decade, clinical trial management systems have become an essential support tool for data management and analysis in clinical research. However, these clinical tools have design ... -
Fitness function distributions over generalized search neighborhoods in the q-ary hypercube
Sutton, Andrew M.; Chicano-García, José-Francisco; Whitley, L. Darrell (2014-10-03)
The frequency distribution of a fitness function over regions of its domain is an important quantity for understanding the behavior of algorithms that employ randomized sampling to search the function. In general, exactly ... -
FM fact label
Horcas-Aguilera, José Miguel; Galindo-Gómez, José; Fuentes-Fernández, Lidia; Benavides, David (Elsevier, 2024)
FM Fact Label is a tool for visualizing the characterizations of feature models based on their metadata, structural measures, and analytical metrics. Although there are various metrics available to characterize feature ... -
Foreground detection by competitive learning for varying input distributions
López-Rubio, Ezequiel; Molina-Cabello, Miguel Ángel; Luque-Baena, Rafael Marcos; Domínguez-Merino, Enrique (World Scientific Publishing, 2018)
One of the most important challenges in computer vision applications is the background modeling, especially when the background is dynamic and the input distribution might not be stationary, i.e. the distribution of the ... -
Foreground detection by probabilistic modeling of the features discovered by stacked denoising autoencoders in noisy video sequences
García-González, Jorge; Ortiz-de-Lazcano-Lobato, Juan Miguel; Luque-Baena, Rafael Marcos; Molina-Cabello, Miguel Ángel; López-Rubio, Ezequiel (2019-06-07)
A robust foreground detection system is presented, which is resilient to noise in video sequences. The proposed model divides each video frame in patches that are fed to a stacked denoising autoencoder, which is responsible ... -
Fractal structure of the soliton scattering for the graphene superlattice equation
Martín-Vergara, Francisca; Rus-Mansilla, Francisco de Asís; Villatoro-Machuca, Francisco Román (Elsevier, 2021-10)
The graphene superlattice equation, a modified sine-Gordon equation, governs the propagation of solitary electromagnetic waves in a graphene superlattice. This equation has kink solutions without explicit analytical ... -
Functions as a service for distributed deep neural network inference over the cloud-to-things continuum
Bueno Calvente, Altair; Rubio-Muñoz, Bartolomé; Martín-Fernández, Cristian; Díaz-Rodríguez, Manuel (Wiley, 2024-02-11)
The use of serverless computing has been gaining popularity in recent years as an alternative to traditional Cloud computing. We explore the usability and potential development benefits of three popular open-source serverless ... -
GENECI: A novel evolutionary machine learning consensus-based approach for the inference of gene regulatory networks
Segura Ortiz, Adrián; García-Nieto, José Manuel; Aldana-Montes, José Francisco; Navas-Delgado, Ismael (Elsevier, 2023)
Gene regulatory networks define the interactions between DNA products and other substances in cells. Increasing knowledge of these networks improves the level of detail with which the processes that trigger different ... -
Getting the most from map data structures in Android
(Springer, 2018)A map is a data structure that is commonly used to store data as key–value pairs and retrieve data as keys, values, or key–value pairs. Although Java offers different map implementation classes, Android SDK offers other ... -
Global WASF-GA: An Evolutionary Algorithm in Multiobjective Optimization to Approximate the Whole Pareto Optimal Front
Saborido Infantes, Rubén; Ruiz-Mora, Ana Belén; Luque-Gallego, Mariano (MIT Press Direct, 2016)
In this article, we propose a new evolutionary algorithm for multiobjective optimization called Global WASF-GA (global weighting achievement scalarizing function genetic algorithm), which falls within the aggregation-based ... -
Graph grammars with string-regulated rewriting
Lobo Fernández, Daniel; Vico-Vela, Francisco José; Dassow, Jürgen (Elsevier, 2011)
Multicellular organisms undergo a complex developmental process, orchestrated by the genetic information in their cells, in order to form a newborn individual from a fertilized egg. This complex process, not completely ... -
How do preschoolers interact with peers? Characterising child and group behaviour in games with tangible interfaces in school
Barros-Blanco, Beatriz; Triviño-Rodríguez, José Luis; Trella-López, Mónica; Marco Rubio, Javier (Elsevier, 2022-09)
Learning social skills is an important part of the socialisation process of children, which should occur at school, at home and in any place where children live. There are very few studies on social interaction and ... -
HybridCISave: A Combined Build and Test Selection Approach in Continuous Integration.
Jin, Xianhao; Servant-Cortés, Francisco Javier (Association for Computing Machinery (ACM), 2023-05-26)
Continuous integration (CI) is a popular practice in modern software engineering. Unfortunately, it is also a high-cost practice — Google and Mozilla estimate their CI systems in millions of dollars. To reduce the computational ... -
Immune system for the internet of things using edge technologies
Román-Castro, Rodrigo; Ríos-del-Pozo, Rubén; Onieva-González, José Antonio; López-Muñoz, Francisco Javier (2018-08-29)
The Internet of Things (IoT) and Edge Computing are starting to go hand in hand. By providing cloud services close to end-users, edge paradigms enhance the functionality of IoT deployments, and facilitate the creation ... -
Improved detection of small objects in road network sequences using CNN and super resolution
The detection of small objects is one of the problems present in deep learning due to the context of the scene or the low number of pixels of the objects to be detected. According to these problems, current pre-trained ... -
Injecting domain knowledge in multi-objective optimization problems: A semantic approach.
Barba-González, Cristóbal; Nebro-Urbaneja, Antonio Jesús; García-Nieto, José Manuel; Roldán-García, María del Mar; Navas-Delgado, Ismael; Aldana-Montes, José Francisco[et al.] (Elsevier, 2021-05-15)
In the field of complex problem optimization with me-taheuristics, semantics has been used for modeling different aspects, such as: problem characterization, parameters, decision-maker's preferences, or algorithms. However, ... -
Integrating Blockchain in safety-critical systems: an application to the nuclear industry
Díaz, Manel; Soler-Castillo, Enrique; Llopis-Torres, Luis Manuel; Trillo, Joaquín (IEEE, 2020-10)
Safety-Critical Systems (SCSs) often manage sensible data that must be trustworthy, especially in many cases in which different actors participate whose interests may not coincide. Blockchain is a disruptive technology ... -
Integrating FMI and ML/AI models on the open-sourcedigital twin framework OpenTwins
Infante, Sergio; Martín-Fernández, Cristian; Robles, Julia; Rubio-Muñoz, Bartolomé; Díaz-Rodríguez, Manuel; González Perea, Rafael; Montesinos, Pilar; Camacho Poyato, Emilio[et al.] (Wiley, 2024-03-24)
The realm of digital twins is experiencing rapid growth and presents a wealth ofopportunities for Industry 4.0. In conjunction with traditional simulation meth-ods, digital twins offer a diverse range of possibilities. ...