Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Modellazione e Analisi di Sistemi Complessi Multilivello |
|---|---|
| Titolo del progetto di ricerca in inglese | Modelling and Analysis of Multilevel Complex Systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Studiare i formalismi adatti a rappresentare sistemi complessi naturali (biologici) o artificiali (hardware e software) in almeno due livelli: un livello di coordinazione e un livello di interazione. I modelli dovranno essere derivati da informazioni descrittive dei sistemi in studio, quali dati, tracce, altri modelli astratti disponibili ecc. Definire un modello/linguaggio unificato multilivello a partire dai due livelli, studiarne le proprietà formali e le tecniche di verifica applicabili. Tale modello dovrà avere caratteristiche di autonomicità e/o adattività. L’interazione con studiosi di sistemi fisici e/o biologici farà da guida nella definizione del modello e fornirà casi di studio specifici su cui testare le capacità espressive e analitiche dello stesso. |
| Descrizione sintetica in inglese | Study the formalisms suitable to represent complex systems, natural (biological) or artificial (hardware and software) systems, represented by at least two levels: coordination level and interaction level. The main features of models will be derived by analysing the real systems under study, such as data, tracks, simmetries, etc. and other abstract models available in literature. Define a unified multilevel model with related specification language, starting from 2-levels model. Studying their properties and developing suitable techniques for applying formal verification. This model should have characteristics of autonomicità and/or adaptivity. The interaction with students of physics, mathematics and biology will guide the definition of the model also through the analysis of specific case studies, on which to test the expressive capabilities and analytical thereof. |
| Data del bando | 08/07/2014 |
| Numero di assegnazioni per anno | 1 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.unicam.it/servizi_online/cerca_bandi.asp |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Importo annuale | 35.000 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Massima durata dell'assegno (mesi) | 12 |
| Nome dell'Ente finanziatore | Unione Europea |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Belgium |
| Lingua | Other |
| Città | Bruxelles |
| Sito web | http.//cordis.europa.eu/projects |
| laura.lesti@unicam.it | |
| annamaria.antonini@unicam.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 11/08/2014 |
|---|---|
| Come candidarsi | Other |