Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Teorie dei linguaggi e combinatoria applicate a protocolli e alla compressione |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal languages and combinatorics applied to protocols and data compression |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Questo progetto di ricerca riguarda tecniche di teoria dei linguaggi formali e combinatoria applicate allo studio di protocolli e alla compressione dati. Relativamente ai protocolli si vogliono usare formalismi e risultati delle teorie classiche dei trasduttori e dei linguaggi traccia (di Mazurkiewicz) nello studio e creazione di mediatori di protocolli. Relativamente alla compressione dati, in questo progetto di ricerca si vuole analizzare gli effetti dell’uso di parsing ottimali all’interno dei famosi e classici algoritmi LZ77 e LZ78. In teoria, i tassi di compressione di LZ77 sono inferiori a quelli di LZ78 ma in pratica accade l’inverso. L’utilizzo di parsing ottimali è la probabile causa della precedentemente descritta discrasia tra teoria e pratica. In entrambi i casi lo scopo di questa ricerca è di studiare e definire le frontiere di applicabilità di mediatori in un caso e di algoritmi di compressione dati nell’altro. |
| Descrizione sintetica in inglese | This research project concern the use of techniques of formal languages theory and combinatorial theory applied to the study of protocols and data compression. With regard to the protocols, we want to use formalisms and results of the classical transducers theory and Mazurkiewicz trace languages in the study and creation of protocols mediators. Concerning data compression, in this research project we want to analyze the effect of using an optimal parsing within the classical and famous algorithms LZ77 and LZ78. From a theorethical point of view, LZ78 have a better compression rate than LZ77, but in practice the reverse happens. The use of an optimal parsing is probably the cause of the previously described discrepancy between theory and practice. In both cases the aim of this research is to study and to asses the boundaries of applicability of mediators in one case and of data compression algorithm in the other. |
| Data del bando | 19/12/2016 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23.500 |
| Periodicità | 1 |
| 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.univaq.it |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 23.500 |
| 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 dell'Aquila |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | L'Aquila |
| Codice postale | 67100 |
| Indirizzo | via Vetoio snc |
| Sito web | http://www.univaq.it |
| disim.sac@strutture.univaq.it | |
| Telefono | 0862433122 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 02/02/2017 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |