IIT Home Page CNR Home Page

Algorithmics

Tematiche di ricerca

Algoritmi e matematica computazionale

La risoluzione di problemi complessi che sorgono in ambiti applicativi di attualità, quali quelli provenienti da simulazioni di tipo economico e la gestione di informazioni su Web o di dati biologici, richiede un notevole sforzo computazionale. Lo sviluppo di risorse hardware sempre più potenti deve essere necessariamente affiancato  dalla progettazione di algoritmi efficienti.

Attività

Algoritmica per reti wireless

L’attività di ricerca è rivolta allo studio, sia teorico che tramite simulazione, di alcune proprietà fondamentali delle reti wireless quali connettività, interferenza radio, tempo di vita della rete, distribuzione spaziale dei nodi in presenza di mobilità, propagazione di messaggi safety-critical nelle reti veicolari. In questo ambito si fa uso di modelli relativamente semplificati, ma in ogni caso sufficientemente realistici, per poter studiare analiticamente i tradeoff fondamentali delle proprietà considerate.
 
Più informazioni su:
WiNeMA - Wireless Network Models and Algorithms

 

Algoritmica per tecnologie web

Le competenze acquisite nel disegno e nell’analisi di algoritmi, in teoria dei grafi ed in information retrieval sono applicate al miglioramento delle tecnologie per il World Wide Web. La natura distribuita di Internet e delle applicazioni che si appoggiano ad essa fa si che i grafi rappresentino una struttura matematica che naturalmente permette di astrarre dai dettagli di basso livello dei singoli nodi e singoli protocolli per concentrare l'attenzione su poche caratteristiche che coinvolgono fenomeni di natura globale.

Biologia computazionale

L’attività di ricerca ha come obiettivo lo sviluppo di algoritmi efficienti e scalabili per l’analisi di dati biologici e genomici per derivare conoscenza di alta qualità e in tempi brevi in vari ambiti (estrazione di motif semplici e strutturati, identificazione ed estrazione di tandem repeat, analisi di dati di espressione genica da microarray, analisi di aplotipi). Questa attività di ricerca è inoltre volta a sviluppare strumenti per la visualizzazione e l’analisi di dati biologici grezzi ed elaborati.

Divulgazione scientifica

Economia computazionale

Questo ambito di ricerca, sviluppatosi negli ultimi anni grazie anche al rafforzamento del legame tra algoritmica, teoria dei giochi ed economia, si articola nelle seguenti tematiche: utilizzo di tecniche e concetti importati dalla Game Theory e dal Mechanism Design per lo sviluppo e l'analisi di protocolli distribuiti quando i nodi della rete agiscono in maniera strategica (sono cioè guidati da interessi puramente economici); esistenza e calcolo di equilibri per giochi e mercati; modelli e algoritmi per “ On-line Ad-Words auctions “ (cioè per i mercati delle

Metodi numerici per problemi di grandi dimensioni

In questo ambito l'attività di ricerca è prevalentemente di base.

Persone

Alessio Vecchio

Foto di Alessio Vecchio

Bruno Codenotti

Foto di Bruno Codenotti

Filippo Geraci

Foto di Filippo Geraci

Francesca Martelli

Foto di Francesca Martelli

Giovanni Manzini

Foto di Giovanni Manzini

Giovanni Resta

Foto di Giovanni Resta

Marco Pellegrini

Foto di Marco Pellegrini

Maria Elena Renda

Foto di Maria Elena Renda

Mauro Leoncini

Foto di Mauro Leoncini

Miriam Baglioni

Foto di Miriam Baglioni

Paola Favati

Foto di Paola Favati

Paolo Santi

Foto di Paolo Santi

Vanessa Gardellin

Foto di Vanessa Gardellin

Progetti

Aspetti Computazionali e di Teoria dei Giochi in Reti Non-Coordinate (COGENT)

Progetto di Ricerca di Interesse nazionale (Bando PRIN 2008), approvato dal MIUR con Decreto Ministeriale del 20 gennaio 2010, prot. n. 3 /Ric./2010.

Home Page Progetto

IPERMOB - Infrastruttura Pervasiva Eterogenea Real-time per il controllo della Mobilitá

Nell’ambito dei “Sistemi di Trasporto Intelligenti”, si propone IPERMOB, un sistema informativo multi-tier per il monitoraggio e la gestione della mobilità urbana.

 

MimoNet

Il progetto MimoNet ha lo scopo di sviluppare strumenti e tecniche per l'esplorazione network-level della tecnologia MINO (Multiple Input Multiple Output). In particolare MimoNet ha come target uno specifico tipo di reti: lewireless mesh networks.

Progetto MimoNet Home Page

Virtual Physiological Human Network of Excellence (VPH NoE)

Il progetto VPH ha lo scopo di supportare e far progredire la ricerca europea nella modellazione e simulazione biomedica del corpo umano. Questo permetterà di predirre, diagnosticare e trattare efficacemente le malattie, con un notevole impato sul futuro dell'industria farmaceutica e delle apparecchiature mediche.

Pubblicazioni e prodotti editoriali

Ab initio detection of fuzzy amino acid tandem repeats in protein sequences

A Measurement-based Study of Beaconing Performance in IEEE 802.11p Vehicular Networks

A Measurement-based Study of Beaconing Performance in IEEE 802.11p Vehicular Networks

An Efficient Combinatorial Approach for Solving the DNA Motif Finding Problem

A Personalized Collaborative Digital Library Environment: a model and an Application

A Personalized Information Search Assistant

Automatic Structured Query Transformation Over Distributed Digital Libraries

Detecting Fuzzy Amino Acid Tandem Repeats in Protein Sequences

Enabling Efficient Peer-to-Peer Resource Sharing in Wireless Mesh Networks

Evaluating Load Balancing in Peer-to-Peer Resource Sharing Algorithms for Wireless Mesh Networks

Evaluating Load Balancing in Peer-to-Peer Resource Sharing Algorithms for Wireless Mesh Networks

FPF-SB: a Scalable Algorithm for Microarray Gene Expression Data Clustering

K-Boost: A Scalable Algorithm for High-Quality Clustering of Microarray Gene Expression Data

Load Balancing Hashing for Geographic Hash Tables

Load Balancing Hashing for Geographic Hash Tables

Measuring IEEE 802.11p Performance for Active Safety Applications in Cooperative Vehicular Systems

Measuring IEEE 802.11p Performance for Active Safety Applications in Cooperative Vehicular Systems

Measuring VoIP performance in IEEE 802.11p Vehicular Networks

MeshChord: A Location-Aware, Cross-Layer Specialization of Chord for Wireless Mesh Networks

MeshChord: A Location-Aware, Cross-Layer Specialization of Chord for Wireless Mesh Networks.

OO3-1,2,3: Dispositivo prototipale

OO3–3.3-6: Scelta della tecnologia di comunicazione radio per la rete veicolare sulla base di test sul campo

OO3-3.5: Relazione finale

Personalized Information Search and Retrieval Through a Desktop Application

Personalized Information Search and Retrieval Through a Desktop Application

P I S A: A Personalized Information Search Assistant

Poster del Workshop BINET 2012 - Business Intelligence & Network Analysis

Proceedings of the VIII Annual Meeting of the Bioinformatics Italian Society

Programma Workshop BINET 2012 - Business Intelligence & Network Analysis

Tandem Repeats Discovery Service (TReaDS) applied to finding novel Cis-acting factors in Repeat Expansion Diseases

The IPERMOB System for Effective Real-Time Road Travel Time Measurement and Prediction

TReaDS: Tandem Repeats Discovery Service

TRStalker: an Efficient Heuristic for Finding Fuzzy Tandem Repeats

TRStalker: an Efficient Heuristic for Finding NP-Complete Tandem Repeats