ION : meeting of the Scientific Board of the Computer Science Department of the École Normale Supérieure, May 11–12, 2011 © P. Cousot Patrick Cousot (leader) SEMANTICS AND ABSTRACT INTERPRETATION 1 Paris, Wednesday May 11, 2011 ABSTRACTION : meeting of the Scientific Board of the Computer Science Department of the École Normale Supérieure, May 11–12, 2011 © P. Cousot The team:ION : meeting of t...

A global ocean circulation model is coupled to a particle-tracking model to simulate the transport of floating debris washed into the North Pacific Ocean by the Tohoku tsunami. A release scenario for the tsunami debris is based on coastal population and measured tsunami runup. Archived 2011/2012 hindcast current data is used to model the transport of debris since the tsunami, while data from 20...

The huge earthquake in 11 March 2012 which followed by a destructive tsunami in Japan was largest recorded earthquake in the history. Japan is pioneer in disaster management, especially earthquakes. How this developed country faced this disaster, which had significant worldwide effects? The humanitarian behavior of the Japanese people amazingly wondered the word's media, meanwhile the managemen...

UNLABELLED In 2013, 45% of new human immunodeficiency virus (HIV) infection diagnoses occurred in non-Hispanic blacks/African Americans (blacks) (1), who represent 12% of the U.S. POPULATION * Antiretroviral therapy (ART) improves clinical outcomes and reduces transmission of HIV, which causes acquired immunodeficiency syndrome (AIDS) (2). Racial/ethnic disparities in HIV care limit access to...