Varieties of Cost Functions.

Regular cost functions were introduced as a quantitative generalisation of regular languages, retaining many of their equivalent characterisations and decidability properties. For instance, stabilisation monoids play the same role for cost functions as monoids do for regular languages. The purpose of this article is to further extend this algebraic approach by generalising two results on regular languages to cost functions: Eilenberg's varieties theorem and profinite equational characterisations of lattices of regular languages. This opens interesting new perspectives, but the specificities of cost functions introduce difficulties that prevent these generalisations to be straightforward. In contrast, although syntactic algebras can be defined for formal power series over a commutative ring, no such notion is known for series over semirings and in particular over the tropical semiring

Dynamic task allocation for a man-machine symbiotic system

This report presents a methodological approach to the dynamic allocation of tasks in a man-machine symbiotic system in the context of dexterous manipulation and teleoperation. This report addresses a symbiotic system containing two symbiotic partners which work toward controlling a single manipulator arm for the execution of a series of sequential manipulation tasks. It is proposed that an automated task allocator use knowledge about the constraints/criteria of the problem, the available resources, the tasks to be performed, and the environment to dynamically allocate task recommendations for the man and the machine. The presentation of the methodology includes discussions concerning the interaction of the knowledge areas, the flow of control, the necessary communication links, and the replanning of the task allocation. Examples of task allocation are presented to illustrate the results of this methodolgy

Going higher in the First-order Quantifier Alternation Hierarchy on Words

We investigate the quantifier alternation hierarchy in first-order logic on finite words. Levels in this hierarchy are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a regular language to the levels $\mathcal{B}\Sigma_2$ (boolean combination of formulas having only 1 alternation) and $\Sigma_3$ (formulas having only 2 alternations beginning with an existential block). Our proof works by considering a deeper problem, called separation, which, once solved for lower levels, allows us to solve membership for higher levels

On Varieties of Ordered Automata

The Eilenberg correspondence relates varieties of regular languages to pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more general classes of regular languages on one hand and classes of more complex algebraic structures on the other hand. It is also possible to consider classes of automata instead of algebraic structures as a natural counterpart of classes of languages. Here we deal with the correspondence relating positive $\mathcal C$-varieties of languages to positive $\mathcal C$-varieties of ordered automata and we present various specific instances of this correspondence. These bring certain well-known results from a new perspective and also some new observations. Moreover, complexity aspects of the membership problem are discussed both in the particular examples and in a general setting

Une application de la representation matricielle des transductions

RésuméOn étudie le problème suivant, fréquemment rencontré en théorie des langages: soient n langages L1,…,Ln reconnus par les monoïdes M1,…,Mn respectivement. Etant donné une opération ϕ, on cherche à construire un monoïde M, fonction de M1,…,Mn, qui reconnaisse le langage (L1,…,Ln)ϕ. Nous montrons que la plupart des constructions proposées dans la littérature pour ce type de problème sont en fait des cas particuliers d'une méthode générale que nous exposons ici. Cette méthode s'applique également à certains problèmes moins classiques relatifs par exemple à la réduction du groupe libre ou aux opérations de contrôle sur les T0L-systèmes.AbstractWe study the following classical problem of formal language theory: let L1,…,Ln be n languages recognized by the monoids M1,…,Mn respectively. Given an operation ϕ, we want to build a monoid M, function of M1,…,Mn, which recognizes the language (L1,…,Ln)ϕ. We show that most of the constructions given in the literature for this kind of problem are particular cases of a general method. This method can also be applied to some less classical problems related for example to the Dyck-reduction of the free-group or to control operations on T0L-systems

Stable isotopic analysis of atmospheric methane by infrared spectroscopy by use of diode laser difference-frequency generation

An infrared absorption spectrometer has been constructed to measure the stable isotopic composition of atmospheric methane samples. The spectrometer employs periodically poled lithium niobate to generate 15 μW of tunable difference-frequency radiation from two near-infrared diode lasers that probe the ν3 rotational-vibrational band of methane at 3.4 μm. To enhance the signal, methane is extracted from 25 l of air by use of a cryogenic chromatographic column and is expanded into the multipass cell for analysis. A measurement precision of 12‰ is demonstrated for both δ13C and δD

A maxmin problem on finite automata

AbstractWe solve the following problem proposed by Straubing. Given a two-letter alphabet A, what is the maximal number of states f(n) of the minimal automaton of a subset of An, the set of all words of length n. We give an explicit formula to compute f(n) and we show that 1= lim infn→∞nƒ(n)/2n≤lim supn→∞nƒ(n)/2n=2

Preservation of muscle mass as a strategy to reduce the toxic effects of cancer chemotherapy on body composition

PURPOSE OF REVIEW: Cancer patients undergoing chemotherapy often experience very debilitating side effects, including unintentional weight loss, nausea, and vomiting. Changes in body composition, specifically lean body mass (LBM), are known to have important implications for anticancer drug toxicity and cancer prognosis. Currently, chemotherapy dosing is based on calculation of body surface area, although this approximation does not take into consideration the variability in lean and adipose tissue mass. RECENT FINDINGS: Patients with depletion of muscle mass present higher chemotherapy-related toxicity, whereas patients with larger amounts of LBM show fewer toxicities and better outcomes. Commonly used chemotherapy regimens promote changes in body composition, primarily by affecting skeletal muscle, as well as fat and bone mass. Experimental evidence has shown that pro-atrophy mechanisms, abnormal mitochondrial metabolism, and reduced protein anabolism are primarily implicated in muscle depletion. Muscle-targeted pro-anabolic strategies have proven successful in preserving lean tissue in the occurrence of cancer or following chemotherapy. SUMMARY: Muscle wasting often occurs as a consequence of anticancer treatments and is indicative of worse outcomes and poor quality of life in cancer patients. Accurate assessment of body composition and preservation of muscle mass may reduce chemotherapy toxicity and improve the overall survival

Synchronizing automata with random inputs

We study the problem of synchronization of automata with random inputs. We present a series of automata such that the expected number of steps until synchronization is exponential in the number of states. At the same time, we show that the expected number of letters to synchronize any pair of the famous Cerny automata is at most cubic in the number of states

Complexity of checking whether two automata are synchronized by the same language

A deterministic finite automaton is said to be synchronizing if it has a reset word, i.e. a word that brings all states of the automaton to a particular one. We prove that it is a PSPACE-complete problem to check whether the language of reset words for a given automaton coincides with the language of reset words for some particular automaton.Comment: 12 pages, 4 figure