RETI DI CALCOLATORI II Prof. PIER LUCA MONTESSORO Ing. DAVIDE PIERATTONI Facoltà di Ingegneria Università degli Studi di Udine

Source URL: web.diegm.uniud.it

Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi

Source URL: www.dcs.gla.ac.uk

• Applied mathematics
• Theoretical computer science
• Data types
• Polymorphism
• Lambda calculus
• Π-calculus
• Type system
• Subtype polymorphism
• System F
• Mathematics
• Type theory
• Software engineering

PLoS BIOLOGY Active-Site Inhibitors of mTOR Target Rapamycin-Resistant Outputs of mTORC1 and mTORC2 Morris E. Feldman1, Beth Apsel1, Aino Uotila2, Robbie Loewith2, Zachary A. Knight1¤, Davide Ruggero3,

Source URL: molbio.unige.ch

CONTRATTO DI NOLEGGIO / MIETVETRAG Azienda che noleggia: Davide Salmina Sagl, 6634 Brione Verzasca, 42 86 La sopracitata azienda noleggia a: (cliente, Kunde) Cognome Nome:

Source URL: www.myverzasca.ch

Inferring Geographical Ontologies from Multiple Resources for Geographical Information Retrieval∗ Davide Buscaldi Paolo Rosso

Source URL: www.geo.unizh.ch

• Ontology
• Computational linguistics
• Information science
• WordNet
• Gazetteer
• Word-sense disambiguation
• Synonym ring
• Cyc
• Prolog
• Knowledge representation
• Science
• Information

Perspectives of IXO follow-up of eROSITA AGN Marcella Brusa (MPE) with help from: Pooja Chaudhary, Davide Burlon

Source URL: constellation.gsfc.nasa.gov

• European Space Agency
• International X-ray Observatory
• Space
• Observational astronomy
• Radio telescopes
• LOFAR
• Redshift
• Galaxy groups and clusters
• Astronomy
• Space telescopes
• X-ray telescopes

A model of constrained network formation Davide Pirino Abstract We introduce an econometric method to detect and analyze events of flight-to-quality by financial institutions. Specifically, using the recently proposed te

Source URL: www.lem.sssup.it

• Flight-to-quality
• Bond
• Humanities
• European sovereign debt crisis
• Euro
• Government bonds
• Economics
• Economic history
• Late-2000s financial crisis

RETI DI CALCOLATORI II Prof. PIER LUCA MONTESSORO Ing. DAVIDE PIERATTONI Facoltà di Ingegneria Università degli Studi di Udine

Source URL: web.diegm.uniud.it

Where are We Headed? Perspectives on Potential Output Patrick Blagrave , Mai Dao, Davide Furceri (team lead), Roberto Garcia-Saltos, Sinem Kilic Celik, Annika Schnücker, Juan Yepez, and Fan Zhang, and with support from

Source URL: www.ekon.sun.ac.za

• Economic theories
• Monetary policy
• Phillips curve
• Inflation
• NAIRU
• Potential output
• Gross domestic product
• Economic growth
• Economics
• Macroeconomics
• Unemployment

RETI DI CALCOLATORI II Prof. PIER LUCA MONTESSORO Ing. DAVIDE PIERATTONI Facoltà di Ingegneria Università degli Studi di Udine

Source URL: web.diegm.uniud.it