67 research outputs found

    Evolving Objects in Temporal Information Systems

    Get PDF
    This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modelling language able to express both timestamping and evolution constraints. We conduct a deeper investigation of evolution constraints, eventually devising a model-theoretic semantics for a full-fledged model with both timestamping and evolution constraints. The proposed formalization is meant both to clarify the meaning of the various temporal constructors that appeared in the literature and to give a rigorous definition, in the context of temporal information systems, to notions like satisfiability, subsumption and logical implication. Furthermore, we show how to express temporal constraints using a subset of first-order temporal logic, i.e. DLRUS, the description logic DLR extended with the temporal operators Since and Until. We show how DLRUS is able to capture the various modelling constraints in a succinct way and to perform automated reasoning on temporal conceptual models

    Snailed It! Inside the Shell: Using Augmented Reality as a Window Into Biodiversity

    Get PDF
    Snails have occupied an important role in the ideology and religion of the ancient American peoples, who considered them to be magical and used them in ritual ceremonies as ornaments, musical instruments, and architectural elements. Today, they are a valuable study system for understanding biodiversity and evolution due to their remarkable ecological and morphological diversity. Given that many endemic snails are of conservation concern, and that most South American species are poorly studied, there is a need to engage the public through understandable and scientifically based language, conveying the importance of biodiversity. However, not all biodiversity can be seen with the naked eye. Herein, we describe how we utilize snails and their shells to engage citizens and train teachers to promote the many different facets of biodiversity. Through design-based research oriented toward educational innovation, we created a teaching–learning sequence with immersive technology through the following stages of work: (1) produce a teaching–learning sequence and accompanying mobile device application (for Android on GooglePlay), (2) evaluate the impact of the educational resource, and (3) conduct research through a pre- and posttest design on the learning outcomes of participants. In this work, we first present the field experience where scientists, teachers, and pre-service teachers worked together to find snails from northern Chile to Chiloé Island. Some results from this research stage are: criteria for designing a teaching–learning sequence (e.g., how to utilize place as an opportunity for learning science with developmentally appropriate technologies identified for every phase of the sequence), modeling relevant phenomena about biodiversity and ecosystems through snails, scaffolding for teachers implementing the sequence, and activities that enhance STEM education. A teaching–learning sequence that addresses snails as study objects for 4th grade is presented and validated, allowing us to continue the next phase of our research with schools. A second article will propose results from implementation, iterations, and their implications

    Epilepsy in Dcx Knockout Mice Associated with Discrete Lamination Defects and Enhanced Excitability in the Hippocampus

    Get PDF
    Patients with Doublecortin (DCX) mutations have severe cortical malformations associated with mental retardation and epilepsy. Dcx knockout (KO) mice show no major isocortical abnormalities, but have discrete hippocampal defects. We questioned the functional consequences of these defects and report here that Dcx KO mice are hyperactive and exhibit spontaneous convulsive seizures. Changes in neuropeptide Y and calbindin expression, consistent with seizure occurrence, were detected in a large proportion of KO animals, and convulsants, including kainate and pentylenetetrazole, also induced seizures more readily in KO mice. We show that the dysplastic CA3 region in KO hippocampal slices generates sharp wave-like activities and possesses a lower threshold for epileptiform events. Video-EEG monitoring also demonstrated that spontaneous seizures were initiated in the hippocampus. Similarly, seizures in human patients mutated for DCX can show a primary involvement of the temporal lobe. In conclusion, seizures in Dcx KO mice are likely to be due to abnormal synaptic transmission involving heterotopic cells in the hippocampus and these mice may therefore provide a useful model to further study how lamination defects underlie the genesis of epileptiform activities

    The Role of relA and spoT in Yersinia pestis KIM5+ Pathogenicity

    Get PDF
    The ppGpp molecule is part of a highly conserved regulatory system for mediating the growth response to various environmental conditions. This mechanism may represent a common strategy whereby pathogens such as Yersinia pestis, the causative agent of plague, regulate the virulence gene programs required for invasion, survival and persistence within host cells to match the capacity for growth. The products of the relA and spoT genes carry out ppGpp synthesis. To investigate the role of ppGpp on growth, protein synthesis, gene expression and virulence, we constructed a ΔrelA ΔspoT Y. pestis mutant. The mutant was no longer able to synthesize ppGpp in response to amino acid or carbon starvation, as expected. We also found that it exhibited several novel phenotypes, including a reduced growth rate and autoaggregation at 26°C. In addition, there was a reduction in the level of secretion of key virulence proteins and the mutant was>1,000-fold less virulent than its wild-type parent strain. Mice vaccinated subcutaneously (s.c.) with 2.5×104 CFU of the ΔrelA ΔspoT mutant developed high anti-Y. pestis serum IgG titers, were completely protected against s.c. challenge with 1.5×105 CFU of virulent Y. pestis and partially protected (60% survival) against pulmonary challenge with 2.0×104 CFU of virulent Y. pestis. Our results indicate that ppGpp represents an important virulence determinant in Y. pestis and the ΔrelA ΔspoT mutant strain is a promising vaccine candidate to provide protection against plague

    Gamma-ray and radio properties of six pulsars detected by the fermi large area telescope

    Get PDF
    We report the detection of pulsed γ-rays for PSRs J0631+1036, J0659+1414, J0742-2822, J1420-6048, J1509-5850, and J1718-3825 using the Large Area Telescope on board the Fermi Gamma-ray Space Telescope (formerly known as GLAST). Although these six pulsars are diverse in terms of their spin parameters, they share an important feature: their γ-ray light curves are (at least given the current count statistics) single peaked. For two pulsars, there are hints for a double-peaked structure in the light curves. The shapes of the observed light curves of this group of pulsars are discussed in the light of models for which the emission originates from high up in the magnetosphere. The observed phases of the γ-ray light curves are, in general, consistent with those predicted by high-altitude models, although we speculate that the γ-ray emission of PSR J0659+1414, possibly featuring the softest spectrum of all Fermi pulsars coupled with a very low efficiency, arises from relatively low down in the magnetosphere. High-quality radio polarization data are available showing that all but one have a high degree of linear polarization. This allows us to place some constraints on the viewing geometry and aids the comparison of the γ-ray light curves with high-energy beam models

    Trans-ancestry genome-wide association meta-analysis of prostate cancer identifies new susceptibility loci and informs genetic risk prediction.

    Get PDF
    Prostate cancer is a highly heritable disease with large disparities in incidence rates across ancestry populations. We conducted a multiancestry meta-analysis of prostate cancer genome-wide association studies (107,247 cases and 127,006 controls) and identified 86 new genetic risk variants independently associated with prostate cancer risk, bringing the total to 269 known risk variants. The top genetic risk score (GRS) decile was associated with odds ratios that ranged from 5.06 (95% confidence interval (CI), 4.84-5.29) for men of European ancestry to 3.74 (95% CI, 3.36-4.17) for men of African ancestry. Men of African ancestry were estimated to have a mean GRS that was 2.18-times higher (95% CI, 2.14-2.22), and men of East Asian ancestry 0.73-times lower (95% CI, 0.71-0.76), than men of European ancestry. These findings support the role of germline variation contributing to population differences in prostate cancer risk, with the GRS offering an approach for personalized risk prediction
    corecore