Listar Lenguajes y Ciencias de la Computación - (LCC) por título
Mostrando ítems 273-292 de 676
-
Evolution Oriented Monitoring oriented to Security Properties for Cloud Applications
(2018-09-26)Internet is changing from an information space to a dynamic computing space. Data distribution and remotely accessible software services, dynamism, and autonomy are prime attributes. Cloud technology offers a powerful ... -
Evolutionary algorithm for prioritized pairwise test data generation
(2014-10-07)Combinatorial Interaction Testing (CIT) is a technique used to discover faults caused by parameter interactions in highly configurable systems. These systems tend to be large and exhaustive testing is generally impractical. ... -
Evolutionary algorithms for the multi-objective test data generation problem
(2014-10-03)Automatic test data generation is a very popular domain in the field of search-based software engineering. Traditionally, the main goal has been to maximize coverage. However, other objectives can be defined, such as the ... -
Evolutionary Development based on Genetic Regulatory Models for Behavior-Finding
(Universidad de Málaga, Servicio de Publicaciones, 2014)This thesis investigates the role, implications, and applications of a genetic-regulated developmental process in evolution. A novel formalism of string-regulated graph grammar, as an abstraction of biological development, ... -
Evolutionary development of tensegrity structures
(Elsevier, 2010)Contributions from the emerging fields of molecular genetics and evo-devo (evolutionary developmental biology) are greatly benefiting the field of evolutionary computation, initiating a promise of renewal in the traditional ... -
Evolutionary Interactive Bot for the FPS Unreal Tournament 2004
(2015-06-18)This paper presents an interactive genetic algorithm for generating a human-like autonomous player (bot) for the game Unreal Tournament 2004. It is based on a bot modelled from the knowledge of an expert human player. ... -
Evolver: Meta-optimizing multi-objective metaheuristics.
(Elsevier, 2023-10-10)Evolver is a tool based on the formulation of the automatic configuration and design of multi-objective metaheuristics as a multi-objective optimization problem that can be solved by using the same kind of algorithms; i.e., ... -
Evolving Aesthetic Maps for a Real Time Strategy Game
(2013-09-13)This paper presents a procedural content generator method that have been able to generate aesthetic maps for a real-time strategy game. The maps has been characterized based on several of their properties in order to ... -
Evolving Complexity and Similarity in an Artificial Life Framework based on Formal Language Theory
(Universidad de Málaga, Servicio de Publicaciones y Divulgacion Cientifica, 2013)In this thesis, a formal framework where the evolution of biological complexity can be studied in an objective way is defined. That objectivity is due to state complexity for regular languages is used and it is a well-known ... -
Evolving under small disruption
(2013-12-02)We extend the edit operators of substitution, deletion, and insertion of a symbol over a word by introducing two new operators (partial copy and partial elimination) inspired by biological gene duplication. We de ne a ... -
Exact computation of the expectation curves for uniform crossover
(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
(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 expectation surfaces for uniform crossover along with bit-flip mutation
(2014-09-29)Uniform crossover and bit-flip mutation are two popular operators used in genetic algorithms to generate new solutions in an iteration of the algorithm when the solutions are represented by binary strings. We use the Walsh ... -
Exact Computation of the Fitness-Distance Correlation for Pseudoboolean Functions with One Global Optimum
(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 ... -
Experiencia con una herramienta de pruebas de caja negra para el aprendizaje de asignaturas de programación en evaluación continua
(2017-07-12)La programación es una de las materias requeridas en la gran mayoría de los grados actuales con perfil tecnológico, siendo un aspecto crítico en cualquiera de los Grados en Ingeniería Informática. Aprender a programar requiere ... -
Experimental measurement system and neural network model to simulate photovoltaic modules
(UMA Editorial, 2019-12-20)El objetivo de esta tesis es el desarrollo de una metodología de medida, caracterización y simulación de módulos fotovoltaicos que pueda ser de utilidad para los investigadores e ingenieros del campo de la tecnología solar ... -
Explainable clinical coding with in-domain adapted transformers
(Elsevier, 2023)Background and Objective: Automatic clinical coding is a crucial task in the process of extracting relevant in-formation from unstructured medical documents contained in Electronic Health Records (EHR). However, most of ... -
Explotación de la semántica de dominio orientada a la integración, estandarización y análisis de datos.
(UMA Editorial, 2024)Esta Tesis de Doctorado se centra en la generación de nuevas ontologías y modelos semánticos, motivada por la necesidad de avanzar en su comprensión y aplicación en distintos dominios. Se busca explorar a fondo su potencial ... -
Expressing Measurement Uncertainty in OCL/UML Datatypes
(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 ... -
Extending model checkers for hybrid system verification: the case study of SPIN.
(Willey, 2013-07-26)A hybrid system is a system that evolves following a continuous dynamic, which may instantaneously change when certain internal or external events occur. Due to this combination of discrete and continuous dynamics, the ...