2,748 research outputs found
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
We study which standard operators of probabilistic process calculi allow for
compositional reasoning with respect to bisimulation metric semantics. We argue
that uniform continuity (generalizing the earlier proposed property of
non-expansiveness) captures the essential nature of compositional reasoning and
allows now also to reason compositionally about recursive processes. We
characterize the distance between probabilistic processes composed by standard
process algebra operators. Combining these results, we demonstrate how
compositional reasoning about systems specified by continuous process algebra
operators allows for metric assume-guarantee like performance validation
Innovative spatial timber structures: workshops with physical modeling explorations from small to full scale
Architects and Engineers are educated and work within two separate cultures yet
they are both concerned with conceptual structural design. The collaboration between
the professions is especially important when designing buildings where the structure to
a great degree forms the spaces, as in the cases of form generating structures such as
gridshells, reciprocal frames, space trusses etc . This paper describes several specialist
research based workshops developed at KA over the last two years that use physical
modelling of 1:1 innovative timber load-bearing structures such as gridshells and
reciprocal frames
Bertrand's Postulate for Carmichael Numbers
Alford, Granville, and Pomerance proved that there are infinitely many
Carmichael numbers. In the same paper, they ask if a statement analogous to
Bertrand's postulate could be proven for Carmichael numbers. In this paper, we
answer this question, proving the stronger statement that for all
and sufficiently large in terms of , there exist at least
Carmichael numbers between and
Stark Ionization of Atoms and Molecules within Density Functional Resonance Theory
We show that the energetics and lifetimes of resonances of finite systems
under an external electric field can be captured by Kohn--Sham density
functional theory (DFT) within the formalism of uniform complex scaling.
Properties of resonances are calculated self-consistently in terms of complex
densities, potentials and wavefunctions using adapted versions of the known
algorithms from DFT. We illustrate this new formalism by calculating ionization
rates using the complex-scaled local density approximation and exact exchange.
We consider a variety of atoms (H, He, Li and Be) as well as the hydrogen
molecule. Extensions are briefly discussed.Comment: 5 pages, 5 figures. This document is the unedited Author's version of
a Submitted Work that was subsequently accepted for publication in
J.Phys.Chem.Lett., copyright (c) American Chemical Society after peer review.
To access the final edited and published work see
http://pubs.acs.org/doi/abs/10.1021/jz401110
New Distribution Records of Ground Beetles From the North Central United States (Coleoptera: Carabidae)
We report 39 ground beetles new to five states in the upper midwestern United States. These species records include 19 new to Illinois (all but one from Lake County), 11 from Iowa, three from South Dakota, eight from Wisconsin, and two from Michigan. (Three species are new to more than one state). Enigmatically disjunct collections include the myrmecophile, Helluomorphoides nigripennis from western Illinois, known previously only from the Atlantic and Gulf coastal plain and piedmont, and Chlaenius amoenus, reported only from southeastern states and now from northeast Iowa
Structural breaks & volatility spillover. effects on the Norwegian financial market
Masteroppgve i finansiering og investering - Nord universitet 202
- …