We describe new numerical methods to solve the static axisymmetric vacuum Einstein equations in more than four dimensions. As an illustration, we study the compactified non-uniform black string phase connected to the uniform strings at the Gregory-Laflamme critical point. We compute solutions with a ratio of maximum to minimum horizon radius up to nine. For a fixed compactification radius, the ...

This paper describes the synthesis of non-fragile or resilient regulators for linear systems. A general framework for fragility is described using state-space methodologies, and the LQ/H 2 static state-feedback problem is examined in detail. We discuss the multiplicative structured uncertainties case, and propose remedies of the fragility problem using an optimization programming framework via ...

For a quantum field living on a non static spacetime no instantaneous Hamiltonian is definable, for this generically necessitates a choice of inequivalent representation of the canonical commutation relations at each instant of time. This fact suggests a description in terms of time dependent Hilbert spaces, a concept that fits naturally in a (consistent) histories framework. Our primary tool f...

Early work in implicit information flow detection applied only to flat, procedureless languages with structured control-flow (e.g., if statements, while loops). These techniques have yet to be adequately extended and generalized to expressive languages with interprocedural, exceptional and irregular control-flow behavior. We present an implicit information flow analysis suitable for languages w...

We provide a new electromagnetic mass model admitting non static conformal symmetry. We conclude that the pressure and density failed to be regular at the origin but gravitational mass is always positive and vanishes in the limit r → 0 i.e. it does not have to tolerate the problem of singularity. Further, we match interior metric with the exterior (Reissner-Nordström) metric and determine the v...

We examine the effect of local matter on the chaotic behavior of a relativistic test particle in non-vacuum static axisymmetric spacetimes. We find that the sign of the sectional curvature in the geodesic deviation equation defined by the Riemann curvature does not always become a good tool to judge the occurrence of chaos in the non-vacuum case. However, we show that the locally unstable regio...

In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks using non-blocking synchronization are atomic, i.e., that every execution of the program is equivalent to one in which those code blocks execute without interruption by other threads. Our analysis determines commutativity of ...

this paper deals with the design and evaluation of a robust controller for static var compensator (svc) in remote industrial power systems to enhance the voltage profile for three-phase single cage induction motor (scim) loads. the controller design is based on h∞ theory to deal with uncertainties arising in industrial network modelling. the performance of the h∞ controller has been evaluated e...