Structural variations of vaginal and endometrial microbiota. Hints on female infertility

Microbiota are microorganismal communities colonizing human tissues exposed to the external environment, including the urogenital tract. The bacterial composition of the vaginal microbiota has been established and is partially related to obstetric outcome, while the uterine microbiota, considered to be a sterile environment for years, is now the focus of more extensive studies and debates. The characterization of the microbiota contained in the reproductive tract (RT) of asymptomatic and infertile women, could define a specific RT microbiota associated with implantation failure. In this pilot study, 34 women undergoing personalized hormonal stimulation were recruited and the biological samples of each patient, vaginal fluid, and endometrial biopsy, were collected immediately prior to oocyte-pick up, and sequenced. Women were subsequently divided into groups according to fertilization outcome. Analysis of the 16s rRNA V4-V5 region revealed a significant difference between vaginal and endometrial microbiota. The vaginal microbiota of pregnant women corroborated previous data, exhibiting a lactobacilli-dominant habitat compared to non-pregnant cases, while the endometrial bacterial colonization was characterized by a polymicrobial ecosystem in which lactobacilli were exclusively detected in the group that displayed unsuccessful in vitro fertilization. Overall, these preliminary results revisit our knowledge of the genitourinary microbiota, and highlight a putative relationship between vaginal/endometrial microbiota and reproductive success

Dietary preferences and ruminal protozoal populations in roe deer (Capreolus capreolus), fallow deer (Dama dama) and mouflon (Ovis musimon)

Roe deer (Capreolus capreolus), fallow deer (Dama dama) and mouflon (Ovis musimon) are among the most common wild ungulates in Italy and frequently their home ranges overlap. Despite the fact that roe deer is classified as concentrate selector (Hofmann, 1989) and fallow deer and mouflons as intermediate and grass eater, respectively, the composition of the diet can be affected by other factors such as geographical area and plant communities distribution and availabilit

Model-based simulation at runtime with abstract state machines

Software systems are rapidly growing in complexity and scale, and are subject to different kinds of uncertainties related to the dynamics of resource availability or changes in system objectives. So, many real usage scenarios might be impossible to reproduce and validate at design-time. As envisioned by the [email protected] research community, the use of models at runtime is fundamental to address this challenge. Our focus is on providing guarantees for changing safety goals at runtime (a form of uncertainty) with the employment of mathematically-based runtime analysis techniques from the area of formal methods ([email protected]). In this paper, we propose a novel framework for the runtime simulation of Abstract State Machine models and the on-the-fly changes of safety assertions at the model level to provide software assurance guarantees at runtime. The framework is called [email protected] and is being developed as part of the ASM specification and analysis toolset ASMETA

On the Runtime Enforcement of Timed Properties

International audienceRuntime enforcement refers to the theories, techniques, and tools for enforcing correct behavior of systems at runtime. We are interested in such behaviors described by specifications that feature timing constraints formalized in what is generally referred to as timed properties. This tutorial presents a gentle introduction to runtime enforcement (of timed properties). First, we present a taxonomy of the main principles and concepts involved in runtime enforcement. Then, we give a brief overview of a line of research on theoretical runtime enforcement where timed properties are described by timed automata and feature uncontrollable events. Then, we mention some tools capable of runtime enforcement, and we present the TiPEX tool dedicated to timed properties. Finally, we present some open challenges and avenues for future work. Runtime Enforcement (RE) is a discipline of computer science concerned with enforcing the expected behavior of a system at runtime. Runtime enforcement extends the traditional runtime verification [12-14, 42, 43] problem by dealing with the situations where the system deviates from its expected behavior. While runtime verification monitors are execution observers, runtime enforcers are execution modifiers. Foundations for runtime enforcement were pioneered by Schneider in [98] and by Rinard in [95] for the specific case of real-time systems. There are several tutorials and overviews on runtime enforcement for untimed systems [39, 47, 59], but none on the enforcement of timed properties (for real-time systems). In this tutorial, we focus on runtime enforcing behavior described by a timed property. Timed properties account for physical time. They allow expressing constraints on the time that should elapse between (sequences of) events, which is useful for real-time systems when specifying timing constraints between statements, their scheduling policies, the completion of tasks, etc [5, 7, 88, 101, 102]. This tutorial comprises four stages: 1. the presentation of a taxonomy of concepts and principles in RE (Sec. 1); 2. the presentation of a framework for the RE of timed properties where specifications are described by timed automata (preliminary concepts are recalled in Sec. 2, the framework is overviewed in Sec. 3, and presented in more details in Sec. 4); 3. the demonstration of the TiPEX [82] tool implementing the framework (Sec. 5); 4. the description of some avenues for future work (Sec. 6)