A Study of Speed Mismatches Between Communicating Virtual Machines Luigi Rizzo, Stefano Garzarella, Giuseppe Lettieri, Vincenzo Maffione Dipartimento di Ingegneria dell’Informazione Università di Pisa

Source URL: info.iet.unipi.it

• Network performance
• Software engineering
• Computing
• Concurrency control
• Economy
• Customer experience management
• Queueing theory
• Event
• Latency
• Throughput
• Monitor

A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7

Source URL: matita.cs.unibo.it

• Computing
• Mathematics
• Mathematical logic
• Type theory
• Functional languages
• Business intelligence
• Knowledge representation
• Records management
• Coq
• Domain of a function
• Matching
• CIC

SOM-based Document Image Retrieval Stefano Faini Simone Marinai Emanuele Marino Giovanni Soda DSI - University of Florence (Italy) E-mail: Abstract

Source URL: www.dsi.unifi.it

• Information science
• Information retrieval
• Natural language processing
• Data mining
• Dimension reduction
• Self-organizing map
• Document retrieval
• Relevance
• Nearest neighbor search
• Search engine indexing
• Proximity search
• Document clustering

Testing for Altruism and Social Pressure in Charitable Giving∗ Stefano DellaVigna UC Berkeley and NBER John A. List U Chicago and NBER

Source URL: eml.berkeley.edu

• Ethics
• Altruism
• Behavior
• Interpersonal relationships
• Virtue
• Philosophy
• Philanthropy
• Social philosophy
• Charity
• Helpfulness
• Reciprocity
• John A. List

Is the pleasure of driving a constraint for leaving the car? Antonio Borriello, Stefano Scagnolari, Rico Maggi Conference paper STRC 2016

Source URL: www.strc.ch

• Transport
• Sustainable transport
• Discrete choice
• Carpool
• Carsharing
• Traffic congestion
• Car
• Choice modelling
• Commuting
• Bicycle
• Cycling

Reconciling cosmology and short-baseline experiments with invisible decay of light sterile neutrinos Based on arXiv:, arXiv:Stefano Gariazzo http://personalpages.to.infn.it/~gariazzo/ .

Source URL: personalpages.to.infn.it

• Physics
• Particle physics
• Astronomy
• Physical cosmology
• Neutrinos
• Dark matter
• Inflation
• Radio astronomy
• Cosmic microwave background
• Planck
• Sterile neutrino
• BICEP and Keck Array

27-LUGda pag. 13 Quotidiano Direttore: Stefano Carini

Source URL: www.siap-polizia.org

Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra Stefano Merenda, Markus Herrmannsdoerfer, and Martin Feilkas Institut f¨ ur Informatik Technische Universit¨

Source URL: spes2020.informatik.tu-muenchen.de

• Unified Modeling Language
• Software engineering
• Computing
• ISO standards
• Scientific modeling
• Abstraction
• Data modeling
• Metamodeling
• Software design
• Meta-Object Facility
• Object Constraint Language
• KM3

Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd

Source URL: matita.cs.unibo.it

• Logic
• Computing
• Mathematics
• Automated theorem proving
• Proof theory
• Type theory
• Logical truth
• Syntax
• Matita
• Proof assistant
• Mathematical proof
• CurryHoward correspondence

AVVISO Il sottoscritto Prof. Stefano Innamorati in qualità di Presidente della Commissione esaminatrice del Concorso A28 Matematica e Scienze comunica che a causa della chiusura del complesso di Ingegneria per la pausa

Source URL: www.abruzzo.istruzione.it