Search
Now showing items 41-49 of 49
Gentleman : a lightweight web-based projectional editor
(2022-03-16)
Lors de la conception et la manipulation de logiciel par modélisation, il est avantageux de bénéficier d’un grand degré de liberté au niveau de la présentation afin de comprendre l’information et prendre une action en exerçant ...
Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
(2021-10-21)
La modularité est un enjeu important en programmation, surtout quand on l’enrichit avec des preuves, comme dans les langages avec des types dépendants. Typer est un tel langage, et afin d’augmenter sa modularité et de lui ...
Measuring RocksDB performance and adaptive sampling for model estimation
(2022-03-16)
This thesis focuses on two topics, namely statistical learning and the prediction of key performance indicators in the performance evaluation of a storage engine.
The part on statistical learning presents a novel ...
Deep neural networks for natural language processing and its acceleration
(2020-03-25)
Cette thèse par article comprend quatre articles qui contribuent au domaine de l'apprentissage profond, en particulier à l'accélération de l’apprentissage par le biais de réseaux à faible précision et à l'application de ...
Tailored deep learning techniques for information retrieval
(2022-03-16)
La recherche d'information vise à trouver des documents pertinents par rapport à une requête. Auparavant, de nombreux modèles traditionnels de la Recherche d'Informations ont été proposés. Ils essaient soit d'encoder la ...
Job dissatisfaction detection through progress note
(2022-03-16)
La détection d'insatisfaction basée sur les notes de progression rédigées par des soignants de la santé domestique attire de plus en plus d'attention en tant que méthode de sondage, ce qui aidera à réduire le taux de ...
Quasi second-order methods for PDE-constrained forward and inverse problems
(2021-11-23)
La conception assistée par ordinateur (CAO), les effets visuels, la robotique et de nombreux autres domaines tels que la biologie computationnelle, le génie aérospatial, etc. reposent sur la résolution de problèmes ...
Efficient frequency-space methods for light transport caching
(2021-11-17)
Le transport de la lumière permet de simuler physiquement le movement de photons dans
un environnement virtuel. En rendu d’images, la lumière se propage une dernière fois vers
un capteur virtuel la transformant en une ...
Accurate and efficient strategies for the appearance filtering of complex materials
(2020-03-25)
La synthèse d’images réalistes repose sur des modèles physiques décrivant les interactions
entre la lumière et les matériaux attachés aux objets dans une scène tridimensionnelle. Ces
modèles mathématiques sont complexes ...