321 research outputs found
Semantic Mutation Testing for Multi-Agent Systems
This paper introduces semantic mutation testing (SMT) into multiagent systems. SMT is a test assessment technique that makes changes to the interpretation of a program and then examines whether a given test set has the ability to detect each change to the original interpretation. These changes represent possible misunderstandings of how the program is interpreted. SMT is also a technique for assessing the robustness of a program to semantic changes. This paper applies SMT to three rule-based agent programming languages, namely Jason, GOAL and 2APL, provides several contexts in which SMT for these languages is useful, and proposes three sets of semantic mutation operators (i.e., rules to make semantic changes) for these languages respectively, and a set of semantic mutation operator classes for rule-based agent languages. This paper then shows, through preliminary evaluation of our semantic mutation operators for Jason, that SMT has some potential to assess tests and program robustness
Recommended from our members
Large magnetoelectric coupling in multiferroic oxide heterostructures assembled via epitaxial lift-off.
Epitaxial films may be released from growth substrates and transferred to structurally and chemically incompatible substrates, but epitaxial films of transition metal perovskite oxides have not been transferred to electroactive substrates for voltage control of their myriad functional properties. Here we demonstrate good strain transmission at the incoherent interface between a strain-released film of epitaxially grown ferromagnetic La0.7Sr0.3MnO3 and an electroactive substrate of ferroelectric 0.68Pb(Mg1/3Nb2/3)O3-0.32PbTiO3 in a different crystallographic orientation. Our strain mediated magnetoelectric coupling compares well with respect to epitaxial heterostructures, where the epitaxy responsible for strong coupling can degrade film magnetization via strain and dislocations. Moreover, the electrical switching of magnetic anisotropy is repeatable and non volatile. High resolution magnetic vector maps reveal that micromagnetic behaviour is governed by electrically controlled strain and film microstructure. Our demonstration should permit the physical/chemical properties in strain-released epitaxial oxide films to be controlled using electroactive substrates to impart strain via non epitaxial interfaces.Beatriu de Pinós postdoctoral fellowship (2014 BP-A 00079) from the Catalan government via the Agència de Gestió d’Ajuts Universitaris i de Recerca (AGAUR); Ministry of Science and Higher Education of Russian Federation, goszadanie no. 2019-1246; the Royal Society; EPSRC (Grant EP/P009050/1, EP/M010619/1 and the NoWNano DTC); European Research Council (ERC) (ERC-2016-STG-EvoluTEM-715502 and ERC Synergy HETERO2D); “la Caixa” Foundation (ID 100010434)
Switching of magnetic domains reveals evidence for spatially inhomogeneous superconductivity
The interplay of magnetic and charge fluctuations can lead to quantum phases
with exceptional electronic properties. A case in point is magnetically-driven
superconductivity, where magnetic correlations fundamentally affect the
underlying symmetry and generate new physical properties. The superconducting
wave-function in most known magnetic superconductors does not break
translational symmetry. However, it has been predicted that modulated triplet
p-wave superconductivity occurs in singlet d-wave superconductors with
spin-density wave (SDW) order. Here we report evidence for the presence of a
spatially inhomogeneous p-wave Cooper pair-density wave (PDW) in CeCoIn5. We
show that the SDW domains can be switched completely by a tiny change of the
magnetic field direction, which is naturally explained by the presence of
triplet superconductivity. Further, the Q-phase emerges in a common
magneto-superconducting quantum critical point. The Q-phase of CeCoIn5 thus
represents an example where spatially modulated superconductivity is associated
with SDW order
The , , and mesons in a double pole QCD Sum Rule
We use the method of double pole QCD sum rule which is basically a fit with
two exponentials of the correlation function, where we can extract the masses
and decay constants of mesons as a function of the Borel mass. We apply this
method to study the mesons: , , and
. We also present predictions for the toponiuns masses
of m(1S)=357 GeV and m(2S)=374 GeV.Comment: 14 pages, 11 figures in Braz J Phys (2016
Thermodynamic analysis of the Quantum Critical behavior of Ce-lattice compounds
A systematic analysis of low temperature magnetic phase diagrams of Ce
compounds is performed in order to recognize the thermodynamic conditions to be
fulfilled by those systems to reach a quantum critical regime and,
alternatively, to identify other kinds of low temperature behaviors. Based on
specific heat () and entropy () results, three different types of
phase diagrams are recognized: i) with the entropy involved into the ordered
phase () decreasing proportionally to the ordering temperature
(), ii) those showing a transference of degrees of freedom from the
ordered phase to a non-magnetic component, with their jump
() vanishing at finite temperature, and iii) those ending in a
critical point at finite temperature because their do not decrease
with producing an entropy accumulation at low temperature.
Only those systems belonging to the first case, i.e. with as
, can be regarded as candidates for quantum critical behavior.
Their magnetic phase boundaries deviate from the classical negative curvature
below \,K, denouncing frequent misleading extrapolations down to
T=0. Different characteristic concentrations are recognized and analyzed for
Ce-ligand alloyed systems. Particularly, a pre-critical region is identified,
where the nature of the magnetic transition undergoes significant
modifications, with its discontinuity strongly
affected by magnetic field and showing an increasing remnant entropy at . Physical constraints arising from the third law at are discussed
and recognized from experimental results
Planet Populations as a Function of Stellar Properties
Exoplanets around different types of stars provide a window into the diverse
environments in which planets form. This chapter describes the observed
relations between exoplanet populations and stellar properties and how they
connect to planet formation in protoplanetary disks. Giant planets occur more
frequently around more metal-rich and more massive stars. These findings
support the core accretion theory of planet formation, in which the cores of
giant planets form more rapidly in more metal-rich and more massive
protoplanetary disks. Smaller planets, those with sizes roughly between Earth
and Neptune, exhibit different scaling relations with stellar properties. These
planets are found around stars with a wide range of metallicities and occur
more frequently around lower mass stars. This indicates that planet formation
takes place in a wide range of environments, yet it is not clear why planets
form more efficiently around low mass stars. Going forward, exoplanet surveys
targeting M dwarfs will characterize the exoplanet population around the lowest
mass stars. In combination with ongoing stellar characterization, this will
help us understand the formation of planets in a large range of environments.Comment: Accepted for Publication in the Handbook of Exoplanet
Study on the effects of nitrilotriproprionic acid and 4,5-dihydroxy-1,3-benzene disulphonate on the fractionation of beryllium in human serum using graphite furnace atomic absorption spectrometry
<p>Abstract</p> <p>Background</p> <p>Occupational exposure to beryllium may cause Chronic Beryllium Disease (CBD), a lung disorder initiated by an electrostatic interaction with the MHC class II human leukocyte antigen (HLA). Molecular studies have found a significant correlation between the electrostatic potential at the HLA-DP surface and disease susceptibility. CBD can therefore be treated by chelation therapy. In this work, we studied the effect of two complexing agents, nitrilotriproprionic acid (NTP) and 4,5-dihydroxy-1,3-benzene disulphonate (Tiron), on the fractionation of beryllium in human serum analysed by graphite furnace atomic absorption spectrometry (GFAAS).</p> <p>Results</p> <p>We found the average serum beryllium concentration of fourteen non-exposed individuals to be 0.53 (± 0.14) μg l<sup>-1</sup>, with 21 (± 3)% of the beryllium mass bound to the low molecular weight fraction (LMW), and 79 (± 3)% bound to the high molecular weight fraction (HMW). The addition of Tiron increased the beryllium mass in the HMW fraction, while NTP was not seen to have any influence on the fractionation of beryllium between the two fractions. NTP was, however, shown to complex 94.5% of the Be mass in the LMW fraction. The beryllium GFAAS detection limit, calculated as three times the standard deviation of 10 replicates of the lowest standard (0.05 μg L<sup>-1</sup>), was 6.0 (± 0.2) ng L<sup>-1</sup>.</p> <p>Conclusion</p> <p>The concentration of beryllium or its fractionation in human serum was not affected by sex or smoking habit. On average, three quarters of the beryllium in serum were found in the HMW fraction. Of the two ligands tested, only Tiron was effective in mobilising beryllium under physiological conditions, thus increasing the Be content in the HMW fraction.</p
Identifying unmet clinical need in hypertrophic cardiomyopathy using national electronic health records
Introduction: To evaluate unmet clinical need in unselected hypertrophic cardiomyopathy (HCM) patients to determine the risk of a wide range of subsequent cardiovascular disease endpoints and safety endpoints relevant for trial design. Methods: Population based cohort (CALIBER, linked primary care, hospital and mortality records in England, period 1997–2010), all people diagnosed with HCM were identified and matched by age, sex and general practice with ten randomly selected people without HCM. Random-effects Poisson models were used to assess the associations between HCM and cardiovascular diseases and bleeding. Results: Among 3,290,455 eligible people a diagnosis of hypertrophic cardiomyopathy was found in 4 per 10,000. Forty-one percent of the 1,160 individuals with hypertrophic cardiomyopathy were women and the median age was 57 years. The median follow-up was 4.0 years. Compared to general population controls, people with HCM had higher risk of ventricular arrhythmia (incidence rate ratio = 23.53, [95% confidence interval 12.67–43.72]), cardiac arrest or sudden cardiac death (6.33 [3.69–10.85]), heart failure (4.31, [3.30–5.62]), and atrial fibrillation (3.80 [3.04–4.75]). HCM was also associated with a higher incidence of myocardial infarction ([MI] 1.90 [1.27–2.84]) and coronary revascularisation (2.32 [1.46–3.69]).The absolute Kaplan-Meier risks at 3 years were 8.8% for the composite endpoint of cardiovascular death or heart failure, 8.4% for the composite of cardiovascular death, stroke or myocardial infarction, and 1.5% for major bleeding. Conclusions: Our study identified major unmet need in HCM and highlighted the importance of implementing improved cardiovascular prevention strategies to increase life-expectancy of the contemporary HCM population. They also show that national electronic health records provide an effective method for identifying outcomes and clinically relevant estimates of composite efficacy and safety endpoints essential for trial design in rare diseases
Developmental and Lactational Exposure to Dieldrin Alters Mammary Tumorigenesis in Her2/neu Transgenic Mice
Breast cancer is the most common cancer in Western women and while its precise etiology is unknown, environmental factors are thought to play a role. The organochlorine pesticide dieldrin is a persistent environmental toxicant thought to increase the risk of breast cancer and reduce survival in the human population. The objective of this study was to define the effect of developmental exposure to environmentally relevant concentrations of dieldrin, on mammary tumor development in the offspring. Sexually mature FVB-MMTV/neu female mice were treated with vehicle (corn oil), or dieldrin (0.45, 2.25, and 4.5 µg/g body weight) daily by gavage for 5 days prior to mating and then once weekly throughout gestation and lactation until weaning. Dieldrin concentrations were selected to produce serum levels representative of human background body burdens, occupational exposure, and overt toxicity. Treatment had no effect on litter size, birth weight or the number of pups surviving to weaning. The highest dose of dieldrin significantly increased the total tumor burden and the volume and number of tumors found in the thoracic mammary glands. Increased mRNA and protein expression of the neurotrophin BDNF and its receptor TrkB was increased in tumors from the offspring of dieldrin treated dams. This study indicates that developmental exposure to the environmental contaminant dieldrin causes increased tumor burden in genetically predisposed mice. Dieldrin exposure also altered the expression of BNDF and TrkB, novel modulators of cancer pathogenesis
- …