The cave-like sense organ in the antennae of Triatominae bugs

In the second segment of the antennae of haematophagous reduviids an unusual cave-like organ is found the function os which was investigated in Triatoma infestans. the morphology of the organ makes it difficult to ascribe it to a mechno- or chemoreceptive function, but shows some characteristics shared with thermoreceptors of other animals. The electrical activity of sense cells was recorded in the presence of stimuli that evoke behavioural responses in this species, i.e. warm, CO2, lactic and butyric acids at different concentrations. The three compounds tested failed to evoke a response at all concentrations assayed. Only thermal stimulation evinced a clear modification in the electrical activity of the sense cells.Both the morphological and electrophysiological findings support a thermoreceptive finding, habitat selection and circadian synchronization.

Estudi de la reformació amb vapor de biocombustibles per a l'obtenció d'hidrogen utilitzant suports estructurats ceràmics funcionalitzats

Donada una aplicació racional en una varietat complexa, Bellon i Viallet van definit l’entropia algebraica d’aquesta aplicació i van provar que aquest valor és un invariant biracional. Un invariant biracional equivalent és el grau asimptòtic, grau dinàmic o complexitat, definit per Boukraa i Maillard. Aquesta noció és propera a la complexitat definida per Arnold. Conjecturalment, el grau asimptòtic satisfà una recurrència lineal amb coeficients enters. Aquesta conjectura ha estat provada en el cas polinòmic en el pla afí complex per Favre i Jonsson i resta oberta en per al cas projectiu global i per al cas local. L’estudi de l’arbre valoratiu de Favre i Jonsson ha resultat clau per resoldre la conjectura en el cas polinòmic en el pla afí complex. El beneficiari ha estudiat l’arbre valoratiu global de Favre i Jonsson i ha reinterpretat algunes nocions i resultats des d’un punt de vista més geomètric. Així mateix, ha estudiat la demostració de la conjectura de Bellon – Viallet en el cas polinòmic en el pla afí complex com a primer pas per trobar una demostració en el cas local i projectiu global en estudis futurs. El projecte inclou un estudi detallat de l'arbre valoratiu global des d'un punt de vista geomètric i els primers passos de la demostració de la conjectura de Bellon - Viallet en el cas polinòmic en el pla afí complex que van efectuar Favre i Jonsson.

Aspectes geomètrics i dinàmics de transformacions racionals planes

Donada una aplicació racional en una varietat complexa, Bellon i Viallet van definit l’entropia algebraica d’aquesta aplicació i van provar que aquest valor és un invariant biracional. Un invariant biracional equivalent és el grau asimptòtic, grau dinàmic o complexitat, definit per Boukraa i Maillard. Aquesta noció és propera a la complexitat definida per Arnold. Conjecturalment, el grau asimptòtic satisfà una recurrència lineal amb coeficients enters. Aquesta conjectura ha estat provada en el cas polinòmic en el pla afí complex per Favre i Jonsson i resta oberta en per al cas projectiu global i per al cas local. L’estudi de l’arbre valoratiu de Favre i Jonsson ha resultat clau per resoldre la conjectura en el cas polinòmic en el pla afí complex. El beneficiari ha estudiat l’arbre valoratiu global de Favre i Jonsson i ha reinterpretat algunes nocions i resultats des d’un punt de vista més geomètric. Així mateix, ha estudiat la demostració de la conjectura de Bellon – Viallet en el cas polinòmic en el pla afí complex com a primer pas per trobar una demostració en el cas local i projectiu global en estudis futurs. El projecte inclou un estudi detallat de l'arbre valoratiu global des d'un punt de vista geomètric i els primers passos de la demostració de la conjectura de Bellon - Viallet en el cas polinòmic en el pla afí complex que van efectuar Favre i Jonsson.

Patient-ventilator asynchrony during noninvasive ventilation: a bench and clinical study.

BACKGROUND: Different kinds of ventilators are available to perform noninvasive ventilation (NIV) in ICUs. Which type allows the best patient-ventilator synchrony is unknown. The objective was to compare patient-ventilator synchrony during NIV between ICU, transport-both with and without the NIV algorithm engaged-and dedicated NIV ventilators. METHODS: First, a bench model simulating spontaneous breathing efforts was used to assess the respective impact of inspiratory and expiratory leaks on cycling and triggering functions in 19 ventilators. Second, a clinical study evaluated the incidence of patient-ventilator asynchronies in 15 patients during three randomized, consecutive, 20-min periods of NIV using an ICU ventilator with and without its NIV algorithm engaged and a dedicated NIV ventilator. Patient-ventilator asynchrony was assessed using flow, airway pressure, and respiratory muscles surface electromyogram recordings. RESULTS: On the bench, frequent auto-triggering and delayed cycling occurred in the presence of leaks using ICU and transport ventilators. NIV algorithms unevenly minimized these asynchronies, whereas no asynchrony was observed with the dedicated NIV ventilators in all except one. These results were reproduced during the clinical study: The asynchrony index was significantly lower with a dedicated NIV ventilator than with ICU ventilators without or with their NIV algorithm engaged (0.5% [0.4%-1.2%] vs 3.7% [1.4%-10.3%] and 2.0% [1.5%-6.6%], P < .01), especially because of less auto-triggering. CONCLUSIONS: Dedicated NIV ventilators allow better patient-ventilator synchrony than ICU and transport ventilators, even with their NIV algorithm. However, the NIV algorithm improves, at least slightly and with a wide variation among ventilators, triggering and/or cycling off synchronization.

A study on the expressive power of some fragments of the modal µ-Calculus

Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.

Anàlisi del desenvolupament floral d'un arbust mediterrani, la Globularia alypum, en poblacions costaneres i continentals

En aquest projecte s’ha estudiat la fenologia de floració de nou poblacions de G.alypum, un arbust de fulla perenne típic dels ambients termòfils de l’oest de l’Àrea Mediterrània, situades en diferents localitats de Catalunya. Aquesta espècie té una fenologia de la floració molt variable entre poblacions, ja que poden florir des de l’estiu tardà - tardor primerenca fins a la primavera següent depenent de la població. Es distingeixen dos grups de població, el de floració primerenca i el floració tardana. Les poblacions primerenques creixen, majoritàriament, a les localitats costaneres i floreixen des de setembre fins a novembre. Les poblacions tardanes creixen a les localitats d’interior i floreixen des de febrer fins a abril. En aquest treball es pretén millorar la comprensió sobre les diferències geogràfiques dels patrons de la fenologia floral entre les poblacions de G. alypum. Unes diferències que ja es manifesten al juliol, quan el desenvolupament floral es troba en els seus estadis preliminars. Alhora, en els mesos posteriors, l’increment del desenvolupament floral de les poblacions de G. alypum s’ha correlacionat positivament amb la temperatura mínima del mes de desembre. En aquest projecte també es pretén aprofundir en el coneixement sobre el desenvolupament floral d’aquesta espècie, descriure’n els diferents estadis i trobar un indicador adient per realitzar anàlisis estadístics. Uns aspectes gens banals tenint en compte la importància ecològica de la floració, sobretot en la seva sincronització amb el cicle vital dels pol·linitzadors així com en la seva importància adaptativa.

Visual stimulus-dependent changes in interhemispheric EEG coherence in humans.

We analyzed the coherence of electroencephalographic (EEG) signals recorded symmetrically from the two hemispheres, while subjects (n = 9) were viewing visual stimuli. Considering the many common features of the callosal connectivity in mammals, we expected that, as in our animal studies, interhemispheric coherence (ICoh) would increase only with bilateral iso-oriented gratings located close to the vertical meridian of the visual field, or extending across it. Indeed, a single grating that extended across the vertical meridian significantly increased the EEG ICoh in normal adult subjects. These ICoh responses were obtained from occipital and parietal derivations and were restricted to the gamma frequency band. They were detectable with different EEG references and were robust across and within subjects. Other unilateral and bilateral stimuli, including identical gratings that were effective in anesthetized animals, did not affect ICoh in humans. This fact suggests the existence of regulatory influences, possibly of a top-down kind, on the pattern of callosal activation in conscious human subjects. In addition to establishing the validity of EEG coherence analysis for assaying cortico-cortical connectivity, this study extends to the human brain the finding that visual stimuli cause interhemispheric synchronization, particularly in frequencies of the gamma band. It also indicates that the synchronization is carried out by cortico-cortical connection and suggests similarities in the organization of visual callosal connections in animals and in man.

Sky Net : sistema de sincronización y control de versiones de documentos on-line

La función de la aplicación Sky Net (un sistema de control de versiones y sincronización de documentos on-line) será la de ofrecer un conjunto de herramientas capaces de establecer una comunicación cliente-servidor de forma transparente utilizando carpetas del disco duro. De esta forma el usuario final podrá tener todos sus documentos guardados en un servidor, poderlos recuperar en el momento que se desee, y tener los mismos documentos en todas las estaciones de trabajo que estén conectadas a la aplicación. Además se le añade una función de control de versiones que permitirá guardar el contenido de una carpeta bajo un identificador (nombre o versión), y poderlo recuperar más adelante aunque ya hayamos hecho modificaciones en los documentos de dicha carpeta. El proyecto se compone de dos aplicaciones: Sky Catcher, la aplicación cliente, y Sky Node, la aplicación servidor.

RADIC: un middleware de tolerancia a fallos que preserva el rendimiento

La tolerancia a fallos es una línea de investigación que ha adquirido una importancia relevante con el aumento de la capacidad de cómputo de los súper-computadores actuales. Esto es debido a que con el aumento del poder de procesamiento viene un aumento en la cantidad de componentes que trae consigo una mayor cantidad de fallos. Las estrategias de tolerancia a fallos actuales en su mayoría son centralizadas y estas no escalan cuando se utiliza una gran cantidad de procesos, dado que se requiere sincronización entre todos ellos para realizar las tareas de tolerancia a fallos. Además la necesidad de mantener las prestaciones en programas paralelos es crucial, tanto en presencia como en ausencia de fallos. Teniendo en cuenta lo citado, este trabajo se ha centrado en una arquitectura tolerante a fallos descentralizada (RADIC – Redundant Array of Distributed and Independant Controllers) que busca mantener las prestaciones iniciales y garantizar la menor sobrecarga posible para reconfigurar el sistema en caso de fallos. La implementación de esta arquitectura se ha llevado a cabo en la librería de paso de mensajes denominada Open MPI, la misma es actualmente una de las más utilizadas en el mundo científico para la ejecución de programas paralelos que utilizan una plataforma de paso de mensajes. Las pruebas iniciales demuestran que el sistema introduce mínima sobrecarga para llevar a cabo las tareas correspondientes a la tolerancia a fallos. MPI es un estándar por defecto fail-stop, y en determinadas implementaciones que añaden cierto nivel de tolerancia, las estrategias más utilizadas son coordinadas. En RADIC cuando ocurre un fallo el proceso se recupera en otro nodo volviendo a un estado anterior que ha sido almacenado previamente mediante la utilización de checkpoints no coordinados y la relectura de mensajes desde el log de eventos. Durante la recuperación, las comunicaciones con el proceso en cuestión deben ser retrasadas y redirigidas hacia la nueva ubicación del proceso. Restaurar procesos en un lugar donde ya existen procesos sobrecarga la ejecución disminuyendo las prestaciones, por lo cual en este trabajo se propone la utilización de nodos spare para la recuperar en ellos a los procesos que fallan, evitando de esta forma la sobrecarga en nodos que ya tienen trabajo. En este trabajo se muestra un diseño propuesto para gestionar de un modo automático y descentralizado la recuperación en nodos spare en un entorno Open MPI y se presenta un análisis del impacto en las prestaciones que tiene este diseño. Resultados iniciales muestran una degradación significativa cuando a lo largo de la ejecución ocurren varios fallos y no se utilizan spares y sin embargo utilizándolos se restablece la configuración inicial y se mantienen las prestaciones.

Time course of in vitro maturation of intra-erythrocytic malaria parasite: a comparison between Plasmodium falciparum and Plasmodium knowlesi

The schizont maturation assay for in vitro drug sensitivity tests has been a standard method employed in the global baseline assessment and monitoring of drug response in Plasmodium falciparum. This test is limited in its application to synchronous plasmodial infections because it evaluates the effect of drug on the maturation of parasite especially from ring to schizont stage and therefore synchronized P. falciparum cultures are required. On the other hand, P. knowlesi, a simian malaria parasite has a unique 24-h periodicity and maintains high natural synchronicity in monkeys. The present report presents the results of a comparative study on the course of in vitro maturation of sorbitol synchronized P. falciparum and naturally synchronous P. knowlesi. Ring stage parasites were incubated in RPMI medium supplemented with 10-15% pooled homologous serum in flat-bottomed 96-well micro plates using a candle jar at 37°C. The results suggest that the ideal time for harvesting the micro-assay plates for in vitro drug sensitivity test for sorbitol-synchronized P. falciparum and naturally synchronous P. knowlesi are from 26 to 30 h and from 22 to 25 h, respectively. The advantages of using P. knowlesi in chemotherapeutic studies are discussed.

Los tests proyectivos en la comprensión de la recepción del arte gráfico

Una aproximació a la psicologia de la recepció de l'obra d'art a partir dels tests projectius.

Quantifying network properties in multi-electrode recordings: spatiotemporal characterization and inter-trial variation of evoked gamma oscillations in mouse somatosensory cortex in vitro.

Linking the structural connectivity of brain circuits to their cooperative dynamics and emergent functions is a central aim of neuroscience research. Graph theory has recently been applied to study the structure-function relationship of networks, where dynamical similarity of different nodes has been turned into a "static" functional connection. However, the capability of the brain to adapt, learn and process external stimuli requires a constant dynamical functional rewiring between circuitries and cell assemblies. Hence, we must capture the changes of network functional connectivity over time. Multi-electrode array data present a unique challenge within this framework. We study the dynamics of gamma oscillations in acute slices of the somatosensory cortex from juvenile mice recorded by planar multi-electrode arrays. Bursts of gamma oscillatory activity lasting a few hundred milliseconds could be initiated only by brief trains of electrical stimulations applied at the deepest cortical layers and simultaneously delivered at multiple locations. Local field potentials were used to study the spatio-temporal properties and the instantaneous synchronization profile of the gamma oscillatory activity, combined with current source density (CSD) analysis. Pair-wise differences in the oscillation phase were used to determine the presence of instantaneous synchronization between the different sites of the circuitry during the oscillatory period. Despite variation in the duration of the oscillatory response over successive trials, they showed a constant average power, suggesting that the rate of expenditure of energy during the gamma bursts is consistent across repeated stimulations. Within each gamma burst, the functional connectivity map reflected the columnar organization of the neocortex. Over successive trials, an apparently random rearrangement of the functional connectivity was observed, with a more stable columnar than horizontal organization. This work reveals new features of evoked gamma oscillations in developing cortex.

Generació automàtica de codi Java amb ArgoUML

Aquesta memòria presenta un estudi de la generació automàtica de codi Java a partir de diagrames UML amb l'eina ArgoUML. El cicle de vida tradicional del programari presenta alguns problemes com la manca de sincronització entre codi i documentació, poca portabilitat i problemes de interoperabilidad. El paradigma MDA vol solucionar en part aquests problemes fent dels models el centre del desenvolupament del programari i apostant per la generació automàtica de models i codi.

Construcció d'un SIG i sincronització de les etiquetes amb els objectes representats a GEOMEDIA PROFESSIONAL 5.2

En aquest treball de fi de carrera s'estudia en què consisteix en SIG i les seves característiques, en concret es realitza l'estudi d'un SIG comercial, GEOMEDIA PROFESSIONAL 5.2 D'aquest producte es presenta el problema de sincronització de les etiquetes amb les entitats que etiqueten, i es planteja una solució a aquest problema, mitjançant el desenvolupament d'una aplicació implementada amb MICROSOFT VISUAL BASIC 6.0