29 Ottobre, 2004 

Sezione di Calcolo delle Variazioni ed Equazioni Differenziali

Asymptotic behavior of the solutions of Cahn-Hilliard-Gurtin equations

Alain Miranville, Università de Poitiers

22 Ottobre, 2004 14:00

Sezione di Geometria, Algebra e loro applicazioni

Il Teorema dei Quattro Colori e triangolazioni canoniche della sfera.

Vincenzo Marra, Università degli Studi di Milano

Dipartimento di Matematica - Politecnico di Milano

12 Ottobre, 2004 10:00

Sezione di Geometria, Algebra e loro applicazioni

Programmazione funzionale parallela: l'esperienza OcamlP3L

Prof. Roberto Di Cosmo, Università Paris VII (France)

Aula Consiglio, VII piano

abstract

abstract

L'implementazione di programmi paralleli non e` un compito facile, e la fase di ottimizzazione e debugging sono esperienze di cui i programmatori
farebbero volentieri a meno.

Se si rinuncia al potere espressivo "illimitato", ma pericoloso, fornito dalle primitive di comunicazione di basso livello, e` possibile concepire un approccio strutturato della programmazione parallela basato su un piccolo
insieme di primitive di alto livello (chiamate "skeletons") che catturano gli schemi di parallelismo piu` ricorrenti in pratica, e permettono di programmare in modo semplice, previsibile e portatile una classe limitata
di problemi paralleli.

Vari gruppi di ricerca hanno proposto degli insiemi differenti di primitive; noi abbiamo scelto il P3L, sviluppato all'Universita` di Pisa: i suoi combinatori hanno il vantaggio di poter essere interpretati direttamente come un insieme di combinatori funzionali, e questo ci ha permesso di integrare direttamente P3L in OCaml, uno dei linguaggi funzionali piu` diffusi, anziche` ridurre P3L a un semplice linguaggio di coordinazione.
In questo seminario, faremo una breve introduzione a OCamlP3L, la libreria OCaml che fornisce gli skeleton P3L. Questa libreria e` estremamente compatta, grazie alla possibilita di inviare codice sui canali di comunicazione, e puo` anche essere usata come semplice linguaggio di coordinazione per applicazioni legacy scritte in C, C++ o Fortran.

1 Ottobre, 2004 15:00

Seminario Matematico e Fisico di Milano

The many facets of foam

Dennis Weaire, Trinity College (Dublino, Irlanda)

Dipartimento di Matematica - Politecnico di Milano - Via Bonardi 9 - Milano - Aula Consiglio (VII piano)

abstract

abstract

"Foams present a fascinating variety of interdisciplinary challenges to our understanding, from the mathematics of minimal surfaces to the behaviour of the head on a pint of beer. We will discuss recent research, which is moving from questions of static structure to more dynamical effects, in essence ""the fluid dynamics of foams"". We will go back in history to Kelvin and Plateau (and beyond), and also forward to 2008 when the Beijing Olympics will feature an astonishing manifestation of the theory of foams..."

28 Settembre, 2004 14:30

Sezione di Probabilità e Statistica Matematica

Formula risolutiva per equazioni differenziali stocastiche

Alberto Lanconelli, Università di Pavia

Aula seminari III piano del Dipartimento

abstract

abstract

Si utilizzano tecniche di white noise analysis nello studio di soluzioni forti di equazioni differenziali stocastiche; si considera il caso di equazioni di Ito guidate da un moto Browniano. Si presenta una formula risolutiva in termini di prodotto di Wick e rumore bianco sotto le ipotesi standard che garantiscono unicita' ed esistenza della soluzione. Tale espressione viene poi esaminata nel caso di coefficienti irregolari (non-Lipschitz) ottenendo teoremi di esistenza per la soluzione. Infine si presenta un accenno al caso infinito dimensionale.

3 Settembre, 2004 14:30

Sezione di Probabilità e Statistica Matematica

On nonlocal phase-field models

Jürgen Sprekels, WIAS - Berlin

Aula seminari MOX-6° piano dip. di matematica

abstract

abstract

Abstract: We study nonlocal phase-field models for
temperature-dependent phase transitions with a
nonconserved order parameter. A typical example is
a solid-liquid transition. The model follows ideas
of Giacomin-Lebowitz and of Gajewski-Zacharias.
The basic assumption is that the free energy of the
system incorporates a nonlocal term modelling
long-distance interactions of the particles.

A derivation of the resulting coupled system of
integrodifferential equations is presented, and
the wellposedness of the system is proved. Also
the asymptotic behaviour of the solution will
be discussed.

20 Luglio, 2004 11:00

Sezione di Geometria, Algebra e loro applicazioni

Some problems in the enumeration of polyominoes

Douglas Rogers, University of Tasmania

Dipartimento di Matematica - Politecnico di Milano

Abstract: We study nonlocal phase-field models for
temperature-dependent phase transitions with a
nonconserved order parameter. A typical example is
a solid-liquid transition. The model follows ideas
of Giacomin-Lebowitz and of Gajewski-Zacharias.
The basic assumption is that the free energy of the
system incorporates a nonlocal term modelling
long-distance interactions of the particles.

A derivation of the resulting coupled system of
integrodifferential equations is presented, and
the wellposedness of the system is proved. Also
the asymptotic behaviour of the solution will
be discussed.

9 Luglio, 2004 14:30

Sezione di Probabilità e Statistica Matematica

Dipendenza monotona e co-regolazione fra profili di espressione genica

Dott.ssa Lilla Di Scala, Dottorato di Pavia

Aula MOX al VI piano del Dipartimento

abstract

abstract

Si tratta il tema della dipendenza monotona per vettori bivariati, a partire dalla formalizzazione della nozione di concordanza/discordanza, passando per il confronto fra diverse misure di dipendenza monotona e giungendo infine a discutere l'applicazione di tali misure a dati
di tipo microarray. In particolare, si considera il problema di inferire l'effettiva presenza/assenza di dipendenza monotona e si indaga il legame fra co-regolazione (dipendenza monotona fra espressioni geniche) e annotazione biologica di tipo funzionale.

7 Luglio, 2004 16:30

Sezione di Analisi

Bounds on effective coefficients

Luc Tartar, Carnagie Mellon University- Pittsburgh

aula seminari III piano

abstract

abstract

Terzo di un ciclo di tre seminari

7 Luglio, 2004 17:00

Seminario Matematico e Fisico di Milano

H2 optimal robust filtering

José C. Geromel, UNICAMP (Campinas, Brasile)

Dipartimento di Matematica - Università degli Studi di Milano - Via Saldini 50 - Milano - Sala di Rappresentanza

abstract

abstract

In this seminar, a new design procedure for H2 optimal robust filtering is presented. The robust filter is determined from the equilibrium solution of a minimax programming problem where the H2 norm of the estimation error is maximized with respect to the feasible uncertainties and minimized with respect to all full order, linear, rational and causal filters. It is shown that for the class of parameter uncertainty considered, the equilibrium solution of the aforementioned minimax problem can be exactly determined. In contrast to the design methods available in the literature to date, the proposed one does not include any degree of conservatism. The classical static linear approximation problem as well as the filter design problem corresponding to continuous and discrete time linear systems are considered. An illustrative example is presented. The seminar ends with a discussion on a problem still unsolved.