>
> Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo"
> Consiglio Nazionale delle Ricerche
> Area della Ricerca di Pisa
>
>
> AVVISO DI SEMINARIO
>
> Data: Mercoledì 26 ottobre 2005, ore 11:30
> Relatore: Ing. Emilio Spinicci
>
> Affiliazione: Dipartimento Sistemi e Informatica, Università di Firenze
> Titolo: "Rilevazione dell'inconsistenza tramite analisi del
contenuto
> in specifiche di requisiti software"
> Luogo: ISTI - Aula I6
> Riferimento: Alessandro Fantechi, Stefania Gnesi
>
>
> %--------------------------------------------------------------------%
>
>
>
> ABSTRACT
>
>
> Il Linguaggio Naturale è comunemente utilizzato per la specifica di
requisiti
> software per la caratteristiche di immediata comprensione e facile
condivisione
> tra i vari attori coinvoilti nel processo di sviluppo del software.
> L'utilizzo del Linguaggio Naturale, a causa della sua intrinseca
ambiguità,
> può condurre ad una definizione inconsistente dei requisiti software.
> Lo strumento Java Requirement Analyzer (J-RAn), sviluppato presso il
Dipartimento
> di Sistemi e Informatica
> dell'Università degli Studi di Firenze, utilizza tecniche di estrazione
dell'informazione
> nella forma di terne Soggetto-Azione-Oggetto (che rappresentano in forma
> sintetica i concetti espressi nella definizione dei requisiti) per
effettuare
> un'analisi del contenuto della specifica di requisiti software, volta ad
> individuare ridondanze descrittive o mancanza di informazioni rilevanti,
> ovvero fonti di possibile incompletezza e inconsistenza.
_______________________________________________
Settimanale mailing list
Settimanale(a)mail.dm.unipi.it
https://mail.dm.unipi.it/mailman/listinfo/settimanale
martedi' 18-10-2005 (14:00) - Sala Conferenze del Centro di Ricerca
Matematica Ennio De Giorgi
Rie NATSUI (Nihon University, Tokyo) :
On the isomorphism problem for a 1-parameter family of $\alpha$-Farey maps
SEMINARIO DI SISTEMI DINAMICI (olomorfi e dintorni) Abstract :
We consider the isomorphism problem for a $1$-parameter family of interval
maps, called $\alpha$-Farey maps for $\frac{1}{2} \le \alpha \le
1$, as a class of non-invertible infinite measure preserving
transformations. These maps are associated with the mediant convergents
induced from the $\alpha$-continued fractions. The main result is that
$\alpha$-Farey maps are not isomorphic to each other for $\frac{1}{2} \le
\alpha \le 1$, on the other hand, their natural extensions are isomorphic.
To prove this result, we construct their natural extensions as two
dimensional maps.
****************************************************************************
*****************************
mercoledi' 19-10-2005 (15:30) - sala seminari
C. Casagrande (Dip. di Matematica- Pisa) :
Q-divisori e teorema di Kawamata-Viehweg
Seminari sui multiplier ideals in Geometria Algebrica
****************************************************************************
*****************************
giovedi' 20-10-2005 (11:00) - Dipartimento di Matematica Applicata, Via
Bonanno - Pisa.
Jen-Chih YAO (Dipartimento di Matematica Applicata dell'Università di
Kaohsiung (Taiwan):
Recent developments of (vector) variational inequalities and (vector)
equilibrium problems"
****************************************************************************
*****************************
venerdi' 21-10-2005 (21:00) - AULA MANCINI - Scuola Normale Superiore
Barbara Patton :
Il vettore idrogeno per una fonte di energia pulita
Considerata l'importanza che, negli ultimi anni, sta acquistando il problema
dell'inquinamento, si rende indispensabile l'utilizzo di vettori energetici
a ridotto impatto ambientale, soprattutto in termini di
emissione di gas ad effetto serra. L'emissione di tali gas deriva
dall'utilizzo di carburanti fossili (metano e derivati del petrolio) la cui
combustione ha come sottoprodotto principalmente il monossido ed il
biossido di carbonio (CO, CO2), ma anche un certo numero di gas nocivi alla
salute, quali il biossido di azoto (NO2).
In questo seminario verranno presentate, in maniera divulgativa e
indirizzata a non esperti, le problematiche relative all'utilizzo
dell'idrogeno come vettore energetico. Saranno brevemente richiamate le
conoscenze chimico-fisiche di base per la comprensione dei vari fenomeni.
In particolare si discutera' del problema dell'inquinamento globale, si
rammenteranno le caratteristiche principali dell'idrogeno in relazione ai
suoi utilizzi in campo energetico, si parlera' di una tecnologia affermata
per il suo impiego (celle a combustibile), si descriveranno gli ambiti di
ricerca del Laboratorio Idrogeno, Energia, Ambiente del Dipartimento di
Fisica dell'Universita' di Trento e infine si accennera' ai problemi di
sicurezza ed ai costi.
****************************************************************************
*******************************
venerdi' 21-10-2005 (09:30) - Domus Galilaeana via S. Maria - 26 Pisa
WORKSHOP :
Giocando con la fisica e la matematica
****************************************************************************
*******************************
venerdi' 21-10-2005 (16:00) - Sala Seminari
Tokio Matsuyama (Department of Mathematics, Tokai University) :
Scattering problem for Kirchhoff equation with nonlinear perturbations.
The aim in this talk is to give the scattering problem for Kirchhoff
equation with nonlinear purturbations. The existence of wave operators,
whose domain are defined in a neighbourhood of origin in a suitable function
space, will be shown by using the theory
of asymptotic integrations due to the method of Wintner.
*******************************************
Giulia Curciarello
Segreteria Didattica
tel: 050-2213219
e-mail curciare(a)dm.unipi.it
_______________________________________________
Settimanale mailing list
Settimanale(a)mail.dm.unipi.it
https://mail.dm.unipi.it/mailman/listinfo/settimanale
AVVISO DI SEMINARIO
Sistemi Dinamici
Martedì 18 ottobre 2005
ore 14.00
Centro di Ricerca Matematica Ennio De Giorgi
(Sala Conferenze Collegio Puteano)
Rie NATSUI
Nihon University, Tokyo
Terrà un seminario dal titolo:
"On the isomorphism problem for a 1-parameter family of $\alpha$-Farey maps"
Abstract
We consider the isomorphism problem for a $1$-parameter family of interval maps, called $\alpha$-Farey maps for $\frac{1}{2} \le \alpha \le 1$, as a class of non-invertible infinite measure preserving transformations.
These maps are associated with the mediant convergents induced from the $\alpha$-continued fractions.
The main result is that $\alpha$-Farey maps are not isomorphic to each other for $\frac{1}{2} \le \alpha \le 1$, on the other hand, their natural extensions are isomorphic.
To prove this result, we construct their natural extensions as two dimensional maps.
Tutti gli interessati sono invitati a partecipare.
_______________________________________________
Settimanale mailing list
Settimanale(a)mail.dm.unipi.it
https://mail.dm.unipi.it/mailman/listinfo/settimanale
Seminari sui multiplier ideals in Geometria Algebrica
mercoledi' 19-10-2005 (15:30) - sala seminari
C. Casagrande (Dip. di Matematica- Pisa) :
Q-divisori e teorema di Kawamata-Viehweg
Giulia Curciarello
Segreteria Didattica
tel: 050-2213219
e-mail curciare(a)dm.unipi.it
_______________________________________________
Settimanale mailing list
Settimanale(a)mail.dm.unipi.it
https://mail.dm.unipi.it/mailman/listinfo/settimanale
martedi' 18-10-2005 (14:00) - Sala Conferenze del Centro di Ricerca
Matematica Ennio De Giorgi
Rie NATSUI (Nihon University, Tokyo) :
On the isomorphism problem for a 1-parameter family of $\alpha$-Farey maps
SEMINARIO DI SISTEMI DINAMICI (olomorfi e dintorni)
Abstract :
We consider the isomorphism problem for a $1$-parameter family of interval
maps, called $\alpha$-Farey maps for $\frac{1}{2} \le \alpha \le
1$, as a class of non-invertible infinite measure preserving
transformations. These maps are associated with the mediant convergents
induced from the $\alpha$-continued fractions. The main result is that
$\alpha$-Farey maps are not isomorphic to each other for $\frac{1}{2} \le
\alpha \le 1$, on the other hand, their natural extensions are isomorphic.
To prove this result, we construct their natural extensions as two
dimensional maps.
Giulia Curciarello
Segreteria Didattica
tel: 050-2213219
e-mail curciare(a)dm.unipi.it
_______________________________________________
Settimanale mailing list
Settimanale(a)mail.dm.unipi.it
https://mail.dm.unipi.it/mailman/listinfo/settimanale
AVVISO DI SEMINARIO
Matematica
Mercoledì 12 ottobre 2005
ore 16.30
Scuola Normale Superiore
Pisa
(Aula Fermi - Collegio Fermi)
Emanuele Viterbo
Politecnico di Torino
Terrà un seminario dal titolo:
"Signal Constellation Designs For Digital Transmission Over Wireless Channels"
Abstract
Multidimensional cubic lattice signal constellations with specified modulation diversity have been recently proposed for transmission over the fading channel.
Given a cubic lattice constellation the desired modulation diversity is obtained by applying a suitable rotation.
In this talk, we give an overview of the of the digital transmission problem and consider the constructions of rotated cubic lattices using ideal lattices.
In particular, we analyze two families of totally real number fields: - the maximal real subfield of a cyclotomic field - cyclic fields of odd prime degree.
Then we provide a technique to combine these constructions to build rotated cubic lattices in higher dimensions.
Tutti gli interessati sono invitati a partecipare.
_______________________________________________
Settimanale mailing list
Settimanale(a)mail.dm.unipi.it
https://mail.dm.unipi.it/mailman/listinfo/settimanale
AVVISO
Mercoledì 12 ottobre ore 11.00 in Aula Fermi, avrà inizio un ciclo di
seminari di Analisi Armonica.
Il primo seminario, dal titolo:
"Uncertainty inequalities related to Laplacians and sub-Laplacians on Lie
groups with polynomial volume growth"
sarà tenuto dal Prof. Fulvio Ricci.
Il programma dei seminari proseguirà a scadenza settimanale, nella stessa
aula e con lo stesso orario.
Tutti gli interessati sono invitati a partecipare.
Giulia Curciarello
Segreteria Didattica
tel: 050-2213219
e-mail curciare(a)dm.unipi.it
_______________________________________________
Settimanale mailing list
Settimanale(a)mail.dm.unipi.it
https://mail.dm.unipi.it/mailman/listinfo/settimanale