CosaSeminario
Quando26/9/2018 - 16:30
DoveAula Multimediale
ReferenteAlberto Marcone
Emailalberto.marcone@uniud.it

Describing the complexity of the "problem B is harder than problem A relation"

Paul Shafer

University of Leeds

Some mathematical problems are harder than others. Using concepts from computability theory, we formalize the "problem B is harder than problem A" relation and analyze its complexity. Our results express that this "harder than" relation is, in a certain sense, as complicated as possible, even when restricted to several special classes of mathematical [...]

CosaSeminario
Quando26/9/2018 - 14:00
DoveSala Riunioni
ReferenteAnna Giordano Bruno
Emailanna.giordanobruno@uniud.it

Topological entropy of linearly compact vector spaces and left Bernoulli shifts

Ilaria Castellano

Università di Southampton (UK)

CosaSeminario
Quando26/9/2018 - 11:00
DoveSaletta Riunioni
ReferenteNicola Vitacolonna
Emailnicola.vitacolonna@uniud.it

Temporal logics as database query languages

Ionel Eduard Stan

Università di Udine

L’approfondimento introduce due logiche temporali proposte come linguaggi d'interrogazione per basi di basi, accennando anche alla loro espressività. Sarà inoltre presentata una codifica intervallare concreta dei modelli astratti e sarà fatto un confronto con le funzionalità temporali introdotte dallo standard SQL:2011.

CosaSeminario
Quando18/9/2018 - 16:00
DoveSala riunioni
ReferenteGianluca Gorni
Emailgianluca.gorni@uniud.it

Le principali difficoltà nella didattica delle disequazioni: una raccolta di dati presso il liceo scientifico Niccolò Copernico

Stefania Ongaro

Laurea magistrale in Matematica

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 [...]