97,574 research outputs found
Propositional Dynamic Logic for Message-Passing Systems
We examine a bidirectional propositional dynamic logic (PDL) for finite and
infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of
multi-modal logic we can express properties both in the entire future and in
the past of an event. Path expressions strengthen the classical until operator
of temporal logic. For every formula defining an MSC language, we construct a
communicating finite-state machine (CFM) accepting the same language. The CFM
obtained has size exponential in the size of the formula. This synthesis
problem is solved in full generality, i.e., also for MSCs with unbounded
channels. The model checking problem for CFMs and HMSCs turns out to be in
PSPACE for existentially bounded MSCs. Finally, we show that, for PDL with
intersection, the semantics of a formula cannot be captured by a CFM anymore
Reasonableness, Murder, and Modern Science
Originally titled “Is It Murder in Tennessee to Kill a Chimpanzee,” this article argues in some detail that typical legal definitions of “murder” as involving the intentional killing of “a reasonable being” would require classifying the intentional killing of chimpanzees as murder
Convergent sequences of perturbative approximations for the anharmonic oscillator I. Harmonic approach
We present numerical evidence that a simple variational improvement of the
ordinary perturbation theory of the quantum anharmonic oscillator can give a
convergent sequence of approximations even in the extreme strong coupling
limit, the purely anharmonic case. Some of the new techniques of this paper can
be extended to renormalizable field theories.Comment: 29 pages, 12 Postscript figures available through anonymous ftp at
ftp://algol.lpm.univ-montp2.fr ; replaces earlier version which could not be
postscripted presumably due to lack of figures.uu fil
Measurement of the fraction of t-tbar production via gluon-gluon fusion in p-pbar collisions at sqrt(s)=1.96 TeV
We present a measurement of the ratio of t-tbar production cross section via
gluon-gluon fusion to the total t-tbar production cross section in p-pbar
collisions at sqrt{s}=1.96 TeV at the Tevatron. Using a data sample with an
integrated luminosity of 955/pb recorded by the CDF II detector at Fermilab, we
select events based on the t-tbar decay to lepton+jets. Using an artificial
neural network technique we discriminate between t-tbar events produced via
q-qbar annihilation and gluon-gluon fusion, and find
Cf=(gg->ttbar)/(pp->ttbar)<0.33 at the 68% confidence level. This result is
combined with a previous measurement to obtain the most precise measurement of
this quantity, Cf=0.07+0.15-0.07.Comment: submitted to Phys. Rev.
Measurement of Resonance Parameters of Orbitally Excited Narrow B^0 Mesons
We report a measurement of resonance parameters of the orbitally excited
(L=1) narrow B^0 mesons in decays to B^{(*)+}\pi^- using 1.7/fb of data
collected by the CDF II detector at the Fermilab Tevatron. The mass and width
of the B^{*0}_2 state are measured to be m(B^{*0}_2) =
5740.2^{+1.7}_{-1.8}(stat.) ^{+0.9}_{-0.8}(syst.) MeV/c^2 and \Gamma(B^{*0}_2)
= 22.7^{+3.8}_{-3.2}(stat.) ^{+3.2}_{-10.2}(syst.) MeV/c^2. The mass difference
between the B^{*0}_2 and B^0_1 states is measured to be
14.9^{+2.2}_{-2.5}(stat.) ^{+1.2}_{-1.4}(syst.) MeV/c^2, resulting in a B^0_1
mass of 5725.3^{+1.6}_{-2.2}(stat.) ^{+1.4}_{-1.5}(syst.) MeV/c^2. This is
currently the most precise measurement of the masses of these states and the
first measurement of the B^{*0}_2 width.Comment: 7 pages, 1 figure, 1 table. Submitted to Phys.Rev.Let
Recommended from our members
A particle flow specific boundary element formulation for microfluidic applications
This paper was presented at the 4th Micro and Nano Flows Conference (MNF2014), which was held at University College, London, UK. The conference was organised by Brunel University and supported by the Italian Union of Thermofluiddynamics, IPEM, the Process Intensification Network, the Institution of Mechanical Engineers, the Heat Transfer Society, HEXAG - the Heat Exchange Action Group, and the Energy Institute, ASME Press, LCN London Centre for Nanotechnology, UCL University College London, UCL Engineering, the International NanoScience Community, www.nanopaprika.eu.In this study, a special formulation to obtain velocities of particles flowing within a microchannel
is presented. The formulation is based on boundary element method, and the large system matrices resulting
from the analysis is reduced to a system of linear equations with the unknowns being the rigid-body motion
parameters of the particles. This reduction is achieved through matrix multiplications which increases
computational efficiency when compared with the solution of a large system of equations. Since the
formulation involves mainly matrix multiplications, parallelization is straightforward. With the presented
algorithm, only the position of the particle(s) are tracked through the solution of their rigid-body velocities
and an explicit time integration to obtain displacements. Due to the boundary-only nature of the boundary
element method, the particle flow in close proximity to the channel walls are very effectively modeled
without any need for specific model. The presented method is given in 2D, where the 3D formulation is
straightforward. To demonstrate the applicability of the method, besides some benchmark problems, two
fundamental processes, namely flow cytometry and hydrodynamic-based particle separation, are studied. It is
observed that present formulation offers an efficient numerical model to be used for the simulation of the
particle trajectory for 2D microfluidic applications and can easily be extended for 3D multiphysics
simulations
On the Monadic Second-Order Transduction Hierarchy
We compare classes of finite relational structures via monadic second-order
transductions. More precisely, we study the preorder where we set C \subseteq K
if, and only if, there exists a transduction {\tau} such that
C\subseteq{\tau}(K). If we only consider classes of incidence structures we can
completely describe the resulting hierarchy. It is linear of order type
{\omega}+3. Each level can be characterised in terms of a suitable variant of
tree-width. Canonical representatives of the various levels are: the class of
all trees of height n, for each n \in N, of all paths, of all trees, and of all
grids
Modal Logics of Topological Relations
Logical formalisms for reasoning about relations between spatial regions play
a fundamental role in geographical information systems, spatial and constraint
databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's
modal logic of time intervals based on the Allen relations, we introduce a
family of modal logics equipped with eight modal operators that are interpreted
by the Egenhofer-Franzosa (or RCC8) relations between regions in topological
spaces such as the real plane. We investigate the expressive power and
computational complexity of logics obtained in this way. It turns out that our
modal logics have the same expressive power as the two-variable fragment of
first-order logic, but are exponentially less succinct. The complexity ranges
from (undecidable and) recursively enumerable to highly undecidable, where the
recursively enumerable logics are obtained by considering substructures of
structures induced by topological spaces. As our undecidability results also
capture logics based on the real line, they improve upon undecidability results
for interval temporal logics by Halpern and Shoham. We also analyze modal
logics based on the five RCC5 relations, with similar results regarding the
expressive power, but weaker results regarding the complexity
Search for lepton flavor violating decays of a heavy neutral particle in p-pbar collisions at root(s)=1.8 TeV
We report on a search for a high mass, narrow width particle that decays
directly to e+mu, e+tau, or mu+tau. We use approximately 110 pb^-1 of data
collected with the Collider Detector at Fermilab from 1992 to 1995. No evidence
of lepton flavor violating decays is found. Limits are set on the production
and decay of sneutrinos with R-parity violating interactions.Comment: Figure 2 fixed. Reference 4 fixed. Minor changes to tex
Placer mining in Alaska II
During July, August and September, 1979, a team from the Mineral Industry Research Laboratory visited a number of placer mining districts that could be reached by automobile, hence at a reasonable cost for transportation. These districts yielded varying amounts of information that will be of value to the industry. The district visited were: 1. Fairbanks, 2. Circle (Birch Creak), 3. Livengood (Tolovana), 4. Manley Hot Springs, 5. Fortymile, 6. Klondike, 7. Kantishna, 8. Yentna.University of Alaska Mining and Mineral Resources Research Institute.Placer mining in Alaska II -- Selected references -- List of figures
- …