Recherche
Voici les éléments 31-40 de 57
Hybrid and data-driven methods for efficient and realistic particle-based liquid simulations
(2022-03-16)
L’approximation de phénomènes physiques, tels qu’une simulation de liquides en informatique graphique, requiert l’utilisation de méthodes complexes nécessitant des temps de calcul et une quantité de mémoire importants. ...
Automates à contraintes semilinéaires = Automata with a semilinear constraint
(2013-09-03)
Cette thèse présente une étude dans divers domaines de l'informatique
théorique de modèles de calculs combinant automates finis et contraintes
arithmétiques. Nous nous intéressons aux questions de décidabilité,
d'expressivité ...
Reliable Message Dissemination in Mobile Vehicular Networks
(2017-09-27)
Les réseaux véhiculaires accueillent une multitude d’applications d’info-divertissement et de sécurité. Les applications de sécurité visent à améliorer la sécurité sur les routes (éviter les accidents), tandis que les ...
Mobile data and computation offloading in mobile cloud computing
(2019-10-30)
Le trafic mobile augmente considérablement en raison de la popularité des appareils mobiles et des applications mobiles. Le déchargement de données mobiles est une solution permettant de réduire la congestion du réseau ...
Randomized Quasi-Monte Carlo Methods for Density Estimation and Simulation of Markov Chains
(2021-07-14)
La méthode Quasi-Monte Carlo Randomisé (RQMC) est souvent utilisée pour estimer une intégrale sur le cube unitaire (0,1)^s de dimension s. Cette intégrale est interprétée comme l'espérance mathématique d'une variable ...
Relating Dependent Terms in Information Retrieval
(2016-03-23)
Les moteurs de recherche font partie de notre vie quotidienne. Actuellement, plus d’un tiers de la population mondiale utilise l’Internet. Les moteurs de recherche leur permettent de trouver rapidement les informations ou ...
A unified framework for the comprehension of software's time dimension
(2015-04-30)
Les logiciels sont de plus en plus complexes et leur développement est souvent fait par des équipes dispersées et changeantes. Par ailleurs, de nos jours, la majorité des logiciels sont recyclés au lieu d’être développés ...
Simple optimizing JIT compilation of higher-order dynamic programming languages
(2019-10-30)
Implémenter efficacement les langages de programmation dynamiques demande beaucoup d’effort de développement.
Les compilateurs ne cessent de devenir de plus en plus complexes.
Aujourd’hui, ils incluent souvent une phase ...
Interactive quantum information theory
(2015-09-23)
La théorie de l'information quantique s'est développée à une vitesse fulgurante au cours des vingt dernières années, avec des analogues et extensions des théorèmes de codage de source et de codage sur canal bruité pour la ...
Route choice and traffic equilibrium modeling in multi-modal and activity-based networks
(2019-10-30)
Que ce soit pour aller au travail, faire du magasinage ou participer à des activités sociales, la mobilité fait partie intégrante de la vie quotidienne. Nous bénéficions à cet égard d'un nombre grandissant de moyens de ...