]]>
Il Convegno è organizzato dal Centro PRISTEM dell'Università Bocconi e da Mateinitaly con il patrocinio del Dipartimento di Matematica e Informatica dell'Università di Ferrara e in collaborazione con Sanoma Italia.
]]>
Ferrara, Polo Scientifico Tecnologico- Blocco B – III piano, Aula seminari
Abstracts
The interferometric imager of the Large Binocular Telescope: a challenge for image reconstruction methods – Mario Bertero
The Large Binocular Telescope is an innovative instrument consisting of two 8.4m mirrors on the same mount. This structure allows Fizeau interferometry which can provide true images of an astronomical target. However the resolution of a single image is anisotropic so that one must acquire different images with different orientations of the astronomical target in order to produce, by means of image reconstruction method, a unique image with the best resolution in all directions.
The first interferometric images of LBT were obtained during the night of December 24, 2013. The target was Io, one of the four Astri Medicei discovered by Galilei in 1610 and characterized by a strong volcanic activity.
In the lecture, after a short description of LBT, the difficulties in reconstructing a satisfactory image of Io are discussed and a new method for obtaining such a result is proposed.
Sequential Monte Carlo and particle methods in inverse problems – Daniela Calvetti
In sequential Monte Carlo methods, the posterior distribution of an unknown of interest is explored in a sequential manner, by updating the Monte Carlo sample as new data arrive. In a similar fashion, particle filtering encompasses different sampling techniques to track the time course of a probability density that evolves in time based on partial observations of it. Methods that combine particle filters and sequential Monte Carlo have been developed for some time, mostly in connection with estimating unknown parameters in stochastic differential equations. In this talk, we present some new ideas suitable for treating large scale, non-stochastic, severely stiff systems of differential equations combining sequential Monte Carlo methods with classical numerical analysis concepts.
A hierarchical Krylov-Bayes iterative solver for MEG inverse problems - Erkki Somersalo
The inverse problem of MEG aims at estimating electromagnetic cerebral activity from measured magnetic fields outside the head. After formulating the problem within the Bayesian framework, a hierarchical conditionally Gaussian prior model in introduced, and point estimates of the solution are computed using an iterative alternating sequential (IAS) updating algorithm, coupled with a Krylov subspace iterative linear solver equipped with statistically inspired preconditioning and a suitable termination rule. A physiologically inspired preconditioned that takes into account the preferred directions of the brain activity is introduces, and the sensitivity scaling widely used in the literature is formulated in terms of an empirical Bayes technique. Extensive studies based on simulated single time slice and time series data clearly show the sensitivity of the computed solutions to the physiological preconditioner and to the parameters of the hyperprior, in particular in the case of focal activity.
]]>F.A.R.D. (Formule e Algoritmi: Roba da Donne) è l’iniziativa del Dipartimento di Matematica e Informatica sulla parità di genere in ambito STEM (Scienza, Tecnologia, Ingegneria e Matematica).
Un’intera giornata per lasciarsi ispirare dalle donne che hanno avuto successo in ambito STEM, per rendere il settore più inclusivo ed attrattivo per la comunità femminile. Obiettivo del progetto, rivolto a tutta la comunità, è quello di limitare la tendenza a sottovalutare la predisposizione delle donne per le materie scientifiche e dare quindi luogo al diffondersi di pregiudizi e stereotipi sul tema.
Al mattino viene dato spazio ad attività culturali come la proiezione del film “Il Diritto di Contare”, la presentazione del fumetto “Mirzakhani issue” e la visita della mostra “Donne e Matematica”. Al pomeriggio i presenti sono invitati a partecipare ad un dibattito scientifico e ad assistere ad una tavola rotonda con testimonianze, per riflettere ed individuare strategie sul superamento del divario di genere.
L'iniziativa si svolge in collaborazione con Notte dei Ricercatori, CNA, Rotary Ferrara Est, Confindustria Emilia Centro, Lettera 150, Legacoop, Unione Donne in Italia UDI e rientra nell'ambito della rassegna Unife per il Public engagement.
Introduzione: Professoressa Cinzia Bisi, Università degli Studi di Ferrara.
Saluti istituzionali:
Somministrazione questionario iniziale.
Tavola rotonda “Formule e Algoritmi: Roba da Donne” - Coordinata da Dottoressa Federica Ferretti, Università degli Studi di Ferrara.
Intervengono le seguenti ricercatrici universitarie specializzate nel divario di genere in ambito STEM:
Ore 17.00 - Testimonianze di Imprenditrici/Professioniste di successo:
Somministrazione questionario finale di impatto e gradimento.
Ore 18.00 - Conclusione.
L’incontro gratuito è aperto alla partecipazione a tutta la cittadinanza previa iscrizione tramite il seguente Google form.
In 1982 L.C. Evans and N.V. Krylov proved interior a priori second derivatives estimates in Hölder spaces for fully nonlinear second order uniformly elliptic equations under the main assumption that the operator is either concave or convex in the Hessian variable. Since then, a remarkable question in the theory is to determine which hypotheses on the operator in between convexity/concavity and no assumptions ensure that solutions to general second order fully nonlinear equations are classical. In this direction, N. Nadirashvili and S. Vladut exhibited counterexamples in dimension higher than or equal to 5 to show that the sole uniform ellipticity is in general not enough to reach classical regularity. Despite this progress, the minimal assumptions guaranteeing classical regularity are unknown, and the above question has remained largely open.
After a review of the regularity theory for fully nonlinear equations, I will discuss some advances on the Evans-Krylov theory and show how to prove interior C^{2,alpha} and C^{1,1} regularity for elliptic and parabolic problems under the assumption that the operator is quasi-concave/convex. I will also consider interior estimates for functionals that are concave/convex or “close to a hyperplane” at infinity as well as C^{2,alpha} parabolic regularity in dimension 3 or under Cordes assumptions on the ellipticity. The approach is based on linearization arguments and Bernstein methods. I will conclude with some consequences about the Calderón-Zygmund regularity of solutions to (fully nonlinear) second order Hamilton-Jacobi-Bellman/Isaacs equations with power-growth gradient terms and discuss the relation with a conjecture posed by P.-L. Lions.
]]>
si terrà il terzo e ultimo incontro del Ciclo di conferenze: "Le difficoltà in matematica all'università e nel passaggio scuola secondaria di secondo grado - università".
Per partecipare è necessario iscriversi al seguente modulo:
https://forms.gle/h3B1rHnRvUKadHVN9
Processi importanti in diverse attività matematiche sono quelli che portano alla costruzione di esempi e controesempi. L’apprendimento di nuovi concetti, l’esplorazione di un problema, la produzione di una congettura e di una dimostrazione e tante altre situazioni richiedono una certa familiarità con gli oggetti matematici.
Tuttavia, è possibile notare uno scollamento nella conoscenza degli studenti di tutti i livelli scolari, compreso quello universitario, tra la conoscenza di procedure, la conoscenza di teoremi, dimostrazioni e definizioni e la competenza, che risulta particolarmente fragile, nel costruire esempi e controesempi. L’incontro verterà su questi temi, con particolare riferimento ad aspetti legati alle definizioni e alle dimostrazioni.
Network dynamics preserves the sum of all incoming pairwise coupling strengths and is designed to adaptively interact with system dynamics.For adaptive couplings, we use two adaptive coupling laws for the pairwise coupling strength. Kuramoto oscillators are assumed to be on the nodes of the networks.
We present frameworks that guarantee the emergence of synchronization for various coupling feedback laws. Our results generalize earlier work on the synchronization of Kuramoto oscillators in fixed and symmetric networks.
]]>
Prof. Guido Sciavicco, Università di Murcia - Spagna
In this talk I will survey the most important aspects in automated reasoning over temporal logics, and in particular interval-based ones - ITLs. In ITLs properties are defined over extended intervals of time, instead of points, giving rise to a huge variety of syntactical as well as semantical possibilities. While reasoning in ITLs is generally very difficult, as their satisfiability problems are often undecidable, I will focus on those interesting exceptions that have been found in the last 15 years of research, and try to point out the different ideas and stratiegies that have been proven useful in searching for computationally well-behaved ITLs. I will also try to give a sufficiently clear idea on how ITLs can be applied, and how the research in this sense is still very much active.
]]>
Il seminario si terra’ in modalità’ telematica e il codice meet per collegarsi e’:
https://meet.google.com/dif-qrmm-bgy
14 NOVEMBRE 2023 DALLE 17:00 ALLE 18:30
BRUNO D’AMORE - Universidad Francisco José de Caldas, Bogotá
Le basi della didattica della matematica
29 NOVEMBRE 2023 DALLE 17:00 ALLE 18:30
GIORGIO BOLONDI - Libera Università di Bolzano
Le competenze linguistiche nell'apprendimento della matematica
11 DICEMBRE 2023 DALLE 17:00 ALLE 18:30
PIETRO DI MARTINO - Università di Pisa
Il problem solving come elemento centrale dell’educazione matematica
Il ciclo di seminari riprenderà da febbraio 2024 e i relatori saranno Fabio Brunelli, Antonella Castellini, Agnese Del Zozzo, Alice Lemmo,Francesca Martignone, George Santi
GLI INCONTRI SI SVOLGERANNO PRESSO IL DIPARTIMENTO DI MATEMATICA E INFORMATICADELL’UNIVERSITÀ DI FERRARA
SARÀ POSSIBILE PARTECIPARE AGLI INCONTRI SIA IN PRESENZA SIA DA REMOTO.
Per iscriversi è necessario compilare il seguente modulo:
https://forms.gle/VLNKHvV3bfzF4MEG6
]]>
Collegamento:
Per connettersi al webinar è necessario iscriversi al seguente link e completare i brevi passi richiesti per la registrazione:
You are invited to a Zoom meeting.
When: Apr 22, 2020 15:00 Rome
Register in advance for this meeting:
https://zoom.us/meeting/register/tJwuduyhrDsuE9bputj2i-3rYyiikvrgtuFl
After registering, you will receive a confirmation email containing information about joining the meeting.
Contatto di riferimento: Maria Teresa BORGATO
Il workshop riunirà alcuni giovani ricercatori, in larga parte italiani e post-doc, impegnati in ricerche scientifiche concernenti le equazioni alle derivate parziali non lineari di tipo iperbolico, sia dal punto di vista analitico che dal punto di vista numerico. Sono previsti dodici relatori "giovani". A questi si affiancheranno quattro relatori "esperti", che terranno seminari di ampio respiro sul tema del workshop. Lo scopo è quello di creare uno spazio per l'interazione effettiva dei partecipanti; i quattro esperti, in particolare, cercheranno di stimolare la partecipazione dei giovani in merito ad ogni singolo seminario. Nel rispetto della parità di genere: due dei quattro relatori “esperti” saranno donne, così come sei dei giovani relatori.
Il Comitato scientifico e gli organizzatori locali sono:
A. Corli (Università di Ferrara, Italia)
M. D. Rosini (Università di Ferrara, Italia)
]]>Questo convegno ha lo scopo di riunire giovani scienziati ed esperti internazionali nell'ambito delle equazioni differenziali alle derivate parziali ed in particolare degli operatori pseudo-differenziali e dell'analisi di Fourier.
Il Comitato scientifico e organizzativo: A. Ascanelli, C. Boiti
