Characterising Probabilistic Processes Logically

In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabilistic mu-calculus can be used to characterise these behavioural relations in the sense that two states are equivalent if and only if they satisfy the same set of formulae.Comment: 18 page

X-ray crystallographic and theoretical studies of an anticonvulsant enaminone:methyl 4-(4'-bromophenyl)amino-6-methyl-2-oxocyclohex-3-en-1-oate

Objective: The aims of this study were to establish the structure of the potent anticonvulsant enaminone methyl 4-(4′-bromophenyl)amino-6-methyl-2- oxocyclohex-3-en-1-oate (E139), and to determine the energetically preferred conformation of the molecule, which is responsible for the biological activity. Materials and Methods: The structure of the molecule was determined by X-ray crystallography. Theoretical ab initio calculations with different basis sets were used to compare the energies of the different enantiomers and to other structurally related compounds. Results: The X-ray crystal structure revealed two independent molecules of E139, both with absolute configuration C11(S), C12(R), and their inverse. Ab initio calculations with the 6-31G, 3-21G and STO-3G basis sets confirmed that the C11(S), C12(R) enantiomer with both substituents equatorial had the lowest energy. Compared to relevant crystal structures, the geometry of the theoretical structures shows a longer C-N and shorter C=O distance with more cyclohexene ring puckering in the isolated molecule. Conclusion: Based on a pharmacophoric model it is suggested that the enaminone system HN-C=C-C=O and the 4-bromophenyl group in E139 are necessary to confer anticonvulsant property that could lead to the design of new and improved anticonvulsant agents. Copyright © 2003 S. Karger AG, Basel

Statistical Theory of Spin Relaxation and Diffusion in Solids

A comprehensive theoretical description is given for the spin relaxation and diffusion in solids. The formulation is made in a general statistical-mechanical way. The method of the nonequilibrium statistical operator (NSO) developed by D. N. Zubarev is employed to analyze a relaxation dynamics of a spin subsystem. Perturbation of this subsystem in solids may produce a nonequilibrium state which is then relaxed to an equilibrium state due to the interaction between the particles or with a thermal bath (lattice). The generalized kinetic equations were derived previously for a system weakly coupled to a thermal bath to elucidate the nature of transport and relaxation processes. In this paper, these results are used to describe the relaxation and diffusion of nuclear spins in solids. The aim is to formulate a successive and coherent microscopic description of the nuclear magnetic relaxation and diffusion in solids. The nuclear spin-lattice relaxation is considered and the Gorter relation is derived. As an example, a theory of spin diffusion of the nuclear magnetic moment in dilute alloys (like Cu-Mn) is developed. It is shown that due to the dipolar interaction between host nuclear spins and impurity spins, a nonuniform distribution in the host nuclear spin system will occur and consequently the macroscopic relaxation time will be strongly determined by the spin diffusion. The explicit expressions for the relaxation time in certain physically relevant cases are given.Comment: 41 pages, 119 Refs. Corrected typos, added reference

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Measurement of D*+/- meson production in jets from pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

This paper reports a measurement of D*+/- meson production in jets from proton-proton collisions at a center-of-mass energy of sqrt(s) = 7 TeV at the CERN Large Hadron Collider. The measurement is based on a data sample recorded with the ATLAS detector with an integrated luminosity of 0.30 pb^-1 for jets with transverse momentum between 25 and 70 GeV in the pseudorapidity range |eta| < 2.5. D*+/- mesons found in jets are fully reconstructed in the decay chain: D*+ -> D0pi+, D0 -> K-pi+, and its charge conjugate. The production rate is found to be N(D*+/-)/N(jet) = 0.025 +/- 0.001(stat.) +/- 0.004(syst.) for D*+/- mesons that carry a fraction z of the jet momentum in the range 0.3 < z < 1. Monte Carlo predictions fail to describe the data at small values of z, and this is most marked at low jet transverse momentum.Comment: 10 pages plus author list (22 pages total), 5 figures, 1 table, matches published version in Physical Review

Search for supersymmetry in final states with jets, missing transverse momentum and one isolated lepton in sqrt{s} = 7 TeV pp collisions using 1 fb-1 of ATLAS data

We present an update of a search for supersymmetry in final states containing jets, missing transverse momentum, and one isolated electron or muon, using 1.04 fb^-1 of proton-proton collision data at sqrt{s} = 7 TeV recorded by the ATLAS experiment at the LHC in the first half of 2011. The analysis is carried out in four distinct signal regions with either three or four jets and variations on the (missing) transverse momentum cuts, resulting in optimized limits for various supersymmetry models. No excess above the standard model background expectation is observed. Limits are set on the visible cross-section of new physics within the kinematic requirements of the search. The results are interpreted as limits on the parameters of the minimal supergravity framework, limits on cross-sections of simplified models with specific squark and gluino decay modes, and limits on parameters of a model with bilinear R-parity violation.Comment: 18 pages plus author list (30 pages total), 9 figures, 4 tables, final version to appear in Physical Review

Reducing heterotic M-theory to five dimensional supergravity on a manifold with boundary

This paper constructs the reduction of heterotic $M$-theory in eleven dimensions to a supergravity model on a manifold with boundary in five dimensions using a Calabi-Yau three-fold. New results are presented for the boundary terms in the action and for the boundary conditions on the bulk fields. Some general features of dualisation on a manifold with boundary are used to explain the origin of some topological terms in the action. The effect of gaugino condensation on the fermion boundary conditions leads to a `twist' in the chirality of the gravitino which can provide an uplifting mechanism in the vacuum energy to cancel the cosmological constant after moduli stabilisation.Comment: 16 pages, RevTe

Measurement of tau polarization in W->taunu decays with the ATLAS detector in pp collisions at sqrt(s) = 7 TeV

In this paper, a measurement of tau polarization in W->taunu decays is presented. It is measured from the energies of the decay products in hadronic tau decays with a single final state charged particle. The data, corresponding to an integrated luminosity of 24 pb^-1, were collected by the ATLAS experiment at the Large Hadron Collider in 2010. The measured value of the tau polarization is Ptau = -1.06 +/- 0.04 (stat) + 0.05 (syst) - 0.07 (syst), in agreement with the Standard Model prediction, and is consistent with a physically allowed 95% CL interval [-1,-0.91]. Measurements of tau polarization have not previously been made at hadron colliders.Comment: 10 pages plus author list (25 pages total), 4 figures, 4 tables, revised author list, matches published EPJC versio

Designing a broad-spectrum integrative approach for cancer prevention and treatment

Targeted therapies and the consequent adoption of "personalized" oncology have achieved notablesuccesses in some cancers; however, significant problems remain with this approach. Many targetedtherapies are highly toxic, costs are extremely high, and most patients experience relapse after a fewdisease-free months. Relapses arise from genetic heterogeneity in tumors, which harbor therapy-resistantimmortalized cells that have adopted alternate and compensatory pathways (i.e., pathways that are notreliant upon the same mechanisms as those which have been targeted). To address these limitations, aninternational task force of 180 scientists was assembled to explore the concept of a low-toxicity "broad-spectrum" therapeutic approach that could simultaneously target many key pathways and mechanisms. Using cancer hallmark phenotypes and the tumor microenvironment to account for the various aspectsof relevant cancer biology, interdisciplinary teams reviewed each hallmark area and nominated a widerange of high-priority targets (74 in total) that could be modified to improve patient outcomes. For thesetargets, corresponding low-toxicity therapeutic approaches were then suggested, many of which werephytochemicals. Proposed actions on each target and all of the approaches were further reviewed forknown effects on other hallmark areas and the tumor microenvironment. Potential contrary or procar-cinogenic effects were found for 3.9% of the relationships between targets and hallmarks, and mixedevidence of complementary and contrary relationships was found for 7.1%. Approximately 67% of therelationships revealed potentially complementary effects, and the remainder had no known relationship. Among the approaches, 1.1% had contrary, 2.8% had mixed and 62.1% had complementary relationships. These results suggest that a broad-spectrum approach should be feasible from a safety standpoint. Thisnovel approach has potential to be relatively inexpensive, it should help us address stages and types ofcancer that lack conventional treatment, and it may reduce relapse risks. A proposed agenda for futureresearch is offered