We propose a process calculus for modelling systems in the Internet of Things paradigm. Our systems interact both with the physical environment, via sensors and actuators, and with smart devices, via short-range and Internet channels. The calculus is...
We present BEAST DB, an open-source database comprised of ab initio electrochemical data computed using grand-canonical density functional theory in implicit solvent at consistent calculation parameters. The database contains over 20,000 surface calc...
Snake graphs appear naturally in the theory of cluster algebras. For cluster algebras from surfaces, each cluster variable is given by a formula which is parametrized by the perfect matchings of a snake graph. In this paper, we continue our study of...
I’m selling this lot of outdoor apparel fabrics, perfect for the aspiring MYOGist who wants to make their own outdoor clothes. Also includes 20 patterns from The Green Pepper and Thread Theory (Mens...
**This theory has a lot of evidence and took a few Reddit posts to fit. For a cohesive page, you can view this Google Docs page, otherwise you can read below.** [https://docs.google.com/document/d/1j...
Standard approximations for the exchange-correlation functional are known to deviate from linear dependence of the energy on the electron and spin numbers (in -space). Violation of this flat-plane condition underlies the failure of all known approxim...
We model cumulus clouds as transient diabatic plumes, and present a single-fluid formulation for the study of the dynamics of developing shallow cumulus clouds. The fluid, air, carries water vapour and liquid water as scalars that are advected with t...
Wilson's numerical renormalization group (NRG) method for the calculation of dynamic properties of impurity models is generalized to investigate the effective impurity model of the dynamical mean field theory at finite temperatures. We calculate th...
Mott metal-insulator transitions in an M-fold orbitally degenerate Hubbard model are studied by means of a generalization of the linearized dynamical mean-field theory. The method allows for an efficient and reliable determination of the critical i...
The zero temperature transition from a paramagnetic metal to a paramagnetic insulator is investigated in the Dynamical Mean Field Theory for the Hubbard model. The self-energy of the effective impurity Anderson model (on which the Hubbard model is...
The Mott metal-insulator transition in the two-band Hubbard model in infinite dimensions is studied by using the linearized dynamical mean-field theory recently developed by Bulla and Potthoff. The phase boundary of the metal-insulator transition i...
The light field reconstruction from the focal stack can be mathematically formulated as an ill-posed integral equation inversion problem. Although the previous research about this problem has made progress both in practice and theory, its forward pro...
A number of attempts have recently been made to extend the conjectured $S$ duality of Yang Mills theory to gravity. Central to these speculations has been the belief that electrically and magnetically charged black holes, the solitons of quantum gr...
The theory of dense graph limits comes with a natural sampling process which yields an inhomogeneous variant G(n,W) of the Erdos-Renyi random graph. Here we study the clique number of these random graphs. We establish the concentration of the clique...
We use the slice filtration to study the $MU$-homology of the fixed points of connective models of Lubin--Tate theory studied by Hill--Hopkins--Ravenel and Beaudry--Hill--Shi--Zeng. We show that, unlike their periodic counterparts $EO_n$, the $MU$ ho...
Rozansky and Witten proposed in 1996 a family of new three-dimensional topological quantum field theories, indexed by compact (or asymptotically flat) hyperkaehler manifolds. As a byproduct they proved that hyperkaehler manifolds also give rise to...
Aiming to offer a framework for blended learning to the teaching of proof theory, the present paper describes an interactive tutorial, called \textsc{TryLogic}, teaching how to solve logical conjectures either by proofs or refutations. The paper also...
We determine the form of the Wigner functional for several types of quantum free field theories in order to analyze the representation of QFT in phase space, as well as to compare it to other mainstream formulations. We use Jackiw's functional repres...
The theory of uniformly hyperbolic dynamical systems was initiated in the 1960's (though its roots stretch far back into the 19th century) by S. Smale, his students and collaborators, in the west, and D. Anosov, Ya. Sinai, V. Arnold, in the former...
...