Towards a Generic Trace for Rule Based Constraint Reasoning

CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their testing and debugging phases. Current CHR implementations support those phases by offering tracing facilities with limited information. In this report, we propose a new trace for CHR which contains enough information to analyze any aspects of \CHRv\ execution at some useful abstract level, common to several implementations. %a large family of rule based solvers. This approach is based on the idea of generic trace. Such a trace is formally defined as an extension of the $\omega_r^\lor$ semantics of CHR. We show that it can be derived form the SWI Prolog CHR trace

Molecular effect of an OPTN common variant associated to Paget's disease of bone

Paget's disease of bone (PDB) is a chronic bone disorder and although genetic factors appear to play an important role in its pathogenesis, to date PDB causing mutations were identified only in the Sequestosome 1 (SQSTM1) gene at the PDB3 locus. PDB6 locus, also previously linked to PDB, contains several candidate genes for metabolic bone diseases. We focused our analysis in the most significantly associated variant with PDB, within the Optineurin (OPTN) gene, i.e. the common variant rs1561570. Although it was previously shown to be strongly associated with PDB in several populations, its contribution to PDB pathogenesis remains unclear. In this study we have shown that rs1561570 may contribute to PDB since its Tallele results in the loss of a methylation site in patients' DNA, leading to higher levels of OPTN gene expression and a corresponding increase in protein levels in patients' osteoclasts. This increase in OPTN expression leads to higher levels of NF-KB translocation into the nucleus and increasing expression of its target genes, which may contribute to the overactivity of osteoclasts observed in PDB. We also reported a tendency for a more severe clinical phenotype in the presence of a haplotype containing the rs1561570 T allele, which appear to be re-enforced with the presence of the SQSTM1/P392L mutation. In conclusion, our work provides novel insight towards understanding the functional effects of this variant, located in OPTN intron 7, and its implication in the contribution to PDB pathogenesis.national funds from Foundation for Science and Technology (FCT) [UID/Multi/04326/2013]; Canadian Institutes for Health Research, Canada [MOP130457]; CHU de Quebec Foundation; Canadian Foundation for Innovation; Fonds de recherche du Quebec-sante; Laval University; CHU de Quebec-Universite Laval Research Centre; FCT [SFRH/BD/77227/2011, SFRH/BPD/111898/2015]; Fonds de recherche Quebec-Sante (FRQ-S), Quebec, Canad

A Model Structured in Classes for the Study of Student Population Evolution

This paper presents an application of a metapopulation model structured in classes for the study of population evolution of a network of schools. The global dynamics are considered in two parts, the local, where the evolution for each grade in a cycle is accounted, and the metapopulation or the movement of students between schools. Simulation of the model is presented

Culture of Silence, Professional Identity and the Educator: A State of the Question

This paper aims to establish an analytical framework about the culture of silence in the educator’s identity, showing problems and theoretical and methodological bases. It is a cross-section of the research entitled Culture of Silence in the professional identity of Educational Topics Technicians and Educators in the light of the Freirean thought currently being carried out at the Postgraduate Program in Education (Academic Doctorate Degree in Education) of the State University of Ceará (PPGE/UECE). The methodology adopted at this stage was the qualitative research, resorting to the State of the Question, with a survey, review and deep bibliographical data analysis of the data, based on Freire’s studies. Among other sources, the most important are the directories named Thesis and Dissertations Bank of the Coordinating Agency for Advanced Training of Graduate Personnel (CAPES), the Brazilian Digital Library of Thesis and Dissertations (BDTD), and the CAPES Journals Portal. The results include 36 mapped papers, 10 of which deal with the culture of silence, and 26 of which deal with the educator’s professional identity. We verified a predominance of the qualitative approach of investigation, with a quantitative highlight for bibliographical, documentary, and field/exploratory research. Among the data collection procedures, the application of a questionnaire and the conduction of a semi-structured interview stand out. As for the theoretical bases, the studies by Paulo Freire and Venício Artur Lima (‘Culture of silence’ category); Stuart Hall and Claude Dubar (‘Identity’ category); and Selma Garrido Pimenta, José Carlos Libâneo and Dermeval Saviani (‘Educator’ category). Thus, considering the theoretical and methodological contributions (investigative purpose, goals, problems, analysis categories and references), we emphasize the pertinence of more and deeper reflections about the State of the Question as an original, creative, critical and contributory manner in comparison with scientific research. Keywords: State of the Question. Academic papers. Theoretical and methodological bases DOI: 10.7176/RHSS/10-16-01 Publication date:August 31st 202

Will naturally ventilated dwellings remain safe during heatwaves?

International audienceHeatwaves are responsible for many deaths due to hot weather. Natural ventilation is promoted as a cooling solution to reduce the impacts of climate change because of its energy-saving potential. This paper addresses the prediction of heat-related health risk situations in naturally ventilated dwellings, where indoor thermal conditions depend on external climate and occupant behaviour. Thus, the operating limits of a dwelling vary according to its dynamic thermal response to indoor and outdoor stresses. To secure a building design, a method to improve the prediction of heat-related health risks is proposed that links predicted percentage dissatisfied (PPD) and wet-bulb globe temperature (WBGT) indicators to distinguish a moderately warm situation from a heat stress situation (WBGT>29°C). Simulations are performed for a dwelling during the 2015 heatwave in Paris (France) to test the method. In the example, natural ventilation was found to reduce the indoor temperature, but there remains ambiguity regarding the ability of natural ventilation to provide moderate conditions. According to the scope of the ergonomic standards, "moderate thermal environment" and "heat stress" temperature ranges are not contiguous. Bridging of this gap requires establishing thermal comfort ranges and heat stress thresholds adapted to people according to their acclimatisation level and their sensitivity to heat