In FOOL7 Electronic ProceedingsDepth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica

Source URL: www.dsi.unive.it

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

Jen Allen, Michele Murray & Kelli Simmons developing-resilience.indd:41:04 AM

Source URL: www.curriculumpress.edu.au

• Resilience
• Public safety
• Psychology
• Action
• Motivation
• Positive psychology
• Psychological resilience

Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti

Source URL: www.dsi.unive.it

• Applied mathematics
• Process calculi
• Π-calculus
• Lambda calculus
• Valuation
• Function
• Curry–Howard correspondence
• Holomorphic functional calculus
• Mathematics
• Theoretical computer science
• Abstract algebra

Recomendations on how to avoid testimony errors Written by Michele Triplett objects to this type of testimony, then the courts must decide if the error was harmful to the case and if a mistrial

Source URL: fprints.nwlean.net

• United States evidence law
• Expert witness
• Melendez-Diaz v. Massachusetts
• Confrontation Clause
• Testimony
• Bullcoming v. New Mexico
• Evidence
• Crawford v. Washington
• Brady material
• Law
• Evidence law
• United States constitutional criminal procedure

Accurate and Fast Simulation of Channel Noise in Conductance-Based Model Neurons by Diffusion Approximation Daniele Linaro1, Marco Storace1, Michele Giugliano2,3,4* 1 Biophysical and Electronic Engineering Department, Un

Source URL: www.tnb.ua.ac.be

• Integral membrane proteins
• Ion channels
• Cellular neuroscience
• Biological neuron model
• Action potential
• Membrane potential
• Sodium channel
• Reversal potential
• Potassium channel
• Biology
• Electrophysiology
• Computational neuroscience

Combining Social Media Storytelling With Web Archives Michael L. Nelson, Michele C. Weigle, Kristine Hanna {mln, mweigle}@cs.odu.edu, In this project, Old Dominion University is the lead applicant an

Source URL: www.imls.gov

• Internet Archive
• Semantic Web
• Web archiving
• Wayback Machine
• World Wide Web
• Heritrix
• Archive
• Uniform resource identifier
• Internet
• Humanities
• Digital media
• Technology

A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments⋆ Paolo Bertasi, Alberto Pettarin, Michele Scquizzato, and Francesco Silvestri Department of Information Engineering, University of Padova, Pad

Source URL: www.albertopettarin.it

• Mathematical optimization
• Scheduling
• Job shop scheduling
• Allocator
• Job scheduler
• Job scheduling game
• Operations research
• Computing
• Concurrent computing

ka mate ka ora: a new zealand journal of poetry and poetics Issue 5 MarchCorrespondence

Source URL: www.nzepc.auckland.ac.nz

Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat

Source URL: www.dsi.unive.it

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

Dynamic Types for Authentication ∗ Michele Bugliesi Riccardo Focardi Matteo Maffei Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Via Torino 155, IMestre (Ve), Italy

Source URL: www.dsi.unive.it

• Information
• Reflection attack
• Cryptographic nonce
• Password authentication protocol
• Public-key cryptography
• Otway–Rees protocol
• Needham–Schroeder protocol
• Cryptography
• Cryptographic protocols
• Data