Final Program NWPT’October 2007, Oslo, Norway Wednesday October 10th Chair: Gerardo Schneider: 13:30 Invited Talk. Gilles Barthe:

Source URL: nwpt07.ifi.uio.no

• Theoretical computer science
• Davide Sangiorgi
• Modeling language
• Object-oriented programming
• Coinduction

The Impact of Biological, Psychological, and Social Factors on Disability, Quality of Life, and Wellbeing in Neurological Patients Michelle Willems, MSc, Alberto Raggi, PsyD, Chiara Scaratti, MSc, Davide Sattin, PsyD, Pr

Source URL: www.maratoneproject.eu

• RTT
• Psychiatric diagnosis
• Depression
• Mood disorders
• Abnormal psychology
• Major depressive disorder
• Dementia
• Neurological disorder
• Amyotrophic lateral sclerosis
• Geriatric depression in China
• Bipolar disorder
• Draft:Young stroke

HATS Abstract Behavioral Specification: The Architectural View? Reiner Hähnle1 , Michiel Helvensteijn2 , Einar Broch Johnsen3 , Michael Lienhardt4 , Davide Sangiorgi4 , Ina Schaefer5 , and Peter Y. H. Wong6 1

Source URL: www.mhelvens.net

• Feature-oriented programming
• Feature model
• SystemC
• R
• Business process modeling
• Modeling language
• Delta
• Workflow
• Prototype

Forbidden Fruits: The Political Economy of Science, Religion, and Growth Roland Bénabou 1 Davide Ticchi 2

Source URL: thred.devecon.org

• Philosophy of religion
• Philosophy of science
• Relationship between religion and science
• Religiosity
• Religion
• Christendom
• Secularization

Cristina Bowerman Annalisa Macellaio Silvia Capuano Giulia Ghisellini Davide Grieco Daniele Iubei

Source URL: www.romeo.roma.it

Automating Co-evolution in Model-Driven Engineering∗ Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio Dipartimento di Informatica Universit`a degli Studi di L’Aquila I–67100 L’Aquila, Italy

Source URL: www.mancoosi.org

• Unified Modeling Language
• Metamodeling
• Metaclass
• Meta-Object Facility
• Object Process Methodology
• Model transformation
• Eclipse Modeling Framework
• Object Management Group
• KM3
• Transformation language

Evaluation of reconstituted human bronchial epithelium (MucilAir™) suitability for repeated dose testing Samuel Constant(1), Stefan Frentzel(2), Marianna Gaca(3), Davide Grandolfo(2), Linsey Haswell(3), Julia Hoeng(2),

Source URL: media.epithelix.com

IMU Preintegration on Manifold for Efficient Visual-Inertial Maximum-a-Posteriori Estimation Christian Forster∗ , Luca Carlone† , Frank Dellaert† , and Davide Scaramuzza∗ ∗ Robotics and Perception Group, Unive

Source URL: rpg.ifi.uzh.ch

• Mathematical analysis
• Statistics
• Probability
• Control theory
• Kalman filter
• Robot control
• Inertial frame of reference
• Distribution
• Skew-symmetric matrix
• Normal distribution
• Inertial measurement unit

Rend. Circ. Mat. Palermo:127–135 DOIs12215Rationality in families of threefolds Tommaso de Fernex · Davide Fusi

Source URL: math.columbia.edu

GUIDO BELTRAMINI, DAVIDE GASPAROTTO, GIULIO MANIERI ELIA Curatori della mostra Aldo Manuzio. Il rinascimento di Venezia La mostra dedicata ad Aldo Manuzioa cinquecento anni dalla sua scomparsa è insieme un

Source URL: www.beniculturali.it