CONFIGEN: A tool for managing configuration options

This paper introduces CONFIGEN, a tool that helps modularizing software. CONFIGEN allows the developer to select a set of elementary components for his software through an interactive interface. Configuration files for use by C/assembly code and Makefiles are then automatically generated, and we successfully used it as a helper tool for complex system software refactoring. CONFIGEN is based on propositional logic, and its implementation faces hard theoretical problems.Comment: In Proceedings LoCoCo 2010, arXiv:1007.083

Non-Simultaneity as a Design Constraint

Whether one or multiple hardware execution units are activated (i.e. CPU cores), invalid resource sharing, notably due to simultaneous accesses, proves to be problematic as it can yield to unexpected runtime behaviors with negative implications such as security or safety issues. The growing interest for off-the-shelf multi-core architectures in sensitive applications motivates the need for safe resources sharing. If critical sections are a well-known solution from imperative and non-temporized programming models, they fail to provide safety guarantees. By leveraging the time-triggered programming model, this paper aims at enforcing that identified critical windows of computations can never be simultaneously executed. We achieve this result by determining, before an application is compiled, the exact dates during which a task accesses a shared resource, which enables the off-line validation of non-simultaneity constraints

PASSIVE RADIATIVE CONDENSERS TO EXTRACT WATER FROM AIR

Radiative cooling allows atmospheric vapor to be condensed on a surface without an energy source. Data on atmospheric dew water condensers are presented, with emphasis on their application to islands and deserts where drinking water can be scarce. The chemical and bacteriological quality of water is also reported upon. The areas presently under investigation are situated in a variety of regions: continental (Grenoble - in an alpine valley; Brivela-Gaillarde, Central Massif), coastal (Bordeaux - on the French Atlantic coast, and Zadar and Dubrovnik - on the eastern Adriatic coast), desert (Nizzana, NW Negev), the Mediterranean islands (Ajaccio on Corsica and Komiža on Vis in the Adriatic sea) and the Pacific Ocean (Tahiti, French Polynesia). In Ajaccio, two large 30 m2 condensers have been operating since 2000

CETOBaC - Centre d’études turques, ottomanes, balkaniques et centrasiatiques

Marc Aymes, chargé de recherche au CNRSBenjamin Gourisse, ATER à l’Université Paris-I/Panthéon-SorbonneEmmanuel Szurek, doctorant à l’EHESS Sociologie historique de l’État en Turquie depuis les Tanzimat Le séminaire s’est poursuivi en 2010-2011 pour sa troisième année consécutive. Il demeure articulé au programme ANR TRANSTUR, « Ordonner et transiger. Modalités de gouvernement et d’administration en Turquie et dans l’Empire ottoman du XIXe siècle à nos jours » (2008-2011), dont il permet de d..

CETOBaC – Centre d’études turques, ottomanes, balkaniques et centrasiatiques

Constant Hamès, chargé de recherche au CNRSAlexandre Popovic, directeur de recherche émérite au CNRS Histoire moderne et contemporaine des musulmans balkaniques Nous avons pu terminer au cours de cette année l’analyse détaillée du très riche ouvrage de l’historien et turcologue serbe Glisa Elezovic (1879-1960), Derviski redovi muslimanski. Tekije u Skoplju (Les ordres de derviches musulmans. Les tekke de Skoplje), paru à Skoplje même en 1925 (d’abord en feuilleton dans deux périodiques locaux..

CETOBaC – Centre d’études turques, ottomanes, balkaniques et centrasiatiques

Constant Hamès, chargé de recherche au CNRSAlexandre Popovic, directeur de recherche émérite au CNRS Histoire moderne et contemporaine des musulmans balkaniques Nous avons pu terminer au cours de cette année l’analyse détaillée du très riche ouvrage de l’historien et turcologue serbe Glisa Elezovic (1879-1960), Derviski redovi muslimanski. Tekije u Skoplju (Les ordres de derviches musulmans. Les tekke de Skoplje), paru à Skoplje même en 1925 (d’abord en feuilleton dans deux périodiques locaux..

Clinical and polysomnographic course of childhood narcolepsy with cataplexy.

Our aim was to investigate the natural evolution of cataplexy and polysomnographic features in untreated children with narcolepsy with cataplexy. To this end, clinical, polysomnographic, and cataplexy-video assessments were performed at diagnosis (mean age of 10 ± 3 and disease duration of 1 ± 1 years) and after a median follow-up of 3 years from symptom onset (mean age of 12 ± 4 years) in 21 children with narcolepsy with cataplexy and hypocretin 1 deficiency (tested in 19 subjects). Video assessment was also performed in two control groups matched for age and sex at first evaluation and follow-up and was blindly scored for presence of hypotonic (negative) and active movements. Patients' data at diagnosis and at follow-up were contrasted, compared with controls, and related with age and disease duration. At diagnosis children with narcolepsy with cataplexy showed an increase of sleep time during the 24 h; at follow-up sleep time and nocturnal sleep latency shortened, in the absence of other polysomnographic or clinical (including body mass index) changes. Hypotonic phenomena and selected facial movements decreased over time and, tested against disease duration and age, appeared as age-dependent. At onset, childhood narcolepsy with cataplexy is characterized by an abrupt increase of total sleep over the 24 h, generalized hypotonia and motor overactivity. With time, the picture of cataplexy evolves into classic presentation (i.e., brief muscle weakness episodes triggered by emotions), whereas total sleep time across the 24 h decreases, returning to more age-appropriate levels

Complex movement disorders at disease onset in childhood narcolepsy with cataplexy

Narcolepsy with cataplexy is characterized by daytime sleepiness, cataplexy (sudden loss of bilateral muscle tone triggered by emotions), sleep paralysis, hypnagogic hallucinations and disturbed nocturnal sleep. Narcolepsy with cataplexy is most often associated with human leucocyte antigen-DQB1*0602 and is caused by the loss of hypocretin-producing neurons in the hypothalamus of likely autoimmune aetiology. Noting that children with narcolepsy often display complex abnormal motor behaviours close to disease onset that do not meet the classical definition of cataplexy, we systematically analysed motor features in 39 children with narcolepsy with cataplexy in comparison with 25 age- and sex-matched healthy controls. We found that patients with narcolepsy with cataplexy displayed a complex array of ‘negative’ (hypotonia) and ‘active’ (ranging from perioral movements to dyskinetic–dystonic movements or stereotypies) motor disturbances. ‘Active’ and ‘negative’ motor scores correlated positively with the presence of hypotonic features at neurological examination and negatively with disease duration, whereas ‘negative’ motor scores also correlated negatively with age at disease onset. These observations suggest that paediatric narcolepsy with cataplexy often co-occurs with a complex movement disorder at disease onset, a phenomenon that may vanish later in the course of the disease. Further studies are warranted to assess clinical course and whether the associated movement disorder is also caused by hypocretin deficiency or by additional neurochemical abnormalities

Association of narcolepsy-cataplexy with HLA-DRB1 and DQB1 in Mexican patients: A relationship between HLA and gender is suggested

<p>Abstract</p> <p>Background</p> <p>Narcolepsy-cataplexy is characterized by excessive daytime sleepiness with recurrent episodes of irresistible sleep, cataplexy, hallucinations and sleep paralysis. Its aetiology is unknown, but it is positively associated with the human leukocyte antigens (HLA) in all studied populations. The purpose of the present study was to investigate the association of HLA class II <it>DRB1</it>/<it>DQB1 </it>alleles with narcolepsy-cataplexy in Mexican Mestizo patients.</p> <p>Methods</p> <p>This is a case-control study of consecutive patients and ethnically matched controls. We included 32 patients diagnosed with typical narcolepsy-cataplexy, of the National Institute of Neurology, of the Institute of Psychiatry and at the Center of Narcolepsy at Stanford University. As healthy controls, 203 Mexican Mestizos were included. <it>DRB1 </it>alleles were identified using sequence based typing. A PCR-SSOP reverse dot blot was used for <it>DQB1 </it>typing. Allele frequency was calculated by direct counting and the significance of the differences was assessed using the Yates Chi square. Odds ratio and confidence intervals were evaluated.</p> <p>Results</p> <p>HLA-<it>DRB1</it>*1501 (OR = 8.2; pc < 0.0001) and <it>DQB1</it>*0602 (OR = 8.4; pc < 0.0001) were found positively associated with narcolepsy. When deleting <it>DQB1</it>*0602+ patients from the analysis, <it>DQB1</it>*0301 was also found increased (OR = 2.7; p = 0.035; pc = NS). <it>DQB1</it>*0602/<it>DQB1</it>*0301 genotype was present in 15.6% of the cases (OR = 11.5; p = 0.00035), conferring a high risk. <it>DRB1</it>*0407 (OR = 0.2; p = 0.016 pc = NS) and <it>DQB1</it>*0302(OR = 0.4; p = 0.017, pc = NS) were found decreased in the patients. The gender stratification analysis showed a higher risk in females carrying <it>DRB1</it>*1501 (OR = 15.8, pc < 0.0001) and <it>DQB1</it>*0602 (OR = 19.8, pc < 0.0001) than in males (OR = 5.0 for both alleles; p = 0.012, pc = NS for <it>DRB1 </it>& p = 0.0012, pc = 0.017 for <it>DQB1</it>). The susceptibility alleles found in Mexicans with narcolepsy are also present in Japanese and Caucasians; <it>DRB1</it>*04 linked protection has also been shown in Koreans. A stronger HLA association is suggested in females, in accordance with the sexual dimorphism claimed previously.</p> <p>Conclusion</p> <p>This knowledge may contribute to a better understanding of the disease pathogenesis in different populations. The evaluation of the risk to develop narcolepsy-cataplexy in carriers of the described alleles/genotypes may also be possible. A larger sample should be analysed in Mexican and in other Hispanic patients to confirm these results.</p