c:rinnovo/2004UNIVERSITA' DEGLI STUDI DI PALERMO

PROPOSTA DI RINNOVO DI DOTTORATO DI RICERCA

Dottorato di Ricerca in:

__________________MATEMATICA E INFORMATICA_________________________

________________________________________________________________________

* Temi della ricerca:(Evidenziare come le tematiche e le denominazioni del dottorato siano di ampiezza tale da giustificarne la rilevanza formativa, con riferimento all’art. 2, comma 3 del Regolamento dei corsi di Dottorato di Ricerca – reperibile sul sito: http://www.unipa.it/~didatti/regolamentodottorati2.doc - e alle “Relazioni sullo stato della didattica nei corsi di dottorato” – DOC 10/03 e DOC 2/04 del CNVSU – reperibili sul sito http://www.cnvsu.it/publidoc/comitato/default.aspPer i dottorati che non si ritiene possano essere utilmente accorpati con altri simili per obiettivi formativi e settori scientifico-disciplinari, chiarirne le ragioni)

ALGEBRA, GEOMETRIA, MATEMATICHE COMPLEMENTARI, ANALISI MATEMATICA,FISICA MATEMATICA, INFORMATICA_________________________________________________________________________

S.S.D. individuati per il Corso: MAT/02, MAT/03, MAT/04, MAT/05, MAT/07, INF/01

* Titolo conseguibile:Dottore di Ricerca in __MATEMATICA_________________________

1. Corso cofinanziato F.S.E. SI (se si per quali cicli):

_________per i cicli IX, XIII, XV, XVI, XVII. ____________________________________

2. Università proponente Sede amministrativa: Università degli Studi di PalermoPresso Dipartimento o Istituto o Centro Interdipartimentale: Dipartimento di Matematica ed Applicazioni.

Altre strutture dell’Ateneo di Palermo concorrenti: (Allegare delibere)

____Centro Interdipartimentale Tecnologie della Conoscenza______________________

Sedi Universitarie consorziate e loro apporto nel contesto didattico-organizzativo e strutture a sostegno: (Allegare documentazione)

________________NESSUNA. ________________________________________________

Partecipazione di soggetti esterni qualificati, pubblici o privati, italiani e stranieri, con cui stipulare convenzioni per l’attivazione dei Corsi ed il finanziamento di borse di studio: (Allegare Convenzione)

a) Università di PARIS - SUD (ORSAY) - convenzione di cotutela di tesi

b) Università di Marne-la-Vallée, FRANCIA - convenzione di cotutela di tesi

c) Università Statale di Mosca (Facoltà di Matematica e Meccanica)

c:rinnovo/2004

d) Queen's University of Belfast, UK

e) Heriot-Watt University, UK

f) Università di Erlangen (in corso di perfezionamento)

Dottorato accorpato con altri già esistenti: . NO

____________________________________________________________________________

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - * Le tematiche scientifiche e le relative denominazioni devono essere sufficientemente ampie e riferirsi al contenuto di

un settore scientifico-disciplinare o, preferibilimente, di un'aggregazione di più settori (Art. 2, punto 3, "Regolamento in Materia di Dottorato di Ricerca" dell'Ateneo di Palermo).

c:rinnovo/2004

3. Apporto finanziario esterno (Specificare se si tratta di borse di studio o altro tipo di contributo ed allegare la bozza di convenzione sottoscritta dalle parti che sarà esaminata dai competenti Organi di Ateneo)

Sistematicamente l'INDAM ha finanziato un corso di dottorato (vedi 3 lettere d'invito allegate).

Quest'anno si vuole fare richiesta per il finanziamento da parte dell'INDAM di un ulteriore corso

d'insegnamento, in aggiunta a quello tradizionalmente finanziato nel passato. Inoltre INDAM finanzia

borse di dottorato a seguito di convenzioni con gli atenei italiani che ne fanno richiesta. Di norma la

scadenza per la stipula di queste convenzioni e' in autunno di ogni anno. Questo dottorato farà

richiesta per il finanziamento di due borse di studio.

4. Durata del Corso: tre anni

5. Posti richiesti (minimo tre)*: ______5______

Posti ammissibili (quanti dottorandi la struttura può formare) _______5_______

6. Lingua straniera di cui si richiede la conoscenza: ________inglese_____________

7. Descrizione obiettivi formativi del dottorato: (Evidenziare gli obiettivi formativi del dottorato e verso quale tipologia di ricerca essi intendano orientare i dottorandi)

Obbiettivo: Formazione di personale che possa svolgere attività di ricerca di alta qualificazione presso università, enti pubblici o soggetti privati.

La formazione sarà finalizzata non solo al miglioramento della qualificazione scientifica del sistema universitario, ma anche mirerà al sostegno del potenziale della regione Sicilia. Più specificamente ci si muoverà secondo le seguenti tre linee

A. Curare la ricerca matematica di base (l'Algebra, la Geometria, l'Analisi Matematica) è essenziale per lo sviluppo di gran parte delle discipline scientifiche. Spesso alcuni concetti matematici apparentemente astratti si rivelano ottimi strumenti nelle applicazioni. Come esemplificazione di ciò citiamo l'utilizzo di concetti matematici sempre più avanzati nella realizzazione di sistemi di sicurezza nella transazioni bancarie e via intenet. Le ricerche riguarderanno:

Algebra, combinatoria algebrica e metodi asintotici La ricerca in teoria delle varietà di algebre o dei T-ideali delle algebre libere sarà focalizzata nella classificazione di varietà notevoli attraverso metodi asintotici pertinenti alla crescita di spazi di polinomi multilineari. La teoria delle rappresentazioni dei gruppi simmetrici e dei gruppi lineari è uno strumento essenziale in questa ricerca. Una utile estensione di tale teoria è nell’ambito delle varietà di superalgebre, di algebre con involuzione o di algebre su cui agisca una algebra di Hopf. Un altro ambito è quello della teoria delle algebre gruppali, del loro gruppo delle unità e più in generale della teoria degli anelli per anelli primi e semiprimi.

Strutture geometriche e loro applicazioni. L'area di ricerca comprende azioni di gruppi classici associate ad estensioni di campi, gruppi di permutazioni imprimitivi con azione altamente transitiva sul sistema d'imprimitività, estensioni di gruppi di Witt e gruppi algebrici unipotenti. Nel indirizzo Geometria Algebrica si propone ricerca su spazi di Hurwitz di rivestimenti semplici, moduli di varietà Abeliane, varietà di Prym. La teoria dei

c:rinnovo/2004codici e' un campo di ricerca con importanti applicazioni in INFORMATION AND COMPUTATION TECHNOLOGY (ICT). Qui proponiamo ricerche su curve algebriche su campi finiti in relazione al problema della costruzione di codici algebrici.

Teoria dell’integrazione non assolutamente convergente.La teoria dell’integrazione introdotta da Lebesgue all’inizio del ventesimo secolo è un potente strumento, che, per il suo carattere di astrattezza, forse non possiede il fascino intuitivo dell’integrale di Riemann. Inoltre, come Lebesgue stesso ha osservato nella sua tesi di dottorato, quest’integrale non integra tutte le derivate non limitate, e pertanto, non fornisce una soluzione al problema delle primitive, cioè al problema di ricostruire una funzione a partire dalla sua derivata. Per risolvere questo ed altri problemi occorre fare uso di integrali non assolutamente convergenti. Un integrale di questo tipo è l’integrale di Kurzweil-Henstock, che pur avendo l’immediatezza della definizione dell’integrale di Riemann, ha allo stesso tempo la potenza dell’integrale di Lebesgue ed inoltre integra tutte le derivate. La ricerca attuale nel campo degli integrali non assolutamente convergenti riguarda:

a. nel caso di funzioni a valori reali, lo studio di integrali diadici e, più in generale, p-adici e la loro applicazione alle serie di Fourier

b. nel caso di funzioni a valori vettoriali, il confronto tra l’integrale di McShane e l’integrale di Pettis.

I principali ambiti applicativi riguardano l’economia e la finanza.

Proprietà spettrali locali e semigruppi di operatoriUna linea di ricerca è relativa ad alcuni aspetti di teoria locale spettrale, in particolare alla codiddetta Single Valued Extension Property (SVEP) per operatori limitati su spazi di Banach. Alcuni aspetti di teoria spettrale legati alla SVEP non sono del tutto chiariti. Rimangono aperti diversi importanti problemi basilari, per esempio è ancora da verificare se la somma o il prodotto di operatori che commutano tra di loro ed aventi la SVEP, o altre proprietà ad essa correlate, verificano la medesima proprietà.

Una seconda linea di ricerca è relativa allo studio delle proprietà generali di alcuni semigruppi di operatori associati ad ideali di operatori nel senso di Pietsch. Sono da individuare in particolare i semigruppi di operatori associati ad alcuni ideali di operatori, come l'ideale dei cosiddetti operatori inessenziali. Sono anche oggetto di studio aspetti di imcomparabilità tra spazi di Banach che scaturiscono in modo naturale da alcuni ideali di operatori .

Algebre ed algebre parziali di operatoriQuesta linea di ricerca è volta allo studio delle cosiddette algebre parziali topologiche e sulle loro rappresentazioni in algebre parziali di operatori non limitati. L’interesse preminente è attualmente rivolto allo studio di sottoclassi particolari che mostrino una ricca struttura algebrico-topologica. In quest’ambito rientra una classe di moduli di Banach su C*-algebre, chiamati CQ*-algebre sulle quali è in corso un’attività di ricerca dedicata essenzialmente alle loro proprietà di struttura ed alle loro rappresentazioni mediante operatori agenti in triplette di spazi di Hilbert, nel senso di Gelfand.

La teoria delle rappresentazioni di algebre parziali si avvale in maniera determinante della possibilità di definire in esse delle particolari seminorme (le cosiddette C*-seminorme). È allo studio, in particolare, la possibilità di definire C*-seminorme su una *-algebra parziale a partire da certe fa

B. Fisica Matematica e Matematica Applicata

c:rinnovo/2004Sviluppare le competenze nel campo della modellistica matematica. Ciò significa:

1. incentivare la capacità di formulare modelli realistici per la descrizione di fenomeni di interesse fisico, biologico, ingegneristico e finanziario;

2. impadronirsi delle tecniche di tipo analitico necessarie per lo studio delle proprietà matematiche dei modelli, quali per esempio la completa integrabilità, la buona posizione, il comportamento asintotico nel tempo, l’eventuale sviluppo di singolarità, l’esistenza e la stabilità degli equilibri;

3. avere la capacità di implementare al calcolatore i modelli matematici per verificare, mediante test numerici, le proprietà studiate con le tecniche analitiche di cui sopra, per poi utilizzarne le capacità previsionali ed estenderne l’interesse applicativo.

Le ricerche nel settore della matematica applicata si focalizzeranno sulle seguenti tematiche:

Fluidodinamica teorica e computazionale, con particolare riguardo alla geofluidodinamica, allo studio dell’interazione dei fluidi con strutture rigide, ai fenomeni di transizione alla turbolenza negli strati limite, ai fluidi con vorticità concentrata.

Modelli di meccanica del continuo per l’accrescimento di tumori confinati da matrici extracellulari.

Modelli di dinamica di popolazioni per lo studio dell’interazione fra il sistema immunitario, popolazioni di virus, anche in presenza di chemioterapici.

Modelli di controllo stocastico ottimale per la prezzatura di opzioni finanziarie europee ed americane in mercati incompleti.

Metodi numerici spettrali ed alle differenze finite per la soluzione di equazioni differenziale alle derivate parziali e per lo studio dell’evoluzione delle singolarità.

C. Sviluppare competenze nei settori della informatica di base e sperimentale con particolare riguardo alle applicazioni in biologia, biomedicina e scienze della terra. Le ricerche del settore informatico riguarderanno:

Linguaggi formali e automi. L’area di ricerca comprende la combinatoria delle parole, la teoria dei codici e dell’informazione, la dinamica simbolica. Vengono prese in considerazione anche le estensioni a strutture più generali delle parole, come alberi, parole bidimensionali, poliomini, tracce. I principali ambiti applicativi riguardano la compressione dati e la bioinformatica.

Algoritmi e strutture dati. La ricerca comprende il progetto e l’analisi di algoritmi, investigazione di complessità intrinseca di problemi computazionali (Lower Bounds) ed aspetti di sperimentazione ed ingegnerizzazione di algoritmi. Particolare attenzione viene data ad algoritmi per il trattamento di stringhe, algoritmi su grafi ed alberi, tecniche di ottimizzazione combinatoria e di tipo geometrico. I principali domini applicativi sono la bioinformatica, la compressione dati, l’information retrieval e il data wharehousing. Analisi di forme e visione artificiale. La ricerca riguarda lo studio di metodi per l’estrazione dell’informazione da dati multi-dimensionali con particolare riferimento al settore dell’analisi di immagini e della visione artificiale. Sono considerati approcci basati sulla dinamica dei sistemi stocastici (algoritmi evolutivi e genetici), temi di geometria digitale (tomografia discreta) e problemi di analisi predittiva (clustering e analisi discriminante). Le applicazioni riguardano l’analisi di segnali ed immagini biomediche, di dati da esperimenti di astrofisica e da telerilevamento ed esplorazione sottomarina.

Tecniche informatiche formali e sperimentali per la bioinformatica. Si tratta di una problematica interdisciplinare che comprende la Biologia Molecolare, la Computer Science e

la Matematica Discreta. Uno degli obiettivi della ricerca riguardano la classificazione, estrazione di regolarità e motivi, ed il confronto fra sequenze di proteine e di DNA al fine di

c:rinnovo/2004stabilire relazioni funzionali sia tra più sequenze che all’interno di una sequenza stessa. Un’altra area di recente interesse è l’analisi dati per espressione genetica.

8. Dimostrazione della coerenza dottorato agli orientamenti delle politiche nazionali della ricerca: (Evidenziare gli elementi specifici di coerenza del dottorato con le “linee guida per la politica scientifica e tecnologica del Governo” (MIUR - 19.4.2002 – reperibili sul sito: http://www.miur.it/0003Ricerc/0141Temi/0478PNR_-_/1886PNR_-_.htm )

I temi di ricerca che proponiamo ai futuri studenti del dottorato rientrano principalmente nell'ambito dell' Asse 1 - AVANZAMENTO DELLE FRONTIERE DELLA CONOSCENZA - dei quattro assi strategici individuati nel documento "linee guida per la politica scientifica e tecnologica del Governo" sopracitato. In particolare in questo documento è sottolineato l'obiettivo di consolidare la scelta di eccelenza scientifica per la ricerca fondamentale nell'area della MATEMATICA (vedi p. 17). L'INFORMATICA sotto la denominazione INFORMATION AND COMPUTATION TECHNOLOGY (ICT) è indicata come una delle tre grande tendenze scientifiche e tecnologiche (vedi p. 9). Le linee tematiche del dottorato nell'area informatica saranno indirizzate allo sviluppo di metodi innovativi per l'analisi e la progettazione di sistemi complessi con applicazioni al trattamento di informazioni distribuite (mining e analisi di grossi volumi di dati) e alla loro protezione e sicurezza con particolare riguardo all'area bio-informatica e biomedica e ai sistemi territoriali. In tale ambito, presso il Corsi di Laurea in Informatica e la Laurea Specialistica in Informatica, sono già state sviluppate o sono in corso di stesura tesi presso aziende avanzate di microelettronica (Centro sviluppo della ST-microelectronics di Palermo), telecomunicazioni (ITALTEL, NORTEL) e sistemi informativi (Datel-Technology, Palermo).

Nell'ambito dei cicli precedenti del Dottorato in Matematica sono state sviluppate tesi di contenuto informatico con risvolti applicativi.

Alcuni dei risultati della ricerca nell'area informatica hanno anche dato luogo allo sviluppo di prodotti industriali e brevetti::

- brevetto compressione- VIRES (Prodotto con Datel-Technology, 2000)- DAISY (Prodotto con Datel-Technology, 2000)Queste linee di ricerca sono coerenti con l'Asse 2 - SOSTEGNO DELLA RICERCA ORIENTATA ALLO SVILUPPO DI TECNOLOGIE CHIAVE ABILITANTI A CARATTERE MULTISETTORIALE delle "linee guida per la politica scientifica e tecnologica del Governo" e piu' precisamente: al progresso scientifico della Infoscienza (vedi p. 18).

* Il numero minimo di ammessi a ciscun Corso di Dottorato non può essere inferiore a tre (Art. 2, punto 2, del "Regolamento in Materia di Dottorato di Ricerca" dell'Ateneo di Palermo).

c:rinnovo/2004 9. Descrizione sbocchi occupazionali e descrizione follow-up post dottorato:

(Fare riferimento a dati, indagini ed altri analoghi elementi che consentano di individuare la ricettività del mercato del lavoro per il profilo formativo del dottorato, ed evidenziare le iniziative di accompagnamento e monitoraggio eventualmente messe in atto per sostenere l’inserimento dei dottori di ricerca nel contesto territoriale di riferimento)

Sbocchi occupazionali:

Alcuni dei nostri dottori di ricerca hanno trovato occupazione presso l'industrie informatiche (IBM),

oppure aziende di consulenza finanziaria. I rimanenti hanno superato con successo concorsi pubblici

presso enti di ricerca statali (università italiane e straniere e CNR). Visto l'età media elevata dell'attuale

personale docente accademico, la funzione del dottorato si rivela strategico per la formazione del futuro

personale docente. In prospettiva sono previsti sbocchi occupazionali presso ditte e aziende ad alta

tecnologia (ST-Microelectronics, Datel-Technology, Italtel (Palermo), Nortel). Da osservare che studenti

che hanno conseguito il dottorato presso la nostra sede hanno trovato occupazione in ambito accademico,

e non soltanto presso l'Università di Palermo. Da menzionare Onofrio Di Vincenzo, professore

straordinario presso l'Università di Bari, Marco Sammartino, professore straordinario presso l'Università

di Palermo, Marcella Anselmo, professore associato presso l 'Università di Salerno, Dora Giammarresi,

professore associato presso l'Università di Roma Tor Vergata, Angela Valenti, professore associato

presso l'Università di Palermo oltre ad un rilevante numero di ricercatori assunti sia presso l'Ateneo

palermitano, che presso altri enti di ricerca italiani e stranieri.

Follow-up post dottorato:

La totalità dei nostri dottori di ricerca ha avuto in passato la possibilità di proseguire l'attività di ricerca in

ambito accademico grazie all'erogazione di assegni e di contratti finanziati sia con fondi di ateneo (anche

di altri sedi) sia all'interno di progetti di ricerca di rilievo nazionale. Sono inoltre previsti borse post

dottorato presso università con cui esistono già degli accordi (Belfast, Paris Sud, Marne-la-Valee, Univ.

Heriot-Watt, Erlangen). Già nei cicli precedenti, studenti che hanno conseguito il dottorato presso la

nostra sede, hanno usufruito di posizioni post dottorato presso: le università di Marne-la-Vallèe e Paris 7

(S. Mantaci, attualmente ricercatore presso l'Università di Palermo, G. Guaiana, attualmente Maitre de

Conference presso l'università di Rouen, Giuseppina Riudone, attualmente Maitre de Conference presso

l'università di Marne-la-Vallèe); presso l'Università di Erlangen (M. Enea, attualmente ricercatore presso

l'Università della Basilicata, G. Falcone, attualmente ricercatore presso l'Università di Palermo).

10. Descrizione programma formativo:

c:rinnovo/2004(Descrivere in maniera puntuale, seguendo lo schema sottostante, l’attività formativa prevista distinguendo fra didattica frontale, cicli di seminari, stage presso Enti pubblici/privati, periodi formativi all’estero, evidenziandone la congruenza con gli obiettivi formativi del dottorato)

Il percorso formativo previsto è orientato all’esercizio di attività di ricerca di alta qualificazione secondo il seguente programma formativo e di attività didattica del corso:

(a) ad ogni dottorando il Collegio dei docenti assegna un tutore (che può essere anche un docente esterno al Collegio) che guiderà il dottorando nel suo percorso formativo;

(b) ogni dottorando dovrà svolgere attività di ricerca in una delle seguenti aree: Analisi Reale - Teoria degli operatori - Metodi variazionali in P.D.E. - Problemi non lineari - Fluidodinamica e Magnetofluidodinamica - Meccanica dei Continui – Storia della Matematica – Informatica Teorica – Elaborazione d’Immagini – Progetto ed Analisi d’Algoritmi – Algebra Lineare - Combinatoria - Algebra non Commutativa - Teoria dei Gruppi - Algebre Gruppali - Teoria degli Anelli - Teoria delle PI-algebre - Varietà di algebre - Geometria Differenziale - Geometria Algebrica - Fondamenti di Geometria - Matematica Applicata;

(c) ogni dottorando dovrà seguire obbligatoriamente almeno tre cicli di seminari in tre differenti settori scientifico-disciplinari, distinti da quello inerente l’area di ricerca in cui svolge la sua attività.

Sono previste per l’addestramento due fasi: la prima, coincidente all’incirca con il primo anno e mezzo d’attività, è dedicata alla preparazione di base del dottorando. In questa fase il dottorando seguirà dei corsi che gli permettano di ampliare il suo bagaglio di conoscenze evitando che queste rimangano confinate esclusivamente nel suo settore specifico di ricerca. La seconda fase sarà esclusivamente dedicata all’attività di ricerca e si concretizzerà, alla fine del terzo anno, con la presentazione al Collegio dei Docenti di una tesi contenente i risultati conseguiti. Tali risultati devono essere originali. Il Collegio potrà avvalersi anche dell’apporto di esperti esterni al Collegio per valutare i risultati ottenuti dal dottorando.

Calendario di massima delle attività:

ATTIVITA' DIDATTICA E SEMINARIALE (IN ORE)

ALTRE ATTIVITA' FORMATIVE ANCHE PRESSO ENTI PUBBLICI O SOGGETTI PRIVATI, AZIENDE

EVENTUALI PERIODIFORMATIVI ALL'ESTERO (IN MESI)

I ANNO 80 1II ANNO 40 1III ANNO 2

CORSI CICLI SEMINARI STAGES SOGGIORNI ALL’ESTERO (in mesi)

Descrizione preliminare dei programmi dei corsi ed indicazione della durata

Indicazioni tematiche, titoli e durata prevista o prevedibile

I ANNO Vedi la descrizione Vedi la descrizione Vedi la descrizione 1II ANNO " " " 1III ANNO 2

c:rinnovo/2004DIDATTICA FRONTALE/ CICLI SEMINARI

Corsi proposti nel settore di matematica di base:Titolo corso: Corso di Algebra e Combinatoria (I anno)Contenuti: Teoria delle algebre di dimensione finita su un campo. Teoremi di Wedderburn. Algebre gruppali. Teoria delle rappresentazioni di gruppi finiti. Teoria dei caratteri. Rappresentazioni di gruppi simmetrici. Combinatoria delle tabelle di Young. Algebre con identita’ polinomiale. Polinomi standard e di Capelli. Azioni del gruppo simmetrico su spazi di polinomi.Docenti: Prof. A. Regev (Wezmann Institute of Science, Israel) (da richiedere sopporto da parte del INDAM) Durata: 40 ore di lezioni e seminari.

Titolo: Campi di funzioni algebriche e applicazioni (I anno).Contenuto: Posti e valutazioni discrete. Divisori e teorema di Riemann-Roch. Differenziali di Weil e loro componenti locali. Campi di funzione algebrica su campi finiti. Funzione zeta , limite di Hasse-Weil e suoi miglioramenti. Codici della Geometria Algebrica e sue proprietà asintotiche. Automorfismi di particolari classi di codici.Docenti: Prof. Antonino Giorgio Spera (Univ. Palermo), Prof. Henning Stichtenoth (Univ. Gesamthochschule Essen).Durata: 40 ore di lezioni e seminari.

Titolo: Introduzione alla teoria delle C*-algebre e delle algebre di von Neumann (I anno).Contenuti: Proprietà fondamentali degli operatori lineari limitati e non limitati in spazi di Hilbert – Rappresentazioni di *-algebre – Costruzione GNS – C*-algebre: spettro ed elementi positivi – Funzionali positivi – Teoria di Gelfand per le C*-algebre commutative – Rappresentazione universale di una C*-algebra – Algebre di von Neumann – Teorema di densità – Struttura del reticolo dei proiettori di un’algebra di von Neumann.Docenti: Prof. Camillo Trapani (Univ.Palermo). Durata: 20 ore.

Titolo corso: Corso di Algebra (II anno)Contenuti: Algebre associative, il radicale di Jacobson. Teoremi di Wedderburn, Wedderburn-Artin. Algebre gruppali. Algebre di Lie. Algebre di Lie nilpotenti e risolubili. Teoremi di Lie e di Engel. Classificazione dellealgebre di Lie semplici di dimensione finita sul campo complesso.Docenti: Prof. A. Giambruno (Univ. Palermo), Prof. D. Zaicev (Moscow State University, Russia)Durata: 40 ore di lezioni e seminari.

Titolo corso: Corso di geometria (II anno)Contenuti:

La sfera di Riemann: La sfera S2 come compattificazione (di Alexandrov) del piano affine reale, ovvero del campo C dei numeri complessi; la retta proiettiva complessa P1(C). Funzioni mereomorfe su S2 e applicazioni algebriche su P1(C).

Gruppi di automorfismi finiti di S2: gruppi finiti di rotazioni; azioni di gruppi; i solidi platonici e le loro rotazioni; rappresentazioni proiettive di questi gruppi.

Funzioni invarianti: forme invarianti rispetto a un gruppo; forme invarianti legate ad un'orbita del gruppo, in particolare ad un'orbita degenere; applicazioni algebriche e funzioni razionali invarianti.

Inversa di una funzione invariante: cenni su estensioni algebriche di campi, in particolare di Galois; estensioni di campi legate a gruppi finiti di rotazioni; criterio radicale; inversione algebrica degli invarianti non icosaedrali. Risolvente di un polinomio, risolvente di Brioschi. Inversione dell'invariante icosaedrale.

Riduzione di una quintica a forma di Brioschi: Estensione polinomiale generale. Identità di Newton. Risultante di un polinomio. Trasformazione di Cirnao e forma principale di un polinomio. Teoria di Galois legata ad una trasformazione di Cirnao. Forma di Brioschi.

Teorema di Kronecker: grado di trascendenza, lemma d'immersione e teoremi Lüroth e Kronecker. Estensioni calcolabili: Metodo di Newton per le radici n-me. Varietà e campi di funzioni. Algoritmi puramente

iterativi. Estensioni di campi costruibili iterativamente. Forme differenziali. Funzioni razionali normali. Risoluzione di una quintica di Brioschi per iterazione.

Docente: Prof. Claudio G. Bartolone (Univ.Palermo). Durata: 40 ore di lezioni e seminari.

Titolo corso: Metodi variazionali (II anno)Contenuto: Calcolo differenziale in spazi di Banach. Punti stazionari liberi e vincolati. Teoria di Lusternik-Schnirelman. Teorema del passo montano. Spazi di Sobolev. Formulazione variazionale per problemi al contorno di tipo ellittico.Docente: Prof. Caterina Maniscalco (Univ. Palermo) Durata: 40 ore di lezioni e seminari.

c:rinnovo/2004Cicli di seminari nel settore di matematica di base:

Titolo ciclo: Almost polynomial growth in PI-algebras (I anno - nell'autunno 2005)Contenuti: Crescita quasi polinomiale delle varietà. Caratterizzazione delle varietà di algebre associative, di Lie e di Leibniz a crescita polinomiale e quasi polinomialeSvolto da : S. Mishchenko (Ulyanovsk State University, Russia)

Titolo ciclo: Seminario di Geometria (I , II e III anno) Argomenti: Gruppi di permutazione, Gruppi unipotenti, Forme bilineari e trilineari. Svolto da : docenti della sede, professori visitatori, dottorandi e assegnisti.

Titolo ciclo: *-Algebre parziali di operatori non limitati (I , II e III anno).Argomenti: *-Algebre parziali, Rappresentazioni di -algebre parziali, C-seminorme su *-algebre parziali Svolto da: docenti della sede, professori visitatori.

Titolo ciclo: Teoria dell’integrazione non assolutamente convergente (I, II e III anno).Argomenti: Il problema delle primitive e sue soluzioni. Integrazione diadica e p-adica. Applicazioni alle serie di Fourier. Teoremi di tipo Ward. Integrazione secondo Dunford, Pettis, McShane, Henstock per funzioni a valori in spazi di Banach. Proprietà e confronto.Svolto da: Prof. Benedetto Bongiorno (Univ. Palermo), Prof. Luisa Di Piazza (Univ. Palermo), Prof. Valentin Skvortsov (Univ. Statale di Mosca), Prof. Kazic Musial (Univ. di Wrocrav), Prof. Pat Muldowney (Univ. di Ulster).

Corsi/cicli di seminari nel settore di matematica applicata:

Disponibilità impegno:Antonio Greco: Cicli di seminari su completa integrabiltà e scattering inverso Corso avanzato su problemi di propagazione non lineare Tutoring di eventuali allievi interessati ad essere seguiti nello svolgimento della tesi

Marco Sammartino: Cicli di seminari su problemi di strato limite ed equazioni stocastiche Corso avanzato su problemi di diffusione Tutoring di eventuali allievi interessati ad essere seguiti nello svolgimento della tesi

Titolo ciclo: Seminario di matematica applicata (I, II e III anno).Argomenti: Equazioni differenziali alle derivate parziali, Biomatematica, Completa integrabilità, Fluidodinamica, Finanza matematica Svolto da: docenti della sede, professori visitatori, dottorandi e assegnisti.

Corsi proposti nel settore informatico:

Titolo corso: Geometria Digitale con Applicazioni all’Analisi di Immagini (I anno)Contenuti: Elementi di geometria digitale (archi e curve e loro rappresentazione, convessità digitale, modelli 2D/3D) - algoritmi fondamentali per trovare una retta digitale fra due punti, definizioni equivalenti, proprietà combinatorie delle rette discrete - problemi di conteggio e rilevanza pratica di tali problemi - intersezione fra rette, angoli, rette ruotanti – tomografia discreta - basi teoriche della tomografia discreta: i risultati classici e generali - applicazioni e implementazioni - problemi aperti e nuove direzioni di ricerca.Docenti: Prof. Vito Di Gesù (Univ.Palermo), Prof. Filippo Mignosi (Univ.Palermo), Prof.Antonio Restivo (Univ.Palermo), Prof.Attila Kuba (Univ. Szeged, Ungheria)Durata: 32 ore.

Titolo: Metodi avanzati per l’apprendimento statistico (II anno)Contenuti: Basi teoriche di apprendimento statistico supervisionato (metodi lineari di regressione e classificazione, regolarizzazione, funzioni kernel, metodi di boosting, reti neurali, support vector machine, regression tree) – metodi non supervisionati (analisi cluster, regole associative, mappe autoorganizzanti, analisi componenti principali, K-means) - applicazioni alla biologia - problemi aperti e nuove direzioni di ricerca.Docenti: Prof. Vito Di Gesù (Univ.Palermo), Prof. Alessandro Verri (Univ.Genova), Prof. Fionn Murtagh (Queen's University of Belfast), Prof. Jerome Friedman (Università di Stanford).Durata: 32 ore.

Titolo: Algoritmi e strutture dati (I anno)

c:rinnovo/2004Contenuti: Complessita' Computazionale e Strutture Matematiche Discrete: Hardness di problemi computazionali e di approssimabilita' polinomiale - Analisi Sperimentale di Algoritmi: Metodologie, Data Sets di Benchmark, tecniche di Ingegnerizzazione degli Algoritmi su alcuni Case Study. Analisi di algoritmi con funzioni potenziale, tecnica del Bank Account ed Analisi Ammortizata - Strutture Dati Avanzate: Self-adjusting Data Structures e Strutture Dati Implicite, linking and Cutting of Trees - Algoritmi su Grafi: Tecniche di Scaling per problemi di Flusso e Cammini Ottimi; Ricerche sul Web ed autovalori di Matrici; estrazione d'informazione da grafi massivi - Algoritmi su Stringhe: Trasformate e Compressione Dati; Automi e Riconoscimento della Voce.Docenti: Prof. Raffaele Giancarlo (Univ.Palermo), Prof. Filippo Mignosi, Prof. Antonio Restivo, Prof. (esterno)Durata: 32 ore.

Titolo: Metodi informatici formali e sperimentali per la bioinformatica (II anno)Contenuti: Allineamento di Sequenze e suo significato Biologico: Analisi Statistica per la scelta dei pesi, Algoritmi di Allineamento basati su Programmazione Dinamica e su Hidden Markov Models - Sequenziamento Genomico su Larga Scala: tecniche di Shotgun Sequencing e loro analisi matematica, Algoritmi di Ricostruzione e di Mapping - Pattern Discovery in Bioasequenze: Teoria Matematica di Stringhe "sorprendenti" e sua Applicazione alla genomica; Motifs in Biologia Molecolare e loro formalizzazione Matematica ed Algoritmica - Networks di Geni: Microrray Data Technology, Problematiche di Clustering, Valutazione Sperimentale ed Analitica dei Risultati, Data Sets di BenchMark.Docenti: Prof. Raffaele Giancarlo (Univ.Palermo), Prof. Filippo Mignosi (Univ. Palermo), Prof. Antonio Restivo (Univ. Palermo), Prof. (esterno)Durata: 32 ore.

STAGE

La cooperazione con aziende nel settore informatico è già operante ed ha consentito lo svolgimento di stage per studenti del corso di laurea in informatica (aziende con cui è stipulata una convenzione : ITALTEL, ST Microelectronics (sede Palermo), CEOM, Datel Tecnology, One-Ans (sede Milano), CNR-ITD). Tali stage hanno consentito lo sviluppo di progetti, spesso di natura innovativa. Si prevede di estendere tale cooperazione e le attività di stage anche nel ambito del dottorato. La durata degli stage dovrebbe variare da tre a sei mesi, in funzione delle esigenze specifiche e degli accordi che si raggiungono con le aziende.

PERIODI FORMATIVI ALL'ESTERO

Sono previsti 4 mesi di soggiorni all'estero per ogni dottorando cosi distribuiti: 1 mese nel I anno; 1 mese nel II anno; 2 mesi nel III anno. L'effettiva realizzazione dei soggiorni è subordinata alla congruità del finanziamento da ricevere il dottorato. I quattro mesi di permanenza all'estero possono essere cumulati ed effettuati in modo continuativo nello stesso anno a seguito di richiesta motivata.

11. Strutture, attrezzature e biblioteche disponibili per il programma formativo:(Elencare strutture ed attrezzature disponibili, necessari al programma formativo del dottorato, e precisare, qualora esse mancassero, le eventuali strutture alternative esterne che verranno utilizzate)

Vista la tipologia del titolo che il dottorando dovrà conseguire, il suo addestramento potrà avvenire nei locali del Dipartimento di Matematica ed Applicazioni, dove vi sono le strutture sufficienti, quali una Biblioteca contenente circa 15000 volumi e 100 riviste di Matematica, diversi laboratori con supporti informatici aggiornati.

c:rinnovo/2004

12. Piano finanziario:

BORSE INCREMENTO DI 50% PER PERIODO

DI STUDIO ALL'ESTERO

SPESE DI FUNZIONAMENTO(seminari, corsi, varie)

I ANNO € 65.539,10 €2.461,43 € 27.000II ANNO € 65.539,10 €2.461,43 € 22.000III ANNO € 65.539,10 € 4.922,87 € 22.000TOTALE € 196.617,30 € 9.845,71 € 71.000

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - * Costo annuo € 11.814,88 comprensivo di oneri previdenziali e fiscali previsti dalla normativa vigente

durante gli anni del Corso** 50% dell'importo della borsa riferito al periodo di soggiorno all'estero

c:rinnovo/2004

13. Coordinatore (cognome/nome/qualifica/S.S.D./facoltà/Dip.):

KANEV Vassil Ivanov PA MAT/03 (Geometria) Scienze MM. FF. NN. Matematica ed Applicazioni

N. Telefono _091-6040417__ indirizzo e-mail __kanev@math.unipa.it__

14. Docente di I o II fascia a tempo pieno individuato in seno al Collegio che sostituisce il Coordinatore in

caso di assenza o temporaneo impedimento:__BARTOLONE Claudio G.___ -

N. Telefono __091-6040310__ indirizzo e-mail ____cg@math.unipa.it___

15. Collegio Docenti (numero membri - tutti appartenenti all’Università di Palermo o alle sedi consorziate - non inferiore a 10 compreso il Coordinatore) - I, II fascia e ricercatori confermati (questi ultimi per non più di 1/3 del totale dei componenti), non impegnati in altri corsi di dottorato: Numero di componenti appartenenti ai settori scientifico-disciplinari del dottorato

(Numero di componenti appartenenti ai settori scientifico-disciplinari del dottorato – allegare l’elenco delle pubblicazioni e dei titoli dell’ultimo quinquennio nell’aria di riferimento del dottorato): N. ___14___

COGNOME – NOME QUALIFICA S.S.D. FACOLTA’ UNIVERSITA’

BARTOLONE CLAUDIO G. P.O. Mat/03 (Geometria) Scienze MM.FF.NN. PA

BONGIORNO BENEDETTO P.O. Mat/05 (Analisi

Matem.) Scienze MM.FF.NN. PA

BOTTAZZINI UMBERTO P.O. Mat/04 (Matematiche complementari)

Scienze MM.FF.NN. PA

DI GESÙ VITO P.S. Inf/01 (Informatica) Scienze MM.FF.NN. PA

DI PIAZZA LUISA P.O. Mat/05 (Analisi Matem.) Architettura PA

GIAMBRUNO ANTONIO P.O. Mat/02 (Algebra) Scienze MM.FF.NN. PA

GIANCARLO RAFFAELE P.S. Inf/01 (Informatica) Scienze MM.FF.NN. PA

GRECO ANTONIO M. P.O. Mat/07 (Fisica Matem.) Scienze MM.FF.NN. PA

KANEV VASSIL I. P.A. Mat/03 (Geometria) Scienze MM.FF.NN. PA

MIGNOSI FILIPPO P.S. Inf/01 (Informatica) Scienze MM.FF.NN. PA

RESTIVO ANTONIO P.O. Inf/01 (Informatica) Scienze MM.FF.NN. PA

SAMMARTINO MARCO P.S. Mat/07 (Fisica Matem.) Scienze MM.FF.NN. PA

TRAPANI CAMILLO P.A. Mat/05 (Analisi Matem.) Scienze MM.FF.NN. PA

VALENTI ANGELA P.A. Mat/02 (Algebra) Ingegneria PA

c:rinnovo/2004

Numero di componenti del Collegio titolari di progetti di ricerca referenziati (con esclusione dell’ex-60%): N. ___8___tra cui 2 coordinatori nazionali di PRIN

Numero di progetti referenziati (ad esclusione dell’ex-60%) negli ultimi cinque anni: N. __25____(20 nazionali e 5 internazionali)

(Numero di progetti referenziati – ad esclusione dell’ex-60% - negli ultimi cinque anni. Allegare la documentazione dell’organismo referente ed illustrare brevemente la possibile utilizzazione in riferimento alla tipologia del dottorato)

I progetti elencati nella lista seguente sono inerenti a tematiche sia di Matematica che d'Informatica. Alla maggior parte di essi ha collaborato, o sta collaborando, personale titolare di una borsa di studio di dottorato. Nell'ambito di questi progetti hanno preso corpo varie tesi di dottorato.

PROGETTI DI RICERCA NAZIONALI

Coordinatori scienifici nazionali:

A. Giambruno:

-M.U.R.S.T Cofin1999 biennale per il periodo 11/1999 - 11/2001,

-M.I.U.R, Cofin 2001 biennale per il periodo 11/2001 - 11/2003,

-M.I.U.R. Cofin 2003 biennale per il periodo 11/2003 - 11/2005,-F.I.R.B 2001 triennale per il periodo 03/2003 - 03/2006;

A. Restivo:

-Cofin M.I.U.R. 2001/2003;

-Cofin M.I.U.R. 2003/2004;

Coordinatori scientifici locali:

C.G. Bartolone:

-Cofin M.U.R.S.T. 1999/2001,-Cofin M.I.U.R. 2001/2003,-Cofin M.I.U.R. 2003/2005,

c:rinnovo/2004B. Bongiorno

-Cofin M.U.R.S.T. 1999/2001, -Cofin M.I.U.R. 2002/2004,

U. Bottazini -Cofin M.U.R.S.T. 1999/2001 -Cofin M.I.U.R. 2001/2003

V. Di Gesù:

-A.S.I. 2000,-A.S.I. 2001,-A.S.I. 2002,

(A.S.I. = Azienda spaziale italiana)

-Cofin M.I.U.R. 2003/2004

R. Giancarlo-Cofin PRIN del M.U.R.S.T. 1999/2001 per il progetto "Metodi formali ed Algoritmici per l'analisi di sequenze biologiche"

-Progetto Negoziale FIRB Bioinformatica per la Genomica e la Proteomica, 2003-2006.

Entrambi i progetti offrivano o offrono possibilità di borse di dottorato aggiuntive e/o contratti a termine post-doc e per giovani ricercatori. Quindi sono uno strumento per ulteriore formazione qualificata di giovani ricercatori.

A. M. Greco:

-Cofin M.I.U.R. 2000/2002

-Cofin M.I.U.R. 2003/2004

Progetti internazionali

V. Di Gesù:

-COST Action 283

c:rinnovo/2004-EIERO Program

-ECET Education Training Net (in collaborazione con l'Università di Rousse, Bulgaria)

-SOCRATES/ERASMUS

M. Sammartino:

-Coordinatore, per la parte Italiana del progetto "Problemi matematici in fluidodinamica classica" (Bando CoRI 2003). Svolto in collaborazione con il Laboratorire d’Analyse et Mathématiques Appliquées dell’Università di Marne-la-Vallée

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

* Art. 2, comma 4/c, Art. 5, comma 1, “Regolamento in materia di Dottorato di Ricerca” dell’Ateneo di Palermo

c:rinnovo/2004

16. Modalità di autovalutazione del dottorato(Specificare se il Dottorato è provvisto o meno di una struttura di valutazione interna e le sue caratteristiche – numero di componenti, tipo di rappresentanza interna, componenti esterni, etc. – Elencare le modalità – schede, questionari, interviste etc. – con cui i dottorandi valutano autonomamente la qualità ed il gradimento del dottorato)

Interviste: Da sempre il coordinatore periodicamente incontra sia i singoli dottorandi che i loro tutori per

valutare insieme ad essi la qualità dei corsi ed i progressi della loro attività di ricerca.

Commissione: L'anno accademico 2003/2004 è stata istituita una commissione paritetica composta di

due docenti e due studenti (Prof. C. Bartolone, Prof. V. Kanev, Dr. Di Bartolo, D.ssa Vetro) col compito

di valutare la qualità del dottorato. Come sopporto si prevede l'uso di schede da compilare da parte dei

dottorandi.

17. Documentata presenza di collaborazioni internazionali(Illustrare e documentare eventuali iniziative di collaborazione internazionale finalizzate agli obiettivi formativi del dottorato, con la partecipazione di Docenti e/o di Dottorandi. Valgono come documentazione la dichiarazione della/e istituzione/i scientifica/che collaboranti o anche l’elenco delle pubblicazioni o delle comunicazioni di Docenti e/o Dottorandi in collaborazione con istituzioni scientifiche straniere su temi coerenti con gli obiettivi e i programmi formativi del Dottorato)

Collaborazioni Internazionali dei Dottorandi e Dottori di ricerca (XIII - XVIII ciclo)

1. Il dott. OTERA DANIELE ETTORE dottorando del XV ciclo è iscritto in tesi di cotutela presso l'Università di Paris-Sud (Orsay) a partire dall'anno 2002/2003. Collabora anche con l'Universita' di Grenoble (Prof. L.FUNAR), dove è stato nel primo semestre di quest'anno.

-L. Funar, D.E. Otera, “Quasi-isometry invariance of the simple connectivity at infinity of groups”, Archiv der Mathematik, vol. 81 n. 3, 2003, pp. 360-368.

2. Il dott. FICI GABRIELE dottorando del XVII ciclo è iscritto in tesi di cotutela presso l'Università di Marne-la Valèe a partire dall'anno 2002/2003.

3. Collaborazione con docenti dell'Università Statale Lomonosov di Mosca.Dottorando F. Tulone: a) soggiorni a Mosca: dal 28/02/2002 al 25/06/2002 e dal 20/03/2003 al

2/08/2003 b) pubblicazioni in collaborazione con ricercatori stranieri

1. V.Skvortsov, F.Tulone “Generalized Henstock integrals in the theory of series with respect to moltiplicative system” Vestnik Moskov. Gos. Univ. Ser. Mat. Mekh. 2003.

2. V.Skvortsov, F.Tulone “P-adic Henstock integral in the problem of representation of functions by multiplicative transform” accettato per la pubblicazione su Vestnik Moskov. Gos. Univ. Ser. Mat. Mekh. 2004.

3. F.Tulone “On the Ward theorem for P-adic bases associated with a bounded sequence” accettato per la pubblicazione su Matematica Bohemica 2004

4. Collaborazione con docenti dell'Università di Erlangen, GermaniaDottorando A. Di Bartolo:

A. Di Bartolo, G. Falcone, P.Plaumann, K.Strambach “Algebraics groups with few subgroups”, preprint n.165 Luglio 2002; Dipartimento di Matematica ed Applicazioni, Univeristà di Palermo.

c:rinnovo/20045. Periodi formativi all'estero: California Institute of Technology (Pasadena, California)Dottorando G. Lo Bosco:

- Soggiorno di 3 mesi dal 31 Luglio 2002 al 28 Ottobre 2002. Collaborazione su Image Analysis and Processing Segmentation Methods for Multi-Spectral Images.

6. Collaborazione con ricercatori dell'Academia bulgara delle scienze, Sofia, BulgariaDott. V. Nardozza (assegnista)

O.M. Di Vincenzo, V. Drensky, V. Nardozza, Algebras satisfying the polinomial identity [x_1,x_2][x_3,x_4,x_5]=0, Lin. Algebra Appl. (2004)

O.M. Di Vincenzo, V. Drensky, V. Nardozza, Subvarieties of the varieties generated by the superalgebra M_{1,1}(E) or M_{2}(K), Comm. Algebra 31(1) (2003), 437-461

O.M. Di Vincenzo, V. Drensky, V. Nardozza, Subvarieties of the variety generated by 2 x 2 matrix superalgebra, C. R. Acad. Bulgare Sci. 54(12) (2001), 9-12

Collaborazioni Internazionali dei Professori

Collaborazione tra CNRS di Parigi e l'Università degli Studi di Palermo

Brevetto USA n. 39/329 803 depositata a nome CNRS e UDP il 10 giugno 1999 dal titolo"Codifica dati/procedimento di decodifica". Il contratto di comproprietà è firmato nel 2001.Inventori: M. Crochemore (CNRS), F. Mignosi, A. Restivo, S. Salemi (Università di Palermo).

Collaborazione con docenti dell'Università di Erlangen, Germania

BARTOLONE C., MUSUMECI S., STRAMBACH K. (2003). Imprimitive groups highly transitive on blocks. J. GROUP THEORY. in corso di stampa.

STRAMBACH K., MUSUMECI S., BARTOLONE C. (1999). Group representations: A geometrical approach II. Preprint del Dipartimento di Matematica ed Applicazioni, Uni. Palermo. (vol. 83).

Collaborazioni con docenti dell'Università Statale Lomonosov di Mosca, Russia

A. Giambruno, A. Regev and M. Zaicev, On codimension growth of finite dimensional Lie algebras, J. Algebra 220 (1999), 466-474.

A. Giambruno and M. Zaicev, Involution codimensions of finite dimensional algebras and exponential growth, J. Algebra 222 (1999), 471-484.

A. Y. Bahturin, A. Giambruno and M. Zaicev, Codimension growth and graded identities, in "Algebra", De Gruyter, Berlin, 57-76, 2000.

A. Giambruno and M. Zaicev, A characterization of varieties of associative algebras of exponent two, Serdica Math. J. 26 (2000), 245-252.

A. Giambruno and M. Zaicev, Minimal varieties of algebras of exponential growth, Electron. Res. Announc. Amer. Math. Soc. 6 (2000), 40-44.

A. Giambruno and M. Zaicev, A characterization of algebras with polynomial growth of the codimensions, Proc. Amer. Math. Soc. 129 (2001), 59-67.

c:rinnovo/2004A. Giambruno and S. Mishchenko and M. Zaicev, Polynomial identities on superalgebras and almost polynomial growth, Comm. Algebra, 29 (2001), 3787-3800.

A. Giambruno and S. Mishchenko and M. Zaicev, Group actions and asymptotic behaviour of graded polynomial identities, J. London Math. Soc. (2) 66 (2002), 295-312.

A. Giambruno and M. Zaicev, Asymptotics of the functions of codimension growth of the standard and Capelli identities, Uspekhi Mat. Nauk. 57 (2002) (transl: Russian Math. Surveys).

A. Giambruno and M. Zaicev, Asymptotics for the standard and the Capelli identities, Uspekhi Mat. Nauk. (transl: Russian Math. Surveys) 57 (6) (2002), 1222-1223.

A. Giambruno and M. Zaicev, Minimal varieties of algebras of exponential growth, Adv. Math. 174 (2003), 310-323.

A. Giambruno and M. Zaicev, Codimension growth and minimal superalgebras, Trans. Amer. Math. Soc. 355 (2003), 5091-5117.

A.Giambruno and M. Zaicev, Asymptotics for the standard and the Capelli identities, Israel J. Math. 135 (2003), 125-145.

A.Valenti and M. Zaicev, Abelian gradings on upper-triangular matrices, Arch. Math.,80 (2003),12-17.

B. Bongiorno, L. Di Piazza and V. Skvortsov, On variational measures related to some bases, J. Math. Anal. and Appl., 250(2000), No. 2, 533-547.

B. Bongiorno, L. Di Piazza and V. Skvortsov, On the n-dimensional Perron integral defined byordinary derivates, Real Anal. Exchange, 26(1) (2000-2001), 371--380.

B. Bongiorno, L. Di Piazza and V. Skvortsov , On dyadic integrals and some other integralsassociated with local systems, J. Math. Anal. And Appl., 271 (2002), No. 2, 506--524.

B. Bongiorno, L. Di Piazza and V. Skvortsov, The Ward property for a ${\mathcal P}$-adicbasis and the {\mathcal P}-adic integral}, J. Math. Anal. And Appl., {\bf 285} (2003), 578--592.

Collaborazioni con docenti dell'Università Statale di Ulyanovsk, Russia

A. Giambruno and S. Mishchenko, Polynomial growth of the *-codimensions and Young diagrams, Comm. Algebra 29 (2001), 277-284.

A. Giambruno and S. Mishchenko, On star-varieties with almost polynomial growth, Algebra Colloquium 8 (2001), 33-42.

A. Giambruno and S. Mishchenko and M. Zaicev, Polynomial identities on superalgebras and almost polynomial growth, Comm. Algebra, 29 (2001), 3787-3800.

A. Giambruno and S. Mishchenko and M. Zaicev, Group actions and asymptotic behaviour of graded polynomial identities, J. London Math. Soc. (2) 66 (2002), 295-312.

S. Mishchenko and A. Valenti, A star-variety with almost polynomial growth. J. Algebra 223 (2000), no. 1, 66--84.

Collaborazioni con docenti dell'Università di Campinas, Brasile

A. Giambruno and P. Koshlukov, On the identities of the Grassmann algebras in characteristic p>0, Israel J. Math. 122 (2001), 305-316.

P. Koshlukov and A. Valenti, Graded identities for the algebra of n x n upper triangular matrices over an infinite field, International J. Algebra and Computation (2003)

c:rinnovo/2004O.M.Di Vincenzo, P. Koshlukov and A. Valenti, Gradings on the algebra of upper triangular matrices and their graded identities J.Algebra 275 (2004),550-556

Collaborazioni con docenti del Weizman Institute of Science, Israele

A. Giambruno, A. Regev and M. Zaicev, On codimension growth of finite dimensional Lie algebras, J. Algebra 220 (1999), 466-474.

A. Giambruno, A. Regev and M. Zaicev eds., "Polynomial Identities and Combinatorial Methods", Lecture Notes in Pure and Applied Mathematics, Vol. 235, Marcel Dekker, New York, 2003.

Prof. C. Trapani:Collaborazioni internazionali attive (documentate da lavori in collaborazione)1) Prof. J. P. Antoine (Universite' Catholique de Louvain)2) Prof. A. Inoue (Fukuoka University)3) Prof. M.Fragoulopoulou (Univ. di Atene)4) Prof. K.-D. Kuersten (Univ. di Leipzig)4) Prof. J.B. Kayoya (Univ. du Burundi)

18. Pubblicazioni e comunicazioni dei dottorandi/dottori di ricerca (su dati complessivi fino al __ ciclo):

(Elencare, seguendo le norme editoriali internazionali, le pubblicazioni, le comunicazioni e altro. La valutazione della produzione scientifica si baserà sulla metodologia CRUI – reperibile sul sito: http://www.unipa.it/infostat/documenti/metodologia_CRUI.doc secondo le tabelle previste per ciascuna delle 14 aree scientifico-disciplinari – reperibili sul sito: http://www.unipa.it/infostat/documenti/pesi_crui.pdf

Ciclo XVIII

Finanziati da F.S.E.: 0 ; Finanziati con fondi dell’Ateneo: 3 ;

Finanziati da M.I.U.R.: 0 ; Finanziati da esterni: 0;

Numero dottorandi frequentanti I ANNO: 5;

Risultati scientifici ottenuti dai Dottorandi: nessuno.

Ciclo XVII

Finanziati da F.S.E.: 0 ; Finanziati con fondi dell’Ateneo: 2 ;

Finanziati da M.I.U.R.: 0 ; Finanziati da esterni: 0;

Numero dottorandi frequentanti I ANNO: 4;

c:rinnovo/2004Numero dottorandi frequentanti I I ANNO: 4;

Risultati scientifici ottenuti dai Dottorandi:

VETRO FRANCESCA

Pubblicazioni su riviste non ISI:

-Vetro F., "Irreducibility of Hurwitz spaces of coverings of an elliptic curve of prime degree with one point of total ramification", Le Matematiche, vol. 57, fasc.2 (in corso di stampa )

Preprint:

-Vetro F., "Irreducibility of Hurwitz spaces of coverings with one special fiber", Preprint N. 247 (Aprile 2004) del Dipartimento di Matematica ed Applicazioni dell'Università di Palermo.

FICI GABRIELE

Preprint:

M.P. Béal, M. Crochemore, G. Fici, Presentations of constrained systems with unconstrained positions, preprint IGM 2003-14, sottoposta per pubblicazione in IEEE Transactions on Information Theory

Ciclo XVI

Finanziati da F.S.E.: 2 ; Finanziati con fondi dell’Ateneo: 1 ;

Finanziati da M.U.R.S.T.: 2 ; Finanziati da esterni: 0;

Numero dottorandi frequentanti I ANNO: 5;

Numero dottorandi frequentanti II ANNO: 5;

Numero dottorandi frequentanti III ANNO: 5;

Risultati scientifici ottenuti dai Dottorandi:

GABRIELE ALESSANDRA: Pubblicazioni su riviste ISI:- A. Gabriele, F. Mignosi, A. Restivo, M. Sciortino “Indexing Structures for Approximate String Matching”, Lecture Notes In Computer Science, 2653 (2003), 140--151;

Preprint:- A. Gabriele, F. Mignosi, A. Restivo and M. Sciortino, "Approximate string matching: indexing and k-mismatch problem," Preprint N. 244, Marzo 2004, del Dipartimento di Matematica ed Applicazioni, Università degli Studi di Palermo.

Comunicazioni:- Partecipazione con comunicazione al workshop relativo al Progetto Cofin “Linguaggi formali e Automi: Teoria

ed Applicazioni”, Febbraio 2003, Palermo;- Partecipazione con comunicazione al convegno internazionale CIAC '03 (5 th Italian Conference on Algorithms

and Complexity) dal titiolo Indexing structures for approximate string matching, Maggio 2003, Roma; - Partecipazione con comunicazione al workshop relativo al Progetto Cofin “Linguaggi formali e Automi: Teoria

ed Applicazioni”, Settembre 2003, Ravello.

DI BARTOLO ALFONSO: Preprint:

c:rinnovo/2004- A. Di Bartolo, G. Falcone, P.Plaumann, K.Strambach “Algebraics groups with few subgroups”, (preprint n.165

luglio 02; Dip.Mat.Appl. Palermo).

Comunicazioni:

- "Unipotent algebraic groups with a unique subgroup in each dimension", convegno "Groups and Topological Groups" tenutosi a Dresden nel Giugno 2002;

- "Algebraic groups with few subgroups", convegno "Groups and Topological Groups" tenutosi a Wurzburg in Giugno 2003.

GAMBINO GAETANA:Pubblicazioni su riviste ISI:

-G. Gambino, A.M. Greco, M. C. Lombardo; A group analysis via weak equivalence transformations for a model of tumor encapsulation, Journal of Physics A: Mathematical and General, vol. 37, issue 12, pp. 3835 - 3846.

Pubblicazioni in atti di congressi- G. Gambino, A.M. Greco; On the Boussinesq hierarchy, Proceedings WASCOM 2001 , eds. R Monaco, M.

Pandolfi Bianchi, S. Rionero, W.S.P., WASCOM 2001, pp.232 - 242.

- G. Gambino, A.M. Greco, M.C. Lombardo, Symmetry reduction of a model in spherical symmetry for benign tumor, Proceedings WASCOM 2003, eds. World Scientific di Singapore, pp. 241 - 246.

Comunicazioni- Titolo della comunicazione: Symmetry reduction of a spherical model for benign tumor. Tenuta alla 12th International Conference on Waves and Stability in Continuous Media, Villasimius (Cagliari), June 1-7, 2003.

LA MATTINA DANIELA

Pubblicazioni su riviste ISI: D. La Mattina, On the graded identities and cocharacters of the algebra of 3x3 matrices, Linear Algebra and its applications. (to appear)

Preprint:

-A. Giambruno , D. La Mattina, PI-ALGEBRAS WITH SLOW CODIMENSION GROWTH}, Preprint n.243 (Marzo 2004) del Dip. Di Matematica e Applicazioni, Università di Palermo.

Ciclo XV

Finanziati da F.S.E.: 3; Finanziati con fondi dell’Ateneo: 3 ;

Finanziati da M.U.R.S.T.: 0 ; Finanziati da esterni: 0;

Numero dottorandi frequentanti I ANNO: 6;

Numero dottorandi frequentanti II ANNO: 6;

Numero dottorandi frequentanti III ANNO: 6;

Numero dottorandi frequentanti IV ANNO: 6;

c:rinnovo/2004Risultati scientifici ottenuti dai Dottorandi:

OTERA DANIELE ETTORE:

Pubblicazioni su riviste ISI:

- D.E. Otera, “On the simple connectivity at infinity of groups”, Bollettino U.M.I sezione B (8) 2003, vol. 6, n. 3, pp. 739-748

- L. Funar, D.E. Otera, “Quasi-isometry invariance of the simple connectivity at infinity of groups”, Archiv der Mathematik, vol. 81 n. 3, 2003, pp. 360-368.

Comunicazioni:-Comunicazione Scientifica al convegno “Proprietà Geometriche della Varietà Reali e Complesse. Nuovi

Contributi Italiani III”, Palermo 1-8 Settembre 2002.-Seminario dal titolo “La simple connexitè à l’infini”, tenuto all’Universitè Paris-Sud nell’ambito del Groupe

de Travail “Autour des travaux de D.T. Wise”, 20-12-2002.

LO BOSCO GIOSUE’:

Pubblicazioni su riviste ISI: - Coelho R.C., Di Gesù V., Lo Bosco G., Tanaka J.S. and Valenti C, “Shape-Based Features for Cat Ganglion

Retinal Cells Classification”, Real-Time Imaging, Special Issue on Imaging in Bioinformatics, 2002, Academic Press,.

Pubblicazioni in atti di congressi:

- V. Di Gesù, B. Lenzitti, G. Lo Bosco, D. Tegolo ”A Distributed architecture for autonomous navigation of robots”, CAMP 2000, IEEE Workshop., Pavia, Italy , 2000, IEEE computer society press

- Di Gesù V., Lo Bosco G., Tegolo D., "Experiments on Concurrent Artificial Environment", in Human and Machine Perception: Thinking, Deciding, Acting, 2001 Kluwer Press, New York, 2001, 123-130.

- G. Lo Bosco, “A genetic algorithm for image segmentation”, Proceedings of the 11th International Conference on Image Analysis and Processing, Palermo, Italy, 2001, IEEE computer society press

- V.Di Gesù, G.Lo Bosco, “Experiments on a Prey predator system”, Proc. of IEEE conference Wilf 2001, Milano, Italy, 2001, IEEE computer society press

- Coelho R.C., Di Gesù V., Lo Bosco G., Tanaka J.S. and Valenti C, “Shape-Based Features for Cat Ganglion Retinal Cells Classification”, Real-Time Imaging, Special Issue on Imaging in Bioinformatics, 2002, Academic Press,.

- Di Gesù V., G.Lo Bosco, D.Tegolo “Distribute image retrieval on Daisy”, CAMP 2003, IEEE Workshop, New Orleans, USA, IEEE computer society press

- Di Gesù V., Lo Bosco G., Zavidovique B., "Classification based on Iterative Object Symmetry Transform", Proc. of the 12th International Conference in Image Analysis and Processing ICIAP 2003, Mantova, Italy, 2003, pp. 44-49, IEEE computer society press

- G.Lo Bosco, “Integrated fuzzy cell classifier”, Proc. of Wilf 2003, Napoli, Italy, 2003, IEEE computer society press

- V-Di Gesù , G.Lo Bosco, “Integrated fuzzy classification”, Proc. of the 5th International conference on advances in Pattern Recognition ICAPR 2003, Calcutta, India, 2003

Comunicazioni a convegni:

- Di Gesù V., Lo Bosco G., Tegolo D., "Experiments on Concurrent Artificial Environment", in Human and Machine Perception: Thinking, Deciding, Acting, 2001 Kluwer Press, New York, 2001, 123-130.

c:rinnovo/2004

- G. Lo Bosco, “A genetic algorithm for image segmentation”, Proceedings of the 11th International Conference on Image Analysis and Processing, Palermo, Italy, 2001, IEEE computer society press

- V.Di Gesù, G.Lo Bosco, “Experiments on a Prey predator system”, Proc. of IEEE conference Wilf 2001, Milano, Italy, 2001, IEEE computer society press

- Di Gesù V., Lo Bosco G., Zavidovique B., "Classification based on Iterative Object Symmetry Transform", Proc. of the 12th International Conference in Image Analysis and Processing ICIAP 2003, Mantova, Italy, 2003, pp. 44-49, IEEE computer society press

- G.Lo Bosco, “Integrated fuzzy cell classifier”, Proc. of Wilf 2003, Napoli, Italy, 2003, IEEE computer society press.

GIUSEPPA CASTIGLIONE:

Pubblicazioni su riviste ISI:- G. Castiglione, A. Restivo, S. Salemi “Patterns in Words and Languages”, To Appear on Special Issue of

“Discrete Applied Mathematics”, 2003- G. Castiglione, A. Restivo, Reconstruction of L-convex Polyominoes, Electronics Notes in Discrete

Mathematics , vol. 12, Elsevier Science (2003)

Comunicazioni:1) Poster presentation to the international conference “IWCIA 2003” of the paper: G. Castiglione, A. Restivo: “Reconstruction of L-convex Polyominoes”

2) Luglio 2002: comunicazione al workshop relativo al Progetto Cofin : “Linguaggi formali e Automi: Teoria ed Applicazioni”, Rovereto;

3) Settembre 2003: comunicazione al workshop relativo al Progetto Cofin : “Linguaggi formali e Automi: Teoria ed Applicazioni”, Ravello;

TULONE FRANCESCO

Pubblicazioni su riviste non ISI:1. V.Skvortsov, F.Tulone “Generalized Henstock integrals in the theory of series with

respect to moltiplicative system” Vestnik Moskov. Gos. Univ. Ser. Mat. Mekh. 2003.2. V.Skvortsov, F.Tulone “P-adic Henstock integral in the problem of representation of

functions by multiplicative transform” accettato per la pubblicazione su Vestnik Moskov. Gos. Univ. Ser. Mat. Mekh. 2004.

3. F.Tulone “On the Ward theorem for P-adic bases associated with a bounded sequence” accettato per la pubblicazione su Matematica Bohemica 2004

TRIOLO SALVATOREPreprint:

C. Trapani, S. Triolo, “Representations of Certain Banach C*-Modules” , Preprint n.242 del Dipartimento di Matematica ed Appl. di Palermo, Marzo 2004, sottoposto per la pubblicazione a “Mediterranean Journal of Mathematis”

CORSI GIÀ CONCLUSI (XIII e XIV; i cicli precedenti al XIII non erano con sede amministrativa Palermo e non si è in possesso dei dati relativi):

c:rinnovo/2004Ciclo XIV

Numero dottorandi che hanno conseguito il titolo: 5.

Risultati scientifici ottenuti dai dottorandi:

SCIACCA VINCENZO (XIV ciclo, dottorato il 29/01/2003, Assegnista):Pubblicazioni su riviste ISI:

- M. Pedroni, V. Sciacca, G. Zubelli; The bi-Hamiltonian theory of the Harry Dym equation, Theoretical and Mathematical Physics, vol.133, No.2 (2002), pp.1581.

- V. Sciacca; The Differential-Difference $KP$ Hierarchy and the Momentum Mapping of the Toda System , Journal of Nonlinear Mathematical Physics, vol. 10 Suppl. 2, (2003), pp. 209.

Pubblicazioni in atti di congressi:

- M. Sammartino, V. Sciacca; Long Time Behavior of a Shallow Water Model for a Basin with Varying Bottom Topography, pubblicato nei proceedings "XI Conference on Waves and Stability in Continuous Media", Ed.s R. Monaco, M.P. Bianchi, S. Rionero, World Scientific pub., (2002) pp.515.

- M. Sammartino, V. Sciacca; Approximate Inertial Manifolds for Thermodiffusion Equation, Proceedings WASCOM 2003, eds. World Scientific pub., (2004) pp.456.

Preprint:- L. DeGiovanni, F. Magri, V. Sciacca; On deformation of Poisson manifolds of Hydrodynamic type, Preprint

n.127 del Dipartimento di Matematica ed Appl. di Palermo, sottoposto per la pubblicazione a Commun. in Math. Phys..

- V. Sciacca; Symplectisation and separability for stationary KdV flows, Preprint n.128 del Dipartimento di Matematica ed Appl. di Palermo, sottoposto per la pubblicazione a Selecta Math..- V. Sciacca; Differential-Difference Dual $KP$ Equations and Hirota $\tau$ function, Preprint n.198 del

Dipartimento di Matematica ed Appl. di Palermo, sottoposto per la pubblicazione a J. Math. Pures Appl..- M. Sammartino, V. Sciacca; The Attractor of a Shallow Water Model for a Basin with Varying Bottom, Preprint

n.199 del Dipartimento di Matematica ed Appl. di Palermo, sottoposto per la pubblicazione a Applicable Analysis.

Comunicazioni: - Titolo della comunicazione: Long Time Behavior of a Shallow Water Model for a Basin with Varying Bottom.

Tenuta alla conferenza su "Problemi Matematici Nonlineari di Propagazione e Stabilit\`a nei Modelli del Continuo", Bressanone (Bolzano), 10-12/01/2002.

- Titolo della comunicazione: Approximate Inertial Manifolds for Thermodiffusion Equations. Tenuta alla 12th International Conference on Waves and Stability in Continuous Media, Villasimius (Cagliari), June 1-7, 2003.

ROSANNA PERUZZA:

Pubblicazioni su riviste ISI: 1. M.S. Mongiovì, R.A. Peruzza; Velocity of the Fourth Sound in Liquid Helium II via Extended

Thermodynamics, Zangew.Math.Phys., vol. 54, issue 4, (2003), pp. 566-583.2. M.S. Mongiovì, R.A. Peruzza; Attenuation of the fourth sound in liquid helium II via Extended

Thermodynamics, I.J.Nonlinear Mechanics, vol. 39, (2004), pp. 1005-1012.3. M.S. Mongiovì, R.A. Peruzza; Fast relaxation phenomena and slow mode in Extended Thermodynamics of

Superfluids, Math. Comp. Modelling, vol. 38, issue 3/4, (2003), pp. 409-421.

Pubblicazioni in atti di congressi:

c:rinnovo/2004- M.S. Mongiovì, R.A. Peruzza; Fenomeni dissipativi ed effetti termomeccanici nel modello esteso di un

superfluido, Atti del XIV Congresso AIMETA 1999, Como, 6-9 Oct. 1999, Parte I, Meccanica Generale, in CD-Rom.

- M.S. Mongiovì, R.A. Peruzza; Fast relaxation phenomena in Extended Thermodynamics of Superfluids, proceedings of XI International Conference on Waves and Stability in Continuous Media, Porto Ercole, 03-09 July 2001, World Scientific, Singapore, 328-333.

- M.S. Mongiovì, R.A. Peruzza; Entropy flux far from equilibrium in Extended Thermodynamics, Atti del XV Congresso AIMETA di Meccanica Teorica e Applicata, Taormina, 26 – 29, Settembre 2001, Meccanica Generale, in CD-Rom.

Preprint:1. D. Jou, G. Lebon, M.S. Mongiovì, R.A. Peruzza; Entropy flux in non-equilibrium thermodynamics, preprint

n. 250 Aprile 2004 del Dipartimento di Matematica ed Appl. di Palermo, in corso di stampa su Physica A.2. M.S. Mongiovì, R.A. Peruzza; Entropy flux far from equilibrium in solids and in non viscous gases,

preprint n. 181 Dicembre 2002 del Dipartimento di Matematica ed Appl. di Palermo, in corso di stampa sul Bollettino dell' Unione Matematica Italiana (U.M.I.).

3. M.S. Mongiovì, R.A. Peruzza, D. Jou; Extended Thermodynamics of Liquid Helium II: laminar and turbulent flows, preprint n. 213 Ottobre 2003 in corso di stampa su Recent research developments in Physics, Transworld Research Network.

4. R.A. Peruzza; Hyperbolicity in the Extended Thermodynamics of a Superfluid, preprint n.230 Novembre 2003 del Dipartimento di Matematica ed Appl. di Palermo.

Comunicazioni:- "Dissipative phenomena and Thermomecchanical effects in the Extended Model of a Superfluid" tenuta durante

la XXIV Scuola Estiva di Fisica Matematica di Ravello, 19/09-2/10 1999.- "Some problems of Extended Thermodynamics" tenuta durante la XXV Scuola Estiva di Fisica Matematica di

Ravello, 11-23 Settembre 2000.- "Entropy flux far from equilibrium in Extended Thermodynamics" tenuta durante a Taormina durante il XV

Congresso AIMETA di Meccanica Teorica e Applicata, 26 - 29 Settembre 2001.- "Limits of solutions of difference equations: a special case" tenuta durante la XXVII Scuola Estiva di Fisica

Matematica di Ravello, 09-21 Settembre 2002.

MANUELA PIPITONE:

Pubblicazioni su riviste ISI:- M. Pipitone, “Algebras with involution whose exponent of the *-codimensions is equal to two”, Communications in Algebra 30 (2002), no. 8, 3875--3883

- F. Benanti, A. Giambruno, M. Pipitone, “Polynomial Identities on superalgebras and exponential growth”, Journal of Algebra 269 (2003), no. 2, 422--438.

CESARE VALENTI:

Articoli in lingua straniera su riviste scientifiche ISI:

1) Di Gesù V. and Valenti C., “The stability problem and noisy projections in discrete tomography”, Journal of Visual Languages and Computing, Elsevier Science, in fase di stampa.

2) Coelho R.C., Di Gesù V., Lo Bosco G., Tanaka J.S. and Valenti C., “Shape-Based Features for Cat Ganglion Retinal Cells Classification”, Real-Time Imaging, Vol.8, Special Issue on Imaging in Bioinformatics, Academic Press, 2002, 213–226.

c:rinnovo/20043) Di Gesù V. and Valenti C., “Two-views Cylindrical Decomposition of binary images”,

Special Issue of Linear Algebra and its Applications, Vol.339, Springer Verlag, 2001, 205–219.

4) Di Gesù V. and Valenti C., “Representing 2D Digital Objects”, proc. 9th Discrete Geometry for Computer Imagery, DGCI 2000, Uppsala, Sweden, Lecture Notes in Computer Science, Vol.1953, Springer Verlag, 2000, 337–347.

5) Chella A., Di Gesù V., Infantino I., Intravaia D. and Valenti C., “A cooperating strategy for object recognition”, Lecture Notes in Computer Science, Vol.1681, Springer Verlag, 1999, 264–274.

6) Di Gesù V., Valenti C. and Strinati L., “Local operators to detect regions of interest”, Pattern Recognition Letters, Vol.18, 1997, 1077–1081.

Pubblicazioni su altre riviste

1) Valenti C., “An experimental study of the stability problem in discrete tomography”, Electronic Notes in Discrete Mathematics, Vol.12, Elsevier Science, 2003.

2) Di Gesù V. and Valenti C., “The role of symmetry in computer Vision”, Advances in Pattern Recognition and Digital Techniques, Calcutta, India, Narosa Publishing House, 2000, 92–97.

3) Di Gesù V. and Valenti C., “Detection of regions of interest via the Pyramid Discrete Symmetry Transform”, Advances in Computer Vision, Springer-Verlag, 1997, 129–136.

4) Alexeychuk A., Di Gesù V., Palenichka R. and Valenti C., “A Fast Recursive Algorithm to Compute Local Axial Moments”, Converging Computing Methodologies in Astronomy, 1997, 57–65.

5) Di Gesù V. and Valenti C., “Symmetry operators in Computer Vision”, Vistas in Astronomy Vol.40, Part 4, Elsevier Science, 1996, 461–468.

Pubblicazioni su atti di Congressi

1) A. Cepero Diaz, V. Di Gesù, Valenti C., “A new approach for geological faults detection”, proc. of the 4th International Workshop on Pattern Recognition in Information Systems - PRIS 2004 (A. Fred ed.), Insticc Press (2004), 216-221.

2) B. Ballarò, D. Tegolo, C. Tripodo, Valenti C., “Complex objects classified with morphological shape analysis and elliptical Fourier descriptors”, proc. Astronomical Data Analysis - ADA III, in fase di stampa.

3) Valenti C., “Discrete tomography from noisy projections”, proc. IMAGE: e-Learning, Understanding, Information Retrieval, Medical, Series on Software Engineering and Knowledge Engineering, Vol.15, World Scientific Publishing, in fase di stampa.

4) Di Gesù V. and Valenti C., “Regions of interest detectors based on symmetry”, invited paper for 5th International Conference on Advances in Pattern Recognition, 2003.

5) Tegolo D. and Valenti C., “A Naive Approach to Compose Aerial Images in a Mosaic Fashion”, proc. 11th International Conference on Image Analysis and Processing, IEEE Computer Society Press, 2001, 512–516.

6) Palenichka R., Valenti C. and Zaremba M., “A Fast Recursive Algorithm for the Computation of Axial Moments”, proc. 11th International Conference on Image Analysis and Processing, IEEE Computer Society Press, 2001, 95–100.

c:rinnovo/20047) Coelho R.C., Valenti C., Tanaka J.S. and Costa L. da F., “Classification of Cat Ganglion

Retinal Cells and Implications for Shape-Function Relationship”, proc. 11th International Conference on Image Analysis and Processing, IEEE Computer Society Press, 2001, 517–522.

8) Ardizzone E., Di Gesù V., La Cascia M. and Valenti C., “Content Based Indexing of Image and Video Databases by Global and Shape Features”, 13th International Conference on Pattern Recognition, IAPR, IEEE Computer Society Press, Vol.III, Track C, 1996, 140–144.

Preprint o rapporti interni:

1) Valenti C., “Wavelets: theory and applications (in astronomy)”, Internal Report 3/98, IFCAI-CNR, 1998.

2) Valenti C., “The symmetry transform for astronomical images”, Internal Report 1/98, IFCAI-CNR, 1998.

3) Di Gesù V. and Valenti C., “The Discrete Symmetry Transform in Computer Vision”, Technical Report DMA 011 95, Palermo University, 1995.

B. Comunicazioni:

2004. PRIS 2004 – Pattern Recognition in Information Systems, Porto (Portogallo)

2004. ADA III – Astronomical Data Analysis III , S. Agata sui due golfi (Napoli)

2003. Image2003 – Learning, Understanding, Information Retrieval, Medical, Cagliari, Italy.

2003. FPGA-based Matrix Algorithms FMAT Workshop, Belfast, Ireland (intervento su invito).

2003. 9th International Workshop on Combinatorial Image Analysis, Palermo, Italy.

2002. Convegno GIRPR02: “La ricerca in Pattern Recognition e Visione Artificale in Italia: stato corrente e prospettive future”, Verona, Italy.

2001. Visita studio nell'ambito del Progetto di Ricerca ASI “Tecniche ottimizzate di elaborazione, memorizzazione ed indicizzazione di immagini telerilevate e astronomiche”, Siena, Italy.

2001. 11th International Conference on Image Analysis and Processing, Palermo, Italy (tre comunicazioni).

2000. 9th International Conference on Discrete Geometry for Computer Imagery, Uppsala, Sweden.

2000. Giornata di studio MURST, Milano, Italy.

1996. Workshop on Theoretical foundation of computer vision, Dagstuhl, Germany.

1996. 5th International workshop on Data Analysis in Astronomy, Ettore Majorana Centre for Scientific Culture, Erice, Italy.

FABIO C. OTERA

c:rinnovo/2004Preprint:

- F. Otera, Finitely generated PI-superalgebras with bounded multiplicities of the cocharacter , Preprint n.194 (Luglio 2003) del Dipartimento di Matematica ed Applicazioni, Università degli Studi di Palermo.

Ciclo XIII

Numero dottorandi che hanno conseguito il titolo: 5.

Risultati scientifici ottenuti dai dottorandi:

MARINELLA SCIORTINO (assegnista dell’Ateneo di Palermo):

Articoli in lingua straniera su riviste scientifiche ISI:

1) Béal M.P., Mignosi F., Restivo A. and Sciortino M., "Forbidden Words in Symbolic Dynamics",

Advances in Applied Mathematics 25, 163-193, 2000.

2) Mignosi F., Restivo A., and Sciortino M., "Forbidden Factors and Fragment Assembly", RAIRO

Theoretical Informatics and Applications 35(6), 565-577, 2001.

3) Mignosi F., Restivo A. and Sciortino M., "Forbidden Factors and Fragment Assembly", proc. DLT

2001, Wien, Austria, July 16-21, Lecture Notes in Computer Science Vol.2295, 349-358.

4) Mignosi F., Restivo A. and Sciortino M., "Words and Forbidden Factors", Theoretical Computer

Science 273, 99-117, 2002.

5) Mantaci S., Restivo A. and Sciortino M., "Burrows-Wheeler transform and Sturmian words",

Information Processing Letters 86, 241-246, 2003.

6) Giancarlo R. and Sciortino M., "Optimal Partitions of Strings: A New Class of Burrows-Wheeler

Compression Algorithms", proc. CPM'03, Lecture Notes In Computer Science, Vol.2676, 129-143, 2003.

7) Béal M.-P., Crochemore M., Mignosi F., Restivo A. and Sciortino M., "Computing forbidden words of

regular languages", Fundamenta Informaticae, Vol.56 (1-2), Special issue on Computing Patterns in

Strings, 2003.

8) Gabriele A., Mignosi F., Restivo A. and Sciortino M., "Indexing structures for approximate string

matching", proc. CIAC'03, Lecture Notes In Computer Science, Vol.2653, 140-151, 2003.

Pubblicazioni su altre riviste o capitoli di libri

1) Mignosi F., Restivo A. and Sciortino M., "Forbidden Factors in Finite and Infinite Words", Chapter of

the book "Jewels are forever", (J.Karhumäki, H.Maurer, G.Paun and G.Rozenberg eds.), Contribution

on Theoretical Computer Science in honour of Arto Salomaa, Springer, 339-350, 1999.

2) Mantaci S., Restivo A. and Sciortino M., "Combinatorial Aspects of the Burrows-Wheeler Transform",

proc. WORDS 2003, TUCS (Turku Center for Computer Science) General Pubblication, Vol.25, 292-297,

ISBN 952-12-1211-X, 2003.

c:rinnovo/2004

Preprint:

1) Mignosi F., Restivo A., Sciortino M. and Storer J., "On Sequence Assembly", Technical report

Brandeis (September 2000), cs-00-210.

2) Mignosi F., Restivo A. and Sciortino M., "Forbidden Factors and Fragment Assembly“ (Journal version), Preprint n.148 (Agosto 2001) del Dipartimento di Matematica ed Applicazioni, Università degli Studi di Palermo.

3) Gabriele A., Mignosi F., Restivo A. and Sciortino M., "Indexing structures for approximate string

matching" (Journal version), Preprint n.169 (Dicembre 2002) del Dipartimento di Matematica ed

Applicazioni, Università degli Studi di Palermo.

4) Mantaci S., Restivo A. and Sciortino M., "Burrows Wheeler Transform and Sturmian Words"

(Journal version), Preprint n.182 (Dicembre 2002) del Dipartimento di Matematica ed

Applicazioni, Università degli Studi di Palermo.

5) Giancarlo R. and Sciortino M., "Optimal Partitions of Strings: A New Class of Burrows-Wheeler

Compression Algorithms" (Journal version), Preprint n.185 (Gennaio 2003) del Dipartimento di

Matematica ed Applicazioni, Università degli Studi di Palermo.

6) P. Ferragina, R. Giancarlo, G. Manzini, M. Sciortino, “Boosting Textual Compression in Optimal

Linear Time”, Preprint n. 240 (Febbraio 2004) del Dipartimento di Matematica ed Applicazioni,

Universit`a degli Studi di Palermo.

7) Gabriele A., Mignosi F., Restivo A. and Sciortino M., " Approximate string matching: indexing

and the k-mismatch problem”, Preprint n. 244 (Marzo 2004) del Dipartimento di Matematica ed

Applicazioni, Università degli Studi di Palermo.

Comunicazioni: Settembre 1999: comunicazione al convegno WORDS, Rouen (Francia);

Novembre 1999: comunicazione al workshop relativo al Progetto M.U.R.S.T. (ex 40%) Modelli di Calcolo

Innovativi: Metodi Sintattici e Combinatori, Firenze;

Novembre 2000: comunicazione al workshop relativo al Progetto M.U.R.S.T. (ex 40%) Modelli di Calcolo

Innovativi: Metodi Sintattici e Combinatori, Milano;

Luglio 2001: comunicazione al convegno DLT’01, Development in Language Theory, Vienna;

Settembre 2001: comunicazione al convegno WORDS 2001, Palermo;

Febbraio 2003: comunicazione al Workshop del progetto COFIN Linguaggi Formali e Automi: teoria e

applicazioni, Palermo;

Maggio 2003: comunicazione al convegno CIAC 2003, 5th Conference on Algorithms and Complexity,

Roma;

Giugno 2003: comunicazione al convegno CPM 2003, Combinatorial Pattern Matching, Morelia (Mexico).

Settembre 2003: comunicazione al convegno WORDS 2003, Turku (Finland).

Settembre 2003: comunicazione al Workshop del progetto COFIN Linguaggi Formali e Automi: teoria e

applicazioni, Ravello.

c:rinnovo/2004SILVIA MUSUMECI (assegnista dell’Ateneo di Palermo):

Articoli in lingua straniera su riviste scientifiche ISI:“Imprimitive groups highly transitive on blocks” di Claudio Bartolone, Silvia Musumeci, Karl Strambach, in corso di pubblicazione su “Journal of Group Theory”.

Altri articoli su rivista:“Gruppi di permutazioni imprimitivi che agiscono con elevata transitività sui blocchi”, di Silvia Musumeci, Bollettino UMI, “La Matematica nella Società e nella Cultura” Serie VIII, Vol. 6-A, N. 2, Agosto 2003, 311-314.

Rapporti finali di ricerca pubblicati attraverso un ente e disponibili al pubblico: Preprint n. 69 del Dipartimento di Matematica ed Applicazioni dell’Università degli Studi di Palermo (1998) dal

titolo: “Group Representations: a geometrical approach I” di Karl Strambach, Silvia Musumeci, Claudio Bartolone.

Preprint n. 83 del Dipartimento di Matematica ed Applicazioni dell’Università degli Studi di Palermo (1999) dal titolo: “Group Representations: a geometrical approach II” di Karl Strambach, Silvia Musumeci, Claudio Bartolone.

Elenco delle comunicazioni a convegni:

“Strutture geometriche, Combinatoria e loro Applicazioni”, 25-27 febbraio 1999, Caserta.

“Fifth International Conference on Finite Fields and Applications”, 1-7 agosto 1999, Augsburg.

“Combinatorics 2000”, 28 maggio - 3 giugno 2000, Gaeta.

“Algebra and Discrete Mathematics’’, 18-23 agosto 2001, Hattingen.

“Arbeitstagung über Geometrie und Algebra’’, 18-22 febbraio 2002, Berlino.

MARIA STEFANIA BUCCELLATO (docente di ruolo di Matematica Applicata presso l'I.T.C.S. "Libero Grassi " di Palermo):

Pubblicazioni su riviste ISI:- S. Buccellato, Sistema di equazioni di un gas viscoso barotropico per il moto dell'atmosfera con la forza di

Coriolis, in corso di pubblicazione sul Bollettino UMI.

Pubblicazioni su riviste non ISI: - S. Buccellato, H. Fujita Yashima: Système d'equations d'un gaz visqueux modélisant l'atmosphère avec la

force de Coriolis et la stabilité de l'état d' équilibre. Ann. Univ. Ferrara-Sez.VII - Sc. Mat., Vol. IL, 127-159

(2003).

Rapporti finali di ricerca pubblicati attraverso un ente e disponibili al pubblico:- S. Buccellato, H. Fujita Yashima: Système d'equations d'un gaz visqueux modélisant l'atmosphère avec la

force de Coriolis et la stabilité de l' état d' équilibre. Quaderno Dip. Mat. Torino N. 31/2002.

-S. Buccellato, H. Fujita Yashima: Stabilité de l'état d'équilibre du système d'equations d'un gaz visqueux

barotropique dans le modèle de l'atmosphère. Quaderno Dip. Mat. Torino N. 1/2003.

c:rinnovo/2004- Preprint n. 209 del Dipartimento di Matematica ed Applicazioni dell’Università degli Studi di Palermo (2003)

dal titolo: “Stabilità di un sistema SIR stocastico” di S. Buccellato, E. Tornatore, P. Vetro.

- Preprint n. 234 del Dipartimento di Matematica ed Applicazioni dell’Università degli Studi di Palermo (2003)

dal titolo: “Equilibri in un gioco duopolio con attese adattative omogenee” di S. Buccellato, E. Tornatore, P.

Vetro.

Elenco delle comunicazioni a convegni:

“Sistema di equazioni di un gas viscoso barotropico per il moto dell'atmosfera con la forza di Coriolis” ,

Workshop on Navier-Stokes equations, Ferrara giugno 2000.

VINCENZO NARDOZZA (assegnista dell’Ateneo di Palermo):

Pubblicazioni su riviste ISI: O.M. Di Vincenzo, V.Nardozza; Graded Polynomial Identities for Tensor Products by the Grassmann Algebra,

Communications in Algebra, vol. 31, issue 3, pp. 1453 - 1474. O.M. Di Vinccenzo, V. Drensky, V. Nardozza; Subvarieties of the Varieties Generated by the Superalgebra

$M_{1,1}(E)$ or $M_2(\mathcal{K})$ ,Communications in Algebra, vol. 31, issue 1, pp. 437 - 461. F. Benanti, O. M. Di Vincenzo, V. Nardozza; $*$-Subvarieties of the Variety Generated by $(M_2(\K),t)$,

Canadian Journal of Mathematics, vol. 55, issue 1, pp. 42 - 63. O. M. Di Vincenzo, V. Nardozza; $\mathbb{Z}_{k+l}\times\mathbb{Z}_2$-Graded Polynomial Identities for

$M_{k,l}(E)\otimes E$, Rendiconti del Seminario Matematico dell'Università di Padova, vol. 108, pp. 27 - 39. Pubblicazioni su riviste non ISI: O.M. Di Vincenzo, V. Drensky, V. Nardozza; Algebras satisfying the poynomial identity $[x_1,x_2][x_3,x_4,x_5]$,

Journal of Algebra and Its Applications, Vol. 3, issue 2, pp. 1-22. O.M. Di Vincenzo, V. Drensky, V. Nardozza; Subvarieties of the Variety Generated by the $2 \times 2$ Matrix

Superalgebra, Comptes rendus de l'Académie bulgare des Sciences,vol. 54, issue 12.Pubblicazioni in atti di congressi:- V. Nardozza; Algebras with involution, superalgebras and proper subvarieties, "Polynomial Identities and

Combinatorial Methods", Lecture Notes in Pure and AppliedMathematics, Vol. 235, Dekker.

Comunicazioni:- Titolo della comunicazione: Proper subvarieties of $\mathfrak{M}_5$. Tenuta convegno Polynomial identities in

Algebras (Combinatorial Methods), Memorial University of Newfoundland, St. John's NF (Canada), August 29- September 3, 2002.

- Titolo della comunicazione: Subvarieties of the Varieties generated by the superalgebra $M_{1,1}(E)$ or $M_2(K)$. Tenuta al convegno Combinatorial Methods in PI-Theory, Pantelleria (Trapani), September 9-15, 2001.

FRANCESCO TSCHINKE (assegnista dell’Ateneo di Palermo):

Articoli in lingua straniera su riviste scientifiche ISI:

-"Multiplication of operators in rigged Hilbert spaces" di Camillo Trapani, Francesco Tschinke, in stampa su

Integral Equations and Operators Theory.

c:rinnovo/2004-"Partial *-algebras of distributions" di Camillo Trapani, Francesco Tschinke, in stampa su Publ. Res. Inst.

Math. Sci. Kyoto Univ.

- F. Tschinke “*-Algebre parziali di distribuzioni”, Bollettino UMI, “La Matematica nella Società e nella

Cultura” Serie VIII, Vol. VI-A, Agosto 2003, 331-334.

Articoli su altre riviste:

-“Convolutions generated by self-adjoint unbounded operators”, in stampa su Rendiconti del Circolo

Matematico di Palermo

Articoli in atti di congressi

-“Partial Multiplication of Operators in Rigged Hilbert spaces: motivations and main results”. In stampa su “6th International Conference of young mathematicians: Operator Theory''

Rapporti finali di ricerca pubblicati attraverso un ente e disponibili al pubblico

- Preprint n. 163, del Dipartimento di Matematica ed Applicazioni dell’Università degli Studi di Palermo

(Luglio 2002) dal titolo: “Some estimates of the norms of operators on scales of Hilbert spaces” di

F.Tschinke.

- Preprint n. 201, del Dipartimento di Matematica ed Applicazioni dell’Università degli Studi di Palermo

(Luglio 2003) dal titolo: “Unbounded C*-seminorms and biweights on partial *-algebras” di Camillo

Trapani, FrancescoTschinke, sottomesso a Studia Mathematica

Elenco delle comunicazioni a convegni.

25 Giugno 2003:Titolo: “Convolutions generated by self-adjoint unbounded operators". (International Conference on Operator Theory and Operator Algebras)

25 Settembre 2003: Titolo: “Partial Multiplication of Operators in Rigged Hilbert spaces: motivations and main results” (6th International Conference of young mathematicians: Operator Theory)

c:rinnovo/2004

Si allega:

- Relazione del Coordinatore sull'interesse scientifico-culturale del Dottorato- Delibera motivata della struttura scientifica sede del Dottorato (Dipartimento o Facoltà se il Corso viene

proposto da un Istituto)- Elenco lavori scientifici del Coordinatore e degli altri Docenti componenti il Collegio con riferimento agli

ultimi cinque anni- Dichiarazione sottoscritta da ogni singolo docente sulla non contestuale partecipazione ad altro collegio

docenti- Documentazione riguardo ai p. 2, p. 15 e p. 17 del progetto di rinnovo di dottorato.

Data ____________________

IL COORDINATORE

___________________________

^°^°^°^°^°^°^°^°^°^°^

Avvertenza - Usare le seguenti abbreviazioni:

U = Università F = Facoltà D = Dipartimento I = Istituto P.O. = Professore ordinario

P.S. = Professore straordinario P.A. = Professore Associato R.C. = Ricercatore Confermato