84 research outputs found

    A Uniform Approach to Domain Theory in Realizability Models

    Get PDF
    this paper we provide a uniform approach to modelling them in categories of modest sets. To do this, we identify appropriate structure for doing "domain theory" in such "realizability models". In Sections 2 and 3 we introduce PCAs and define the associated "realizability" categories of assemblies and modest sets. Next, in Section 4, we prepare for our development of domain theory with an analysis of nontermination. Previous approaches have used (relatively complicated) categorical formulations of partial maps for this purpose. Instead, motivated by the idea that A provides a primitive programming language, we consider a simple notion of "diverging" computation within A itself. This leads to a theory of divergences from which a notion of (computable) partial function is derived together with a lift monad classifying partial functions. The next task is to isolate a subcategory of modest sets with sufficient structure for supporting analogues of the usual domain-theoretic constructions. First, we expect to be able to interpret the standard constructions of total type theory in this category, so it should inherit cartesian-closure, coproducts and the natural numbers from modest sets. Second, it should interact well with the notion of partiality, so it should be closed under application of the lift functor. Third, it should allow the recursive definition of partial functions. This is achieved by obtaining a fixpoint object in the category, as defined in (Crole and Pitts 1992). Finally, although there is in principle no definitive list of requirements on such a category, one would like it to support more complicated constructions such as those required to interpret polymorphic and recursive types. The central part of the paper (Sections 5, 6, 7 and 9) is devoted to establish..

    Logical Full Abstraction and PCF

    Get PDF
    We introduce the concept of logical full abstraction, generalising the usual equational notion. We consider the language PCF and two extensions with “parallel” operations. The main result is that, for standard interpretations, logical full abstraction is equivalent to equational full abstraction together with universality; the proof involves constructing enumeration operators. We also consider restrictions on logical complexity and on the level of types

    An Exploratory Quantitative Study into the Relationship between Catholic Affiliation and the Development of Social Entrepreneurship Education in the USA

    Get PDF
    Catholic educationalists have long stressed the role of Catholic universities in advancing the cause of social justice to counter the increasing commodification of business relationships and the lack of social responsibilities of the business world. Is this rhetoric or reality? In this empirical paper involving 501 USA universities that have an Association to Advance Collegiate Schools of Business (AACSB) accredited business school, we examine the relationship between Catholic affiliation and the universities’ decisions to offer social entrepreneurship and non-profit management courses to business students. Our study found that universities with Catholic affiliation are significantly more likely to offer both non-profit management and social entrepreneurship courses to business students. Our results offer evidences that Catholic universities are indeed working towards making a difference, with the vision and flexibility to do so

    Categorical Models for a Semantically Linear Lambda-calculus

    Full text link
    This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming language SlPCF. In particular, in this work, we introduce the notion of Sll-Category, which is able to describe a very large class of sound models of Sll-calculus. Sll-Category extends in the natural way Benton, Bierman, Hyland and de Paiva's Linear Category, in order to soundly interpret all the constructs of Sll-calculus. This category is general enough to catch interesting models in Scott Domains and Coherence Spaces

    Experimental Models of Short Courses of Liposomal Amphotericin B for Induction Therapy for Cryptococcal Meningitis.

    Get PDF
    Cryptococcal meningoencephalitis is a rapidly lethal infection in immunocompromised patients. Induction regimens are usually administered for 2-weeks. The shortest effective period of induction therapy with liposomal amphotericin B (LAmB) is unknown. The pharmacodynamics of LAmB were studied in murine and rabbit models of cryptococcal meningoencephalitis. The concentrations of LAmB in plasma and brain of mice were measured using HPLC. Histopathological changes were determined. The penetration of LAmB into the brain was determined by immunohistochemistry using an antibody directed to amphotericin B. A dose-dependent decline in fungal burden was observed in the brain of mice with near-maximal efficacy achieved with LAmB 10-20 mg/kg/day. The terminal elimination half-life in brain was 133 hours. The pharmacodynamics of a single dose of 20 mg/kg was the same as 20 mg/kg/day administered for 2 weeks. Changes in quantitative counts were reflected by histopathological changes in the brain. Three doses of LAmB 5 mg/kg/day in rabbits were required to achieve fungicidal activity in cerebrospinal fluid (cumulative AUC 2500 mg.h/L). Amphotericin B was visible in the intra- and perivascular spaces, leptomeninges and choroid plexus. The prolonged mean residence time of amphotericin B in the brain suggest abbreviated induction regimens of LAmB are possible for cryptococcal meningoencephalitis

    Neutrino astronomy with the MACRO detector

    Get PDF
    High energy gamma ray astronomy is now a well established field and several sources have been discovered in the region from a few GeV up to several TeV. If sources involving hadronic processes exist, the production of photons would be accompanied by neutrinos too. Other possible neutrino sources could be related to the annihilation of WIMPs at the center of galaxies with black holes. We present the results of a search for point-like sources using 1100 upward-going muons produced by neutrino interactions in the rock below and inside the MACRO detector in the underground Gran Sasso Laboratory. These data show no evidence for a possible neutrino point-like source or for possible correlations between gamma ray bursts and neutrinos. They have been used to set flux upper limits for candidate point-like sources which are in the range 10^-14-10^-15 cm-2 s-1.Comment: 37 pages, 15 figures, replacement due to a typo in tab. 6, AASLaTex, submitted to Ap

    Effect of primaquine dose on the risk of recurrence in patients with uncomplicated Plasmodium vivax: a systematic review and individual patient data meta-analysis

    Get PDF
    Background: Primaquine is used to eliminate Plasmodium vivax hypnozoites, but its optimal dosing regimen remains unclear. We undertook a systematic review and individual patient data meta-analysis to investigate the efficacy and tolerability of different primaquine dosing regimens to prevent P vivax recurrence. Methods: For this systematic review and individual patient data meta-analysis, we searched MEDLINE, Web of Science, Embase, and Cochrane Central for prospective clinical studies of uncomplicated P vivax from endemic countries published between Jan 1, 2000, and June 8, 2023. We included studies if they had active follow-up of at least 28 days, and if they included a treatment group with daily primaquine given over multiple days, where primaquine was commenced within 7 days of schizontocidal treatment and was given alone or coadministered with chloroquine or one of four artemisinin-based combination therapies (ie, artemether–lumefantrine, artesunate–mefloquine, artesunate–amodiaquine, or dihydroartemisinin–piperaquine). We excluded studies if they were on prevention, prophylaxis, or patients with severe malaria, or if data were extracted retrospectively from medical records outside of a planned trial. For the meta-analysis, we contacted the investigators of eligible trials to request individual patient data and we then pooled data that were made available by Aug 23, 2021. We assessed the effects of total dose and duration of primaquine regimens on the rate of first P vivax recurrence between day 7 and day 180 by Cox's proportional hazards regression (efficacy analysis). The effect of primaquine daily dose on gastrointestinal symptoms on days 5–7 was assessed by modified Poisson regression (tolerability analysis). The study was registered with PROSPERO, CRD42019154470. Findings: Of 226 identified studies, 23 studies with patient-level data from 6879 patients from 16 countries were included in the efficacy analysis. At day 180, the risk of recurrence was 51·0% (95% CI 48·2–53·9) in 1470 patients treated without primaquine, 19·3% (16·9–21·9) in 2569 patients treated with a low total dose of primaquine (approximately 3·5 mg/kg), and 8·1% (7·0–9·4) in 2811 patients treated with a high total dose of primaquine (approximately 7 mg/kg), regardless of primaquine treatment duration. Compared with treatment without primaquine, the rate of P vivax recurrence was lower after treatment with low-dose primaquine (adjusted hazard ratio 0·21, 95% CI 0·17–0·27; p<0·0001) and high-dose primaquine (0·10, 0·08–0·12; p<0·0001). High-dose primaquine had greater efficacy than low-dose primaquine in regions with high and low relapse periodicity (ie, the time from initial infection to vivax relapse). 16 studies with patient-level data from 5609 patients from ten countries were included in the tolerability analysis. Gastrointestinal symptoms on days 5–7 were reported by 4·0% (95% CI 0·0–8·7) of 893 patients treated without primaquine, 6·2% (0·5–12·0) of 737 patients treated with a low daily dose of primaquine (approximately 0·25 mg/kg per day), 5·9% (1·8–10·1) of 1123 patients treated with an intermediate daily dose (approximately 0·5 mg/kg per day) and 10·9% (5·7–16·1) of 1178 patients treated with a high daily dose (approximately 1 mg/kg per day). 20 of 23 studies included in the efficacy analysis and 15 of 16 in the tolerability analysis had a low or unclear risk of bias. Interpretation: Increasing the total dose of primaquine from 3·5 mg/kg to 7 mg/kg can reduce P vivax recurrences by more than 50% in most endemic regions, with a small associated increase in gastrointestinal symptoms. Funding: Australian National Health and Medical Research Council, Bill & Melinda Gates Foundation, and Medicines for Malaria Venture

    AIDS-related mycoses: the way forward.

    Get PDF
    The contribution of fungal infections to the morbidity and mortality of HIV-infected individuals is largely unrecognized. A recent meeting highlighted several priorities that need to be urgently addressed, including improved epidemiological surveillance, increased availability of existing diagnostics and drugs, more training in the field of medical mycology, and better funding for research and provision of treatment, particularly in developing countries
    corecore