Buscar recursos académicos

The active use and manipulation of visual representations makes many complex and intensive cognitive tasks feasible. A visual representation is able to convey relationships among many elements in parallel and it provides...

This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on th...

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

"Material Jetting technology has proven to be very useful in the manufacture of parts with a variety of shapes, consistencies, textures, transparencies and colours, and a great diversity of mechanical properties can be a...

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

"This work proposes a novel data-driven distributed formation-control approach based on multi-population evolutionary games, which is structured in a leader-follower scheme. The methodology considers a time-varying commu...

"We report experimental results of the speed-density relation emerging in pedestrian dynamics when individuals keep a prescribed safety distance among them. To this end, we characterize the movement of a group of people ...

"Herein, we describe the syntheses of 3,5-disubstituted imidazo[2,1-b]thiazole. The cyclization step was performed in two different conditions by using either thermal or microwave heating. Comparing the results of both m...

"Despite the enormous benefit that has accrued to society from control technology and the continuedvitality of control science as a research field, there is broad consensus that the practitioners of control andthe academ...

"In the present study we explored the post-learning changes in a novel word’s definition using a cue-induced memory reactivation. Native speakers of Spanish (N=373) learned low-frequency words with their corresponding ...

"The phenomenon of phase inversion occurs in liquid-liquid dispersions found in a variety of chemical engineering fields. From simple oil-water mixtures to complex polymeric systems, the operating variables that affect...

"In this Letter, we present, for the first time, to the best of our knowledge, the modulation instability (MI) gain spectrum of waveguides with an arbitrary frequency-dependent nonlinear coefficient ensuring strict energ...

"This work presents a multi-unmanned aerial vehicle formation implementing a trajectory-following controller based on the clusterspace robot coordination method. The controller is augmented with a feed-forward input from...

"This work described the preparation and characterization of water insoluble chitosan derivatives as lead adsorbents. In highly regioselective reactions, N-substituted crosslinked chitosan derivatives were obtained by cr...

"We have recently introduced a new modeling equation for the propagation of pulses in optical waveguides, the photon-conserving Nonlinear Schrödinger Equation (pcNLSE) which, unlike the canonical NLSE, guarantees strict...

The term Federated Databases refers to the data integration of distributed, autonomous and heterogeneous databases. However, a federation can also include information systems, not only databases. At integrating data, sev...

The paper presents a formal model for a knowledge repository shared by members of a Virtual Community of Practice (VCPs), describes how the repository can be used to underpin collaborative problem solving, and how to bui...

In the design of activities for Web-Based Education Systems, the concept of Didactic Object or Learning Object, has appeared as the axis of a new paradigm concerned with the reusability of contents and activities, due to...

"Graph databases are becoming increasingly popular for modeling different kinds of networks for data analysis. They are built over the property graph data model, where nodes and edges are annotated with property-value p...

In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to de...