Maximum likelihood Linear Programming Data Fusion for Speaker Recognition

Biometric system performance can be improved by means of data fusion. Several kinds of information can be fused in order to obtain a more accurate classification (identification or verification) of an input sample. In this paper we present a method for computing the weights in a weighted sum fusion for score combinations, by means of a likelihood model. The maximum likelihood estimation is set as a linear programming problem. The scores are derived from a GMM classifier working on a different feature extractor. Our experimental results assesed the robustness of the system in front a changes on time (different sessions) and robustness in front a change of microphone. The improvements obtained were significantly better (error bars of two standard deviations) than a uniform weighted sum or a uniform weighted product or the best single classifier. The proposed method scales computationaly with the number of scores to be fussioned as the simplex method for linear programming.

Aplicació del Value Stream Map (VSM) en un sistema de producció de feltres insonoritzants per a l'automòbil

Actualment en el sector industrial, les organitzacions tenen el repte d'optimitzar els seus sistemes productius per a millorar en quant a preu, qualitat i nivell de servei i poder adaptar-se a les exigències dels clients (excel·lència productiva). El present anàlisi, es basa en l'optimització d'una cadena de producció de feltres insonoritzants per a l'automòbil a través de l'eliminació de les pèrdues existents (operacions que no aporten valor afegit al producte final). Per dur-ho a terme, la metodologia emprada és el Value Stream Map (VSM). El VSM és una tècnica desenvolupada sota el model de gestió de la producció Lean Manufacturing, molt visual i entenedora, permet visualitzar i entendre l'estat actual d'un procés. Aquesta, abarca a tota la organització, i te per objectiu recolzar-la en el procés de redisseny dels seus entorns productius per assolir un estat futur millor que possibiliti obtenir resultats en un periode curt de temps. L'objectiu principal de l'estudi, és aplicar l'eina VSM com a mètode per a l'eliminació de les mudes o malbarataments que impedeix la consecució d'una cadena Lean amb el cas concret d'un sistema productiu de feltres insonoritzants. En la primera part del projecte s'introdueix al lector en la teoria del pensament Lean (quins principis té i quins són els objectius) com a marc teòric. Aquí es detalla el procediment, així com les característiques per a la correcta elaboració del VSM actual, per al seu corresponent anàlisi i per a la seva representació del estat futur. En una segona part del projecte, s'exposen les etapes que constitueixen la cadena de producció d'estudi i es duu a terme l'elaboració del Value Stream Map, on es posen de manifest les ineficiències del flux que conformen la línia de producció. Per últim s'analitzen els fluxes, s'identifiquen les pèrdues de la cadena, i a partir d'aquests, es dissenyen i es proposen projectes i accions que permitin establir línies d'actuació per a un millor estat futur. L'estudi ha permés demostrar la validesa del VSM com a eina per a facilitar la consecució i assoliment de millores en la productivitat, competitivitat i rendibilitat dels diferents processos de l'organització en la línia de fabricació de feltres insonoritzats.

A programming environment having three levels of complexity for mobile robotics = Entorno de programación con tres niveles de complejidad para robótica móvil

This paper presents a programming environment for supporting learning in STEM, particularly mobile robotic learning. It was designed to maintain progressive learning for people with and without previous knowledge of programming and/or robotics. The environment was multi platform and built with open source tools. Perception, mobility, communication, navigation and collaborative behaviour functionalities can be programmed for different mobile robots. A learner is able to programme robots using different programming languages and editor interfaces: graphic programming interface (basic level), XML-based meta language (intermediate level) or ANSI C language (advanced level). The environment supports programme translation transparently into different languages for learners or explicitly on learners’ demand. Learners can access proposed challenges and learning interfaces by examples. The environment was designed to allow characteristics such as extensibility, adaptive interfaces, persistence and low software/hardware coupling. Functionality tests were performed to prove programming environment specifications. UV BOT mobile robots were used in these tests

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

A detailed stream sediment Geochemical survey in the Canoves St. Pere de Vilamajor area (Montseny massif. NE Spain)

Se ha realizado una prospección geoquímica táctica de sedimentos aluviales en el Brea de Cánoves-St. Pere de Vilamajor (Macizo del Montseny, Barcelona), como consecuencia de una exploración geoquimica estratégica de sedimentos aluviales previa, en la que se localizó un Brea anómala en Pb, Zn, Cu, As, Cd, Ni, y Co. El Brea estudiada tiene 35 km2 y esta constituida por materiales sedimentarios y volcánicos del Paleozoico, metamorfizados en mayor o menor grado e intruidos por el granito de Vallfornés, y materiales detríticos terciarios...

Classical line shapes based on analytical solutions of bimolecular trajectories in collision induced emission. II. Reactive collisions

The classical theory of collision induced emission (CIE) from pairs of dissimilar rare gas atoms was developed in Paper I [D. Reguera and G. Birnbaum, J. Chem. Phys. 125, 184304 (2006)] from a knowledge of the straight line collision trajectory and the assumption that the magnitude of the dipole could be represented by an exponential function of the inter-nuclear distance. This theory is extended here to deal with other functional forms of the induced dipole as revealed by ab initio calculations. Accurate analytical expression for the CIE can be obtained by least square fitting of the ab initio values of the dipole as a function of inter-atomic separation using a sum of exponentials and then proceeding as in Paper I. However, we also show how the multi-exponential fit can be replaced by a simpler fit using only two analytic functions. Our analysis is applied to the polar molecules HF and HBr. Unlike the rare gas atoms considered previously, these atomic pairs form stable bound diatomic molecules. We show that, interestingly, the spectra of these reactive molecules are characterized by the presence of multiple peaks. We also discuss the CIE arising from half collisions in excited electronic states, which in principle could be probed in photo-dissociation experiments.

Reactive Recruitment of Attentional Control in Math Anxiety: An ERP Study of Numeric Conflict Monitoring and Adaptation

This study uses event-related brain potentials (ERPs) to investigate the electrophysiological correlates of numeric conflict monitoring in math-anxious individuals, by analyzing whether math anxiety is related to abnormal processing in early conflict detection (as shown by the N450 component) and/or in a later, response-related stage of processing (as shown by the conflict sustained potential; Conflict-SP). Conflict adaptation effects were also studied by analyzing the effect of the previous trial"s congruence in current interference. To this end, 17 low math-anxious (LMA)and 17 high math-anxious (HMA) individuals were presented with a numerical Stroop task. Groups were extreme in math anxiety but did not differ in trait or state anxiety or in simple math ability. The interference effect of the current trial (incongruent-congruent) and the interference effect preceded by congruence and by incongruity were analyzed both for behavioral measures and for ERPs. A greater interference effect was found for response times in the HMA group than in the LMA one. Regarding ERPs, the LMA group showed a greater N450 component for the interference effect preceded by congruence than when preceded by incongruity, while the HMA group showed greater Conflict-SP amplitude for the interference effect preceded by congruence than when preceded by incongruity. Our study showed that the electrophysiological correlates of numeric interference in HMA individuals comprise the absence of a conflict adaptation effect in the first stage of conflict processing (N450) and an abnormal subsequent up-regulation of cognitive control in order to overcome the conflict (Conflict-SP). More concretely, our study shows that math anxiety is related to a reactive and compensatory recruitment of control resources that is implemented only when previously exposed to a stimuli presenting conflicting information

A Virtual Laboratory Structure for Developing Programming Labs

Virtual Laboratories are an indispensablespace for developing practical activities in a Virtual Environment. In the field of Computer and Software Engineering different types of practical activities have tobe performed in order to obtain basic competences which are impossible to achieve by other means. This paper specifies an ontology for a general virtual laboratory.The proposed ontology provides a mechanism to select the best resources needed in a Virtual Laboratory once a specific practical activity has been defined and the maincompetences that students have to achieve in the learning process have been fixed. Furthermore, the proposed ontology can be used to develop an automatic and wizardtool that creates a Moodle Classroom using the practical activity specification and the related competences.

Vulnerability of stream biota to climate change in mediterranean climate regions: a synthesis of ecological responses and conservation challenges

Freshwater species worldwide are experiencing dramatic declines partly attributable to ongoing climate change. It is expected that the future effects of climate change could be particularly severe in mediterranean climate (med-) regions, which host many endemic species already under great stress from the high level of human development. In this article, we review the climate and climate-induced changes in streams of med-regions and the responses of stream biota, focusing on both observed and anticipated ecological responses. We also discuss current knowledge gaps and conservation challenges. Expected climate alterations have already been observed in the last decades, and include: increased annual average air temperatures; decreased annual average precipitation; hydrologic alterations; and an increase in frequency, intensity and duration of extreme events, such as floods, droughts and fires. Recent observations, which are concordant with forecasts built, show stream biota of med-regions when facing climate changes tend to be displaced towards higher elevations and upper latitudes, communities tend to change their composition and homogenize, while some life-history traits seem to provide biota with resilience and resistance to adapt to the new conditions (as being short-lived, small, and resistant to low streamflow and desiccation). Nevertheless, such responses may be insufficient to cope with current and future environmental changes. Accurate forecasts of biotic changes and possible adaptations are difficult to obtain in med-regions mainly because of the difficulty of distinguishing disturbances due to natural variability from the effects of climate change, particularly regarding hydrology. Long-term studies are needed to disentangle such variability and improve knowledge regarding the ecological responses and the detection of early warning signals to climate change. Investments should focus on taxa beyond fish and macroinvertebrates, and in covering the less studied regions of Chile and South Africa. Scientists, policy makers and water managers must be involved in the climate change dialogue because the freshwater conservation concerns are huge.

Combining Generic Programming and Service-Oriented Architectures for the Effective and Timely Development of Complex e-Learning Systems

Peer-reviewed

Metacognitive presence in asynchronous online learning environments : self, mutual and hetero-regulation

Peer-reviewed