222 research outputs found
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 . We find that the synchrotron constraint from
the Crab Nebula practically excludes \alpha \lsim 1.74 for 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
Influência da época de semeadura no crescimento, produtividade e outros fatores de produção em cultivares de amendoim na região da alta paulista
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
- …