Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001)
- Type
- Modulo (Classe)
- Label
- Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001) (literal)
- Prodotto
- Constraint-based methods for scheduling discretionary services (Articolo in rivista) (Prodotto della ricerca)
- Solving Job Shop Scheduling with Setup Times through Constraint-based Iterative Sampling: an Experimental Analysis (Articolo in rivista) (Prodotto della ricerca)
- Iterative Flattening Search on RCPSP/max Problems: Recent Developments (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Iterative Flattening Search for Resource Constrained Scheduling (Articolo in rivista) (Prodotto della ricerca)
- Combining Variants of Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Knowledge Engineering: Practice and Patterns (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Flexible Timeline-Based Plan Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Hybrid Variants for Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Codice
- INT.P02.013.001 (literal)
- Anno di chiusura previsto
- 2016-01-01T00:00:00+01:00 (literal)
- Istituto esecutore
- Abstract
- La Bioinformatica è un settore di confine tra le discipline biologiche e l'informatica. Generalmente un'applicazione di Bioinformatica gestisce grandi quantità di dati e utilizza un insieme di algoritmi complessi. Tali algoritmi richiedono enormi risorse di calcolo e possono essere modellati come una rete di attività o workflow. Questo modulo ha l'obiettivo di proporre conoscenze innovative per la generazione e la gestione di workflow orientati alle applicazione di Bioinformatica per il Grid. Le attività di ricerca saranno da una parte finalizzate alla realizzazione di un'ontologia integrata, sia per la modellazione di concetti legati alle discipline biologiche che per gli algoritmi di bioinformatica di base. Dall'altra, in virtù della corrispondenza tra problemi di Planning e Scheduling e problemi di composizione e gestione di servizi sul Grid, di definire un insieme di metodologie per contribuire alla sintesi automatica di workflow. Le attività di ricerca saranno principalmente condotte mediante lo studio e la realizzazione prototipale di servizi di workflow management intelligente basato su tecnologia a vincoli per la soluzione di problemi di Planning e Scheduling. (literal)
- Nome
- Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (literal)
- Descrizione
- Descrizione collaborazioni del modulo "Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001)" (Descrizione collaborazioni)
- Descrizione dello stato di avanzamento delle attività del modulo "Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001)" (Descrizione stato avanzamento attività)
- Descrizione del modulo "Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001)" (Descrizione modulo)
- Modulo di
- Gestore
- ANGELO ODDI (Persona)
Incoming links:
- Prodotto di
- Flexible Timeline-Based Plan Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Combining Variants of Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Iterative Flattening Search for Resource Constrained Scheduling (Articolo in rivista) (Prodotto della ricerca)
- Hybrid Variants for Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Knowledge Engineering: Practice and Patterns (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Iterative Flattening Search on RCPSP/max Problems: Recent Developments (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Solving Job Shop Scheduling with Setup Times through Constraint-based Iterative Sampling: an Experimental Analysis (Articolo in rivista) (Prodotto della ricerca)
- Constraint-based methods for scheduling discretionary services (Articolo in rivista) (Prodotto della ricerca)
- Gestore di
- ANGELO ODDI (Persona)
- Istituto esecutore di
- Modulo
- Descrizione di
- Descrizione collaborazioni del modulo "Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001)" (Descrizione collaborazioni)
- Descrizione dello stato di avanzamento delle attività del modulo "Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001)" (Descrizione stato avanzamento attività)
- Descrizione del modulo "Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001)" (Descrizione modulo)
