When performing a program evolution task, developers often encounter concerns whose implementations are scattered across multiple modules. When the use of aspect-oriented programming mechanisms is either not possible or is too costly, one way to alleviate the difficulties of locating and managing scattered concerns is by capturing knowledge about the code implementing the concerns in a descript...

Bruyère and Carton lifted the notion of finite automata reading infinite words to finite automata reading words with shape an arbitrary linear order L. Automata on finite words can be used to represent infinite structures, the socalled word-automatic structures. Analogously, for a linear order L there is the class of L-automatic structures. In this paper we prove the following limitations on th...

We study tree-automatic linear orders on regular tree languages. We first show that there is no tree-automatic scattered linear order, and in particular no well-order, on the set of all finite labeled trees. This also follows from results of Gurevich-Shelah [8] and Carayol-Löding [4]. We then show that a regular tree language admits a tree-automatic scattered linear order if and only if all tre...

Analogs of Titan’s aerosols are produced in the laboratory as grains in a gas mixture, or as layers on a substrate. This production procedure enables the methane-nitrogen mixture composition to be changed. The aim of this paper is to understand the variations observed on the linear polarization of the scattered light as a function of the production conditions. The influence of the concentration...

BACKGROUND Many light- and laser-based systems are used to reduce cutaneous wrinkles, and some have been shown to stimulate dermal collagen production. Using the ThermaCool TC radiofrequency device to treat bovine tendon and human abdominal skin, we documented the cutaneous effects of a radiofrequency-based system for nonablative treatment. OBSERVATIONS Electron microscopy of bovine tendon tr...