Afin d’appréhender les mécanismes qui sous-tendent la physiologie de la vision, la connaissance des bases embryologiques du développement de l’œil et de ses annexes est un prérequis indispensable. La morphogénèse oculaire débute au cours de la quatrième semaine de vie embryonnaire, alors que l’ébauche oculaire s’individualise des diverticules latéraux du cerveau antérieur par des mouvements mor...

Among parallel programming tools, task parallelism and data parallelism are the most common programming models. Task parallelism enables to reach high performances but requires an important programming eeort. In opposite, data parallelism provides programming facilities close to the sequential model at the expense of performances. In this paper, we show that it is possible to propose a language...

ReactiveML est un langage dédié à la programmation de systèmes combinant des parties algorithmiques et réactives. Il s’agit d’une extension de ML avec des constructions pour la concurrence inspirées des langages synchrones. Celles-ci permettent d’obtenir une très grande expressivité, mais leur implantation efficace représente un défi. Dans cet article, nous présentons l’implantation de Reactive...

RÉSUMÉ Ce travail présente une nouvelle approche pour injecter des dépendances profondes (sujet des verbes à contrôle, partage du sujet en cas d’ellipses, . . .) dans un corpus arboré présentant un schéma d’annotation surfacique et projectif. Nous nous appuyons sur un système de réécriture de graphes utilisant des techniques de programmation par contraintes pour produire des règles génériques q...

Ce document est la synthèse d’un projet honor effectué sous la supervision de Pierre McKenzie dans le cadre du cours IFT4055. Nous nous intéressons au problème d’intersection d’automates (Product Emptiness Problem) qui consiste à déterminer si k automates n’acceptent aucun mot en commun. Nous étudions la complexité de ce problème pour plusieurs modèles et restrictions d’automates, puis nous tra...

Modern platforms used for high-performance computing (HPC) include machines with both generalpurpose CPUs, and “accelerators”, often in the form of graphical processing units (GPUs). StarPU is a C library to exploit such platforms. It provides users with ways to define tasks to be executed on CPUs or GPUs, along with the dependencies among them, and by automatically scheduling them over all the...

ion des ressources Afin de faciliter le portage de l’application, le modèle de programmation utilisé doit permettre d’abstraire la conception d’applications des ressources visées. En effet, chaque application doit être optimisée en fonction des ressources d’exécution. Il est donc nécessaire d’adapter certaines parties de l’application. Les modèles de composants logiciels doivent permettre d’exp...

We propose an alternate approach to the usual introduction of parallelism in logic programming. Instead of detecting the intrinsic parallelism by an automatic and complex data-ow analysis, or upgrading standard logic languages by explicit concurrent control structures leading to task-oriented languages, we tightly integrate the concepts of the data-parallel programming model and of logic progra...

pour la première fois un philosophe traductologue, antoine berman, offre ses expériences basées sur l‟école de la traduction des romantiques allemands. ses cours sont publiés plus tard dans un livre intitulé la traduction et la lettre ou l’auberge du lointain (1999). au contraire des théoriciens traditionnels qui voulaient la restitution embellissant du sens et les analystes de certaines traduc...

Sparsity-promoting priors have become increasingly popular over recent years due to an increased number of regression and classification applications involving a large number of predictors. In time series applications where observations are collected over time, it is often unre-alistic to assume that the underlying sparsity pattern is fixed. We propose here an original class of flexible Bayesia...