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 $\delta>0$ and $x$ sufficiently large in terms of $\delta$, there exist at least $e^{\frac{\log x}{(\log\log x)^{2+\delta}}}$ Carmichael numbers between $x$ and $x+\frac{x}{(\log x)^{\frac{1}{2+\delta}}}$

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