Seminari - Dipartimento Informatica validi dal 09.11.2026 al 09.11.2027. https://www.di.univr.it/?ent=seminario&rss=0 https://www.di.univr.it/?ent=seminario&rss=0&id=7132 Relatore: Alessandro Contu; Provenienza: Institute of Mathematics and Informatics, Bulgarian Academy of Sciences; Data inizio: 2026-11-23; Ora inizio: 10.30; Referente interno: Nicola Sansonetto; Riassunto: On the one hand, the relationship between symmetry fields and first integrals plays a fundamental role in the integrability of vector fields. On the other hand, integrable or near-integrable magnetic fields are prominent in the design of plasma confinement devices. In this minicourse, the relationship between symmetry fields and first integrals of divergence-free vector fields is explored in three dimensions in light of its relevance to plasma physics and magnetic confinement fusion. The existence of flux coordinates for magnetic fields in high generality is given, even without needing to assume a symmetry, as in the cases of magnetohydrostatics or quasi-symmetry. - David Perrella, Nathan Duignan, David Pfefferleacute;; Existence of global symmetries of divergence-free fields with first integrals. J. Math. Phys. 1 May 2023; 64 (5): 052705. - J. W. Burby, N. Duignan, J. D. Meiss; Integrability, normal forms, and magnetic axis coordinates. J. Math. Phys. 1 December 2021; 62 (12): 122901. Mon, 23 Nov 2026 10:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=7132 https://www.di.univr.it/?ent=seminario&rss=0&id=7146 Relatore: Marta Fiocco; Provenienza: Universiteit Leiden; Data inizio: 2026-11-25; Ora inizio: 13.30; Referente interno: Giacomo Albi; Riassunto: Abstract: TBA Wednesday 25/11, 13:30-15:30 Aula M Thursday 26, 10:30 - 12:30, Aula T.02 Friday 27, 10:30 -12:30, Aula C Contacts: Giacomo Albi (giacomo.albi@univr.it), Paolo Dai Pra (paolo.daipra@univr.it). Wed, 25 Nov 2026 13:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=7146 https://www.di.univr.it/?ent=seminario&rss=0&id=7155 Relatore: Marta Fiocco; Provenienza: Mathematical Institute, Leiden University, Leiden, the Netherlands; Data inizio: 2026-11-26; Ora inizio: 10.00; Note orario: Sala Verde (solo presenza); Referente interno: Giacomo Albi; Riassunto: A multistate cure model is a statistical framework used to analyze and represent the transitions that individuals undergo between different states over time, taking into account the possibility of being cured by initial treatment. This model is particularly useful in pediatric oncology where a proportion of the patient population achieves cure through treatment and therefore they will never experience some events. Our study develops a generalized algorithm based on the extended long data format, an extension of long data format where a transition can be split up to two rows each with a weight assigned reflecting the posterior probability of its cure status. The multistate cure model is fit on top of the current framework of multistate model and mixture cure model.The proposed algorithm makes use of the Expectation-Maximization (EM) algorithm and weighted likelihood representation such that it is easy to implement with standard package.Two simulation studies are conducted to study the performance of the proposed algorithm across various scenarios and model specifications.As an example, the proposed algorithm is applied on data from the European Society for Blood and Marrow Transplantation (EBMT). Standard errors of the estimated parameters are obtained via a non-parametric bootstrap procedure, while the method involving the calculation of the second-derivative matrix of the observed log-likelihood is also presented. keywords: Multistate cure model, EM algorithm, weighted likelihood, extended long data format. Thu, 26 Nov 2026 10:00:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=7155 https://www.di.univr.it/?ent=seminario&rss=0&id=7153 Relatore: Chloe Griffin; Provenienza: Brown University, USA; Data inizio: 2026-12-02; Ora inizio: 10.30; Note orario: Aula D; Referente interno: Elena Gaburro; Riassunto: High-order discretizations of hyperbolic conservation laws generally lack inherent mechanisms to preserve the positivity of physical quantities such as density and pressure. Violations near strong shocks or near-vacuum states can cause loss of hyperbolicity and numerical blow-up. In this talk, we present a conservative sweeping framework that enforces positivity as a standalone post-processing step, without modifying the underlying spatial discretization. The framework generalizes a scalar mass-redistribution procedure to nonlinear constraints, most notably pressure in the compressible Euler equations. It extends to any concave function of the conserved variables, and it uses the Zhangndash;Shu scaling limiter as a projection technique for nonlinear constraints. We demonstrate the method with a fifth-order finite difference WENO scheme on extreme compressible flows. Examples include high-Mach astrophysical jets and strong blast waves. The nonlinear extension may in principle require repeated passes, but even in these demanding regimes, one or two sweeps are sufficient. We then show how its non-intrusive design carries over to fully implicit continuous Galerkin discretizations, where it corrects large positivity violations while maintaining conservation. This is joint work with Chi-Wang Shu and Eirik Endeve. Wed, 2 Dec 2026 10:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=7153 https://www.di.univr.it/?ent=seminario&rss=0&id=7144 Relatore: Andrew Nugent; Provenienza: University College London; Data inizio: 2026-12-02; Ora inizio: 12.30; Referente interno: Giacomo Albi; Riassunto: This course will introduce interacting particle systems (models of many interacting animals, individuals or cells) with particular application to opinion formation. We will investigate how a population of individuals forms into distinct opinion clusters, leading to either consensus or polarisation. A variety of modelling techniques will be covered including stochastic agent-based models, ordinary differential equations, static and dynamic networks, and large-population mean field limits. We will examine model behaviours both analytically and computationally in each setting, as well as discussing the connections between these modelling approaches and which questions they are/aren#39;t suited to addressing. The modelling techniques we will cover are also useful in many other settings and we will conclude the course by looking at some alternative applications. SCHEDULE: 02/12. 12:30 - 14:30 Aula I 03/12. 15:30-17:30 Aula T02.a 05/12. 08:30 -10:30, Aua G Contacts: Paolo Dai Pra (paolo.daipra@univr.it)/ Giacomo Albi (giacomo.albi@univr.it). Wed, 2 Dec 2026 12:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=7144 https://www.di.univr.it/?ent=seminario&rss=0&id=7149 Relatore: Dirk Pattinson; Provenienza: Australian National University; Data inizio: 2026-12-02; Ora inizio: 16.30; Note orario: Aula G (solo presenza); Referente interno: Peter Michael Schuster; Riassunto: We investigate a representation of computable functions as total functions over the set of finite and infinite sequences of elements from {0,1}. In this model, infinite sequences are interpreted as non-terminating computations, while finite sequences represent the sum of their digits. We introduce a new definition principle, function space corecursion, which generalizes both minimization and primitive recursion. This defines the class of computable corecursive functions, which is closed under composition and function space corecursion. We prove that computable corecursive functions represent all partial recursive functions and demonstratemdash;by translating them into the untyped lambda calculusmdash;that all such functions are indeed computable. Finally, we outline how this representation of computable functions can be further developed into an algebraic approach to computability and complexity. Prof. Pattinson currently is visiting professor within the University of Verona#39;s internationalisation programme PIA. Breve CV: Dirk Pattinson says he is a mathematician turned computer scientist. Before joining Australian National University he was senior lecturer at Imperial College London, lecturer at the University of Leicester and research associate at the University of Munich. Wed, 2 Dec 2026 16:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=7149 https://www.di.univr.it/?ent=seminario&rss=0&id=7148 Relatore: Dolors Herbera; Provenienza: Universitat Autònoma Barcelona; Data inizio: 2027-01-12; Ora inizio: 10.00; Note orario: Sala Riunioni; Referente interno: Lidia Angeleri; Riassunto: Minicorso Free Ideal Rings (1 CFU). Tue, 12 Jan 2027 10:00:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=7148