An Improved Hybrid Model for the Generic Hoist Scheduling Problem

Peer-reviewed

The continuous wavelet transform as a maximum entropy solution of the corresponding inverse problem

The continuous wavelet transform is obtained as a maximumentropy solution of the corresponding inverse problem. It is well knownthat although a signal can be reconstructed from its wavelet transform,the expansion is not unique due to the redundancy of continuous wavelets.Hence, the inverse problem has no unique solution. If we want to recognizeone solution as "optimal", then an appropriate decision criterion hasto be adopted. We show here that the continuous wavelet transform is an"optimal" solution in a maximum entropy sense.

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

An experience beyond continuous assessment activities: virtual tour to the medieval medicinal plant garden of the Pedralbes monastery

[eng] The group of teaching innovation in the area of Botany (GIBAF), University of Barcelona (UB), is raised each year to design new accreditation activities under continuous evaluation framework. We present the experience carried out during the academic year 2008-09 in the course of Pharmaceutical Botany. The aim has been to involve students for a semester in the authorship of a tutored project immediately useful and of easy permanence, beyond its assessment proving usefulness. The Medicinal Plants Garden of the Monastery of Pedralbes has been used as a resource and a collaboration agreement has been signed between the UB faculty and the Institute of Culture of Barcelona. The students have developed the work using the Moodle platform CampusvirtualUB into five stages which included preparation of files by students that have been modified in some steps following the various feedbacks from teachers. At the beginning of the activity, students were provided with a complete schedule of activities, the schedule for its implementation, and a total of 18 forced-use library resources. Finally, through Google sites, a website has been implemented, allowing for a virtual tour of the garden, documenting by referenced literature 50 medicinal plants for their nomenclature, botanical description, distribution, uses historical, current and future) and toxicity. The result of the activity was presented at a public ceremony in the Monastery of Pedralbes and is available at: http://sites.google.com/site/jardimedievalpedralbes/ [spa] El grupo de innovación docente integrado por profesores del área de Botánica (GIBAF) de la Universidad de Barcelona (UB) se plantea cada curso el diseño de nuevas actividades acreditativas en el marco de la evaluación continuada. Se presenta la experiencia llevada a cabo durante el curso 2008-09 en la asignatura Botánica Farmacéutica. El objetivo ha sido implicar durante un semestre a los estudiantes en la autoría de un proyecto tutorizado de inmediata utilidad y clara perdurabilidad, más allá de su utilidad acreditativa. Como recurso se ha utilizado el Jardín de Plantas Medicinales del Monasterio de Pedralbes y se ha firmado un convenio de colaboración docente entre la UB y el Instituto de Cultura de Barcelona. Los estudiantes han realizado el trabajo utilizando la plataforma Moodle del Campus virtual de la UB en cinco etapas que han incluido la confección de unas fichas que se han ido modificando en función de las diversas retroacciones de los profesores. Al inicio de la actividad, se facilitó a los estudiantes el cronograma completo de la actividad, la pauta para su realización, así como un total de 18 recursos bibliográficos de uso obligado. Finalmente, a través de GoogleSites, se ha realizado una web que permite realizar un paseo virtual por el jardín, documentando de forma referenciada para las 50 plantas medicinales su nomenclatura, descripción botánica, distribución, usos (históricos, actuales y futuros) y toxicidad. El resultado de la actividad fue presentado en un acto público en el Monasterio de Pedralbes y puede consultarse en: http://sites.google.com/site/jardimedievalpedralbes/

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

The differentiable chain functor is not homotopy equivalent to the continuous chain functor

Let $S_*$ and $S_*^\{infty}$ be the functors of continuous and differentiable singular chains on the category of differentiable manifolds. We prove that the natural transformation $i: S_*^\infty \rightarrow S_*$, which induces homology equivalences over each manifold, is not a natural homotopy equivalence.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.

Mueller matrix microscope with a dual continuous rotating compensator setup and digital demodulation

In this paper we describe a new Mueller matrix (MM) microscope that generalizes and makes quantitative the polarized light microscopy technique. In this instrument all the elements of the MU are simultaneously determined from the analysis in the frequency domain of the time-dependent intensity of the light beam at every pixel of the camera. The variations in intensity are created by the two compensators continuously rotating at different angular frequencies. A typical measurement is completed in a little over one minute and it can be applied to any visible wavelength. Some examples are presented to demonstrate the capabilities of the instrument.

Bases cerebrales de la atención sostenida y la memoria de trabajo: un estudio de resonancia magnética funcional basado en el Continuous Performance Test

Introducción. Uno de los paradigmas más utilizados en el estudio de la atención es el Continuous Performance Test (CPT). La versión de pares idénticos (CPT-IP) se ha utilizado ampliamente para evaluar los déficits de atención en los trastornos del neurodesarrollo, neurológicos y psiquiátricos. Sin embargo, la localización de la activación cerebral de las redes atencionales varía significativamente según el diseño de resonancia magnética funcional (RMf) usado. Objetivo. Diseñar una tarea para evaluar la atención sostenida y la memoria de trabajo mediante RMf para proporcionar datos de investigación relacionados con la localización y el papel de estas funciones. Sujetos y métodos. El estudio contó con la participación de 40 estudiantes, todos ellos diestros (50%, mujeres; rango: 18-25 años). La tarea de CPT-IP se diseñó como una tarea de bloques, en la que se combinaban los períodos CPT-IP con los de reposo. Resultados. La tarea de CPT-IP utilizada activa una red formada por regiones frontales, parietales y occipitales, y éstas se relacionan con funciones ejecutivas y atencionales. Conclusiones. La tarea de CPT-IP utilizada en nuestro trabajo proporciona datos normativos en adultos sanos para el estudio del sustrato neural de la atención sostenida y la memoria de trabajo. Estos datos podrían ser útiles para evaluar trastornos que cursan con déficits en memoria de trabajo y en atención sostenida.

Exit times in non-Markovian drifting continuous-time random-walk processes

By appealing to renewal theory we determine the equations that the mean exit time of a continuous-time random walk with drift satisfies both when the present coincides with a jump instant or when it does not. Particular attention is paid to the corrections ensuing from the non-Markovian nature of the process. We show that when drift and jumps have the same sign the relevant integral equations can be solved in closed form. The case when holding times have the classical Erlang distribution is considered in detail.

Monotonic continuous-time random walks with drift and stochastic reset events

In this paper we consider a stochastic process that may experience random reset events which suddenly bring the system to the starting value and analyze the relevant statistical magnitudes. We focus our attention on monotonic continuous-time random walks with a constant drift: The process increases between the reset events, either by the effect of the random jumps, or by the action of the deterministic drift. As a result of all these combined factors interesting properties emerge, like the existence (for any drift strength) of a stationary transition probability density function, or the faculty of the model to reproduce power-law-like behavior. General formulas for two extreme statistics, the survival probability, and the mean exit time, are also derived. To corroborate in an independent way the results of the paper, Monte Carlo methods were used. These numerical estimations are in full agreement with the analytical predictions.

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.

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

Peer-reviewed