Buscar recursos académicos

"Owing to wake effects, the power production of each turbine in a wind farm is highly coupled to the operating conditions of the other turbines. Wind farm control strategies must take into account these couplings and pro...

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

"Reverse triggering (RT) is a dyssynchrony defned by a respiratory muscle contraction following a passive mechanical insufation. It is potentially harmful for the lung and the diaphragm, but its detection is challenging...

"Various approaches to software analysis (e.g. test input generation, software model checking) require engineers to (manually) identify a subset of a module’s methods in order to drive the analysis. Given a module to b...

"Local Field Potentials (LFPs) are easy to access electrical signals of the brain that represent the summation in the extracellular space, of currents originated within the neurons. As such, LFPs could contain infor mati...

"What should be the sensing capabilities of agents in a Multi-Agent System be to solve a problem efficiently, quickly and economicly? This question often appears when trying to solve a problem using Multi-Agent Systems. ...

"The purpose of the present article is to investigate if there exist any such set of temporal stable patterns in temporal series of meteorological variables studying series of air temperature, wind speed and direction an...

"In this paper, it is shown that an algorithm for the stabilisation of switched systems introduced by the authors is robust with respect to perturbations which are unbounded in the supremum norm, but bounded in a power-l...

"We present research work in progress that focuses on data mining tools used for helping teachers to apply a three step knowledge discovering process to diagnose students’ misunderstandings (and their causes) related ...

Evolutionary computation (EC) has been recently recognized as a research field, which studies a new type of algorithms: Evolutionary Algorithms (EAs). These algorithms process populations of solutions as opposed to most ...

"En esta tesis argumentamos que la información de trayectorias también puede ser integrada con datos GIS y OLAP, generando un marco poderoso de análisis". "In this thesis we argue that trajectory information can also ...

Niche formation allows evolutionary algorithms to be used when the location and maintenance of multiple solutions appertaining to diverse areas of the phenotypic space is required. Consequently the application field can ...

"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...

The book intends to address the important aspects of high-performance signal processing with a focus on the recent development of VLSI technology for signal processing. The editors collect much of all the research effor...

"Brain Computer Interface (BCI) or Brain Machine Interfaces (BMI), has proved the feasibility of a distinct non-biological communication channel to transmit information from the Central Nervous System (CNS) to a computer...

This work presents a systematic literature review on the application of Machine Learning algorithms in the development of effective movie recommender systems. With the increasing popularity of movie recommender systems i...

As a new promising crossover method, multiple crossovers per couple (MCPC) deserves special attention in evolutionary computing field. Allowing multiple crossovers per couple on a selected pair of parents provided an ext...

"Identificar la actividad cerebral epiléptica utilizando señales de electroencefalografía (EEG) en tiempo real es un problema difícil. Los métodos modernos de detección basados en técnicas avanzadas de aprendizaje...

"The objective of this work is to present a brief review of the control design problem for glucose regulation in T1DM. In particular, control-oriented models, and robust and time-varying controllers will be mentioned. Ch...

"Error-related potential (ErrP) are a particular type of Event-Related Potential (ERP) elicited by a person attending a recognizable error. These Electroencephalographic (EEG) signals can be used to train a gaming agent ...

"El análisis de los datos históricos es crucial para la gestión estratégica y la toma de decisiones en diferentes tipos de organizaciones, desde empresas comerciales hasta entidades gubernamentales o civiles. A difer...

"This article proposes an integrated navigation system for multiple micro aerial vehicles flying in formation. A data fusion algorithm uses measurements from an inertial measurement unit, a GPS receiver, and a camera all...