ITSC 2015, Workshop 14, 15. September, Las Palmas, Gran Canaria Organizers: Cristóbal Curio (Reutlingen University, Germany) and Christoph Stiller (KIT, Germany) First authors are presenters, if not stated otherwise ************************** ************************** Program ************************** ************************** 09:00-09:15 Opening words by Cristóbal Curio and Christoph Stille...

Although it is generally agreed that an effective vaccine would greatly accelerate the control of malaria, the lone registered malaria vaccine Mosquirix™ has an efficacy of 30%-60% that wanes rapidly, indicating a need for improved second-generation malaria vaccines. Previous studies suggested that immune responses to a chimeric Plasmodium falciparum antigen UB05-09 are associated with immune p...

Cecropia glaziovii Sneth (Urticaceae) is a common tree from Southeast and South of Brazil, being widely used in traditional medicine to treat heart and respiratory conditions. C-glycosylflavonoids have being described as the major compounds for this genus, however, no seasonality studies of individual flavonoids was conducted for any Cecropia specie. In this work, the content of isoorientin and...

BACKGROUND Endemic dengue virus type 3 (DENV-3) infections have not been reported in Canton, China, since 1980. In March 2009, DENV-3 was isolated for the second time, occurring about 30 years after the previous circulation. In August, 3 other cases emerged. One much larger outbreak occurred again in 2010. To address the origin and particularly to determine whether the outbreaks were caused by ...

We define and prove correct a mode checker for a significant fragment of the concurrent logical framework CLF. ∗ This paper was made possible by grant 09-1107-1-168, Formal Reasoning about Languages for Distributed Computation, from the Qatar National Research Fund (a member of the Qatar Foundation). The statements made herein are solely the responsibility of the authors.

The pandemic H1N1/09 emerged rapidly in Korea. Here, we describe the clinical characteristics of outpatients in Seoul, Korea who were infected in the 2009 H1N1 pandemic. We reviewed the cases of outpatients with pandemic H1N1/09 who visited a tertiary care teaching hospital between September 1 and December 31, 2009. Infection with pandemic H1N1/09 was confirmed by molecular tests. Of a total of...