The extension of the general relativity theory to higher dimensions, so that the field equations for the metric remain of second order, is done through the Lovelock action. This action can also be interpreted as the dimensionally continued Euler characteristics of lower dimensions. The theory has many constant coefficients apparently without any physical meaning. However, it is possible, in a n...

We employ the semiclassical approximation to the Wheeler-DeWitt equation in the spatially flat de Sitter Universe to investigate the dynamics of a minimally coupled scalar field near the Planck scale. We find that, contrary to näıve intuition, the effects of quantum gravitational fluctuations become negligible and the scalar field states asymptotically approach plane-waves at very early times. ...

The programming language Mezzo is equipped with a rich type system that controls aliasing and access to mutable memory. We incorporate shared-memory concurrency into Mezzo and present a modular formalization of its core type system, in the form of a concurrent λ-calculus, which we extend with references and locks. We prove that welltyped programs do not go wrong and are data-race free. Our defi...

Biochemical degradation test of food coal-tar dyes using sludge was studied in order to evaluate their safety. It was found that some dyes were little decomposed under aerobic condition but four azo dyes were readily decomposed under anaerobic condition. These were Food Yellow No. 4, No. 5, and Food Red No. 2, No. 102. Decomposed products of these four azo dyes by sludge under anaerobic conditi...

There exists a distinctive class of physically significant evolution PDEs in one spatial dimension which can be treated analytically. A prototypical example of this class (which is referred to as integrable), is the Korteweg-de Vries equation. Integrable PDEs on the line can be analyzed by the so-called Inverse Scattering Transform (IST) method. A particularly powerful aspect of the IST is its ...

The aim of this note is to provide a pedagogical survey of the recent works [30, 31] concerning the local behavior of the eigenvalues of large complex correlated Wishart matrices at the edges and cusp points of the spectrum: Under quite general conditions, the eigenvalues fluctuations at a soft edge of the limiting spectrum, at the hard edge when it is present, or at a cusp point, are respectiv...

This paper describes a general approach for dynamic control of stochastic networks based on fluid model analysis, where in broad terms, the stochastic network is approximated by its fluid analog, an associated fluid control problem is solved and, finally, a scheduling rule for the original system is defined by interpreting the fluid control policy. The main contribution of this paper is to prop...

Two experiments were conducted to examine the link between safety behaviors and social judgments in social anxiety disorder (SAD). Safety behaviors were manipulated in the context of a controlled laboratory-based social interaction, and subsequent effects of the manipulation on the social judgments of socially anxious participants (N = 50, Study 1) and individuals meeting diagnostic criteria fo...

Safety cases offer a means for communicating information about the system safety among the system stakeholders. Recently, the requirement for a safety case has been considered by regulators for safety-critical systems. Adopting safety cases is necessarily dependent on the value added for regulatory authorities. In this work, we outline a structured approach for assessing the level of sufficienc...