Existence of maximal hypersurfaces and of foliations by maximal hypersurfaces is proven in two classes of asymptotically flat spacetimes which possess a one parameter group of isometries whose orbits are timelike “near infinity”. The first class consists of strongly causal asymptotically flat spacetimes which contain no “black hole or white hole” (but may contain “ergoregions” where the Killing...

Database queries within a component framework usually take the form of a string passed to an operation in a component’s interface. The interface operation accepts a value of type string as an actual parameter and implements the necessary support to resolve the query. In such an approach, a component’s interface does not explicitly state the queries supported by that component. In this paper, we...

Soft glassy materials exhibit the so-called glassy transition which means that the behavior of the model at low shear rate changes when a certain parameter (which we call the glass parameter) crosses a critical value. This behavior goes from a Newtonian behavior to a HerschelBulkley behavior through a power-law-type behavior at the transition point. In a previous paper we rigorously proved that...

Combined logics have recently deserved much attention. In this paper we develop a detailed study of a form of combination that generalises the temporalisation construction proposed in 9]. It consists of replacing an atomic part (formal parameter) of one (parameterised) logic by another (actual parameter) logic. We provide a categorial char-acterisation of parameterisation and illustrate it with...

Scientific theories are hard to find, and once scientists have found a theory H, they often believe that there are not many distinct alternatives to H. But is this belief justified? What should scientists believe about the number of alternatives to H, and how should they change these beliefs in the light of new evidence? These are some of the questions that we will address in this paper. We als...

During the past decade, the appreciation and understanding of how bacterial cells can be organized in both space and time have been revolutionized by the identification and characterization of multiple bacterial homologs of the eukaryotic actin cytoskeleton. Some of these bacterial actins, such as the plasmid-borne ParM protein, have highly specialized functions, whereas other bacterial actins,...

Acknowledgements: The research reported in this paper was supported by a grant from the Grant-in-Aid for Scientific Research (" 21st century center of excellence " grant) from the Ministry of Education, Culture, Sports, Science and Technology of Japan. Summary Impulsivity and inconsistency in intertemporal choice (discounting) have drawn attention in econophysics and neuroeconomics. Although it...

VoIP services have been considered as one of the most important services in the next generation wireless systems. VoIP service requires the same quality of service (QoS) requirement as constant bit rate services. For this reason, the IEEE 802.16 standard has defined an unsolicited grant service (UGS) to guarantee the QoS. However, the UGS is inadequate to support VoIP services with silence supp...

A method for the creation of a characteristic description of a binary image is presented along with its usefulness for the automatic choice of algorithm and parameter tuning. Local properties of a binary image are coded as numeric features of local structural templates. Statistical computation of these local features is then used to compute an error function. Such an error function evaluates th...

There are at least two contexts in which distributed multi-processor real-time (R-T) systems present increasingly difficult technical challenges to continuing the ‘synchronous-digital-design’ methodology that has been standard practice for many years: (i) complex systems where the parts are widely spaced (and often in relative motion) cannot easily operate with a common clock and (ii) advances ...