LARS: A learning algorithm for rewriting systems

Whereas there is a number of methods and algorithms to learn regular languages, moving up the Chomsky hierarchy is proving to be a challenging task. Indeed, several theoretical barriers make the class of context-free languages hard to learn. To tackle these barriers, we choose to change the way we represent these languages. Among the formalisms that allow the definition of classes of languages, the one of string-rewriting systems (SRS) has outstanding properties. We introduce a new type of SRS’s, called Delimited SRS (DSRS), that are expressive enough to define, in a uniform way, a noteworthy and non trivial class of languages that contains all the regular languages, , , the parenthesis languages of Dyck, the language of Lukasiewicz, and many others. Moreover, DSRS’s constitute an efficient (often linear) parsing device for strings, and are thus promising candidates in forthcoming applications of grammatical inference. In this paper, we pioneer the problem of their learnability. We propose a novel and sound algorithm (called LARS) which identifies a large subclass of them in polynomial time (but not data). We illustrate the execution of our algorithm through several examples, discuss the position of the class in the Chomsky hierarchy and finally raise some open questions and research directions. This work was supported in part by the IST Program of the European Community, under the PASCAL Network of Excellence, IST-2002-506778. This publication only reflects the authors’ views. Editor: Georgios Paliouras and Yasubumi Sakakibara     

Functional segmentation of dynamic nuclear images by cross-psi B-energy operator

We describe a new segmentation method of dynamic nuclear medicine images based on the cross-Psi(B)-energy operator. Psi(B) is a nonlinear measure which quantifies the interaction between two time-signals including their first and second derivatives. Similarity measure, noted SimilB, between the time activity curve (TAC) of each pixel and the mean value of the TACs of a reference region of the scintigraphic image series is calculated. The resulting SimilB map is a functional image representing regions with different temporal dynamics. Some new properties of Psi(B) are presented. Particularly, we show that Psi(B) as a similarity measure is robust to both scale and time shift. The proposed method is applied to nuclear cardiac sequences for visualization and analysis of the ventricular emptying pattern, which may be useful in studying motion or conduction abnormalities. Results of a normal subject and four patients with abnormal ventricular contraction patterns are presented to highlight the suitability of this operator for studying non-stationary TAC series.     

Impact of variable frequency microwave and rapid thermal sintering on microstructure of inkjet-printed silver nanoparticles

The effect of thermal profile on microstructure is studied in the frame of thin films deposited by inkjet-printing technology. The role of sintering temperature and thermal ramp is particularly investigated. Fast heating ramps exhibit coarse grains and pores, especially when a hybrid microwave curing is performed. This enhanced growth is attributed to the quick activation of densifying sintering regimes without undergoing thermal energy loss at low temperature. Microstructural evolution of various sintered inkjet-printed films is correlated with electrical resistivity and with the Young’s modulus determined by nanoindentation. A strong link between those three parameters is highlighted during experiments giving credit to either a surface or a fully volumetric sintering, according to the process. Sintering is then mainly triggered by surface mass transfer or by grain boundary diffusion. Silver thin films with an electrical resistivity 4–5 times higher than the bulk, has been reached in a few minutes with a Young’s modulus of 38?GPa.     

Ester-functionalized poly(3-alkylthiophene) copolymers: Synthesis,physicochemical characterization and performance in bulk heterojunction organic solar cells

The introduction of functional moieties in the donor polymer (side chains) offers a potential pathway toward selective modification of the nanomorphology of conjugated polymer:fullerene active layer blends applied in bulk heterojunction organic photovoltaics, pursuing morphology control and solar cell stability. For this purpose, two types of poly(3-alkylthiophene) random copolymers, incorporating different amounts (10/30/50%) of ester-functionalized side chains, were efficiently synthesized using the Rieke method. The solar cell performance of the functionalized copolymers was evaluated and compared to the pristine P3HT:PCBM system. It was observed that the physicochemical and opto-electronic characteristics of the polythiophene donor material can be modified to a certain extent via copolymerization without (too much) jeopardizing the OPV efficiency, as far as the functionalized side chains are introduced in a moderate ratio (<30%) and that preference is given to side chains with a small molar volume. A range of complementary techniques – UV–Vis spectroscopy, (modulated temperature) differential scanning calorimetry, transmission electron microscopy and X-ray diffraction analysis – indicated that variations in polymer crystallinity, while maintaining a high level of regioregularity, are probably the main factor responsible for the observed differences.     

Individual cell lag time distributions of Cronobacter (Enterobacter sakazakii) and impact of pooling samples on its detection in powdered infant formula

Cells of six strains of Cronobacter were subjected to dry stress and stored for 2.5 months at ambient temperature. The individual cell lag time distributions of recovered cells were characterized at 25 °C and 37 °C in non-selective broth. The individual cell lag times were deduced from the times taken by cultures from individual cells to reach an optical density threshold. In parallel, growth curves for each strain at high contamination levels were determined in the same growth conditions. In general, the extreme value type II distribution with a shape parameter fixed to 5 (EVIIb) was the most effective at describing the 12 observed distributions of individual cell lag times. Recently, a model for characterizing individual cell lag time distribution from population growth parameters was developed for other food-borne pathogenic bacteria such as Listeria monocytogenes. We confirmed this model’s applicability to Cronobacter by comparing the mean and the standard deviation of individual cell lag times to populational lag times observed with high initial concentration experiments. We also validated the model in realistic conditions by studying growth in powdered infant formula decimally diluted in Buffered Peptone Water, which represents the first enrichment step of the standard detection method for Cronobacter. Individual lag times and the pooling of samples significantly affect detection performances.     

Lessons from the organization of a proficiency testing program in food microbiology by interlaboratory comparison: analytical methods in use, impact of methods on bacterial counts and measurement uncertainty of bacterial counts

The proficiency testing program in food microbiology RAEMA (Réseau d'Analyses et d'Echanges en Microbiologie des Aliments), created in 1988, currently includes 450 participating laboratories. This interlaboratory comparison establishes proficiency in detection of Salmonella and Listeria monocytogenes, as well as enumeration of aerobic micro-organisms, Enterobacteriaceae, coliforms, beta-glucuronidase-positive Escherichia coli, anaerobic sulfito-reducing bacteria, Clostridium perfringens, coagulase-positive staphylococci, and L. monocytogenes. Twice a year, five units samples are sent to participants to assess their precision and trueness for enumeration and detection of micro-organisms. Most of participating laboratories use standard or validated alternative methods, they were 50-70% in 1994 and, for 5 years, they are 95%. An increasing use of alternative methods was also observed. This phenomenon is all the more significant as standard methods are laborious and time consuming; thus, 50% of the laboratories use alternative methods for the detection of Salmonella and L. monocytogenes. More and more laboratories use ready-to-use media and although the percentage is variable according to the microflora, we can consider that, today, 50-60% of the laboratories participating to the proficiency program only use ready-to-use media. The internal quality assurance programs lead also to an increasing use of media quality controls. The impact of analytical methods on bacterial counts was assessed by grouping together the results obtained by participating laboratories during the 10 last testing schemes from 1999 to 2003. The identified significant factors influencing enumeration results are variable from one microflora to another. Some of them significantly influence many microflora: the plating method (spiral plating or not) is influential for aerobic micro-organisms, Enterobacteriaceae, coliforms, and staphylococci, the type of culture medium and the medium manufacturer is influential for aerobic micro-organisms, Enterobacteriaceae, coliforms, E. coli, anaerobic sulfito-reducing bacteria, staphylococci, and L. monocytogenes. Others are specific of some micro-organisms: the resuscitation broth for L. monocytogenes, the mode of medium preparation for staphylococci and the incubation temperature for C. perfringens. These effects lead generally to small differences of about 0.1 log10 cfu g(-1), except for the enumeration of anaerobic sulfito-reducing bacteria, where the difference reaches 0.7 log10 cfu g(-1). These results, although difficult to extrapolate to all actual situations, which associate numerous food constituents and physiological states of bacteria to detect or numerate, allow nevertheless the quantification of interlaboratory variations linked to the methods in use. The analysis of bacterial counts obtained by the laboratories participating to the RAEMA proficiency testing program allowed also to validate a formula to calculate the repeatability of bacterial counts and to estimate the between-laboratory uncertainties for the majority of micro-organisms enumerated in food microbiology. The repeatability uncertainty is only indirectly affected by the method in use but depends essentially on the number of counted colonies. On the other hand, the between-laboratory uncertainty varies with the enumeration method in use, this variability is relatively small for the enumerations calling for methods without colony confirmation, i.e. for the enumeration of aerobic micro-organisms, Enterobacteriaceae, 'total' and thermotolerant coliforms, beta-glucuronidase-positive E. coli and coagulase-positive staphylococci with the technique using the rabbit-plasma fibrinogen agar. For these methods, the average between-laboratory standard deviation is 0.17 log10 cfu g(-1). The between-laboratory uncertainty is, on the contrary, larger for more complex techniques. For the enumeration of coagulase-positive staphylococci with the Baird-Parker agar, the between-laboratory standard deviation is equal to 0.23 log10 cfu g(-1), it is equal to 0.28 log10 cfu g(-1) for the enumeration of L. monocytogenes, to 0.34 log10 cfu g(-1) for the enumeration of C. perfringens, and to 0.47 log10 cfu g(-1) for the enumeration of anaerobic sulfito-reducing bacteria.     

Neutronic characterization of the MEGAPIE target

The MEGAPIE project aimed to design, build and operate a liquid metal spallation neutron target of about 1 MW beam power in the SINQ facility at the Paul Scherrer Institut (Villigen, Switzerland). This project is an important step in the roadmap towards the demonstration of the accelerator driven system (ADS) concept and high power liquid metal targets in general. Following the design phase, an experimental program was defined to provide a complete characterization of the facility by performing a “mapping” of the neutron flux at different points, from the center of the target to the beam lines. The neutronic performance of the target was studied using different experimental techniques with the goals of validating the Monte Carlo codes used in the design of the target; additionally, the performance was compared with the solid lead targets used before and after the MEGAPIE experiment.     

Temporal variations of radon concentration in the saturated soil of Alpine grassland: The role of groundwater flow

Radon concentration has been monitored from 1995 to 1999 in the soil of the Sur-Frêtes ridge (French Alps), covered with snow from November to April. Measurements were performed at 70 cm depth, with a sampling time of 1 h, at two points: the summit of the ridge, at an altitude of 1792 m, and the bottom of the ridge, at an altitude of 1590 m. On the summit, radon concentration shows a moderate seasonal variation, with a high value from October to April (winter), and a low value from May to September (summer). At the bottom of the ridge, a large and opposite seasonal variation is observed, with a low value in winter and a high value in summer. Fluctuations of the radon concentration seem to be associated with temperature variations, an effect which is largely delusory. Indeed, these variations are actually due to water infiltration. A simplified mixing model is used to show that, at the summit of the ridge, two effects compete in the radon response: a slow infiltration response, rich in radon, with a typical time scale of days, and a fast infiltration of radon-poor rainwater. At the bottom of the ridge, similarly, two groundwater contributions compete: one slow infiltration response, similar to the response seen at the summit, and an additional slower response, with a typical time scale of about a month. This second slower response can be interpreted as the aquifer discharge in response to snow melt. This study shows that, while caution is necessary to properly interpret the various effects, the temporal variations of the radon concentration in soil can be understood reasonably well, and appear to be a sensitive tool to study the subtle interplay of near surface transfer processes of groundwater with different transit times.     

Flying over the reality gap: From simulated to real indoor airships

Because of their ability to naturally float in the air, indoor airships (often called blimps) constitute an appealing platform for research in aerial robotics. However, when confronted to long lasting experiments such as those involving learning or evolutionary techniques, blimps present the disadvantage that they cannot be linked to external power sources and tend to have little mechanical resistance due to their low weight budget. One solution to this problem is to use a realistic flight simulator, which can also significantly reduce experimental duration by running faster than real time. This requires an efficient physical dynamic modelling and parameter identification procedure, which are complicated to develop and usually rely on costly facilities such as wind tunnels. In this paper, we present a simple and efficient physics-based dynamic modelling of indoor airships including a pragmatic methodology for parameter identification without the need for complex or costly test facilities. Our approach is tested with an existing blimp in a vision-based navigation task. Neuronal controllers are evolved in simulation to map visual input into motor commands in order to steer the flying robot forward as fast as possible while avoiding collisions. After evolution, the best individuals are successfully transferred to the physical blimp, which experimentally demonstrates the efficiency of the proposed approach. Jean-Christophe Zufferey and Alexis Guanella contributed equally to this work.