Robust isothermal electric control of exchange bias at room temperature

Voltage-controlled spin electronics is crucial for continued progress in information technology. It aims at reduced power consumption, increased integration density and enhanced functionality where non-volatile memory is combined with highspeed logical processing. Promising spintronic device concepts use the electric control of interface and surface magnetization. From the combination of magnetometry, spin-polarized photoemission spectroscopy, symmetry arguments and first-principles calculations, we show that the (0001) surface of magnetoelectric Cr2O3 has a roughness-insensitive, electrically switchable magnetization. Using a ferromagnetic Pd/Co multilayer deposited on the (0001) surface of a Cr2O3 single crystal, we achieve reversible, room-temperature isothermal switching of the exchange-bias field between positive and negative values by reversing the electric field while maintaining a permanent magnetic field. This effect reflects the switching of the bulk antiferromagnetic domain state and the interface magnetization coupled to it. The switchable exchange bias sets in exactly at the bulk Néel temperature.

Sistema avanzado de alarmas para el reactor RA6.

Los sistemas de alarmas constituyen un elemento clave en las plantas modernas de procesos industriales. A lo largo de los años, los mismos han ido evolucionando de la mano del importante desarrollo en la industria del software, para pasar de ser simples paneles de anunciación y lámparas cableadas hasta complejos sistemas inteligentes que asisten al operador en sus funciones de operación. En el desarrollo de este trabajo se planteó diseñar un Sistema Avanzado de Alarmas para el Reactor Nuclear de Investigación RA6 contemplando las nuevas tecnologías existentes para incorporar mejoras a la actual sala de control. Para ello se trabajó siguiendo la metodología propuesta por la guía de diseño de sistemas de alarmas ANSI / ISA- SP-18. Para asistir al diseño y la verificación del sistema se utilizó un modelo termohidráulico de la planta desarrollado en Matlab/Simulink. Entre las nuevas herramientas incorporadas en el prototipo final obtenido se pueden mencionar: creación de archivos históricos, asignación de prioridades, supresiones de alarmas según estado operativo, filtrado y agrupamiento de alarmas.

Sistema avanzado de alarmas para el reactor RA6.

Los sistemas de alarmas constituyen un elemento clave en las plantas modernas de procesos industriales. A lo largo de los años, los mismos han ido evolucionando de la mano del importante desarrollo en la industria del software, para pasar de ser simples paneles de anunciación y lámparas cableadas hasta complejos sistemas inteligentes que asisten al operador en sus funciones de operación. En el desarrollo de este trabajo se planteó diseñar un Sistema Avanzado de Alarmas para el Reactor Nuclear de Investigación RA6 contemplando las nuevas tecnologías existentes para incorporar mejoras a la actual sala de control. Para ello se trabajó siguiendo la metodología propuesta por la guía de diseño de sistemas de alarmas ANSI / ISA- SP-18. Para asistir al diseño y la verificación del sistema se utilizó un modelo termohidráulico de la planta desarrollado en Matlab/Simulink. Entre las nuevas herramientas incorporadas en el prototipo final obtenido se pueden mencionar: creación de archivos históricos, asignación de prioridades, supresiones de alarmas según estado operativo, filtrado y agrupamiento de alarmas.

The role of sleep and dreaming in the processing of episodic memory

La présente thèse examine les liens entre le sommeil, la mémoire épisodique et les rêves. Dans une première étude, nous utilisons les technologies de la réalité virtuelle (RV) en liaison avec un paradigme de privation de sommeil paradoxal et de collecte de rêve en vue d'examiner l'hypothèse que le sommeil paradoxal et le rêve sont impliqués dans la consolidation de la mémoire épisodique. Le sommeil paradoxal a été associé au rappel des aspects spatiaux des éléments émotionnels de la tâche RV. De la même façon, l'incorporation de la tâche RV dans les rêves a été associée au rappel des aspects spatiaux de la tâche. De plus, le rappel des aspects factuels et perceptuels de la mémoire épisodique, formé lors de la tâche VR, a été associé au sommeil aux ondes lentes. Une deuxième étude examine l'hypothèse selon laquelle une fonction possible du rêve pourrait être de créer de nouvelles associations entre les éléments de divers souvenirs épisodiques. Un participant a été réveillé 43 fois lors de l'endormissement pour fournir des rapports détaillés de rêves. Les résultats suggèrent qu'un seul rêve peut comporter, dans un même contexte spatiotemporel, divers éléments appartenant aux multiples souvenirs épisodiques. Une troisième étude aborde la question de la cognition lors du sommeil paradoxal, notamment comment les aspects bizarres des rêves, qui sont formés grâce aux nouvelles combinaisons d'éléments de la mémoire épisodique, sont perçus par le rêveur. Les résultats démontrent une dissociation dans les capacités cognitives en sommeil paradoxal caractérisée par un déficit sélectif dans l'appréciation des éléments bizarres des rêves. Les résultats des quatre études suggèrent que le sommeil aux ondes lentes et le sommeil paradoxal sont différemment impliqués dans le traitement de la mémoire épisodique. Le sommeil aux ondes lentes pourrait être implique dans la consolidation de la mémoire épisodique, et le sommeil paradoxal, par l'entremise du rêve, pourrais avoir le rôle d'introduire de la flexibilité dans ce système mnémonique.

Evidence Algorithm and Processing Formalized Mathematical Texts

The goal of a research programme Evidence Algorithm is a development of an open system of automated proving that is able to accumulate mathematical knowledge and to prove theorems in a context of a self-contained mathematical text. By now, the first version of such a system called a System for Automated Deduction, SAD, is implemented in software. The system SAD possesses the following main features: mathematical texts are formalized using a specific formal language that is close to a natural language of mathematical publications; a proof search is based on special sequent-type calculi formalizing natural reasoning style, such as application of definitions and auxiliary propositions. These calculi also admit a separation of equality handling from deduction that gives an opportunity to integrate logical reasoning with symbolic calculation.

A logical approach to the management of object identifiers in non-conventional database management systems

Non-conventional database management systems are used to achieve a better performance when dealing with complex data. One fundamental concept of these systems is object identity (OID), because each object in the database has a unique identifier that is used to access and reference it in relationships to other objects. Two approaches can be used for the implementation of OIDs: physical or logical OIDs. In order to manage complex data, was proposed the Multimedia Data Manager Kernel (NuGeM) that uses a logical technique, named Indirect Mapping. This paper proposes an improvement to the technique used by NuGeM, whose original contribution is management of OIDs with a fewer number of disc accesses and less processing, thus reducing management time from the pages and eliminating the problem with exhaustion of OIDs. Also, the technique presented here can be applied to others OODBMSs. © 2011 IEEE.

Unresolved Problems with the "I", the "A" and the "T": Logical and Psychometric Critique of the Implicit Association Test (IAT)

The Implicit Association Test (IAT) had already gained the status of a prominent assessment procedure before its psychometric properties and underlying task structure were understood. The present critique addresses five major problems that arise when the IAT is used for diagnostic inferences: (1) the asymmetry of causal and diagnostic inferences; (2) the viability of the underlying association model; (3) the lack of a testable model underlying IAT-based inferences; (4) the difficulties of interpreting difference scores; and (5) the susceptibility of the IAT to deliberate faking and strategic processing. Based on a theoretical reflection of these issues, and a comprehensive survey of published IAT studies, it is concluded that a number of uncontrolled factors can produce (or reduce) significant IAT scores independently of the personality attribute that is supposed to be captured by the IAT procedure.

A model of amacrine and ganglion cells for optical information processing

Based on a previously reported logic cell structure (see SPIE, vol. 2038, p. 67-77, 1993), the two types of cells present at the inner and ganglion cell layers of the vertebrate retina and their intracellular response, as well as their connections with each other, have been simulated. These cells are amacrines and ganglion cells. The main scheme of the authors' configuration is shown in a figure. These two types of cells, as well as some of their possible interconnections, have been implemented with the authors' previously reported optical-processing element. As it has been shown, the authors' logic structure is able to process two optical input binary signals, being the output two logical functions. Moreover, if a delayed feedback from one of the two possible outputs to one or both of the inputs is introduced, a very different behaviour is obtained. Depending on the value of the time delay, an oscillatory output can be obtained from a constant optical input signal. Period and length pulses are dependent on delay values, both external and internal, as well as on other control signals. Moreover, a chaotic behaviour can be obtained too under certain conditions

Fénix: a flexible information exchange data model for natural language processing

In this paper we describe Fénix, a data model for exchanging information between Natural Language Processing applications. The format proposed is intended to be flexible enough to cover both current and future data structures employed in the field of Computational Linguistics. The Fénix architecture is divided into four separate layers: conceptual, logical, persistence and physical. This division provides a simple interface to abstract the users from low-level implementation details, such as programming languages and data storage employed, allowing them to focus in the concepts and processes to be modelled. The Fénix architecture is accompanied by a set of programming libraries to facilitate the access and manipulation of the structures created in this framework. We will also show how this architecture has been already successfully applied in different research projects.

Dissecting query performance in logical data models: Parsimony vs. greater ontological clarity

Even when data repositories exhibit near perfect data quality, users may formulate queries that do not correspond to the information requested. Users’ poor information retrieval performance may arise from either problems understanding of the data models that represent the real world systems, or their query skills. This research focuses on users’ understanding of the data structures, i.e., their ability to map the information request and the data model. The Bunge-Wand-Weber ontology was used to formulate three sets of hypotheses. Two laboratory experiments (one using a small data model and one using a larger data model) tested the effect of ontological clarity on users’ performance when undertaking component, record, and aggregate level tasks. The results indicate for the hypotheses associated with different representations but equivalent semantics that parsimonious data model participants performed better for component level tasks but that ontologically clearer data model participants performed better for record and aggregate level tasks.

Fat Substitutes In Processing Of Sausages Using Piramutaba Waste.

The aim of this study was to evaluate fat substitute in processing of sausages prepared with surimi of waste from piramutaba filleting. The formulation ingredients were mixed with the fat substitutes added according to a fractional planning 2(4-1), where the independent variables, manioc starch (Ms), hydrogenated soy fat (F), texturized soybean protein (Tsp) and carrageenan (Cg) were evaluated on the responses of pH, texture (Tx), raw batter stability (RBS) and water holding capacity (WHC) of the sausage. Fat substitutes were evaluated in 11 formulations and the results showed that the greatest effects on the responses were found to Ms, F and Cg, being eliminated from the formulation Tsp. To find the best formulation for processing piramutaba sausage was made a complete factorial planning of 2(3) to evaluate the concentrations of fat substitutes in an enlarged range. The optimum condition found for fat substitutes in the sausages formulation were carrageenan (0.51%), manioc starch (1.45%) and fat (1.2%).

Central Auditory Processing Outcome After Stroke In Children.

To investigate central auditory processing in children with unilateral stroke and to verify whether the hemisphere affected by the lesion influenced auditory competence. 23 children (13 male) between 7 and 16 years old were evaluated through speech-in-noise tests (auditory closure); dichotic digit test and staggered spondaic word test (selective attention); pitch pattern and duration pattern sequence tests (temporal processing) and their results were compared with control children. Auditory competence was established according to the performance in auditory analysis ability. Was verified similar performance between groups in auditory closure ability and pronounced deficits in selective attention and temporal processing abilities. Most children with stroke showed an impaired auditory ability in a moderate degree. Children with stroke showed deficits in auditory processing and the degree of impairment was not related to the hemisphere affected by the lesion.

Temporal Auditory Processing And Phonological Awareness In Children With Benign Epilepsy With Centrotemporal Spikes.

The aim of this research was to analyze temporal auditory processing and phonological awareness in school-age children with benign childhood epilepsy with centrotemporal spikes (BECTS). Patient group (GI) consisted of 13 children diagnosed with BECTS. Control group (GII) consisted of 17 healthy children. After neurological and peripheral audiological assessment, children underwent a behavioral auditory evaluation and phonological awareness assessment. The procedures applied were: Gaps-in-Noise test (GIN), Duration Pattern test, and Phonological Awareness test (PCF). Results were compared between the groups and a correlation analysis was performed between temporal tasks and phonological awareness performance. GII performed significantly better than the children with BECTS (GI) in both GIN and Duration Pattern test (P < 0.001). GI performed significantly worse in all of the 4 categories of phonological awareness assessed: syllabic (P = 0.001), phonemic (P = 0.006), rhyme (P = 0.015) and alliteration (P = 0.010). Statistical analysis showed a significant positive correlation between the phonological awareness assessment and Duration Pattern test (P < 0.001). From the analysis of the results, it was concluded that children with BECTS may have difficulties in temporal resolution, temporal ordering, and phonological awareness skills. A correlation was observed between auditory temporal processing and phonological awareness in the suited sample.

Biofilms Of Enterococcus Faecalis And Enterococcus Faecium Isolated From The Processing Of Ricotta And The Control Of These Pathogens Through Cleaning And Sanitization Procedures.

The biofilm formation of Enterococcus faecalis and Enterococcus faecium isolated from the processing of ricotta on stainless steel coupons was evaluated, and the effect of cleaning and sanitization procedures in the control of these biofilms was determined. The formation of biofilms was observed while varying the incubation temperature (7, 25 and 39°C) and time (0, 1, 2, 4, 6 and 8days). At 7°C, the counts of E. faecalis and E. faecium were below 2log10CFU/cm(2). For the temperatures of 25 and 39°C, after 1day, the counts of E. faecalis and E. faecium were 5.75 and 6.07log10CFU/cm(2), respectively, which is characteristic of biofilm formation. The tested sanitation procedures a) acid-anionic tensioactive cleaning, b) anionic tensioactive cleaning+sanitizer and c) acid-anionic tensioactive cleaning+sanitizer were effective in removing the biofilms, reducing the counts to levels below 0.4log10CFU/cm(2). The sanitizer biguanide was the least effective, and peracetic acid was the most effective. These studies revealed the ability of enterococci to form biofilms and the importance of the cleaning step and the type of sanitizer used in sanitation processes for the effective removal of biofilms.