2,475 research outputs found

    Presupposition projection as proof construction

    Get PDF
    Even though Van der Sandt's presuppositions as anaphora approach is empirically successful, it fails to give a formal account of the interaction between world-knowledge and presuppositions. In this paper, an algorithm is sketched which is based on the idea of presuppositions as anaphora. It improves on this approach by employing a deductive system, Constructive Type Theory (CTT), to get a formal handle on the way world-knowledge influences presupposition projection. In CTT, proofs for expressions are explicitly represented as objects. These objects can be seen as a generalization of DRT's discourse markers. They are useful in dealing with presuppositional phenomena which require world-knowledge, such as Clark's bridging examples and Beaver's conditional presuppositions

    A review for clinical outcomes research: hypothesis generation, data strategy, and hypothesis-driven statistical analysis

    Get PDF
    In recent years, more and more large, population-level databases have become available for clinical research. The size and complexity of these databases often present a methodological challenge for investigators. We propose that a “protocol” may facilitate the research process using these databases. In addition, much like the structured History and Physical (H&P) helps the audience appreciate the details of a patient case more systematically, a formal outcomes research protocol can also help in the systematic evaluation of an outcomes research manuscript

    Genome-wide signatures of convergent evolution in echolocating mammals

    Get PDF
    Evolution is typically thought to proceed through divergence of genes, proteins, and ultimately phenotypes(1-3). However, similar traits might also evolve convergently in unrelated taxa due to similar selection pressures(4,5). Adaptive phenotypic convergence is widespread in nature, and recent results from a handful of genes have suggested that this phenomenon is powerful enough to also drive recurrent evolution at the sequence level(6-9). Where homoplasious substitutions do occur these have long been considered the result of neutral processes. However, recent studies have demonstrated that adaptive convergent sequence evolution can be detected in vertebrates using statistical methods that model parallel evolution(9,10) although the extent to which sequence convergence between genera occurs across genomes is unknown. Here we analyse genomic sequence data in mammals that have independently evolved echolocation and show for the first time that convergence is not a rare process restricted to a handful of loci but is instead widespread, continuously distributed and commonly driven by natural selection acting on a small number of sites per locus. Systematic analyses of convergent sequence evolution in 805,053 amino acids within 2,326 orthologous coding gene sequences compared across 22 mammals (including four new bat genomes) revealed signatures consistent with convergence in nearly 200 loci. Strong and significant support for convergence among bats and the dolphin was seen in numerous genes linked to hearing or deafness, consistent with an involvement in echolocation. Surprisingly we also found convergence in many genes linked to vision: the convergent signal of many sensory genes was robustly correlated with the strength of natural selection. This first attempt to detect genome-wide convergent sequence evolution across divergent taxa reveals the phenomenon to be much more pervasive than previously recognised

    Multiscale modelling of vascular tumour growth in 3D: the roles of domain size & boundary condition

    Get PDF
    We investigate a three-dimensional multiscale model of vascular tumour growth, which couples blood flow, angiogenesis, vascular remodelling, nutrient/growth factor transport, movement of, and interactions between, normal and tumour cells, and nutrient-dependent cell cycle dynamics within each cell. In particular, we determine how the domain size, aspect ratio and initial vascular network influence the tumour's growth dynamics and its long-time composition. We establish whether it is possible to extrapolate simulation results obtained for small domains to larger ones, by constructing a large simulation domain from a number of identical subdomains, each subsystem initially comprising two parallel parent vessels, with associated cells and diffusible substances. We find that the subsystem is not representative of the full domain and conclude that, for this initial vessel geometry, interactions between adjacent subsystems contribute to the overall growth dynamics. We then show that extrapolation of results from a small subdomain to a larger domain can only be made if the subdomain is sufficiently large and is initialised with a sufficiently complex vascular network. Motivated by these results, we perform simulations to investigate the tumour's response to therapy and show that the probability of tumour elimination in a larger domain can be extrapolated from simulation results on a smaller domain. Finally, we demonstrate how our model may be combined with experimental data, to predict the spatio-temporal evolution of a vascular tumour

    Purkinje cell expression of a mutant SCA1 allele in transgenic mice leads to disparate effects on motor behaviours followed by a progressive cerebellar dysfunction and histological abnormalities

    Get PDF
    Spinocerebellar ataxia type 1 (SCA1) is an autosomal dominant neurological disorder caused by the expansion of a CAG repeat encoding a polyglutamine tract. Work presented here describes the behavioral and neuropathological course seen in mutant SCA1 transgenic mice. Behavioral tests indicate that at 5 weeks of age mutant mice have an impaired performance on the rotating rod in the absence of deficits in balance and coordination. In contrast, these mutant SCA1 mice have an increased initial exploratory behavior. Thus, expression of the mutant SCA1 allele within cerebellar Purkinje cells has divergent effects on the motor behavior of juvenile animals: a compromise of rotating rod performance and a simultaneous enhancement of initial exploratory activity. With age, these animals develop incoordination with concomitant progressive Purkinje neuron dendritic and somatic atrophy but relatively little cell loss. Therefore, the eventual development of ataxia caused by the expression of a mutant SCA1 allele is not the result of cell death per se, but the result of cellular dysfunction and morphological alterations that occur before neuronal demise

    Inflammatory cytokines and biofilm production sustain Staphylococcus aureus outgrowth and persistence: A pivotal interplay in the pathogenesis of Atopic Dermatitis

    Get PDF
    Individuals with Atopic dermatitis (AD) are highly susceptible to Staphylococcus aureus colonization. However, the mechanisms driving this process as well as the impact of S. aureus in AD pathogenesis are still incompletely understood. In this study, we analysed the role of biofilm in sustaining S. aureus chronic persistence and its impact on AD severity. Further we explored whether key inflammatory cytokines overexpressed in AD might provide a selective advantage to S. aureus. Results show that the strength of biofilm production by S. aureus correlated with the severity of the skin lesion, being significantly higher (P < 0.01) in patients with a more severe form of the disease as compared to those individuals with mild AD. Additionally, interleukin (IL)-β and interferon γ (IFN-γ), but not interleukin (IL)-6, induced a concentration-dependent increase of S. aureus growth. This effect was not observed with coagulase-negative staphylococci isolated from the skin of AD patients. These findings indicate that inflammatory cytokines such as IL1-β and IFN-γ, can selectively promote S. aureus outgrowth, thus subverting the composition of the healthy skin microbiome. Moreover, biofilm production by S. aureus plays a relevant role in further supporting chronic colonization and disease severity, while providing an increased tolerance to antimicrobials

    A mathematical and computational review of Hartree-Fock SCF methods in Quantum Chemistry

    Get PDF
    We present here a review of the fundamental topics of Hartree-Fock theory in Quantum Chemistry. From the molecular Hamiltonian, using and discussing the Born-Oppenheimer approximation, we arrive to the Hartree and Hartree-Fock equations for the electronic problem. Special emphasis is placed in the most relevant mathematical aspects of the theoretical derivation of the final equations, as well as in the results regarding the existence and uniqueness of their solutions. All Hartree-Fock versions with different spin restrictions are systematically extracted from the general case, thus providing a unifying framework. Then, the discretization of the one-electron orbitals space is reviewed and the Roothaan-Hall formalism introduced. This leads to a exposition of the basic underlying concepts related to the construction and selection of Gaussian basis sets, focusing in algorithmic efficiency issues. Finally, we close the review with a section in which the most relevant modern developments (specially those related to the design of linear-scaling methods) are commented and linked to the issues discussed. The whole work is intentionally introductory and rather self-contained, so that it may be useful for non experts that aim to use quantum chemical methods in interdisciplinary applications. Moreover, much material that is found scattered in the literature has been put together here to facilitate comprehension and to serve as a handy reference.Comment: 64 pages, 3 figures, tMPH2e.cls style file, doublesp, mathbbol and subeqn package
    corecore