• Exact computation of the expectation curves for uniform crossover 

      Chicano, Francisco; Whitley, L. Darrell; Alba-Torres, Enrique (2014-10-07)
      Uniform crossover is a popular operator used in genetic algorithms to combine two tentative solutions of a problem represented as binary strings. We use the Walsh decomposition of pseudo-Boolean functions and properties ...
    • Exact computation of the expectation curves of the bit-flip mutation using landscapes theory 

      Chicano, Francisco; Alba-Torres, Enrique (2015-09-07)
      Bit-flip mutation is a common operation when a genetic algorithm is applied to solve a problem with binary representation. We use in this paper some results of landscapes theory and Krawtchouk polynomials to exactly compute ...
    • Exact Computation of the Fitness-Distance Correlation for Pseudoboolean Functions with One Global Optimum 

      Chicano, Francisco; Alba-Torres, Enrique (2014-10-06)
      Landscape theory provides a formal framework in which combinatorial optimization problems can be theoretically characterized as a sum of a special kind of landscapes called elementary landscapes. The decomposition of the ...
    • Expressing Measurement Uncertainty in OCL/UML Datatypes 

      Fernández-Bertoa, Manuel; Moreno, Nathalie; Barquero, Gala; Burgueño, Loli; Troya, Javier; [et al.] (2018-05-31)
      Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be considered when modeling systems that manage real data. Although several modeling languages ...
    • Finding Best Compiler Options for Critical Software Using Parallel Algorithms 

      Alba, Enrique; Luque-Polo, Gabriel Jesús (2018-11-21)
      The efficiency of a software piece is a key factor for many systems. Real-time programs, critical software, device drivers, kernel OS functions and many other software pieces which are executed thousands or even millions ...
    • Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant 

      Munoz, Daniel-Jesus; Pinto, Mónica; Fuentes, Lidia (2019-10-09)
      The impact of energy consumption on the environment and the economy is raising awareness of “green” software engineering. HADAS is an eco-assistant that makes developers aware of the influence of their designs and ...
    • Foreground detection enhancement using Pearson correlation filtering 

      Domínguez-Merino, Enrique (2018-06-08)
      Foreground detection algorithms are commonly employed as an initial module in video processing pipelines for automated surveillance. The resulting masks produced by these algorithms are usually postprocessed in order to ...
    • Foreground object detection enhancement by adaptive super resolution for video surveillance 

      Molina-Cabello, Miguel A.; Elizondo, David A.; Luque-Baena, Rafael Marcos; López-Rubio, Ezequiel (2019-09-16)
      Foreground object detection is a fundamental low level task in current video surveillance systems. It is usually accomplished by keeping a model of the background at each frame pixel. Many background learning algorithms ...
    • A Formal Programming Framework for Digital Avatars 

      Pérez-Vereda, Alejandro; Canal, Carlos; Pimentel, Ernesto (2019-09-05)
      In the current IoT era, the number of smart things to interact with is raising everyday. However, each one of them precises a manual and specific configuration. In a more people-friendly scenario, smart things should adapt ...
    • Formalización de una arquitectura de computación móvil basada en Linda 

      Pérez-Vereda, Alejandro; Canal-Velasco, Jose Carlos; Pimentel, Ernesto (2019-06-19)
      Gracias a los avances y el desarrollo que está experimentando el campo de la Internet de las Cosas (Internet of Things, IoT), cada día hay más dispositivos a los que se llama inteligentes. Estos dispositivos disponen de ...
    • Gain-Reconfigurable Hybrid Metal-Graphene Printed Yagi Antenna for Energy Harvesting Applications 

      Alex-Amor, Antonio; Palomares-Caballero, Ángel; de la Fuente, Elena; Muriel-Barrado, Alfonso; Valenzuela-Valdés, Juan Francisco; [et al.] (2019-04-26)
      This paper presents a hybrid metal-graphene printed Yagi antenna with reconfigurable gain that operates in the 5.5-GHz band. The balun and the driven elements are made of copper, while the directors are made of graphene. ...
    • Game Artificial Intelligence: Challenges for the Scientific Community 

      Lara-Cabrera, Raúl; Nogueira-Collazo, Mariela; Cotta, Carlos; Fernández-Leiva, Antonio J. (2015-06-18)
      This paper discusses some of the most interesting challenges to which the games research community members may face in the área of the application of arti cial or computational intelligence techniques to the design and ...
    • Generación automática de contenido para un nuevo juego basado en el problema de los tres cuerpos 

      Gutierrez Alcoba, Alejandro; Lara-Cabrera, Raúl; Fernández-Leiva, Antonio J. (2014-06-24)
      Este trabajo presenta un algoritmo de generaci ón de contenido por procedimientos capaz de crear mapas completos para un videojuego que simula fenómenos fí sicos. El algoritmo evolutivo desarrollado intenta mejorar la ...
    • Generación de secuencias de pruebas funcionales con algoritmos bio-inspirados 

      Ferrer, Javier; Kruse, Peter M.; Chicano, Francisco; Alba, Enrique (2015-02-10)
      La generación de secuencias de pruebas dinámicas desde una especificación formal complementa los métodos tradicionales de pruebas para encontrar errores en el código fuente. En este artículo extendemos un enfoque combinatorio ...
    • Generating Effective Test Suites for Model Transformations Using Classifying Terms 

      Vallecillo, Antonio; Hilken, Frank; Burgueño, Loli; Gogolla, Martin (2016-09-27)
      Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying ...
    • Glide-Symmetric Pin Phase Shifter implemented in Gap-Waveguide Technology 

      Palomares Caballero, Ángel; Alex Amor, Antonio; Valenzuela Valdés, Juan F.; Luna Valero, Francisco; Padilla de la Torre, Pablo; [et al.] (2019-09-10)
      This paper presents a compact and low-loss waveguide phase shifter based on a pin lattice in glide- symmetric configuration. There is a significant increase in provided phase shift when using a glide-symmetric pin distribution ...
    • Goal Driven Interaction (GDI) vs. Direct Manipulation (MD), an empirical comparison 

      Carrillo-Leon, Antonio Luis; Falgueras-Cano, Juan (2015-10-19)
      This paper presents a work in process about Goal Driven Interaction (GDI), a style of interaction intended for inexperienced, infrequent and occasional users, whose main priorities are to use a system and achieve their ...
    • Gramáticas difusas de formas 

      Pérez de la Cruz, José Luis; Mandow-Andaluz, Lorenzo; López-Romero, Fernando; Ruiz-Montiel, Manuela (AEPIA, 2015)
      Presentamos una generalización difusa del concepto de computacion o derivacion en una gramática de formas. Primeramente presentamos las ideas en abstracto y posteriormente describimos una implementacion software y algunos ...
    • Green Security Plugin for Pervasive Computing using the HADAS toolkit 

      Munoz, Daniel-Jesus; Montenegro, José Antonio; Pinto, Mónica; Fuentes, Lidia (IEEE, 2017)
      Energy is a critical resource in pervasive computing devices. However, information about energy consumption is not directly accessible through software development environments, making it difficult to reuse the knowledge ...
    • GTS Families for the Flexible Composition of Graph Transformation Systems 

      Durán, Francisco; Zschaler, Steffen (2017)
      Morphisms between graph-transformation systems (GTSs) have been successfully used for the refinement, reuse, and composition of GTSs. All these uses share a fundamental problem: to be able to define a morphism, source and ...