Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Formal verification and neural lossless compression

Description du projet

Deux nouveaux paradigmes de compression

Un sous-domaine particulier de l’apprentissage automatique s’intéresse aux algorithmes inspirés du cerveau. Il s’agit de l’apprentissage profond, qui est de plus en plus utilisé comme base pour les systèmes de compression de données. Les réseaux neuronaux participent à l’approche de l’apprentissage profond de l’IA. Avec le soutien du programme Actions Marie Skłodowska-Curie, le projet NNESCI explorera les algorithmes de compression parallèle permettant de compresser avec efficacité d’énormes quantités de données. Le projet développera en particulier deux nouveaux paradigmes de compression. Le premier reposera sur des modèles génératifs basés sur des convolutions 3D, appliqués aux images médicales. Le second est la compression de l’audio et de la vidéo à l’aide de modèles de variables latentes de séries temporelles. Le projet concevra également un langage spécifique au domaine.

Objectif

Techniques based on neural networks (NNs), the study of which is often referred to as ‘deep learning’, have recently been shown to be extremely effective as a basis for data compression systems. I will develop the new field of ‘neural compression’, which has emerged around these ideas, focussing primarily on lossless compression in the two directions which I believe are most important:

Scale: NNs go hand in hand with parallel hardware, and I will investigate new parallel compression algorithms for efficiently compressing huge quantities of data. Specifically, I will develop two entirely new compression paradigms: Firstly, compression of volumetric images using generative models based on 3D convolutions, applied to medical imaging, where teleradiology and new cloud-based analysis make the need for efficient compression particularly acute. And secondly, compression of audio and video using time-series latent variable models, known as ‘state space models’, which offer uniquely efficient utilization of parallel hardware.

Systems: I will research, design and implement a domain specific language (DSL) for concisely expressing codecs which are guaranteed to be lossless by construction. Until now, implementations of compression systems always separate the implementation of the encoder from the decoder, and rely on an ad-hoc debugging and testing process to ensure that data are recovered correctly. During my PhD, I discovered that it is sometimes possible for a computer to automatically convert an encoder function into a decoder, and vice versa, potentially halving the amount of code. I will explore the limits, in terms of flexibility and efficiency, of this novel idea, using insights from ‘automatic differentiation’, a related functional transformation, on which I am a leading expert.

Mots‑clés

Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).

Programme(s)

Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.

Thème(s)

Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.

Régime de financement

Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.

HORIZON-TMA-MSCA-PF-EF - HORIZON TMA MSCA Postdoctoral Fellowships - European Fellowships

Voir tous les projets financés dans le cadre de ce programme de financement

Appel à propositions

Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.

(s’ouvre dans une nouvelle fenêtre) HORIZON-MSCA-2021-PF-01

Voir tous les projets financés au titre de cet appel

Coordinateur

UNIVERSITEIT VAN AMSTERDAM
Contribution nette de l'UE

La contribution financière nette de l’UE est la somme d’argent que le participant reçoit, déduite de la contribution de l’UE versée à son tiers lié. Elle prend en compte la répartition de la contribution financière de l’UE entre les bénéficiaires directs du projet et d’autres types de participants, tels que les participants tiers.

€ 187 624,32
Coût total

Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.

Aucune donnée
Mon livret 0 0