Search results for "VERTEX"
showing 10 items of 225 documents
Verification of scope-dependent hierarchical state machines
2008
AbstractA hierarchical state machine (Hsm) is a finite state machine where a vertex can either expand to another hierarchical state machine (box) or be a basic vertex (node). Each node is labeled with atomic propositions. We study an extension of such model which allows atomic propositions to label also boxes (Shsm). We show that Shsms can be exponentially more succinct than Shsms and verification is in general harder by an exponential factor. We carefully establish the computational complexity of reachability, cycle detection, and model checking against general Ltl and Ctl specifications. We also discuss some natural and interesting restrictions of the considered problems for which we can …
2019
In this paper, we present a method for automated estimation of a human face given a skull remain. Our proposed method is based on three statistical models. A volumetric (tetrahedral) skull model encoding the variations of different skulls, a surface head model encoding the head variations, and a dense statistic of facial soft tissue thickness (FSTT). All data are automatically derived from computed tomography (CT) head scans and optical face scans. In order to obtain a proper dense FSTT statistic, we register a skull model to each skull extracted from a CT scan and determine the FSTT value for each vertex of the skull model towards the associated extracted skin surface. The FSTT values at p…
Generalizations of the periodicity Theorem of Fine and Wilf
2005
We provide three generalizations to the two-dimensional case of the well known periodicity theorem by Fine and Wilf [4] for strings (the one-dimensional case). The first and the second generalizations can be further extended to hold in the more general setting of Cayley graphs of groups. Weak forms of two of our results have been developed for the design of efficient algorithms for two-dimensional pattern matching [2, 3, 6].
A Precise Measurement of the Tau Lepton Lifetime
1996
The tau lepton lifetime has been measured using three different methods with the DELPHI detector. Two measurements of one-prong decays are combined, accounting for correlations, giving a result of \tau_\tau = 291.8 \pm 3.3 \mbox{ (stat.)} \pm 2.0 \mbox{(sys.) fs} while the decay length distribution of three-prong decays gives the result \tau_{\tau} = 286.7 \pm 4.9 \mbox{ (stat.)} \pm 3.3 \mbox{ (sys.) fs}. Combining the results presented here with previous DELPHI measurements, we get \tau_{\tau} = 291.4 \pm 3.0 fs and find that the ratio of the coupling constant for tau decay relative to that for muon decay is 0.990 \pm 0.009, compatible with lepton universality.
Measurement of the charged particle multiplicity of weakly decaying B hadrons
1998
From the Z decays recorded in 1994 and 1995 by the DELPHI detector at LEP, the charged particle multiplicity of weakly decaying B hadrons was measured to be: 4.97 +/- 0.03 +/- 0.06 excluding the K-o and Lambda decay products. (C) 1998 Published by Elsevier Science B.V. All rights reserved.
Pinch technique for Schwinger-Dyson equations
2007
40 pages, 11 figures.-- ISI Article Identifier: 000245922000041.-- ArXiv pre-print available at: http://arxiv.org/abs/hep-ph/0611354
Measurement of the inclusive charmless and double-charm B branching ratios
1998
The DELPHI experiment at LEP has measured the inclusive charmless B hadron decay branching ratio, the B branching ratio into two charmed particles, and the total number of charmed particles per B decay, using the hadronic Z data taken between 1992 and 1995. The results are extracted from a fit to the b-tagging probability distribution based on the precise impact parameter measurements made using the microvertex detector. The inclusive charmless B branching ratio, including B decays into hidden charm (c (c) over bar), is measured to be 0.033 +/- 0.021. The B branching ratio into two open charmed particles is 0.136 +/- 0.042. The mean number of charmed particles per B decay (including hidden …
s-wave pion-nucleus optical potential
2007
We calculate the s-wave part of the pion-nucleus optical potential using a unitarized chiral approach that has been previously used to simultaneously describe pionic hydrogen and deuterium data as well as low energy pi N scattering in the vacuum. This energy dependent model allows for additional isoscalar parts in the potential from multiple rescattering. We consider Pauli blocking and pion polarization in an asymmetric nuclear matter environment. Also, higher order corrections of the pi N amplitude are included. The model can accommodate the repulsion required by phenomenological fits, though the theoretical uncertainties are bigger than previously thought. At the same time, we also find a…
The Belle II vertex detector integration
2019
Belle II DEPFET, PXD, and SVD Collaborations: et al.
Correcting for Potential Barriers in Quantum Walk Search
2015
A randomly walking quantum particle searches in Grover's $\Theta(\sqrt{N})$ iterations for a marked vertex on the complete graph of $N$ vertices by repeatedly querying an oracle that flips the amplitude at the marked vertex, scattering by a "coin" flip, and hopping. Physically, however, potential energy barriers can hinder the hop and cause the search to fail, even when the amplitude of not hopping decreases with $N$. We correct for these errors by interpreting the quantum walk search as an amplitude amplification algorithm and modifying the phases applied by the coin flip and oracle such that the amplification recovers the $\Theta(\sqrt{N})$ runtime.