Fragments of ML Decidable by Nested Data Class Memory Automata

The call-by-value language RML may be viewed as a canonical restriction of Standard ML to ground-type references, augmented by a "bad variable" construct in the sense of Reynolds. We consider the fragment of (finitary) RML terms of order at most 1 with free variables of order at most 2, and identify two subfragments of this for which we show observational equivalence to be decidable. The first subfragment consists of those terms in which the P-pointers in the game semantic representation are determined by the underlying sequence of moves. The second subfragment consists of terms in which the O-pointers of moves corresponding to free variables in the game semantic representation are determined by the underlying moves. These results are shown using a reduction to a form of automata over data words in which the data values have a tree-structure, reflecting the tree-structure of the threads in the game semantic plays. In addition we show that observational equivalence is undecidable at every third- or higher-order type, every second-order type which takes at least two first-order arguments, and every second-order type (of arity greater than one) that has a first-order argument which is not the final argument

On an interpretation of safe recursion in light affine logic

AbstractWe introduce a subalgebra BC− of Bellantoni and Cook's safe-recursion function algebra BC. Functions of the subalgebra have safe arguments that are non-contractible (i.e non-duplicable). We propose a definition of safe and normal variables in light affine logic (LAL), and show that BC− is the largest subalgebra that is interpretable in LAL, relative to that definition. Though BC− itself is not PF complete, there are extensions of it (by additional schemes for defining functions with safe arguments) that are, and are still interpretable in LAL and so preserve PF closure. We focus on one such which is BC− augmented by a definition-by-cases construct and a restricted form of definition-by-recursion scheme over safe arguments. As a corollary we obtain a new proof of the PF completeness of LAL

Air Cherenkov Methods in Cosmic Rays: A Review and Some History

The history of application of the Cherenkov light emission in the atmosphere to cosmic ray and gamma-ray astronomy studies is briefly outlined with an emphasis on the pioneering activity of A.E. Chudakov. The present-day situation and some new ideas are also discussed.Comment: 11 pages, 5 figures, invited talk presented at the conference P.A. Cherenkov and Modern Physics (Moscow, June 22-25, 2004) commemorating P.A. Cherenkov centenary. Submitted for publication to Journal of Radiation Physics and Chemistr

Ruminant Milk-Derived Extracellular Vesicles: A Nutritional and Therapeutic Opportunity?

Milk has been shown to contain a specific fraction of extracellular particles that are reported to resist digestion and are purposefully packaged with lipids, proteins, and nucleic acids to exert specific biological effects. These findings suggest that these particles may have a role in the quality of infant nutrition, particularly in the early phase of life when many of the foundations of an infant’s potential for health and overall wellness are established. However, much of the current research focuses on human or cow milk only, and there is a knowledge gap in how milk from other species, which may be more commonly consumed in different regions, could also have these reported biological effects. Our review provides a summary of the studies into the extracellular particle fraction of milk from a wider range of ruminants and pseudo-ruminants, focusing on how this fraction is isolated and characterised, the stability and uptake of the fraction, and the reported biological effects of these fractions in a range of model systems. As the individual composition of milk from different species is known to differ, we propose that the extracellular particle fraction of milk from non-traditional and minority species may also have important and distinct biological properties that warrant further study

Emergence of Anti-Cancer Drug Resistance: Exploring the Importance of the Microenvironmental Niche via a Spatial Model

Practically, all chemotherapeutic agents lead to drug resistance. Clinically, it is a challenge to determine whether resistance arises prior to, or as a result of, cancer therapy. Further, a number of different intracellular and microenvironmental factors have been correlated with the emergence of drug resistance. With the goal of better understanding drug resistance and its connection with the tumor microenvironment, we have developed a hybrid discrete-continuous mathematical model. In this model, cancer cells described through a particle-spring approach respond to dynamically changing oxygen and DNA damaging drug concentrations described through partial differential equations. We thoroughly explored the behavior of our self-calibrated model under the following common conditions: a fixed layout of the vasculature, an identical initial configuration of cancer cells, the same mechanism of drug action, and one mechanism of cellular response to the drug. We considered one set of simulations in which drug resistance existed prior to the start of treatment, and another set in which drug resistance is acquired in response to treatment. This allows us to compare how both kinds of resistance influence the spatial and temporal dynamics of the developing tumor, and its clonal diversity. We show that both pre-existing and acquired resistance can give rise to three biologically distinct parameter regimes: successful tumor eradication, reduced effectiveness of drug during the course of treatment (resistance), and complete treatment failure

A novel system to map protein interactions reveals evolutionarily conserved immune evasion pathways on transmissible cancers

Around 40% of humans and Tasmanian devils (Sarcophilus harrisii) develop cancer in their lifetime, compared to less than 10% for most species. In addition, devils are affected by two of the three known transmissible cancers in mammals. Immune checkpoint immunotherapy has transformed human medicine, but a lack of species-specific reagents has limited checkpoint immunology in most species. We developed a cut-and-paste reagent development system and used the fluorescent fusion protein system to show that immune checkpoint interactions are conserved across 160,000,000 years of evolution, CD200 is highly expressed on transmissible tumor cells, and coexpression of CD200R1 can block CD200 surface expression. The system’s versatility across species was demonstrated by fusing a fluorescent reporter to a camelid-derived nanobody that binds human programmed death ligand 1. The evolutionarily conserved pathways suggest that naturally occurring cancers in devils and other species can be used to advance our understanding of cancer and immunological tolerance.</p

Synchrotron Radiation from the Crab Nebula Discriminates between Models of Space-Time Foam

It has been argued by Jacobson, Liberati and Mattingly that synchrotron radiation from the Crab Nebula imposes a stringent constraint on any modification of the dispersion relations of the electron that might be induced by quantum gravity. We supplement their analysis by deriving the spectrum of synchrotron radiation from the coupling of an electrically-charged particle to an external magnetic fields in the presence of quantum-gravity effects of the general form $(E/M_{QG})^\alpha$. We find that the synchrotron constraint from the Crab Nebula practically excludes \alpha \lsim 1.74 for $M_{QG} \sim m_P = 1.2 \times 10^{19}$ GeV. On the other hand, this analysis does not constrain any modification of the dispersion relation of the photon that might be induced by quantum gravity. We point out that such quantum-gravity effects need not obey the equivalence principle, a point exemplified by the Liouville-string D-particle model of space-time foam. This model suggests a linear modification of the dispersion relation for the photon, but not for the electron, and hence is compatible with known constraints from the Crab Nebula and elsewhere.Comment: 26 pages LATEX, two eps figures incorporated; the version published in Astroparticle Physic

Tribological performance of an H-DLC coating prepared by PECVD

Carbon-based coatings are of wide interest due to their application in machine elements subjected to continuous contact where fluid lubricant films are not permitted. This paper describes the tribological performance under dry conditions of duplex layered H-DLC coating sequentially deposited by microwave excited plasma enhanced chemical vapour deposition on AISI 52100 steel. The architecture of the coating comprised Cr, WC, and DLC (a-C:H) with a total thickness of 2.8 μm and compressive residual stress very close to 1 GPa. Surface hardness was approximately 22 GPa and its reduced elastic modulus around 180 GPa. Scratch tests indicated a well adhered coating achieving a critical load of 80 N. The effect of normal load on the friction and wear behaviours were investigated with steel pins sliding against the actual coating under dry conditions at room temperature (20 ± 2°C) and 35-50% RH. The results show that coefficient of friction of the coating decreased from 0.21 to 0.13 values with the increase in the applied loads (10-50 N). Specific wear rates of the surface coating also decrease with the increase in the same range of applied loads. Maximum and minimum values were 14 × 10-8 and 5.5 × 10-8 mm-3/N m, respectively. Through Raman spectroscopy and electron microscopy it was confirmed the carbon-carbon contact, due to the tribolayer formation on the wear scars of the coating and pin. In order to further corroborate the experimental observations regarding the graphitisation behaviour, the existing mathematical relationships to determine the graphitisation temperature of the coating/steel contact as well as the flash temperature were used

A diverse view of science to catalyse change:Valuing diversity leads to scientific excellence, the progress of science and, most importantly, it is simply the right thing to do. we must value diversity not only in words, but also in actions

No abstract available.publishe