Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tecniche di compilazione della conoscenza per il processamento efficiente e resiliente in sistemi in cui la sicurezza è critica |
|---|---|
| Titolo del progetto di ricerca in inglese | Knowledge compilation methodology to efficient and resilient data processing in safety critical systems |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Other |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | La resilienza di sistemi safety-critical dipende in modo cruciale dal loro tempo di risposta. Se i dati non sono rappresentati nel formato corretto, la risposta potrebbe richiedere tempi proibitivi. In questo ambito, sono importanti gli algoritmi di trasformazione di “knowledge compilation”, dove la scelta dell’algoritmo opportuno dipende dal formato iniziale dei dati e dal tipo di interrogazioni a cui occorre rispondere in tempo reale. Questo progetto intende studiare nuovi algoritmi per il processamento di interrogazioni complesse in modo efficiente, in presenza di vincoli sui dati. Tali algoritmi dovranno fare affidamento su una fase di pre-elaborazione che sia "su misura" sia rispetto ai vincoli che al linguaggio di interrogazione. Gli algoritmi saranno valutati sia in termini di complessità asintotica che in termini di efficienza sperimentale misurata su casi reali. |
| Descrizione sintetica in inglese | The resilience of safety-critical systems critically depends on their response time. If data are not represented in the correct format, the response may take prohibitively long. In this area, "knowledge compilation" transformation algorithms are important, where the choice of the appropriate algorithm depends on the initial data format and the type of queries that need to be answered in real time. This project aims to study new algorithms for processing complex queries efficiently in the presence of data constraints. Such algorithms will have to rely on a pre-processing phase that is "tailored" with respect to both the constraints and the query language. The algorithms will be evaluated both in terms of asymptotic complexity and in terms of experimental efficiency measured on real cases |
| Data del bando | 17/06/2024 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 33000 |
| Periodicità | 17 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.unina.it/assegni_ricerca |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Nome dell'Ente finanziatore | Università degli Studi di Napoli - Federico II Department of Electrical and ICT Engineering |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Napoli |
| Codice postale | 80125 |
| Indirizzo | via Claudio 21 |
| Sito web | http://www.unina.it - www.dieti.unina.it |
| sole@unina.it | |
| Telefono | 0817683216 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 08/07/2024 - alle ore 00:00 |
|---|---|
| Come candidarsi | partecipazionebandi.dieti@unina.it |