CosaSeminario
Quando17/5/2017 - 16:30
DoveAula Multimediale
ReferenteAngelo Montanari
Emailangelo.montanari@uniud.it

L'edizione ginevrina dei Principia di Newton (1739-1742): i contenuti e il contesto

Paolo Bussotti

Università di Udine

La prima edizione dei Principia newtoniani risale al 1687. Ad essa, durante la vita di Newton, ne seguirono altre due: la seconda nel 1723 e la terza nel 1726, in cui vennero introdotte alcune importanti aggiunte, come, per esempio, il celebre Scolio generale. Andrew Motte tradusse i Principia dal latino in inglese nel 1729. In [...]

CosaSeminario
Quando7/4/2017 - 14:30
DoveSala Riunioni
ReferenteFabio Zanolin
Emailfabio.zanolin@uniud.it

Uniqueness of large solutions in cooperative systems

Luis Maire

Università Complutense di Madrid

CosaSeminario
Quando5/4/2017 - 10:00
DoveAula Multimediale
ReferenteFederico Fontana
Emailfederico.fontana@uniud.it

KDetSim: A tool to simulate signal in semiconductor detectors

Gregor Kramberger

Jozef Stefan Institute (Slovenia)

A software package for fast simulations of signal in semicon- ductor detectors will be presented. It is a class library which is based on ROOT analysis framework and uses its tools for I/O and visualiza- tion. The tools are complementary to the TCAD tools as they allow Monte-Carlo approach to detector properties studies, which are [...]

CosaSeminario
Quando17/3/2017 - 14:30
DoveSala Riunioni
ReferenteAngelo Montanari
Emailangelo.montanari@uniud.it

Sat-Based Counterexample-Guided Abstraction Refinement

Andrea Brunello

Corso di Temporal Logics: Satisfiability Checking, Model Checking, and Synthesis

CosaSeminario
Quando17/3/2017 - 14:30
DoveSala Riunioni
ReferenteAngelo Montanari
Emailangelo.montanari@uniud.it

Learning Probabilistic Automata for Model Checking

Kevin Roitero

Corso di Temporal Logics: Satisfiability Checking, Model Checking, and Synthesis