Taming Numbers and Durations in the Model Checking Integrated Planning System

The Model Checking Integrated Planning System (MIPS) is a temporal least commitment heuristic search planner based on a flexible object-oriented workbench architecture. Its design clearly separates explicit and symbolic directed exploration algorithms from the set of on-line and off-line computed estimates and associated data structures. MIPS has shown distinguished performance in the last two international planning competitions. In the last event the description language was extended from pure propositional planning to include numerical state variables, action durations, and plan quality objective functions. Plans were no longer sequences of actions but time-stamped schedules. As a participant of the fully automated track of the competition, MIPS has proven to be a general system; in each track and every benchmark domain it efficiently computed plans of remarkable quality. This article introduces and analyzes the most important algorithmic novelties that were necessary to tackle the new layers of expressiveness in the benchmark problems and to achieve a high level of performance. The extensions include critical path analysis of sequentially generated plans to generate corresponding optimal parallel plans. The linear time algorithm to compute the parallel plan bypasses known NP hardness results for partial ordering by scheduling plans with respect to the set of actions and the imposed precedence relations. The efficiency of this algorithm also allows us to improve the exploration guidance: for each encountered planning state the corresponding approximate sequential plan is scheduled. One major strength of MIPS is its static analysis phase that grounds and simplifies parameterized predicates, functions and operators, that infers knowledge to minimize the state description length, and that detects domain object symmetries. The latter aspect is analyzed in detail. MIPS has been developed to serve as a complete and optimal state space planner, with admissible estimates, exploration engines and branching cuts. In the competition version, however, certain performance compromises had to be made, including floating point arithmetic, weighted heuristic search exploration according to an inadmissible estimate and parameterized optimization

Solving Factored MDPs with Hybrid State and Action Variables

Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automated decision support systems. In this paper, we describe a novel hybrid factored Markov decision process (MDP) model that allows for a compact representation of these problems, and a new hybrid approximate linear programming (HALP) framework that permits their efficient solutions. The central idea of HALP is to approximate the optimal value function by a linear combination of basis functions and optimize its weights by linear programming. We analyze both theoretical and computational aspects of this approach, and demonstrate its scale-up potential on several hybrid optimization problems

Review of Top Quark Physics Results

As the heaviest known fundamental particle, the top quark has taken a central role in the study of fundamental interactions. Production of top quarks in pairs provides an important probe of strong interactions. The top quark mass is a key fundamental parameter which places a valuable constraint on the Higgs boson mass and electroweak symmetry breaking. Observations of the relative rates and kinematics of top quark final states constrain potential new physics. In many cases, the tests available with study of the top quark are both critical and unique. Large increases in data samples from the Fermilab Tevatron have been coupled with major improvements in experimental techniques to produce many new precision measurements of the top quark. The first direct evidence for electroweak production of top quarks has been obtained, with a resulting direct determination of $V_{tb}$. Several of the properties of the top quark have been measured. Progress has also been made in obtaining improved limits on potential anomalous production and decay mechanisms. This review presents an overview of recent theoretical and experimental developments in this field. We also provide a brief discussion of the implications for further efforts.Comment: 119 pages, 55 figure

The CLIC Programme: Towards a Staged e+e- Linear Collider Exploring the Terascale : CLIC Conceptual Design Report

This report describes the exploration of fundamental questions in particle physics at the energy frontier with a future TeV-scale e+e- linear collider based on the Compact Linear Collider (CLIC) two-beam acceleration technology. A high-luminosity high-energy e+e- collider allows for the exploration of Standard Model physics, such as precise measurements of the Higgs, top and gauge sectors, as well as for a multitude of searches for New Physics, either through direct discovery or indirectly, via high-precision observables. Given the current state of knowledge, following the observation of a 125 GeV Higgs-like particle at the LHC, and pending further LHC results at 8 TeV and 14 TeV, a linear e+e- collider built and operated in centre-of-mass energy stages from a few-hundred GeV up to a few TeV will be an ideal physics exploration tool, complementing the LHC. In this document, an overview of the physics potential of CLIC is given. Two example scenarios are presented for a CLIC accelerator built in three main stages of 500 GeV, 1.4 (1.5) TeV, and 3 TeV, together with operating schemes that will make full use of the machine capacity to explore the physics. The accelerator design, construction, and performance are presented, as well as the layout and performance of the experiments. The proposed staging example is accompanied by cost estimates of the accelerator and detectors and by estimates of operating parameters, such as power consumption. The resulting physics potential and measurement precisions are illustrated through detector simulations under realistic beam conditions.Comment: 84 pages, published as CERN Yellow Report https://cdsweb.cern.ch/record/147522

Search for New Particles Leading to Z+jets Final States in ppˉp\bar{p} Collisions at s=1.96\sqrt{s}=1.96 TeV

We present the results of a search for new particles that lead to a \Z boson plus jets in $p\bar{p}$ collisions at $\sqrt{s}=1.96$ TeV using the Collider Detector at Fermilab (CDF II). A data sample with a luminosity of 1.06 \ifb\ collected using \Z boson decays to $ee$ and $\mu\mu$ is used. We describe a completely data-based method to predict the dominant background from standard-model \Z+jet events. This method can be similarly applied to other analyses requiring background predictions in multi-jet environments, as shown when validating the method by predicting the background from $W$+jets in \ttbar production. No significant excess above the background prediction is observed, and a limit is set using a fourth generation quark model to quantify the acceptance. Assuming $BR(b' \to b\Z) = 100$ and using a leading-order calculation of the $b'$ cross section, $b'$ quark masses below 268 \gev/c^2 are excluded at 95% confidence level.Comment: To be submitted to PR

Resolved Photon Processes

We review the present level of knowledge of the hadronic structure of the photon, as revealed in interactions involving quarks and gluons ``in" the photon. The concept of photon structure functions is introduced in the description of deep--inelastic $e \gamma$ scattering, and existing parametrizations of the parton densities in the photon are reviewed. We then turn to hard \gamp\ and \gaga\ collisions, where we treat the production of jets, heavy quarks, hard (direct) photons, \jpsi\ mesons, and lepton pairs. We also comment on issues that go beyond perturbation theory, including recent attempts at a comprehensive description of both hard and soft \gamp\ and \gaga\ interactions. We conclude with a list of open problems.Comment: LaTeX with equation.sty, 85 pages, 29 figures (not included). A complete PS file of the paper, including figures, can be obtained via anonymous ftp from ftp://phenom.physics.wisc.edu/pub/preprints/1995/madph-95-898.ps.

A Parallelized Implementation of Cut-and-Solve and a Streamlined Mixed-Integer Linear Programming Model for Finding Genetic Patterns Optimally Associated with Complex Diseases

With the advent of genetic sequencing, there was much hope of finding the inherited elements underlying complex diseases, such as late-onset Alzheimer’s disease (AD), but it has been a challenge to fully uncover the necessary information hidden in the data. A likely contributor to this failure is the fact that the pathogenesis of most complex diseases does not involve single markers working alone, but patterns of genetic markers interacting additively or epistatically. But as we move upwards beyond patterns of size two, it quickly becomes computationally infeasible to examine all combinations in the solution space. A common solution to solving this type of combinatorial optimization problem is to model it as a mixed-integer linear program (MIP) and solve it using the algorithm branch-and-cut, implemented by a commercial solver. However, with the trend of using increasing numbers of computing cores to increase computational power, there is a need for a different approach to solving MIPs that can utilize parallel environments. Here we show how a parallelized implementation of an alternative algorithm, cut-and-solve, can be used to solve this genetics problem faster than CPLEX, one of the leading commercial MIP solvers

The Stagnation Regime of the New Keynesian Model and Current US Policy

In Evans, Guse, and Honkapohja (2008) the intended steady state is locally but not globally stable under adaptive learning, and unstable deflationary paths can arise after large pessimistic shocks to expectations. In the current paper a modified model is presented that includes a locally stable stagnation regime as a possible outcome arising from large expectation shocks. Policy implications are examined. Sufficiently large temporary increases in government spending can dislodge the economy from the stagnation regime and restore the natural stabilizing dynamics. More specific policy proposals are presented and discussed.Stagnation, fiscal and monetary policy, deflation trap.