Formazione
  • Tesi di Laurea Presso lo IASI potranno essere svolte tesi di Laurea da parte di studenti dell'Università di Roma "La Sapienza", Università di Roma "Tor Vergata", Università di Roma Tre e Università de L'Aquila. I ricercatori dello IASI si preoccuperanno di contattare i docenti delle diverse Università per concordare le modalità di svolgimento della tesi.
  • Tirocini per Laurea breve Lo IASI ha formalizzato delle convenzioni con le Università di Roma "La Sapienza", Roma Tre e la facoltà di Ingegneria di Roma Tor Vergata per lo svolgimento del tirocinio previsto per il conseguimento della laurea triennale. Lo IASI è disponibile a seguire studenti laureati in Ingegneria dell'Informazione, Matematica, Fisica, Scienze dell'Informazione.
  • Argomenti per Tesi e Tirocinii
    • Teoria dei Sistemi e del controllo
      • Ricostruzione dello stato di sistemi lineari e non lineari (caso deterministico e caso stocastico);
      • Identificazione dei modelli;
      • Modellistica del sistema glucosio-insulina;
      • Metodi per l'analisi, il controllo e l'identificazione dei sistemi;
      • Systems biology
    • Programmazione Matematica e Ricerca Operativa
      • Algoritmi per la programmazione lineare strutturata
      • Modelli e algoritmi per la gestione di centrali elettriche in regime di libero mercato
    • Modellistica Matematica in Biologia e Medicina
      • Formulazione e simulazione di modelli matematici nei seguenti campi:
        • Dinamica di popolazioni cellulari
        • Crescita tumorale e risposta al trattamento
        • Sistema glucosio, acidi grassi, insulina
    • Sistemi informativi e basi di conoscenza
      • Rappresentazione e gestione della conoscenza
      • Web Semantico
      • Ontologie formali
      • Interoperabilità tra database eterogenei
      • Simulazione di processi orientata all'ottimizzazione di tempi di attraversamento e/o dell'impiego delle risorse
      • Utilizzo di U.M.L. per la progettazione del software
      • Studio di strumenti per l'automazione della rilevazione sul campo dei processi di business, integrando l'utilizzo di questionari e interviste con i dati tratti dai sistemi
      • Automated verification of concurrent and distributed systems legacy o dagli altri sistemi informativi aziendali
      • La metodologia di Scheer per il Business Modeling
      • Linguaggi di interrogazione avanzati (pittoriali)
      • Sintassi e semantica di operatori per dati geografici
      • Basi di dati multidimensionali
    • Logica e teoria della programmazione
      • Dimostrazione automatica di teoremi
      • Programmazione logica con vincoli
      • Sintesi e trasformazione del software
      • Verifica automatica di sistemi concorrenti e distribuiti
    • Matematica discreta
    • Biologia Computazionale
      • data mining di dati biologici (DNA, microarrays, proteine)
      • confronto strutturale di proteine
      • modelli a variabili intere per l'analisi di aplotipi e genotipi
      • systems biology

    Altre tematiche potranno essere concordate

    Per informazioni telefonare a Paola Bertolazzi

  • Borse di Dottorato
  • Borse di Studio
  • Assegni di ricerca
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -