Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness up to bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

On the Executability of Interactive Computation

The model of interactive Turing machines (ITMs) has been proposed to characterise which stream translations are interactively computable; the model of reactive Turing machines (RTMs) has been proposed to characterise which behaviours are reactively executable. In this article we provide a comparison of the two models. We show, on the one hand, that the behaviour exhibited by ITMs is reactively executable, and, on the other hand, that the stream translations naturally associated with RTMs are interactively computable. We conclude from these results that the theory of reactive executability subsumes the theory of interactive computability. Inspired by the existing model of ITMs with advice, which provides a model of evolving computation, we also consider RTMs with advice and we establish that a facility of advice considerably upgrades the behavioural expressiveness of RTMs: every countable transition system can be simulated by some RTM with advice up to a fine notion of behavioural equivalence.Comment: 15 pages, 0 figure

Monitorización de la oxidación del aceite de semillas de sacha inchi (Plukenetia volubilis) suplementado con extractos de vainas de tara (Caesalpinia spinosa) mediante técnicas convencionales y MIR

This work focuses on the characterization of the oxidation of the oil from sacha inchi seeds (Plukenetia volubilis) under accelerated conditions at 60 ºC for 15 days. Five samples were monitored: three supplemented with 200 ppm of non-hydrolyzed or partially hydrolyzed (for 4 and 9 hours) extracts from tara (Caesalpinia spinosa) pods, one without antioxidant and one with 200 ppm of BHT. Several conventional tech­niques (induction time, peroxide value, conjugated dienoic acid, p-anisidine value, total unsaturated fatty acids and α-linolenic acid contents) and the MIR spectroscopy coupled with chemometric tools were used and com­pared. The results revealed that whatever the antioxidant added, the oil from sacha inchi is fairly stable over time. The results also pointed out that extracts from tara pods, mainly those partially hydrolyzed, were more efficient than BHT against oil oxidation for up to 7 days. Finally, this paper shows that MIR spectroscopy pres­ents an interesting alternative technique for the monitoring of the oxidation of the oil from sacha inchi.Este trabajo se centra en la caracterización de la oxidación de aceites de sacha inchi (Plukenetia volubilis) en condiciones aceleradas a 60 ºC durante 15 días. Se monitorean cinco muestras: tres suplementadas con 200 ppm de extractos no hidrolizados o par­cialmente hidrolizados (durante 4 y 9 horas) de vainas de tara (Caesalpinia spinosa), una sin antioxidante y otra con 200 ppm de BHT. Se utilizan y comparan varias técnicas convencionales (tiempo de inducción, índice de peróxido, ácido dienoico conjugado, índice de p-anisidina, ácidos grasos insaturados totales y contenido de ácido α-linolénico) y la espectroscopía MIR junto con herramientas quimiométricas. Los resultados revelan que, cualquiera que sea el antioxidante agregado, el aceite de sacha inchi es bastante estable a lo largo del tiempo. Los resultados también seña­lan que los extractos de las vainas de tara, principalmente aquellos parcialmente hidrolizados, son más eficientes que el BHT contra la oxidación del aceite hasta los 7 días. Finalmente, el trabajo muestra que la espectroscopía MIR se presenta como una técnica alternativa interesante para el monitoreo de la oxidación del aceite de sacha inchi

Critical behavior at Mott-Anderson transition: a TMT-DMFT perspective

We present a detailed analysis of the critical behavior close to the Mott-Anderson transition. Our findings are based on a combination of numerical and analytical results obtained within the framework of Typical-Medium Theory (TMT-DMFT) - the simplest extension of dynamical mean field theory (DMFT) capable of incorporating Anderson localization effects. By making use of previous scaling studies of Anderson impurity models close to the metal-insulator transition, we solve this problem analytically and reveal the dependence of the critical behavior on the particle-hole symmetry. Our main result is that, for sufficiently strong disorder, the Mott-Anderson transition is characterized by a precisely defined two-fluid behavior, in which only a fraction of the electrons undergo a "site selective" Mott localization; the rest become Anderson-localized quasiparticles.Comment: 4+ pages, 4 figures, v2: minor changes, accepted for publication in Phys. Rev. Let