Listar Lenguajes y Ciencias de la Computación - (LCC) por título
Mostrando ítems 253-272 de 568
-
Gain-Reconfigurable Hybrid Metal-Graphene Printed Yagi Antenna for Energy Harvesting Applications
(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-Porras, Carlos
; Fernández-Leiva, Antonio José (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 ... -
GENECI: A novel evolutionary machine learning consensus-based approach for the inference of gene regulatory networks
Segura Ortiz, Adrián; Garcia-Nieto, Jose 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 ... -
Generación Automática de Contenido para Juegos de Estrategia en Tiempo Real
(Servicio de Publicaciones y Divulgación Científica, 2015)El destacado volumen de negocio a nivel mundial ha convertido a los videojuegos en el principal protagonista dentro de la industria del entretenimiento. Este hecho no ha pasado desapercibido para la comunidad científica, ... -
Generación automática de contenido para un nuevo juego basado en el problema de los tres cuerpos
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-Urbano, Francisco Javier; Kruse, Peter M.; Chicano, Francisco; Alba-Torres, 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-Moreno, Antonio Jesus; Hilken, Frank; Burgueño-Caballero, Lola; 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 ... -
Generic proof scores for the generate & check method in CafeOBJ
(2015-03-11)Generic proof scores for the generate & check method in CafeOBJ are presented. The generic proof scores codify the generate & check method as parameterized modules in the CafeOBJ language independently of specific systems ... -
Glide-Symmetric Pin Phase Shifter implemented in Gap-Waveguide Technology
Palomares-Caballero, Ángel; Alex-Amor, Antonio; Valenzuela-Valdés, Juan Francisco; Luna-Valero, Francisco; Padilla-de-la-Torre, Pablo (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
Perez-de-la-Cruz-Molina, Jose 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 ... -
Graph grammars with string-regulated rewriting
Lobo Fernández, Daniel; Vico-Vela, Francisco Jose; 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 ... -
Green Parallel Metaheuristics: Design, Implementation, and Evaluation
(UMA Editorial, 2020-09-07)Green parallel metaheuristics (GPM) is a new concept we want to introduce in this thesis. It is an idea inspired by two facts: (i) parallel metaheuristics could help as unique tools to solve optimization problems in energy ... -
Green Security Plugin for Pervasive Computing using the HADAS toolkit
Munoz, Daniel-Jesus; Montenegro-Montes, Jose Antonio; Pinto-Alarcon, Monica; 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 ... -
GreenSenti-IA: A Workflow Approach for Biodiversity Analysis in Urban Green Area Monitoring.
Benítez-Hidalgo, Antonio; García- Nieto, José; Aldana Martín, José Francisco; Cardas Ezeiza, Cristian; Aldana-Montes, José Francisco; Navas-Delgado, Ismael[et al.] (2023)
Nowadays, efficient urban planning cannot be conceived without carefully considering its ecological footprint. In particular, the smart design and monitoring of urban green areas is an important challenge in modern cities ... -
GTS Families for the Flexible Composition of Graph Transformation Systems
(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 ... -
Hacia la docencia “cloud-first” en la ingeniería de software
(2018-11-26)En 2007, no existían ni la computación en la nube como hoy la conocemos, ni los smartphones cuyo arquetipo es el iPhone de Apple. Apenas una década más adelante, Amazon Web Services controla la tercera parte de un mercado ... -
Hacia la generación automática de mecánicas de juego: un editor de reglas para Eryna
Este artículo es parte de un trabajo emergente dirigido a la creación automática de juegos de estrategia en tiempo real (RTS), lo cual incluye la generación de contenido, la creación de la inteligencia artificial del ... -
HADAS: Asistente de eco-eficiencia con repositorio de consumo energético
Muñoz, Daniel-Jesus; Pinto-Alarcon, Monica; Fuentes, Lidia (2017-09-14)
El interés por la Ingeniería del Software "verde", o sea, sensible al consumo de energía, es relativamente reciente. Su objetivo es concienciar a los desarrolladores de software de la influencia que tienen sus decisiones ... -
HADAS: tool for analysis and development of sustainable applications
Fuentes-Fernández, Lidia; Munoz Guerra, Daniel Jesús (2018-09-13)
Durante esta Conferencia Internacional, representantes del Gobierno, autoridades locales, instituciones públicas y privadas, vicerrectores de Internacionalización y talento nacional e internacional crearon un ecosistema ...