SEMINARI - 2006
| Mercoledì 13 Dicembre 2006 - alle ore 16:00 | Francesco Santini
| | IMT Institute of Advanced Studies, Lucca
| presso l'aula informatizzata
terrà un seminario dal titolo: | | Multicast and QoS routing: an introduction and a modelling solution
| Abstract:
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we draw the network adapting it to a weighted and-or graph, where the weight on a connector corresponds to the cost of sending a packet on the network link modelled by that connector. Then, we use the Soft Constraint Logic Programming (SCLP) framework as a convenient declarative programming environment where to specify related problems. In particular, we show how the semantic of a SCLP program computes the best tree in the corresponding and-or graph: this result can be adopted to find, from a given source node, the multicast distribution tree having the minimum cost and reaching all the destination nodes of the multicast communication. The costs of the connectors can be described also as vectors (multidimensional costs), each component representing a different Quality of Service metric value. Therefore, the construction of the best tree may involve a set of criteria to be all optimized (multi-criteria problem), e.g. maximum global bandwidth and minimum delay that can be experienced on a single link.
|
| Venerdì 10 Novembre 2006 - alle ore 10:45 | Antonio Caruso
| | Dipartimento di Matematica, Università di Lecce
| presso l'aula informatizzata
terrà un seminario dal titolo: | | Cooperation in Mobile Wireless Ad-Hoc Networks
| Sunto:
Le mobile wireless ad-hoc networks, sono una forma particolare di rete wireless formata da palmari, portatili, e altri dispositivi che godono di autonomia, mobilità e della possibilità di scambiarsi dati attraverso una radio. Dopo aver introdotto le caratteristiche peculiari di tali reti, si affronterà il problema del routing (inoltro) dei pacchetti considerando gli agenti che formano la rete come agenti razionali.
In particolare si affronta il problema del mechanism design (sviluppo delle regole del gioco) e si illustra un semplice modello basato sulla teoria dei giochi per il problema del routing. Infine viene mostrato un algoritmo di routing strategy proof. |
| Martedì 31 Ottobre 2006 - alle ore 15:00 | I. Miyamoto
H. Yoshida
| | Chiba University - Japan
| presso l'aula comune del Dipartimento di Scienze
terranno un seminario dal titolo: | | A covering property of minimally thin sets at infinity in a cone
| |
|
| Giovedì 05 Ottobre 2006 - alle ore 14:00 | Ryan Hynd
| | UC Berkeley
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | Volume minimizing convex bodies of constant width
| Abstract:
A convex body K in R^n is said to have constant width w if for every line L in R^n, the (orthogonal) projection of K onto L has length w.
In R^2, it is known that among all convex domains having a given constant width, the Reuleaux triangle of the corresponding width has the least area. In higher dimensions, the minimization problem is unsolved. We discuss an analytical approach to the problem.
|
| Giovedì 21 Settembre 2006 - alle ore 12:30 | Prof. Alessandro Provetti
| | Dip. di Fisica, Università di Messina (M^2AG: Milan-Messina Action Group)
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | A gentle introduction to Answer Set Programming and (some) applications
| Abstract:
This talk will introduce the audience to Answer Set Programming concepts and applications.
Answer Set Programming (ASP) is a type of Logic Programming based on Gelfond-Lifschitz "stable model" semantics of logic programs with negation.
In ASP, a logic program can have several *models* called answer sets.
Each answer set describes an alternative solution to the problem that is encoded by the logic program.
Thus, computation corresponds to exploring the (possibly exponential) space of possible answer sets.
ASP can be seen as an alternative to the satisfiability testing problem (SAT); both problems are NP-Search complete.
Several inferential engines have now available for computing answer sets and their performance is approaching that of SAT solvers.
The selection of topics and applications that will be presented is meant to represent a overview of the speaker's long-term direction of research.
Only a basic knowledge of Logic and Declarative programming will be assumed.
|
| Martedì 05 Settembre 2006 - alle ore 10:00 | Prof. Vincenzo Acciaro
| | Università del Molise
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | Calcolo di basi normali integrali in estensioni cicliche dei razionali di grado primo
| Sunto:
Le estensioni cicliche di grado primo dei campi numerici costituiscono gli elementi di base necessari per la costruzione di estensioni più complesse. L'investigazione algoritmica delle estensioni cicliche dei razionali, largamente studiate da David Hilbert, costituisce al giorno d'oggi un importante filone di ricerca in teoria dei numeri computazionale. Sia L=Q[a] una estensione ciclica di grado primo q, assegnata attraverso il polinomio minimo m(x) di a sui razionali. Si consideri il seguente problema: decidere se L abbia una base normale integrale, ed in caso affermativo calcolarla. Un noto criterio per risolvere tale problema fornisce banalmente un algoritmo la cui complessità è proporzionale al conduttore f del campo -sfortunatamente tale conduttore f cresce, nel caso pessimo, esponenzialmente nella dimensione dell'input m(x). Viene presentato un nuovo algoritmo per risolvere tale problema la cui complessità è indipendente dal conduttore f.
|
| Venerdì 28 Luglio 2006 - alle ore 11:30 | Prof. Marciano Siniscalchi
| | Northwestern University
| presso Aula Consiglio di Facoltà, Economia
terrà un seminario dal titolo: | | Parental Guidance and Supervised Learning
|
| Venerdì 28 Luglio 2006 - alle ore 10:00 | Prof. Marco Li Calzi
| | Università "Ca' Foscari"
| presso Aula Consiglio di Facoltà, Economia
terrà un seminario dal titolo: | | The allocative effectiveness of simple market protocols
|
| Venerdì 28 Luglio 2006 - alle ore 09:00 | Prof. Pierpaolo Battigalli
| | Università "Luigi Bocconi"
| presso Aula Consiglio di Facoltà, Economia
terrà un seminario dal titolo: | | Interactive Epistemology in the Extensive Form and Normal Form
|
| Giovedì 27 Luglio 2006 - alle ore 17:30 | Prof. Sergio Scarlatti
| | Università di Tor Vergata, Roma
| presso Aula Consiglio di Facoltà, Economia
terrà un seminario dal titolo: | | Minority Games: a review of recent results
|
| Venerdì 09 Giugno 2006 - alle ore 12:00 | Prof. Rodica Branzei
| | "Alexandru Ioan Cuza" University (Romania)
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | Egalitarian criteria and game-theoretic solution concepts
| Abstract:
We will focus on three egalitarian criteria: the Lorenz criterium since in most of the literature on egalitarianism it is agreed that an allocation should be maximal according to this criterium; the Rawls' criterium (also called the lexicographical criterium) which is used in the definition of the (pre)nucleolus, the lexicographical solution and the equalizer solution; the least square criterium used in the definition of the Shapley value and the least square prenucleolus.
|
| Venerdì 09 Giugno 2006 - alle ore 11:00 | Prof. Stef H. Tijs
| | Tilburg University (Paesi Bassi)
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | The first steps with ALexia, the average lexicographic value
| Abstract:
The new value AL for balanced coalitional games is discussed, which is based on averaging of lexicographic maxima of the core. For the cone of convex games this new value coincides with the Shapley value and for the cone of big boss games with the compromise value. Properties of AL are discussed.
|
| Martedì 06 Giugno 2006 - alle ore 14:30 | Massimo Coppola
| | ISTI CNR
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | Problemi Aperti ed Aspetti nei Modelli di Programmazione per le Griglie Computazionali
| Sunto:
Motivazioni tecnologiche, applicative ed industriali sono alla base della diffusione del paradigma di Calcolo di Griglia.
L'uso delle griglie, introducendo in maniera esplicita e sensibile problemi non banali di gestione della piattaforma di calcolo (quali dinamicità, eterogeneità, sicurezza, qualità del servizio e fault tolerance), ha conseguenze importanti in termini della complessità di realizzazione di sistemi ed applicazioni.
Vedremo perciò quali caratteristiche un ambiente di programmazione per griglia dovrebbe possedere, e quali aspetti della progettazione sarebbe opportuno separare, per consentire anche in ambito di griglia proprietà fondamentali del software quali riuso e modularità.
L'esplicitazione del parallelismo, il reperimento e la gestione delle risorse, il mantenimento della qualità del servizio sono alcuni degli aspetti rispetto ai quali vorremmo preservare le caratteristiche di composizionalità e maneggevolezza del software. Analizzeremo da questo punto di vista gli approcci attuali di ricerca nel campo del Grid Computing, con attenzione alla distinzione tra orientamento ai servizi ed ai componenti, confrontandoli e individuandone le principali linee ed i problemi aperti.
|
| Mercoledì 29 Marzo 2006 - alle ore 14:00 | Pamela Peretti
| Dipartimento di Scienze (Riferimento: Stefano Bistarelli <bista@sci.unich.it>)
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | Defense trees for economic evaluation of security
| Sunto:
In this paper we present a mixed qualitative and quantitative approach for evaluation of Information Technology (IT) security investments.
For this purpose, we model security scenarios by using defense trees, an extension of attack trees with attack countermeasures and we use economic quantitative indexes for computing the defender's return on security investment and the attacker's return on attack.
We show how our approach can be used to evaluate effectiveness and economic profitability of countermeasures as well as their deterrent effect on attackers, thus providing decision makers with a useful tool for performing better evaluation of IT security investments during the risk management process.
The talk describes the paper by Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti that will be presented at ARES2006 http://www.ares-conf.org/
|
| Venerdì 03 Marzo 2006 - alle ore 11:30 | Celine Labart
| | École Polytechnique, Parigi
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | Error expansion for the discretization of backward stochastic differential equations
|
| Giovedì 02 Marzo 2006 - alle ore 12:30 | Elena Grieco
| | dell'Università dell'Aquila
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | Ideali permanantali di matrici di Hankel
|
| Giovedì 19 Gennaio 2006 - alle ore 15:00 | Prof. Liviu Ornea
| | dell'Università di Bucarest, Romania
| presso l'aula comune del Dipartimento di Scienze
terrà un seminario dal titolo: | | Simmetria e convessità in meccanica e geometria
| Sunto:
Partendo da esempi semplicissimi di equazioni differenziali con simmetrie, si arriva ad introdurre le varietà simplettiche con simmetrie hamiltoniane e l'applicazione momento. Quando il gruppo di simmetrie è un toro, l'immagine dell'applicazione momento è un politopo convesso (Atiyah, Guillemin-Sternberg). Se il toro ha dimensione massima, il politopo identifica completamente la varietà. Il risultato ha delle applicazioni inaspettate in algebra e analisi (e.g. teorema di Schur-Horn) che discuteremo alla fine.
|
|
