Vectorial languages and linear temporal logic

Determining for a given deterministic complete automaton the sequence of visited states while reading a given word is the core of important problems with automata-based solutions, such as approximate string matching. The main difficulty is to do this computation efficiently. Considering words as vectors and working on them using vectorial operations allows to solve the problem faster than using local operations.

In this paper, we show first that the set of vectorial operations needed by an algorithm representing a given automaton depends on the language accepted by the automaton. We give precise characterizations for star-free, solvable and regular languages using vectorial algorithms. We also study classes of languages associated with restricted sets of vectorial operations and relate them with languages defined by fragments of linear temporal logic.

Finally, we consider the converse problem of constructing an automaton from a given vectorial algorithm. As a byproduct, we show that the satisfiability problem for some extensions of LTL characterizing solvable and regular languages is PSPACE-complete.     

Investigation of Functional Hemispheric Asymmetry of Language in Tinnitus Sufferers.

The authors tested functional hemispheric asymmetry through word dichotic listening and lateralized lexical decision tasks in tinnitus patients and controls stimulated by a continuous tinnitus-like noise to test the influence of a tinnitus-like external stimulation. A classic right-ear advantage was shown in the auditory task for all but right-ear tinnitus patients, who performed as equally badly when the stimuli were presented to the right and left ears. Concerning the visual task, all participants demonstrated the expected right visual field advantage for word stimuli. Moreover, those who submitted to external stimulation demonstrated normal asymmetric patterns. These data suggest a specific effect of tinnitus on central processing and provide evidence for a functional reorganization induced by this auditory phantom perception. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Editorial

Higher-Order and Symbolic Computation -     

Nonlinear adaptive control for bioreactors with unknown kinetics

We consider a control problem for a single bioreaction occurring in a continuous and well-mixed bioreactor, assuming that the bioreaction's kinetics is not represented by a validated model. We develop a nonlinear controller and prove the global asymptotic stability of the closed-loop system towards the equilibrium corresponding to the set point. Since this control law needs the knowledge of some parameters, we derive an adaptive version of the nonlinear controller and prove again the global asymptotic stability of the closed-loop system. Finally, we show the relevance of our approach on a real-life wastewater treatment plant.     

The Synchronous Approach to Designing Reactive Systems

Synchronous programming is available through several formally defined languages having very different characteristics: Esterel is imperative, while Lustre and Signal are declarative in style; Statecharts and Argos are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imperative, declarative (or dataflow), and graphical programming styles, is that real systems typically have components that match each of these profiles. This paper motivates our interest in the mixed language programming of embedded software around a number of examples, and sketches the semantical foundation of the Synchronie toolset which ensures a coherent computational model. This toolset supports a design trajectory that incorporates rapid prototyping and systematic testing for early design validation, an object oriented development methodology for long term software management, and formal verification at the level of automatically generated object code.     

Ligand‐Free Synthesis of Aluminum‐Doped Zinc Oxide Nanocrystals and their Use as Optical Spacers in Color‐Tuned Highly Efficient Organic Solar Cells

The color of polymer solar cells using an opaque electrode is given by the reflected light, which depends on the composition and thickness of each layer of the device. Metal‐oxide‐based optical spacers are intensively studied in polymer solar cells aiming to optimize the light absorption. However, the low conductivity of materials such as ZnO and TiO₂ limits the thickness of such optical spacers to tenths of nanometers. A novel synthesis route of cluster‐free Al‐doped ZnO (AZO) nanocrystals (NCs) is presented for solution processing of highly conductive layers without the need of temperature annealing, including thick optical spacers on top of polymer blends. The processing of 80 nm thick optical spacers based on AZO nanocrystal solutions on top of 200 nm thick polymer blend layer is demonstrated leading to improved photocurrent density of 17% compared to solar cells using standard active layers of 90 nm in combination with thin ZnO‐based optical spacers. These AZO NCs also open new opportunities for the processing of high‐efficiency color tuned solar cells. For the first time, it is shown that applying solution‐processed thick optical spacer with polymer blends of different thicknesses can process solar cells of similar efficiency over 7% but of different colors.