The Ischian Earthquake of July 28, 1883

World Hepatitis Day — July 28, 2013

World Hepatitis Day — July 28, 2015

July 28, 2015, marks the fifth annual World Hepatitis Day, established in 2010 by the World Health Organization to increase awareness and understanding of viral hepatitis. Millions of acute hepatitis infections occur each year, and approximately 400 million persons are living with chronic hepatitis B or hepatitis C (1). An estimated 1.4 million persons die each year from the various forms of vi...

World Hepatitis Day — July 28, 2014

Infections with hepatitis B virus (HBV) and hepatitis C virus (HCV) are major causes of morbidity and mortality globally, primarily because of sequelae of chronic liver disease including cirrhosis and hepatocellular carcinoma (1). The risks for HBV and HCV transmission via blood transfusions have been described previously (2) and are believed to be higher in countries in sub-Saharan Africa (3)....

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

Query Representation and Understanding July 28 , 2011 , Beijing , China Organizers

Understanding the user needs underlying a query can be very difficult, even for a human relevance judge. When evaluating our algorithms, particularly those with a sophisticated query model, it may be wise to use real queries and a notion of relevance that is aligned with real user needs. I will present two lines of work in this area. One is the TREC Web Track, where we attempt to incorporate re...