A Uniform Approach to Domain Theory in Realizability Models

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

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

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

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.

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

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

AIDS-related mycoses: the way forward.

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

Social science in a water observing system

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/95008/1/wrcr12336.pd

Telomeric DNA induces apoptosis and senescence of human breast carcinoma cells

INTRODUCTION: Cancer is a leading cause of death in Americans. We have identified an inducible cancer avoidance mechanism in cells that reduces mutation rate, reduces and delays carcinogenesis after carcinogen exposure, and induces apoptosis and/or senescence of already transformed cells by simultaneously activating multiple overlapping and redundant DNA damage response pathways. METHODS: The human breast carcinoma cell line MCF-7, the adriamycin-resistant MCF-7 (Adr/MCF-7) cell line, as well as normal human mammary epithelial (NME) cells were treated with DNA oligonucleotides homologous to the telomere 3' overhang (T-oligos). SCID mice received intravenous injections of MCF-7 cells followed by intravenous administration of T-oligos. RESULTS: Acting through ataxia telangiectasia mutated (ATM) and its downstream effectors, T-oligos induced apoptosis and senescence of MCF-7 cells but not NME cells, in which these signaling pathways were induced to a far lesser extent. In MCF-7 cells, experimental telomere loop disruption caused identical responses, consistent with the hypothesis that T-oligos act by mimicking telomere overhang exposure. In vivo, T-oligos greatly prolonged survival of SCID mice following intravenous injection of human breast carcinoma cells. CONCLUSION: By inducing DNA damage-like responses in MCF-7 cells, T-oligos provide insight into innate cancer avoidance mechanisms and may offer a novel approach to treatment of breast cancer and other malignancies