CosaConferenza
Quando21/5/2018 - 14:00
DoveAula A - Polo Scientifico dei Rizzi
ReferenteAntonina Dattolo
Emailantonina.dattolo@uniud.it

Il futuro del lavoro nella società digitale

Lavoro, Professioni, Competenze e Impresa nell’Era Digitale e nell’Industria 4.0 INFO E CONTATTI:Segreteria AEIT Sezione Friuli Venezia Giulia, ti.stinunull@gvftiearges – tel: 3772928914AICA Sezione Triveneto, ibom.avipnull@oinotna – tel: 3357739475 » Locandina dell’evento

CosaSeminario
Quando11/5/2018 - 10:30
DoveSala Riunioni
ReferenteMarino Miculan
Emailmarino.miculan@uniud.it

Detecting Anomalous Sensitive Information Flows in Android Apps

Mariano Ceccato

Fondazione Bruno Kessler, Trento

Smartphone apps usually have access to sensitive user data such as contacts, geo-location, and account credentials and they might share such data to external entities through the Internet or with other apps. Confidentiality of user data could be breached if there are anomalies in the way sensitive data is handled by an app which is [...]

CosaSeminario
Quando8/5/2018 - 16:00
DoveSala Riunioni
ReferenteDimitri Breda
Emaildimitri.breda@uniud.it

Asymptotic behaviour of ecological models: reproduction number vs Malthusian parameter

Jordi Ripoll

Universitat de Girona

We review the procedure to derive the basic reproduction number R0 for ecological models of population dynamics. R0, defined as the expected lifetime number of offspring of a newborn individual of the population, determines the asymptotic behaviour of the population, as well as the traditional Malthusian parameter (exponential growth rate of the population). We illustrate [...]

CosaSeminario
Quando20/4/2018 - 14:30
DoveAula Multimediale
ReferenteCarla Piazza
Emailcarla.piazza@uniud.it

Verification and Falsification of Continuous and Hybrid Dynamical Systems

Tommaso Dreossi

Dipartimento Electrical Engineering and Computer Science di UC Berkeley

In this talk, we address the problem of determining whether a given dynamical system satisfies a requirement expressed in terms of unsafe regions or Signal Temporal Logic specifications. We will focus on polynomial dynamical systems and more complex hybrid systems (such as Simulink models). The presented methods include reachability analysis techniques based on Bernstein polynomials [...]

CosaConferenza
Quando20/4/2018 - 11:20
DoveAula 3, secondo piano del Polo Universitario di Santa Chiara, Gorizia
ReferenteAntonina Dattolo
Emailantonina.dattolo@uniud.it

Competenze digitali e nuove professioni

Antonina Dattolo

Laboratorio Sasweb, Università di Udine

Competenze digitali e nuove professioni  nei CdL in Informatica,  Internet of Things, Big Data & Web, Relazioni pubbliche,  DAMS20 aprile, aula 3, secondo piano del Polo Universitario di Santa Chiara, 11.20-13.30– 11.20: saluti della delegata del rettore per il Cego (sede di Gorizia dell’università di Udine) prof.ssa Nicoletta Vasta– 11.25 “Web semantico e Big Data” –  prof.ssa Antonina Dattolo, […]