c ACM In ACM Computing Surveys, Vol. 30, No. 3, September 98. Optimizing Modular Logic Languages Michele Bugliesi Dipartimento di Matematica Pura e Applicata, Universit`a di Padova

Source URL: www.dsi.unive.it

• Logic programming
• Non-classical logic
• Substructural logic
• Programming language
• Mathematical logic
• Logic
• Prolog
• Actor model
• Linear logic
• Software engineering
• Computing
• Programming language theory

Secrecy in Untrusted Networks? Michele Bugliesi 1 , Silvia Crafa 1 , Amela Prelic 2 , and Vladimiro Sassone 3 Abstract. We investigate the protection of migrating agents against the untrusted sites they traverse. The res

Source URL: www.dsi.unive.it

• Process calculi
• Entailment
• Mobile Membranes
• Logic
• Deduction
• Ambient calculus

Geoff Bull and Michèle Anstey Uncovering History Using Multimodal Literacies An Inquiry Process

Source URL: www.curriculumpress.edu.au

• Philosophy of education
• Educational psychology
• Literacy
• Digital humanities
• Digital technology
• New literacies
• Critical thinking
• Victorian Essential Learning Standards
• Historical thinking
• Education
• Knowledge
• Cognition

Boxed Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 2 D´epartement d’Informatique

Source URL: www.dsi.unive.it

• Applied mathematics
• Computer science
• Mathematics
• Π-calculus
• Lambda calculus
• Calculus
• XTR
• Mobile Membranes
• Process calculi
• Theoretical computer science
• Ambient calculus

Secrecy and Authenticity Types for Secure Distributed Messaging? Michele Bugliesi, Stefano Calzavara, and Damiano Macedonio Universit` a Ca’ Foscari Venezia, Dipartimento di Informatica {michele,scalzava,mace}@dsi.univ

Source URL: www.dsi.unive.it

• Logic in computer science
• Mathematical logic
• Mathematical analysis
• Modular forms
• Curry–Howard correspondence
• Natural deduction
• Symbol
• Mathematics
• Proof theory

percorsi LE LINGUE DI GALILEO galilei Michele A. Cortelazzo Dipartimento di Studi Linguistici e Letterari, Università di Padova, Padova, Italia Galileo Galilei ha ampio spazio non solo nella storia

Source URL: prometeo.sif.it

An Introduction to Heritrix An open source archival quality web crawler Gordon Mohr, Michael Stack, Igor Ranitovic, Dan Avery and Michele Kimpton Internet Archive Web Team {gordon,stack,igor,dan,michele}@archive.org

Source URL: crawler.archive.org

• Information science
• Semantic Web
• URI schemes
• Heritrix
• Web archiving
• International Internet Preservation Consortium
• Internet Archive
• Robots exclusion standard
• Uniform resource identifier
• World Wide Web
• Computing
• Web crawlers

RESSI.book Page III Lundi, 4. août:Michèle Ressi Écrire pour le théâtre

Source URL: www.eyrolles.com

Development of the GEOS-5 Atmospheric Assimilation System Max Suarez, Michele Rienecker and Ron Gelaro Global Modeling and Assimilation Office, NASA/GSFC Objectives Complete the development of the GEOS-5 atmospheric

Source URL: gmao.gsfc.nasa.gov

• Science
• ESMF
• Global climate model
• Data assimilation
• GEOS
• National Oceanic and Atmospheric Administration
• Weather forecasting
• Atmospheric sciences
• Meteorology
• Weather prediction

Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia

Source URL: www.cis.upenn.edu

• Computing
• Data types
• Object-oriented programming
• Polymorphism
• Type systems
• Subtype polymorphism
• Symbol
• Entailment
• System F
• Type theory
• Software engineering
• Programming language theory