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.
]]>Title: On the root uncertainty principle.
Abstract:
This talk will focus on a recent result of Bourgain, Clozel and Kahane. One of its versions states that a real-valued function which equals its Fourier transform and vanishes at the origin necessarily has a root which is larger than c>0, where the best constant c satisfies 0.41<c<0.64. A similar result holds in higher dimensions. I will show how to improve the one-dimensional result to 0.45<c<0.60, and the lower bound in higher dimensions. I will also argue that extremizers for this problem exist, and necessarily possess infinitely many double roots. Time permitting, I will make the connection to several related problems. This is joint work with Felipe Gonçalves and Stefan Steinerberger.
preprint: https://arxiv.org/abs/1602.03366
]]>]]>
Abstract: In questo seminario intendo presentare alcuni contributi teorici all'analisi di Elementi finiti Arricchiti per il problema di Stokes.
Ispirati da applicazioni di tipo fluido struttura abbiamo studiato come migliorare l'imposizione debole del vincolo di divergenza nulla.
Presenterò sia i contributi teorici relativi all'analisi di stabilità sia le analisi dell'errore per i metodi presentati.
All'analisi teorica si accompagneranno esperimenti numerici su casi test sia sintetici e di tipo interazione fluido-struttura.
Sono previsti interventi dei componenti il Comitato Tecnico Scientifico del progetto stesso.
Gli interessati sono invitati a partecipare.
Cordiali saluti
Mara Teresa Borgato
]]>Gli interessati sono cordialmente invitati ad intervenire.
Luigi Pepe
]]>Gli interessati sono cordialmente invitati ad intervenire.
Luigi Pepe
]]>Parleranno:
Il giorno 14 aprile 2014 alle ore 14 in aula 7 del Polo Scientifico Tecnologico Gianluca Ancarani e Andrea Carmè di Iconsulting terranno un seminario da titolo:
Iconsulting S.p.A. è una società di consulenza informatica specializzata in progetti di Datawarehouse, Business Intelligence, Corporate Performance Management. Unica azienda indipendente italiana ad essere partner di riferimento ed avere progetti in produzione con i più importanti vendor internazionali, è riconosciuta sul mercato come la boutique della Business Intelligence e dei Sistemi a Supporto delle Decisioni.
I relatori presenteranno tre casi reali, che mostrano tecnologie e metodologie di Business Intelligence in azione, applicate su tre progetti innovativi di rilevanza internazionale.
Sommario
Tutti gli interessati sono invitati a partecipare.
]]>
Abstract: Un'importante congettura afferma che il numero di modelli minimali di una varieta' complessa proiettiva sia finito modulo isomorfismi. Daro' una introduzione sulla congettura e sui risultati noti e parlero' di un work in progress sulla possibilita' di limitare il numero di modelli minimali di una threefold di tipo generale usando invarianti topologici.
Title: On degenerations of plane Cremona transformations.
Abstract: "I will present the group of Cremona transformations of the plane and the natural topology we can put on it. The set of maps of some bounded degree is closed, and the natural question that arises is to determine which maps of small degree are limits of maps of higher degree. I will give some answers to this question. This is a joint work with Alberto Calabri."
]]>L'invitato terra` due seminari:
Primo seminario, Martedi 9 Dicembre, ore 15.30-16.30, aula 1.
Geometric properties of projective manifolds of small degree
Secondo seminario, Giovedi 11 Dicembre, ore 11-12, aula 1.
Anticanonical models and maps of Fano type varieties
Abstract: The purpose of this talk is to present a generalization of Sakai’s work on anticanonical models of rational surfaces to varieties of Fano type. We first show a characterization of Fano type varieties using the singularities of anticanonical models. Secondly, we study the decomposition of the anticanonical map using the minimal model program. This is joint work with Dong Seon Hwang and Sung Rak Choi.
Tutti gli interessati sono invitati a partecipare.
Paltin Ionescu
]]>