Qui di seguito trovate l'elenco dei seminari in programma nel futuro e di quelli già tenutisi, eventualmente con le slides da scaricare.
|
SEMINARI MM2 |
| I seminari MM2 sono organizzati dal gruppo di ricerca di Informatica del Dipartimento di Matematica ed Informatica dell'Università degli studi di Trieste. Qui di seguito trovate l'elenco dei seminari in programma nel futuro e di quelli già tenutisi, eventualmente con le slides da scaricare. |
|
| SEMINARI IN ARRIVO |
| Nessun seminario è in programma al momento |
| SEMINARI PASSATI |
| Mar 9, 2010, Tue - 11:00 |
| Aula Seminari DMI, 3° piano, edificio H2-bis |
| Francesco Vezzi - University of Udine |
| "rNA (randomized Numerical Aligner): a new string aligner" |
| We present a new string aligner designed to search short strings (100-150 bp) produced by Next Generation Sequencer inside text of size greater then 500MB. In particular the presentation is focused on some implementation issues. |
| Mar 9, 2010, Tue - 10:00 |
| Aula Seminari DMI, 3° piano, edificio H2-bis |
| Alexandru Tomescu - University of Udine |
| "String matching with errors - A numerical approach" |
| We present a generalization of the classical Rabin-Karp string matching algorithm to solve the k-mismatch problem, with average complexity O(n + m). To this aim, we exploit the properties of a hash function of the type h(X) = x mod 2^w - 1, under the Hamming distance. References: http://sole.dimi.uniud.it/~alexandru.tomescu/rNA-ext.pdf |
| Sep 2, 2009, Wed - 10:00 |
| Aula 3B, edificio H2-bis |
| Martin Davis - Professor Emeritus Courant Institute, NYU; Visiting Scholar UC Berkeley |
| "Is there Reason to Believe P/=NP? " |
| Jan 28, 2009, Wed - 16:00 |
| Aula Seminari DMI, 3° piano, edificio H2-bis |
| Alberto Casagrande - Dipartimento di Matematica ed Informatica, Università di Trieste |
| "Automi ibridi: un'introduzione" |
| Gli automi ibridi servono ad affrontare le situazioni che non sono gestibili ne' da modelli puramente discreti, ne' da modelli puramente continui. Tali situazioni si incontrano nei campi di applicazione piu' svariati, e in particolare nella biomatematica, nella bioinformatica e nell'ingegneria dei controlli. Negli ultimi anni l'interesse di ricerca nell'argomento e' andato progressivamente aumentando. Gli strumenti tradizionali che vengono ibridizzati riguardono sia gli automi a stati finiti sia le equazioni differenziali. |
| Oct 23, 2008, Thu - 16:00 |
| Aula Seminari DMI, 3° piano, edificio H2-bis |
| Sergio Invernizzi - Dipartimento di Scienze della Vita, Università di Trieste |
| "Numeri reali: c'è ancora qualcosa da dire? " |
| Il seminario confronta le principali classiche costruzioni dei numeri reali (Méray-Cantor, Dedekind; 1872) con la impostazione meta-assiomatica di Hilbert (1900). Si mostra come le note difficoltà nelle odierne introduzioni didattiche dei numeri reali a livello universitario derivino spesso da implicite mutue "contaminazioni" fra le due impostazioni e si suggerisce come queste possano essere eliminate. Si discutono infine alcune difficoltà tipiche della comprensione dei numeri reali (teorema di Turing, paradosso di Richard), anche in riferimento alle scienze cognitive (embodied cognition). |
| Jun 18, 2008, Wed - 16:00 |
| Aula Seminari DMI, 3° piano, edificio H2-bis |
| Massimo Borelli - Università di Trieste |
| "Modelli misti in biostatistica" |
| In questo seminario verranno illustrati in maniera informale cosa siano e a che cosa possano servire i "mixed models" (che nella statistica delle scienze sociali sono conosciuti anche con i termini di "multilevel analysis" o "hierarchical regression"), commentandoli con qualche esempio tratto dai manuali classici e da un lavoro in corso d'opera in collaborazione con l'anestesista Umberto Lucangelo. |
| May 13, 2008, Tue - 16:00 |
| Aula 3B, edificio H2-bis |
| Francesco Fabris - Università di Trieste |
| "Distanze biologiche e classificazione delle proteine (parte seconda)" |
| Quando si confrontano due proteine, non è sempre facile stabilire una loro possibile correlazione filogenetica basandosi unicamente sulle sequenze di aminoacidi associate alle stesse. Anche i migliori algoritmi di allineamento (BLAST) non sono spesso in grado di stabilire con certezza la presenza di una correlazione debole. Nel seminario si illustrerà una tecnica recente di rilettura dello "score" ottenuto con BLAST, basata su una manipolazione matematica dello stesso, che fornisce ulteriori informazioni di carattere biologico utili a definire la possibile correlazione debole. Si mostrerà inoltre come tale rilettura consenta di caratterizzare le famiglie proteiche, così come classificate dalla banca dati SCOP, mediante l'uso di una coppia di parametri molto significativi sul piano biologico. |
| Scarica le slides di questo seminario |
| May 7, 2008, Wed - 16:00 |
| Aula 3B, edificio H2-bis |
| Francesco Fabris - Università di Trieste |
| "Distanze biologiche e classificazione delle proteine (parte prima)" |
| Quando si confrontano due proteine, non è sempre facile stabilire una loro possibile correlazione filogenetica basandosi unicamente sulle sequenze di aminoacidi associate alle stesse. Anche i migliori algoritmi di allineamento (BLAST) non sono spesso in grado di stabilire con certezza la presenza di una correlazione debole. Nel seminario si illustrerà una tecnica recente di rilettura dello "score" ottenuto con BLAST, basata su una manipolazione matematica dello stesso, che fornisce ulteriori informazioni di carattere biologico utili a definire la possibile correlazione debole. Si mostrerà inoltre come tale rilettura consenta di caratterizzare le famiglie proteiche, così come classificate dalla banca dati SCOP, mediante l'uso di una coppia di parametri molto significativi sul piano biologico. |
| Scarica le slides di questo seminario |
| Apr 30, 2008, Wed - 16:00 |
| Aula Seminari DMI, 3° piano, edificio H2-bis |
| Alberto Policriti - Università di Udine |
| "Next-generation sequencing and alignments" |
| In questo seminario si discuterà dei problemi matematici e informatici che le nuove tecnologie per il sequenziamento presentano. |
| Scarica le slides di questo seminario |
| Apr 23, 2008, Wed - 16:00 |
| Aula 3B, edificio H2-bis |
| Andrea Sgarro - Università di Trieste |
| "Distanze più o meno metriche, parte seconda " |
| In questo seminario discuteremo di distanze con applicazioni alla linguistica computazionale e alla bioinformatica. |
| Apr 16, 2008, Wed - 16:00 |
| Aula 3B, edificio H2-bis |
| Andrea Sgarro - Università di Trieste |
| "Distanze più o meno metriche, parte prima" |
| In questo seminario si discuterà sulle diverse formalizzazioni della nozione di distanza, andando poi ad analizzare alcune distanze che vengono utilizzate in biologia ed in linguistica computazionale. |
| Dec 12, 2007, Wed - 16:00 |
| Aula 4C, edificio H2-bis |
| Sergio Invernizzi - Università di Trieste |
| "Ottimizzazione euristica ed ottimizzazione mista di portafogli in investimenti passivi " |
| VErrà presentato un lavoro che utlizza metodi innovativi di ottimizzazione per ottimizzare un portafoglio in un investimento passivo. |
| Nov 28, 2007, Wed - 16:00 |
| Aula Seminari DMI, 3° piano, edificio H2-bis |
| Luca Bortolussi - Università di Trieste |
| "DISTANZA EVOLUTIVE: ricostruire al filogenesi" |
| Il seminario prosegue quello di due settimane fa. In questa seconda parte, vedremo come ricostruire la genealogia evolutiva tra specie quando le distanze tra coppie sono note. Faremo una carellata sulle ipotesi matematiche e le tecniche algoritmiche usate a tal fine. |
| Scarica le slides di questo seminario |
| Nov 14, 2007, Wed - 16:00 |
| Aula Seminari DMI, 3° piano, edificio H2-bis |
| Luca Bortolussi - Università di Trieste |
| "DISTANZA EVOLUTIVE: dalle stringhe agli alberi" |
| Ai giorni nostri l'informazione è memorizzata principalmente sotto forma di stringhe: immagini, suoni, testi sono rappresentati come sequenze di bit. D'altra parte, questo stratagemma è antico come l'uomo, anzi molto di più: l'informazione biologica, infatti, è memorizzata nel DNA, un'enorme stringa molecolare. Ma il DNA è un'entità dinamica, che cambia nel tempo rispondendo agli stimoli ambientali. In altre parole, il DNA evolve. La distanza tra due sequenze di DNA (funzionalmente collegate), dunque, ci può dire molto sulla distanza tra le corrispondenti specie, permettendo di inferire persino la loro storia evolutiva. Per fare ciò, però, è necessario adattare al processo evolutivo le classiche distanze su stringhe. |
| Scarica le slides di questo seminario |
| Oct 24, 2007, Wed - 16:00 |
| Aula Seminari DMI, 3° piano, edificio H2-bis |
| Eugenio Omodeo - Università di Trieste |
| "Il Sistema Aetna per la verifica automatica delle dimostrazioni" |
| Verrà introdotto il Sistema Aetna, un verificatore automatico di dimostrazioni, realizzato in collaborazione con la New York University. |
| Webmaster: Luca Bortolussi | Login as administrator |