State Space Exploration of Spatially Organized Populations of Agents

International audienceIn this paper, we aim at modeling and analyzing the behavior of a spatial population of agents through an exploration of their state space. Agents are localized on a dynamic graph and they have internal states. They interact with an environment. The evolution of the agents and of the environment is specified by a set of rules. The framework is carefully designed to enable the construction of a global state space that can be automatically build and analyzed. The formalism, called IRNs for integrated regulatory networks, may be seen as an extension of logical regulatory networks (à la Thomas) developed in systems biology with spatial information and generalized to use arbitrary data values and update functions of this values. This thus allows to model systems with multiple agents that may be located on a varying spatial structure, may store and update local information, may depend on varying global information and may communicate in their neighborhood. A model of such a system can be defined as an IRN, and then analyzed using model-checking to asses its properties. This paper sketches the modeling framework and its semantics. We show how IRN may be used for the modeling of a population of simple agents, the automatic analysis of various reachability properties and the use of symmetries to reduce the size of the state space

Hepatitis E virus infection as a new probable cause of de novo membranous nephropathy after kidney transplantation.

International audienceHepatitis E virus (HEV) has been identified as a cause of chronic viral hepatitis in immunocompromised patients. Some glomerular diseases were found to be associated with this infection. We report the first case, to our knowledge, of a kidney transplant recipient who developed an HEV infection and de novo membranous nephropathy (MN) concomitantly. The patient displayed a hepatic cytolysis first and a nephrotic syndrome occurred 3 months later. HEV infection was diagnosed upon positive polymerase chain reaction on plasma and stool samples, and renal allograft biopsy revealed de novo MN. Typical causes of MN were definitively excluded. A 3-month course of ribavirin monotherapy allowed the patient to mount a sustained viral response that was rapidly followed by complete remission of the nephrotic syndrome. The chronology of the onset and remission of both diseases is highly suggestive of a causal relationship between hepatitis E and MN

IAOOS (Ice - Atmosphere - Arctic Ocean Observing System, 2011-2019)

6th International Workshop on Sea-Ice Modelling and Data Assimilation, 2014 September 15-16, Toulouse, FranceInternational audienceThe key to documenting and understanding change in the Arctic is continuous monitoring. The high cost of Arctic operations thus makes observationsby satellite or with long-endurance, refurbishable, autonomous platforms a cost effective solution to continuously observe on-going changes in nearreal-time. IAOOS (Ice Atmosphere Ocean Observing System, http://www.iaoos-equipex.upmc.fr, http://iaoos.ipev.fr/) is a nine-year France-fundedproject (2011-2019), developed by LOCEAN and LATMOS, which objective is to provide and maintain an integrated observing system over the ArcticOcean that collects synoptic and near real time information related to the state of the atmosphere, the snow, the sea-ice and the ocean

Diversité des prises en charge hospitalières de l'anorexie mentale en psychiatrie en France

International audienceBackground: Hospitalization is rare in anorexia nervosa (AN) and local application of indications is heterogeneous. However, no study has evaluated the effect of these different treatment modalities on the mean length of stay. Our objective was to describe the context and modalities of a wide range of hospital care programs offered to patients with anorexia nervosa in eleven specialized French psychiatric centers for patients from childhood to adulthood. This work was carried out within the framework of the EVHAN (Evaluation of Hospitalization for AN, Eudract number: 2007-A01110-53, registered in Clinical trials) research program. The EVHAN program comprises five main lines: weight objectives at discharge, the practice or not of a separation period, the use of clear nutritional dietary objectives (cognitive/behavioral), the intensity of family involvement in treatment, and the existence or absence of a stabilization phase before ending inpatient treatment. These main lines will make it possible to study the impact of treatment modalities on the future of patients in the short and medium term (at discharge and at 1-year follow-up). Methods: The eleven centers are located in France (Bordeaux, Nantes, Paris and Ile-de-France, Rouen and Saint-Étienne). Various staff members (psychiatrists, somatic doctors, nurses, dieticians, psychologists) from each center were interviewed using a semi-structured questionnaire. Data on operating modalities and context of care were collected and analyzed. Results: Four of the eleven centers were exclusively child/adolescent centers, and seven of 11 were adolescent (from 11, 13 or 16 years) and young adult centers. All centers offered a graduated approach from outpatient to full hospitalization. The majority had a number of beds allocated for patients with eating disorders. The criteria for hospitalization were homogeneous with respect to somatic and/or psychic severity prefiguring the consensus criteria defined by the French Health Authority (HAS) in 2010. Child/adolescent units used the weight curve to set weight objectives at discharge (between the 10th and 50th percentiles). Most adult units used weight objectives at discharge corresponding to a body mass index between 17 and 20 kg/m2. Nine centers used a written or oral care contract. One unit did not separate the patient from her/his usual environment, the others had a practice gradient of partial separation and total separation times. These were either short, lasting a maximum of 3 weeks, or long, lasting more than 3 weeks. Conversely, patients were not isolated within the unit, and benefited from a rich social life, depending on her/his physical condition. The patient's family was in contact with the team and fully supported. The longest periods of separation involved adolescents and adults. Nutritional support varied from a group approach (meals in the dining room, standardized meals of the care center) to very individualized approaches within a specific framework. All the units reported meeting with families at least once during the hospitalization; with the patient's parents for child/adolescent patients and/or unmarried patients and with the husband/wife for married patients. The majority of the centers requested a phase of weight stabilization, whatever the age before hospital discharge. Conclusion: There is international and national consensus regarding the indications for hospitalization, and the main lines of multidisciplinary care to be developed within this framework. However, local application of these indications was heterogeneous resulting in diverse modalities of hospital care for anorexia nervosa in France. Specialized teams have developed management strategies arising from their “team culture”. The complexity of the anorexic pathology, due to the psyche-soma intrication and the diversity of age groups, highlights the complexity of care available. The impact of this diversity of hospital care on patient outcomes will be studied as a result of this work