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...

"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...

"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...

"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 ...