|
|
 | Progetti COFIN |  |
Aspetti costruttivi e applicativi di nuovi spazi funzionali
|
| Anno
|
2003
|
| Titolo della ricerca dell’Unità di Siena
|
Sviluppo ed analisi di funzioni per l'approssimazione vincolata di curve e superfici
|
| Coordinatore Nazionale
|
prof. Laura Gori
|
| Responsabile locale
|
Paolo Costantini
|
| Tema del Progetto
|
Sulla base dell'esperienza acquisita negli anni passati si intendono sviluppare i
seguenti argomenti.
1) Spazi di funzioni splines polinomiali di grado variabile
Recentemente molti autori hanno dedicato una notevole attenzione
al problema dell'interpolazione shape-preserving di curve nello
spazio...
(continua)
|
| Partecipanti locali
|
Francesca Pelosi
Maria Lucia Sampoli
|
Linguaggi Formali e Automi: Metodi, Modelli e Applicazioni
|
| Anno
|
2003
|
| Titolo della ricerca dell’Unità di Siena
|
Metodi per la Tomografia Discreta e la Bioinformatica
|
| Coordinatore Nazionale
|
prof. Antonio Restivo
|
| Responsabile locale
|
Elena Lodi
|
| Tema del Progetto
|
Questo progetto si articola principalmente lungo due
linee di ricerca:
1.bioinformatica;
2.tomografia discreta.
Queste due aree di ricerca sono collegate tra loro dallo studio dei problemi
inversi combinatori mediante l'uso di strutture discrete (stringhe, matrici,
alberi e grafi) e tecniche...
(continua)
|
| Partecipanti locali
|
Sara Brunetti
Andrea Frosini
Claudio Marini
Simone Rinaldi
Elisa Benedetta Primavera Tiezzi
|
Il ragionamento in condizioni di incertezza: fondamenti algebrici e nuove prospettive.
|
| Anno
|
2002
|
| Titolo della ricerca dell’Unità di Siena
|
Metodologie algebriche, ricorsive e combinatorie in Logica e teoria della Dimostrazione
|
| Coordinatore Nazionale
|
prof. Franco Montagna
|
| Responsabile locale
|
Franco Montagna
|
| Tema del Progetto
|
Dall'ampliamento delle conoscenze in seguito alle ricerche svolte nell'ambito del precedente progetto: 'Metodi logici, algebrici ed algoritmici nel trattamento dell'informazione incerta', è emersa l'esigenza sia di un approfondimento di vecchi problemi, soprattutto nell'ambito della teoria delle MV algebre,...
(continua)
|
| Partecipanti locali
|
-
|
Storia delle scienze matematiche
|
| Anno
|
2001
|
| Titolo della ricerca dell’Unità di Siena
|
Storia dell'algebra e della geometria medioevali e moderne. Storia dell'aritmetica pratica.
|
| Coordinatore Nazionale
|
prof. Enrico Giusti
|
| Responsabile locale
|
Raffaella Franci
|
| Tema del Progetto
|
L'unità di ricerca intende trascrivere e studiare alcuni codici medioevali di aritmetica, algebra e geometria. Per quanto riguarda l'algebra si intende trascrivere e studiare il codice I.VII.17 della biblioteca Comunale di Siena, per la geometria il codice Pal.577 della Biblioteca nazionale di Firenze...
(continua)
|
| Partecipanti locali
|
Paolo Pagli
Laura Toti Rigatelli
|
Metodi logici, algoritmici e algebrici per il trattamento dell'informazione incerta
|
| Anno
|
2000
|
| Titolo della ricerca dell’Unità di Siena
|
Aspetti algebrici delle logiche per il trattamento dell'incertezza.
|
| Coordinatore Nazionale
|
prof. Franco Montagna
|
| Responsabile locale
|
Franco Montagna
|
| Tema del Progetto
|
In vari campi dell'informatica (programmazione logica, rappresentazione della conoscenza, teoria dei codici correttori di errori, soft computing) è emersa l'esigenza di approfondire metodologie per il trattamento dell'informazione incerta. Tale esigenza ha diverse motivazioni: ad esempio, l'informazione...
(continua)
|
| Partecipanti locali
|
Paolo Agliano'
Fabio Bellissima
|
|
