La Baïsse : Une communauté thérapeuthique pour psychotiques

L’auteur décrit le fonctionnement et l’évolution d’une communauté thérapeutique nommée « La Baïsse ». Fondée en 1979, elle accueille 7 patients psychotiques et un stagiaire. La première partie décrit les principes sur lesquels la communauté est fondée, et la deuxième partie décrit la structure, les participants et les trois étapes à travers lesquelles les patients passent. L’auteur conclut que l’expérience est positive.The author describes the functioning and evolution of a therapeutic commune called "La Baisse". Founded in 1979, it houses 7 psychotic patients and one "stagiaire". The first part describes the principles upon which the commune is founded, and the second part describes the structure, the participants and the three stages through which the patients go. The author concludes that the experience is a positive one

Probabilistic Opacity in Refinement-Based Modeling

Given a probabilistic transition system (PTS) $\cal A$ partially observed by an attacker, and an $\omega$-regular predicate $\varphi$over the traces of $\cal A$, measuring the disclosure of the secret $\varphi$ in $\cal A$ means computing the probability that an attacker who observes a run of $\cal A$ can ascertain that its trace belongs to $\varphi$. In the context of refinement, we consider specifications given as Interval-valued Discrete Time Markov Chains (IDTMCs), which are underspecified Markov chains where probabilities on edges are only required to belong to intervals. Scheduling an IDTMC $\cal S$ produces a concrete implementation as a PTS and we define the worst case disclosure of secret $\varphi$ in ${\cal S}$ as the maximal disclosure of $\varphi$ over all PTSs thus produced. We compute this value for a subclass of IDTMCs and we prove that refinement can only improve the opacity of implementations

Opacity for Linear Constraint Markov Chains

On a partially observed system, a secret ϕ is opaque if an observer cannot ascertain that its trace belongs to ϕ. We consider specifications given as Constraint Markov Chains (CMC), which are underspec-ified Markov chains where probabilities on edges are required to belong to some set. The nondeterminism is resolved by a scheduler, and opacity on this model is defined as a worst case measure over all implementations obtained by scheduling. This measures the information obtained by a passive observer when the system is controlled by the smartest sched-uler in coalition with the observer. When restricting to the subclass of Linear CMC, we compute (or approximate) this measure and prove that refinement of a specification can only improve opacity

A simulation framework for rapid prototyping and evaluation of thermal mitigation techniques in many-core architectures

International audienceModern SoCs are characterized by increasing power density and consequently increasing temperature, that directly impacts performances, reliability and cost of a device through its packaging. Thermal issues need to be predicted and mitigated as early as possible in the design flow, when the optimization opportunities are the highest. In this paper, we present an efficient framework for the design of dynamic thermal mitigation schemes based on a high-level SystemC virtual prototype tightly coupled with efficient power and thermal simulation tools. We demonstrate the benefit of our approach through silicon comparison with the SThorm 64-core architecture and provide simulation speed results making it a sound solution for the design of thermal mitigation early in the flow

Correlated evolution of structure and mechanical loss of a sputtered silica film

Energy dissipation in amorphous coatings severely affects high-precision optical and quantum transducers. In order to isolate the source of coating loss, we performed an extensive study of Raman scattering and mechanical loss of a thermally-treated sputtered silica coating. Our results show that loss is correlated with the population of three-membered rings of Si-O$_4$ tetrahedral units, and support the evidence that thermal treatment reduces the density of metastable states separated by a characteristic energy of about 0.5 eV, in favour of an increase of the states separated by smaller activation energies. Finally, we conclude that three-fold rings are involved in the relaxation mechanisms only if they belong to more complex chain-like structures of 10 to 100 tetrahedra.Comment: 5 pages, 3 figure

INTERNAL FRICTION AND YOUNG'S MODULUS MEASUREMENTS ON SiO2 AND Ta2O5 FILMS DONE WITH AN ULTRA-HIGH Q SILICON-WAFER SUSPENSION

International audienceIn order to study the internal friction of thin films a nodal suspension system called GeNS (Gentle Nodal Suspension) has been developed. The key features of this system are: i) the possibility to use substrates easily available like silicon wafers; ii) extremely low excess losses coming from the suspension system which allows to measure Q factors in excess of 2×10^8 on 3 " diameter wafers; iii) reproducibility of measurements within few percent on mechanical losses and 0.01% on resonant frequencies; iv) absence of clamping; v) the capability to operate at cryogenic temperatures. Measurements at cryogenic temperatures on SiO 2 and at room temperature only on Ta2O5 films deposited on silicon are presented

Realization of low-loss mirrors with sub-nanometer flatness for future gravitational wave detectors

The second generation of gravitational wave detectors will aim at improving by an order of magnitude their sensitivity versus the present ones (LIGO and VIRGO). These detectors are based on long-baseline Michelson interferometer with high finesse Fabry-Perot cavity in the arms and have strong requirements on the mirrors quality. These large low-loss mirrors (340 mm in diameter, 200 mm thick) must have a near perfect flatness. The coating process shall not add surface figure Zernike terms higher than second order with amplitude >0.5 nm over the central 160 mm diameter. The limits for absorption and scattering losses are respectively 0.5 and 5 ppm. For each cavity the maximum loss budget due to the surface figure error should be smaller than 50 ppm. Moreover the transmission matching between the two inputs mirrors must be better than 99%. We describe the different configurations that were explored in order to respect all these requirements. Coatings are done using IBS. The two first configurations based on a single rotation motion combined or not with uniformity masks allow to obtain coating thickness uniformity around 0.2 % rms on 160 mm diameter. But this is not sufficient to meet all the specifications. A planetary motion completed by masking technique has been studied. With simulated values the loss cavity is below 20 ppm, better than the requirements. First experimental results obtained with the planetary system will be presented

Interrupt Timed Automata: verification and expressiveness

We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment. While the reachability problem is undecidable for hybrid automata we show that it is decidable for ITA. More precisely we prove that the untimed language of an ITA is regular, by building a finite automaton as a generalized class graph. We then establish that the reachability problem for ITA is in NEXPTIME and in PTIME when the number of clocks is fixed. To prove the first result, we define a subclass ITA- of ITA, and show that (1) any ITA can be reduced to a language-equivalent automaton in ITA- and (2) the reachability problem in this subclass is in NEXPTIME (without any class graph). In the next step, we investigate the verification of real time properties over ITA. We prove that model checking SCL, a fragment of a timed linear time logic, is undecidable. On the other hand, we give model checking procedures for two fragments of timed branching time logic. We also compare the expressive power of classical timed automata and ITA and prove that the corresponding families of accepted languages are incomparable. The result also holds for languages accepted by controlled real-time automata (CRTA), that extend timed automata. We finally combine ITA with CRTA, in a model which encompasses both classes and show that the reachability problem is still decidable. Additionally we show that the languages of ITA are neither closed under complementation nor under intersection

Expression of CD133 in differentiated thyroid cancer of young patients

CD133 expression in cancer is frequently associated with poor outcome. Thyroid carcinomas are rare in childhood and adolescence and are associated with a higher risk of recurrence and more metastases than the adult tumours. The aim of the study was to assess whether the expression of CD133 in thyroid carcinomas of children, adolescents and young adults was correlated with clinical prognostic factors