Distribution and Extinction of Ungulates during the Holocene of the Southern Levant

BACKGROUND: The southern Levant (Israel, Palestinian Authority and Jordan) has been continuously and extensively populated by succeeding phases of human cultures for the past 15,000 years. The long human impact on the ancient landscape has had great ecological consequences, and has caused continuous and accelerating damage to the natural environment. The rich zooarchaeological data gathered at the area provide a unique opportunity to reconstruct spatial and temporal changes in wild species distribution, and correlate them with human demographic changes. METHODOLOGY: Zoo-archaeological data (382 animal bone assemblages from 190 archaeological sites) from various time periods, habitats and landscapes were compared. The bone assemblages were sorted into 12 major cultural periods. Distribution maps showing the presence of each ungulate species were established for each period. CONCLUSIONS: The first major ungulate extinction occurred during the local Iron Age (1,200-586 BCE), a period characterized by significant human population growth. During that time the last of the largest wild ungulates, the hartebeest (Alcelaphus buselaphus), aurochs (Bos primigenius) and the hippopotamus (Hippopotamus amphibius) became extinct, followed by a shrinking distribution of forest-dwelling cervids. A second major wave of extinction occurred only in the 19th and 20th centuries CE. Furthermore, a negative relationship was found between the average body mass of ungulate species that became extinct during the Holocene and their extinction date. It is thus very likely that the intensified human activity through habitat destruction and uncontrolled hunting were responsible for the two major waves of ungulate extinction in the southern Levant during the late Holocene

Environmental Enrichment Preceding Early Adulthood Methylphenidate Treatment Leads to Long Term Increase of Corticosterone and Testosterone in the Rat

Attention-deficit/hyperactivity disorder (ADD/ADHD) has been emerging as a world-wide psychiatric disorder. There appears to be an increasing rate of stimulant drug abuse, specifically methylphenidate (MPH) which is the most common treatment for ADHD, among individuals who do not meet the criteria for ADHD and particularly for cognitive enhancement among university students. However, the long term effects of exposure to MPH are unknown. Thus, in light of a developmental approach in humans, we aimed to test the effects of adolescence exposure to enriched environment (EE) followed by MPH administration during early adulthood, on reactions to stress in adulthood. Specifically, at approximate adolescence [post natal days (PND) 30–60] rats were reared in EE and were treated with MPH during early adulthood (PND 60–90). Adult (PND 90–92) rats were exposed to mild stress and starting at PND 110, the behavioral and endocrine effects of the combined drug and environmental conditions were assessed. Following adolescence EE, long term exposure to MPH led to decreased locomotor activity and increased sucrose preference. EE had a beneficial effect on PPI (attentive abilities), which was impaired by long term exposure to MPH. Finally, the interaction between EE and, exposure to MPH led to long-term elevated corticosterone and testosterone levels. In view of the marked increase in MPH consumption over the past decade, vigilance is crucial in order to prevent potential drug abuse and its long term detrimental consequences

Modelling by Patterns for Correct-by-Construction Process.

International audiencePatterns have greatly improved the development of programs and software by identifying practices that could be replayed and reused in different software projects. Moreover, they help to communicate new and robust solutions for software development; it is clear that design patterns are a set of recipes that are improving the production of software. When developing models of systems, we are waiting for adequate patterns for building models and later for translating models into programs or even software. In this paper, we review several patterns that we have used and identified, when teaching and when developing case studies using the Event-B modelling language. The modelling process includes the use of formal techniques and the use of refinement, a key notion for managing abstractions and complexity of proofs. We have classified patterns in classes called paradigms and we illustrate three paradigms: the inductive paradigm, the call-as-event paradigm and the service-as-event paradigm. Several case studies are given for illustrating our methodology

Verification by Construction of Distributed Algorithms

International audienceThe verification of distributed algorithms is a challenge for formal techniques supported by tools, as model checkers and proof as- sistants. The difficulties, even for powerful tools, lie in the derivation of proofs of required properties, such as safety and eventuality, for dis- tributed algorithms. Verification by construction can be achieved by us- ing a formal framework in which models are constructed at different levels of abstraction; each level of abstraction is refined by the one below, and this refinement relationships is documented by an abstraction relation namely a gluing invariant. The highest levels of abstraction are used to express the required behavior in terms of the problem domain and the lowest level of abstraction corresponds to an implementation from which an efficient implementation can be derived automatically. In this paper, we describe a methodology based on the general concept of refinement and used for developing distributed algorithms satisfying a given list of safety and liveness properties. The modelling methodology is defined in the Event-B modelling language using the IDE Rodin