The probabilistic modal μ-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition systems (PLTS’s). Two equivalent semantics have been studied for this logic, both assigning to each state a value in the interval [0, 1] representing the probability that the property expressed by the formula holds at the state. One semantics is denotational and the o...

We derive a decomposition formula for the spectral flow of a 1-parameter family of self-adjoint Dirac operators on an odd-dimensional manifold M split along a hypersurface Σ (M = X ∪Σ Y ). No transversality or stretching hypotheses are assumed and the boundary conditions can be chosen arbitrarily. The formula takes the form SF (D) = SF (D|X , BX) + SF (D|Y , BY ) + μ(BY , BX) + S where BX and B...

We study the Nf -flavor Gross-Neveu model in 2+1 dimensions with a baryon chemical potential μ, using both analytical and numerical methods. In particular, we study the self-consistent Boltzmann equation in the Fermi liquid framework using the quasiparticle interaction calculated to O(1/Nf), and find solutions for zero sound propagation for almost all μ > μc, the critical chemical potential for...

We consider a Q-polynomial distance-regular graph Γ with vertex set X and diameter D ≥ 3. For μ, ν ∈ {↓, ↑} we define a direct sum decomposition of the standard module V = CX, called the (μ, ν)–split decomposition. For this decomposition we compute the complex conjugate and transpose of the associated primitive idempotents. Now fix b, β ∈ C such that b 6= 1 and assume Γ has classical parameters...

Let k be a finite field with q elements, and let k̄ be an algebraic closure of k. We consider the field L := k̄((ǫ)) and its subfield F := k((ǫ)). We write σ : x 7→ x for the Frobenius automorphism of k̄/k, and we also regard σ as an automorphism of L/F in the usual way, so that σ( ∑ anǫ ) = ∑ σ(an)ǫ . We write o for the valuation ring k̄[[ǫ]] of L. Let G be a split connected reductive group over k...

Background: Attenuation coefficient (μ) plays an important role in calculations of treatment planning systems, as well as determination of dose distributions in external beam therapy, dosimetry, protection, phantom materials and industry. So, its exact measurement or calculation is very important. The aim of this study was to evaluate the μ in different points in the water phantom anal...

This paper discusses the Flow-Orientation Problem (FOP), which assigns orientations of all links of an undirected network to obtain a directed network for meeting some flow optimization measurements. First, we describe the background and define three related FOP issues: MDFOP, MDSFOP, and MDDFOP. We discuss the complexity of the FOP on general networks, and also list the essences of convex-spli...

We study string realizations of split extended supersymmetry, recently proposed in hep-ph/0507192. Supersymmetry is broken by small (ǫ) deformations of intersection angles of D-branes giving tree-level masses of order m0 ∼ ǫM2 s , where Ms is the string scale, to localized scalars. We show through an explicit one-loop string amplitude computation that gauginos acquire hierarchically smaller Dir...

The purpose of this study was to examine the value of a clinical driving assessment battery in predicting performance on an on-road driving test. 43 participants referred to the Bryn Mawr Rehab Adapted Driving Program for evaluation of driving ability underwent an evaluation consisting of a predriver screening and an on road driving test. The predriver screening included a vision screening, a r...

The geographic information system industry would benefit from flexible automated systems capable of extracting linear structures from satellite imagery. Quadratic snakes allow global interactions between points along a contour, and are well suited to segmentation of linear structures such as roads. However, a single quadratic snake is unable to extract disconnected road networks and enclosed re...