Linearization of CIF Through SOS

Linearization is the procedure of rewriting a process term into a linear form, which consist only of basic operators of the process language. This procedure is interesting both from a theoretical and a practical point of view. In particular, a linearization algorithm is needed for the Compositional Interchange Format (CIF), an automaton based modeling language. The problem of devising efficient linearization algorithms is not trivial, and has been already addressed in literature. However, the linearization algorithms obtained are the result of an inventive process, and the proof of correctness comes as an afterthought. Furthermore, the semantic specification of the language does not play an important role on the design of the algorithm. In this work we present a method for obtaining an efficient linearization algorithm, through a step-wise refinement of the SOS rules of CIF. As a result, we show how the semantic specification of the language can guide the implementation of such a procedure, yielding a simple proof of correctness.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407

Six-year follow-up of the treatment of patients with dissociative disorders study*

Objective: Literature on the treatment of dissociative disorders (DDs) suggests that these individuals require long-term and specialized treatment to achieve stabilization and functionality. There is considerable empirical support for specialized phasic, dissociation-focused treatment in reducing a myriad of psychological symptoms and self-harm in this population. However, until recently, there has been a paucity of longitudinal treatment research on DD patients

Group size planning for breedings of gene-modified mice and other organisms following Mendelian inheritance

Colony management of gene-modified animals is time-consuming, costly and affected by random events related to Mendelian genetics, fertility and litter size. Careful planning is mandatory to ensure successful outcomes using the least number of animals, hence adhering to the 3R principles of animal welfare. Here we have developed an R package, accessible also through an interactive public website, that optimizes breeding design by providing information about the optimal number of breedings needed to obtain defined breeding outcomes, taking into account specific species, strain, or line properties and success probability. Our software also enables breeding planning for balanced male-to-female ratio or single-sex experiments. We show that, for single-sex designs, the necessary number of breedings is at least doubled compared to the use of all born animals. While the presented tool provides preset parameters for the laboratory mouse, it can be readily used for any other species

Quantized spin waves in the metallic state of magnetoresistive manganites

High resolution spin waves measurements have been carried out in ferromagnetic (F) La(1-x)(Sr,Ca)xMnO3 with x(Sr)=0.15, 0.175, 0.2, 0.3 and x(Ca)=0.3. In all q-directions, close to the zone boundary, the spin wave spectra consist of several energy levels, with the same values in the metallic and the x\approx 1/8 ranges. Mainly the intensity varies, jumping from the lower energy levels determined in the x\approx 1/8 range to the higher energy ones observed in the metallic state. On the basis of a quantitative agreement found for x(Sr)=0.15 in a model of ordered 2D clusters, the spin wave anomalies of the metallic state can be interpreted in terms of quantized spin waves within the same 2D clusters, embedded in a 3D matrix.Comment: 4 pages, 5 figure

Recognition and blocking of innate immunity cells by Candida albicans chitin

Peer reviewedPublisher PD

MAMBO 1.2mm observations of luminous starbursts at z~2 in the SWIRE fields

We report on--off pointed MAMBO observations at 1.2 mm of 61 Spitzer-selected star-forming galaxies from the SWIRE survey. The sources are selected on the basis of bright 24um fluxes (f_24um>0.4mJy) and of stellar dominated near-infrared spectral energy distributions in order to favor z~2 starburst galaxies. The average 1.2mm flux for the whole sample is 1.5+/-0.2 mJy. Our analysis focuses on 29 sources in the Lockman Hole field where the average 1.2mm flux (1.9+/-0.3 mJy) is higher than in other fields (1.1+/-0.2 mJy). The analysis of the sources multi-wavelength spectral energy distributions indicates that they are starburst galaxies with far-infrared luminosities ~10^12-10^13.3 Lsun, and stellar masses of ~0.2-6 x10^11 M_sun. Compared to sub-millimeter selected galaxies (SMGs), the SWIRE-MAMBO sources are among those with the largest 24um/millimeter flux ratios. The origin of such large ratios is investigated by comparing the average mid-infrared spectra and the stacked far-infrared spectral energy distributions of the SWIRE-MAMBO sources and of SMGs. The mid-infrared spectra exhibit strong PAH features, and a warm dust continuum. The warm dust continuum contributes to ~34% of the mid-infrared emission, and is likely associated with an AGN component. This constribution is consistent with what is found in SMGs. The large 24um/1.2mm flux ratios are thus not due to AGN emission, but rather to enhanced PAH emission compared to SMGs. The analysis of the stacked far-infrared fluxes yields warmer dust temperatures than typically observed in SMGs. Our selection favors warm ultra-luminous infrared sources at high-z, a class of objects that is rarely found in SMG samples. Our sample is the largest Spitzer-selected sample detected at millimeter wavelengths currently available.Comment: Accepted for publication in ApJ (51 pages; 16 figures). The quality of some figures has been degraded for arXiv purposes. Full resolution version available at this http://www.iasf-milano.inaf.it/~polletta/mambo_swire/lonsdale08_ApJ_accepted.pd

Assessing Implicit Odor Localization in Humans Using a Cross-Modal Spatial Cueing Paradigm

Navigation based on chemosensory information is one of the most important skills in the animal kingdom. Studies on odor localization suggest that humans have lost this ability. However, the experimental approaches used so far were limited to explicit judgements, which might ignore a residual ability for directional smelling on an implicit level without conscious appraisal.A novel cueing paradigm was developed in order to determine whether an implicit ability for directional smelling exists. Participants performed a visual two-alternative forced choice task in which the target was preceded either by a side-congruent or a side-incongruent olfactory spatial cue. An explicit odor localization task was implemented in a second experiment.No effect of cue congruency on mean reaction times could be found. However, a time by condition interaction emerged, with significantly slower responses to congruently compared to incongruently cued targets at the beginning of the experiment. This cueing effect gradually disappeared throughout the course of the experiment. In addition, participants performed at chance level in the explicit odor localization task, thus confirming the results of previous research.The implicit cueing task suggests the existence of spatial information processing in the olfactory system. Response slowing after a side-congruent olfactory cue is interpreted as a cross-modal attentional interference effect. In addition, habituation might have led to a gradual disappearance of the cueing effect. It is concluded that under immobile conditions with passive monorhinal stimulation, humans are unable to explicitly determine the location of a pure odorant. Implicitly, however, odor localization seems to exert an influence on human behaviour. To our knowledge, these data are the first to show implicit effects of odor localization on overt human behaviour and thus support the hypothesis of residual directional smelling in humans