Climate models are seen by many to be unverifiable. However, near-term climate predictions up to 10 years into the future carried out recently with these models can be rigorously verified against observations. Near-term climate prediction is a new information tool for the climate adaptation and service communities, which often make decisions on near-term time scales, and for which the most basi...

Recognizing the intention of others in real-time is a critical aspect of many human tasks. This article describes a technique for interpreting the near-term intention of an agent performing a task in real-time by inferring the behavioral context of the observed agent. Equally significantly, the knowledge used in this approach can be captured semi-automatically through observation of an agent pe...

Sergio Boixo, Sergei V. Isakov, Vadim N. Smelyanskiy, Ryan Babbush, Nan Ding, Zhang Jiang, 4 John M. Martinis, 6 and Hartmut Neven Google Inc., Venice, CA 90291, USA Google Inc., 8002 Zurich, Switzerland QuAIL, NASA Ames Research Center, Moffett Field, CA 94035, USA SGT Inc., 7701 Greenbelt Rd., Suite 400, Greenbelt, MD 20770 Google Inc., Santa Barbara, CA 93117, USA Department of Physics, Univ...

Recent work on microprocessor testing and verification has begun to consider the possible applicability of general-purpose satisfiability tools to this domain. In this paper, we will discuss some of the likely upcoming representational enhancements to these solvers, and the extent to which these representational improvements are likely to impact work in MTV. 1Presented at the MTV02 workshop, Ju...

Most research on outcomes of preterm birth has centered on babies born at <32 weeks gestation and at highest risk of mortality and serious morbidity. Recent years have seen a dramatic increase in studies focusing on late preterm infants (34-36 weeks gestation). Early epidemiological studies demonstrated increased risks of mortality and adverse neonatal outcomes in this group, prompting further ...

On the basis of comparison and analogy it can be stated. that in the mature fetus behavioral states comparable to those seen in the newborn infant, i.e. quiet sleep, active sleep and even some kind of wakefulness do exist (1). These states can be identified fairly well from heart rate and motor activity patterns. According to evaluation of 8 hour recordinqs of FHR and fetal movements in the fet...