ions for the Analysis and Verification of Hardware and Software Systems ⋆ Roberto Bagnara , Patricia M. Hill , Enea Zaffanella a Department of Mathematics, University of Parma, Italy School of Computing, University of Leeds, UK

This paper discuss findings of a follow-up study with alumni of three graduate courses known as "professional master" oriented toward institutional innovation in management of science and technology, offered by Oswaldo Cruz Foundation to its employees. The study analyzed alumni profile and characteristics, identified evidence of changes in their original workplace and assessed the relationship ...

ion in Search-Based Optimization Joxan Jaffar Andrew E. Santosa Răzvan Voicu School of Computing, National University of Singapore Republic of Singapore 117543 {joxan,andrews,razvan}@comp.nus.edu.sg

3 To my parents, for their endless support 4 ACKNOWLEDGMENTS I would like to acknowledge the excellent the guidance and support of the committee chair, would also like to acknowledge Diego Arguea and Tom Hiles, for their significant collaboration in this research. In addition, I would like to thank Matthew O'Brien, Darrell Schneider, and the City of Gainesville for their support during the fiel...

Neil Winterburn Peggy Gregory Dan Fitton School of Computing School of Computing School of Computing Engineering & Physical Science Engineering & Physical Science Engineering & Physical Science University of Central Lancashire University of Central Lancashire University of Central Lancashire Preston, PR1 2HE, Preston, PR1 2HE, Preston, PR1 2HE, [email protected] [email protected] dbf...

This study aimed at analyzing the family participation in the premature assistance in a university hospital neonatal ICU. Data were collected from the participant observation. Results showed that despite of the mother's presence in the daily life of their premature children placed in a hospital, family isn't inserted in the work process and mothers are the only ones who take part of the cares. ...

Taku Tsuchiya, Renata M. Wentzcovitch , Cesar R. S. da Silva, Stefano de Gironcoli 4, 5 and Jun Tsuchiya 1 Geodynamics Research Center, Ehime University, 2-5 Bunkyo-cho, Matsuyama 790-8577, Japan 2 Department of Chemical Engineering and Materials Science, University of Minnesota, MN 55455, USA 3 Minnesota Supercomputing Institute for Digital Technology and Advanced Computations, University of M...

ALVES GOMES, G. (1); MELIM MARQUES, L. (2); ALVES GOMES, G. (3); SPIEGEL NASCIMENTO, C. (4); ARAÚJO-JORGE CREMONINE, T. (5) y LUZ MOTTA, M. (6) (1) Departamento de Biologia Celular e Molecular. [email protected] (2) Instituto Oswaldo Cruz. [email protected] (3) Universidade Federal Fluminense. [email protected] (4) Universidade Federal Fluminense. [email protected] (5) Institut...