85 research outputs found
LNCS
We present the tool Quasy, a quantitative synthesis tool. Quasy takes qualitative and quantitative specifications and automatically constructs a system that satisfies the qualitative specification and optimizes the quantitative specification, if such a system exists. The user can choose between a system that satisfies and optimizes the specifications (a) under all possible environment behaviors or (b) under the most-likely environment behaviors given as a probability distribution on the possible input sequences. Quasy solves these two quantitative synthesis problems by reduction to instances of 2-player games and Markov Decision Processes (MDPs) with quantitative winning objectives. Quasy can also be seen as a game solver for quantitative games. Most notable, it can solve lexicographic mean-payoff games with 2 players, MDPs with mean-payoff objectives, and ergodic MDPs with mean-payoff parity objectives
The cyclic-routing UAV problem is PSPACE-complete
© 2015, Springer-Verlag Berlin Heidelberg. Consider a finite set of targets, with each target assigned a relative deadline, and each pair of targets assigned a fixed transit flight time. Given a flock of identical UAVs, can one ensure that every target is repeatedly visited by some UAV at intervals of duration at most the target’s relative deadline? The Cyclic-Routing UAV Problem (cr-uav) is the question of whether this task has a solution. This problem can straightforwardly be solved in PSPACE by modelling it as a network of timed automata. The special case of there being a single UAV is claimed to be NP-complete in the literature. In this paper, we show that the cr-uav Problem is in fact PSPACE-complete even in the single-UAV case
Exponential martingales and changes of measure for counting processes
We give sufficient criteria for the Dol\'eans-Dade exponential of a
stochastic integral with respect to a counting process local martingale to be a
true martingale. The criteria are adapted particularly to the case of counting
processes and are sufficiently weak to be useful and verifiable, as we
illustrate by several examples. In particular, the criteria allow for the
construction of for example nonexplosive Hawkes processes as well as counting
processes with stochastic intensities depending on diffusion processes
Two-dimensional superstrings and the supersymmetric matrix model
We present evidence that the supersymmetric matrix model of Marinari and
Parisi represents the world-line theory of N unstable D-particles in type II
superstring theory in two dimensions. This identification suggests that the
matrix model gives a holographic description of superstrings in a
two-dimensional black hole geometry.Comment: 22 pages, 2 figures; v2: corrected eqn 4.6; v3: corrected appendices
and discussion of vacua, added ref
Nonperturbative Effects in Gluon Radiation and Photoproduction of Quark Pairs
We introduce a nonperturbative interaction for light-cone fluctuations
containing quarks and gluons. The interaction squeezes the transverse
size of these fluctuations in the photon and one does not need to simulate this
effect via effective quark masses. The strength of this interaction is fixed by
data. Data on diffractive dissociation of hadrons and photons show that the
nonperturbative interaction of gluons is much stronger. We fix the parameters
for the nonperturbative quark-gluon interaction by data for diffractive
dissociation to large masses (triple-Pomeron regime). This allows us to predict
nuclear shadowing for gluons which turns out to be not as strong as
perturbative QCD predicts. We expect a delayed onset of gluon shadowing at shadowing of quarks. Gluon shadowing turns out to be nearly scale
invariant up to virtualities due to presence of a semihard
scale characterizing the strong nonperturbative interaction of gluons. We use
the same concept to improve our description of gluon bremsstrahlung which is
related to the distribution function for a quark-gluon fluctuation and the
interaction cross section of a fluctuation with a nucleon. We expect
the nonperturbative interaction to suppress dramatically the gluon radiation at
small transverse momenta compared to perturbative calculations.Comment: 58 pages of Latex including 11 figures. Shadowing for soft gluons and
Fig. 6 are added as well as a few reference
The survival probability of large rapidity gaps in a three channel model
The values and energy dependence for the survival probability of large rapidity gaps (LRG) are calculated in a three channel model. This
model includes single and double diffractive production, as well as elastic
rescattering. It is shown that decreases with increasing
energy, in line with recent results for LRG dijet production at the Tevatron.
This is in spite of the weak dependence on energy of the ratio .Comment: 26 pages in latex file,11 figures in eps file
On the Introduction of an Agile, Temporary Workforce into a Tandem Queueing System
We consider a two-station tandem queueing system where customers arrive according to a Poisson process and must receive service at both stations before leaving the system. Neither queue is equipped with dedicated servers. Instead, we consider three scenarios for the fluctuations of workforce level. In the first, a decision-maker can increase and decrease the capacity as is deemed appropriate; the unrestricted case. In the other two cases, workers arrive randomly and can be rejected or allocated to either station. In one case the number of workers can then be reduced (the controlled capacity reduction case). In the other they leave randomly (the uncontrolled capacity reduction case). All servers are capable of working collaboratively on a single job and can work at either station as long as they remain in the system. We show in each scenario that all workers should be allocated to one queue or the other (never split between queues) and that they should serve exhaustively at one of the queues depending on the direction of an inequality. This extends previous studies on flexible systems to the case where the capacity varies over time. We then show in the unrestricted case that the optimal number of workers to have in the system is non-decreasing in the number of customers in either queue.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/47647/1/11134_2005_Article_2441.pd
Forecasting the load of electrical power systems in mid‐ and long‐term horizons: a review
Dijet production in √s = 7 TeV pp collisions with large rapidity gaps at the ATLAS experiment
A 6.8 nb−¹ sample of pp collision data collected under low-luminosity conditions at √s = 7 TeV by the ATLAS detector at the Large Hadron Collider is used to study diffractive dijet production. Events containing at least two jets with pT > 20 GeV are selected and analysed in terms of variables which discriminate between diffractive and non-diffractive processes. Cross sections are measured differentially in ΔηF, the size of the observable forward region of pseudorapidity which is devoid of hadronic activity, and in an estimator, ξ˜, of the fractional momentum loss of the proton assuming single diffractive dissociation (pp → p X). Model comparisons indicate a dominant non-diffractive contribution up to moderately large ηF and small ξ˜, with a diffractive contribution which is significant at the highest ΔηF and the lowest ξ˜. The rapidity-gap survival probability is estimated from comparisons of the data in this latter region with predictions based on diffractive parton distribution functions
Blood Leukocyte DNA Methylation Predicts Risk of Future Myocardial Infarction and Coronary Heart Disease
BACKGROUND: DNA methylation is implicated in coronary heart disease (CHD), but current evidence is based on small, cross-sectional studies. We examined blood DNA methylation in relation to incident CHD across multiple prospective cohorts. METHODS: Nine population-based cohorts from the United States and Europe profiled epigenome-wide blood leukocyte DNA methylation using the Illumina Infinium 450k microarray, and prospectively ascertained CHD events including coronary insufficiency/unstable angina, recognized myocardial infarction, coronary revascularization, and coronary death. Cohorts conducted race-specific analyses adjusted for age, sex, smoking, education, body mass index, blood cell type proportions, and technical variables. We conducted fixed-effect meta-analyses across cohorts. RESULTS: Among 11 461 individuals (mean age 64 years, 67% women, 35% African American) free of CHD at baseline, 1895 developed CHD during a mean follow-up of 11.2 years. Methylation levels at 52 CpG (cytosine-phosphate-guanine) sites were associated with incident CHD or myocardial infarction (false discovery rate<0.05). These CpGs map to genes with key roles in calcium regulation (ATP2B2, CASR, GUCA1B, HPCAL1), and genes identified in genome- and epigenome-wide studies of serum calcium (CASR), serum calcium-related risk of CHD (CASR), coronary artery calcified plaque (PTPRN2), and kidney function (CDH23, HPCAL1), among others. Mendelian randomization analyses supported a causal effect of DNA methylation on incident CHD; these CpGs map to active regulatory regions proximal to long non-coding RNA transcripts. CONCLUSION: Methylation of blood-derived DNA is associated with risk of future CHD across diverse populations and may serve as an informative tool for gaining further insight on the development of CHD
- …