In this paper we present the real-time verification and analysis tool RAVEN. RAVEN is developed for verifying timed systems on various levels of abstraction. It integrates a real-time model checker for real-time specifications, it offers algorithms for analyzing critical delay times, for inspecting data values and event occurrences and for detecting dead-locks and live-locks. The counter exampl...

Although social animals frequently make decisions about when or with whom to cooperate, little is known about the underlying mechanisms of partner choice. Most previous studies compared different dyads' performances, though did not allow an actual choice among partners. We tested eleven ravens, Corvus corax, in triads, giving them first the choice to cooperate with either a highly familiar or a...

AIM To evaluate gastric motility using electrical bio-impedance (EBI) and gastric changes as a result of stress induced by psychological tests. METHODS A group of 57 healthy women, aged 40-60 years, was recruited, and a clinical history and physical examination were performed. The women were free from severe anxiety, chronic or acute stress, severe depression, mental diseases and conditions t...

Laboratory and field experiments were conducted to determine the efficacy of two Bacillus thuringiensis Berliner formulations, Novodor and Raven, for controlling cottonwood leaf beetle, Chrysomela scripta F. (Coleoptera: Chrysomelidae). In laboratory bioassays, larvae or adults were added to petri dishes containing Populus x euramericana Guinier 'Eugenei' foliage that had been treated with dist...

Common ravens (Corvus corax) are a major predator on the threatened desert tortoise (Gopherus [= Xerobates] agassizii). Large numbers of juvenile tortoise shells have been found beneath known raven nests and perches; many shells that show evidence consistent with raven predation have been found sporadically throughout the range of the tortoise; significant proportional decreases in juvenile siz...

s:  Ogoh, S, Brothers, R.M., Barnes, Q., Eubank, W.L., Hawkins, M.N., Purkayastha, S., Albert O-Yurvati and P.B. Raven. The Cardiopulmonary baroreflex is reset during dynamic exercise. 2 nd Joint Meeting of the EFAS and AAS, 2005 (Los Cabos, Mexico).

The paper reports on an investigation of attention and working memory as sources of intelligence. The investigation was concentrated on the relatedness of attention and working memory as predictors of intelligence and on the structure underlying the prediction. In a sample of 120 participants, intelligence was assessed by the Advanced Progressive Matrices [APM; Raven, J. C. (1962). Advanced pro...