I mercoledì del DIMI

Appuntamenti a cadenza settimanale di divulgazione scientifica organizzati dal DIMI

CosaSeminario
Quando27/7/2018 - 11:00
DoveAula Multimediale
ReferenteDimitri Breda
Emaildimitri.breda@uniud.it

Estimating the spectrum of the Poincaré map of delay equations with periodic development delays: models, threshold dynamics and vector-borne disease risk prediction

Jianhong Wu

Università di York

To better understand the effects of seasonal temperature variation and host community composition on vector-borne disease pathogen transmission and spread, we have been developing stage-structured periodic deterministic models (both vector population ecological models dynamics models, and vector–host–pathogen epidemiological models). The models integrate seasonal vector development and activity, multiple host species and complex transmission routes between [...]

CosaSeminario
Quando21/11/2017 - 17:00
DoveAula Multimediale
ReferenteAlberto Marcone
Emailalberto.marcone@uniud.it

How can one sort mathematical theorems

Vasco Brattka

Universitat der Bundeswehr di Monaco

It is common mathematical practice to say that one theorem implies another one. For instance, it is mathematical folklore that the Baire Category Theorem implies the Closed Graph Theorem and Banach's Inverse Mapping Theorem. However, after a bit of reflection it becomes clear that this notion of implication cannot be the usual logical implication that [...]

CosaSeminario
Quando25/10/2017 - 16:30
DoveAula Multimediale
ReferenteGiuseppe Lancia
Emailgiuseppe.lancia@uniud.it

Compact Extended Linear Programming Models

Paolo Serafini

Università di Udine

In this talk we will present the new book "Compact Extended Linear Programming Models" by G. Lancia e P. Serafini, published by Springer 2017. The volume provides a handy, unified introduction to the theory of compact extended reformulations for very large size integer linear programming (ILP) models. The book is written in [...]

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

Il concetto di spazio in Federigo Enriques: tra scienza e conoscenza

Paolo Bussotti

Università di Udine

Federigo Enriques (1871-1946) fu uno dei più importanti e creativi matematici europei della propria generazione. Dette contributi fondamentali in diversi settori della disciplina, ma soprattutto in geometria algebrica. Fin dalla fine del XIX secolo, gli interessi di Enriques si focalizzarono anche su una serie di problemi che, per quanto connessi con la matematica, erano di [...]

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

La logica al lavoro

Alessandro Cimatti

Fondazione Bruno Kessler (Trento)

La logica matematica, nata per rappresentare il ragionamento matematico, e’ diventata negli ultimi decenni uno strumento di ingegneria per la progettazione dei sistemi ad alta complessita’. Puo’ aiutare a rappresentare univocamente il problema della correttezza ed essere utilizzata per l'identificazione di difetti di progettazione e per la certificazione. La logica sta alla base di sistemi software per la verifica che vengono utilizzati [...]