To date, the properties of Q-balls arising from an Affleck-Dine condensate in gravity-mediated SUSY breaking have been obtained primarily through numerical simulations. In this work, we will derive the expected charge of the Q-balls formed in such a scenario through an analytical treatment. We will also examine the numerically observed difference between Q-ball formation in weakly charged conde...

In the study of horizon thermodynamics and emergent gravity two natural expressions for energy, E = 2T S (equipartition energy) and E = T S (Noether energy) arise which differ by a factor 2. I clarify the role of these two expressions in different contexts and show how E = T S is also closely related to the Noether charge arising from the boundary term of the Einstein–Hilbert action.

In this paper, we present our work on extending the probabilistic model checking tool PRISM with Grid computing capabilities. PRISM is a tool for the verification and analysis of large, probabilistic models, a process which involves numerical solution techniques. Like most verification tools, PRISM can be very resource intensive and will benefit greatly from parallelisation efforts. Grid comput...

Association of lichen planus and cutaneous malignancies is rare. Reports of neoplastic changes are mostly related to buccal chronic erosive lichen planus. We report herein a 29-year-old man who developed squamous cell carcinoma on previous lesions of chronic hypertrophic lichen planus of lower legs. Careful follow up of patients with chronic lichen planus and biopsy sampling of uncommon lesions...

A new probabilistic-logic formalism, called CHRiSM, is introduced. CHRiSM is based on a combination of CHR and PRISM. It can be used for high-level rapid prototyping of complex statistical models by means of chance rules. The underlying PRISM system can then be used for several probabilistic inference tasks, including parameter learning. We describe a source-to-source transformation from CHRiSM...

We discuss general properties of the conservation law associated with a local symmetry. Using Noether's theorem and a generalized Belinfante symmetrization procedure in 3+1 dimensions, a symmetric energy-momentum (pseudo) tensor for the gravitational Einstein-Hilbert action is derived and discussed in detail. In 2+1 dimensions, expressions are obtained for energy and angular momentum arising in...

We examine the picture of emergent gravity arising from a mass deformed matrix model. Due to the mass deformation, a vacuum geometry turns out to be a constant curvature spacetime such as d-dimensional sphere and (anti-)de Sitter spaces. We show that the mass deformed matrix model giving rise to the constant curvature spacetime can be derived from the d-dimensional Snyder algebra. The emergent ...

the gravity method is one of the first geophysical techniques used in oil and gas exploration. an algorithm is developed for a fast quantitative interpretation of gravity data generated by geometrically simple but also the estimated depths and other model parameters of a buried structure. following abdelrahman et al (1989). the general gravity anomaly expression produced by a sphere, an infinit...

The mathematical framework for an exact quantization of the two-dimensional coset space σmodels coupled to dilaton gravity, that arise from dimensional reduction of gravity and supergravity theories, is presented. This work extends the previous results of [45]. The two-time Hamiltonian formulation is obtained, which describes the complete phase space of the model in the whole isomonodromic sect...

PURPOSE To find out whether adaptation to a vertical prism involves more than fusional vertical eye movements. METHODS Adaptation to a vertical base-up 3 prism diopter prism was measured in a custom-programmed Maddox test in nine visually normal emmetropic subjects (mean age 27.0 ± 2.8 years). Vertical eye movements were binocularly measured in six of the subjects with a custom-programmed bin...