Ultimate periodicity of b-recognisable sets : a quasilinear procedure

It is decidable if a set of numbers, whose representation in a base b is a regular language, is ultimately periodic. This was established by Honkala in 1986. We give here a structural description of minimal automata that accept an ultimately periodic set of numbers. We then show that it can verified in linear time if a given minimal automaton meets this description. This thus yields a O(n log(n)) procedure for deciding whether a general deterministic automaton accepts an ultimately periodic set of numbers.Comment: presented at DLT 201

Nutritional status and nutritional treatment are related to outcomes and mortality in older adults with hip fracture

Malnutrition is very prevalent in geriatric patients with hip fracture. Nevertheless, its importance is not fully recognized. The objective of this paper is to review the impact of malnutrition and of nutritional treatment upon outcomes and mortality in older people with hip fracture. We searched the PubMed database for studies evaluating nutritional aspects in people aged 70 years and over with hip fracture. The total number of studies included in the review was 44, which analyzed 26,281 subjects (73.5% women, 83.6 ± 7.2 years old). Older people with hip fracture presented an inadequate nutrient intake for their requirements, which caused deterioration in their already compromised nutritional status. The prevalence of malnutrition was approximately 18.7% using the Mini-Nutritional Assessment (MNA) (large or short form) as a diagnostic tool, but the prevalence was greater (45.7%) if different criteria were used (such as Body Mass Index (BMI), weight loss, or albumin concentration). Low scores in anthropometric indices were associated with a higher prevalence of complications during hospitalization and with a worse functional recovery. Despite improvements in the treatment of geriatric patients with hip fracture, mortality was still unacceptably high (30% within 1 year and up to 40% within 3 years). Malnutrition was associated with an increase in mortality. Nutritional intervention was cost effective and was associated with an improvement in nutritional status and a greater functional recovery. To conclude, in older people, the prevention of malnutrition and an early nutritional intervention can improve recovery following a hip fracture

Acting against common bunt: exploration of various control methods

Common bunt (Tilletia caries, Tilletia foetida) is a fungal disease with a large ability to spread. Consequences may be rejection of grains for sale or even a large decrease of yield. Different trials were carried out in organic farming in a research project (funded by the French Ministry of Agriculture between 2008 and 2011) to achieve a better control of common bunt. Results confirm that the resistance of wheat cultivars is a factor to consider. Despite most varieties currently cultivated in organic farming are sensitive to common bunt, some cultivars appeared to be resistant to the races tested. Concerning seed treatment, no product is available for organic farming and 100% efficient; but several solutions have been identified. Only one product is currently authorized for common bunt control on cereals (cerall), it has a significant but sometimes irregular efficiency. Products with acetic acid (white vinegar) or with a base of mustard flour (Tillecur) have similar results. Copper products at low level (reduced to about 500g Cu/t) give a very good level of protection. Before using those solutions, prevention is essential to mobilise, through diversified crop rotations, field observation, seed choice, regular analysis of farm seed, cleaning of machinery

Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms

Let $A$ be a finite or countable alphabet and let $\theta$ be literal (anti)morphism onto $A^*$ (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under $\theta$ ($\theta$-invariant for short).We establish an extension of the famous defect theorem. Moreover, we prove that for the so-called thin $\theta$-invariant codes, maximality and completeness are two equivalent notions. We prove that a similar property holds in the framework of some special families of $\theta$-invariant codes such as prefix (bifix) codes, codes with a finite deciphering delay, uniformly synchronized codes and circular codes. For a special class of involutive antimorphisms, we prove that any regular $\theta$-invariant code may be embedded into a complete one.Comment: To appear in Acts of WORDS 201

INTERACTION BETWEEN ARGON AND DOPANTS IN SPUTTERED a-Si : H

The concentrations of As, B, H, Ar and Si in sputtered a-Si : H are measured by helium Rutherford backscattering and nuclear reactions analysis. Excess or deficit of hydrogen and argon by comparison with intrinsic a-Si : H are found in presence of dopants at high deposition rate. This is related to the plasma deposition method and would suggest micro grain structure in the deposited layer

Trees with Given Stability Number and Minimum Number of Stable Sets

We study the structure of trees minimizing their number of stable sets for given order $n$ and stability number $\alpha$. Our main result is that the edges of a non-trivial extremal tree can be partitioned into $n-\alpha$ stars, each of size $\lceil \frac{n-1}{n-\alpha} \rceil$ or $\lfloor \frac{n-1}{n-\alpha}\rfloor$, so that every vertex is included in at most two distinct stars, and the centers of these stars form a stable set of the tree.Comment: v2: Referees' comments incorporate

Enumeration and Decidable Properties of Automatic Sequences

We show that various aspects of k-automatic sequences -- such as having an unbordered factor of length n -- are both decidable and effectively enumerable. As a consequence it follows that many related sequences are either k-automatic or k-regular. These include many sequences previously studied in the literature, such as the recurrence function, the appearance function, and the repetitivity index. We also give some new characterizations of the class of k-regular sequences. Many results extend to other sequences defined in terms of Pisot numeration systems

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases

This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted class of weak deterministic automata, used as symbolic set representations in actual applications. In previous work, it has been established that the sets of numbers that are recognizable by weak deterministic automata in two bases that do not share the same set of prime factors are exactly those that are definable in the first order additive theory of real and integer numbers. This result extends Cobham's theorem, which characterizes the sets of integer numbers that are recognizable by finite automata in multiple bases. In this article, we first generalize this result to multiplicatively independent bases, which brings it closer to the original statement of Cobham's theorem. Then, we study the sets of reals recognizable by Muller automata in two bases. We show with a counterexample that, in this setting, Cobham's theorem does not generalize to multiplicatively independent bases. Finally, we prove that the sets of reals that are recognizable by Muller automata in two bases that do not share the same set of prime factors are exactly those definable in the first order additive theory of real and integer numbers. These sets are thus also recognizable by weak deterministic automata. This result leads to a precise characterization of the sets of real numbers that are recognizable in multiple bases, and provides a theoretical justification to the use of weak automata as symbolic representations of sets.Comment: 17 page

Formation of a metastable nanostructured mullite during Plasma Electrolytic Oxidation of aluminium in “soft” regime condition

International audienceThis paper demonstrates the possibility of producing a lamellar ceramic nanocomposite at the topmost surface of oxide coatings grown with the Plasma Electrolytic Oxidation process (PEO). PEO was conducted on aluminium in a silicate-rich electrolyte under the so-called "soft" regime. Nanoscale characterisation showed that the transition from the "arcs" to the "soft" regime was concomitant with the gradual formation of a 1:1 mullite/alumina lamellar nanocomposite (≈120 nm thick) that filled the cavity of the PEO "pancake" structure. Combined with plasma diagnostic techniques, a three-step growth mechanism was proposed: (i) local melting of alumina under the PEO micro-discharges (≈3200 K at high heating rate ≈3 × 10 8 K·s −1); (ii) progressive silicon enrichment of the melt coming from the electrolyte; and (iii) quenching of the melt at a cooling rate of ≈3.3 × 10 7 K·s −1 as the micro-discharge extinguishes. Under such severe cooling conditions, the solidification process was non-equilibrium as predicted by the metastable SiO 2-Al 2 O 3 binary phase diagram. This resulted in phase separation where pure alumina lamellae alternate periodically with 1:1 mullite lamellae

Assessment of health claims in the field of bone: a view of the Group for the Respect of Ethics and Excellence in Science (GREES)

Health claims for food products in Europe are permitted if the nutrient has been shown to have a beneficial nutritional or physiological effect. This paper defines health claims related to bone health and provides guidelines for the design and the methodology of clinical studies to support claims