nglaura/hal-summarization huggingface dataset:
Nous présentons KISS (Knit your Ideas Into Smart Spaces), un outil de développement d'habitat intelligent par l'utilisateur final. KISS permet de programmer son habitat en termes de phrases exprimées en langage pseudonaturel. La mise au point de ces programmes peut se faire in situ dans l'appartement réel ou dans sa réplique virtuelle. L'évaluation de KISS montre que les utilisateurs parviennent à programmer un scénario réaliste.

We present KISS (Knit your Ideas Into Smart Spaces), an end-user development system for the home. KISS enables users to program their home with sentences expressed in a pseudo-natural language. Programs can be tested either with the virtual home or in the real home. In this paper, we describe KISS and report an evaluation that shows that users are able to program a real-life scenario.
Au cours des 20 dernières années, le domaine de la réalité virtuelle a connu des progrès spectaculaires : immersion plus forte avec des capacités d'interaction plus variées et performantes. Aujourd'hui, les applications industrielles de ces recherches sont nombreuses dans le prototypage virtuel ou bien dans la simulation pour la formation. Ces technologies commencent également à pénétrer le secteur grand public avec, par exemple, l'offre de casques de réalité virtuelle permettant une immersion totale dans les univers virtuels des jeux.
La simulation interactive d'environnements réels ou imaginaires se développe depuis les années 1980. D'abord l'apanage des jeux vidéo, elle est désormais utilisée dans des simulateurs de toutes sortes (camion, super-tanker, train, avion), les visites de sites virtuels (musées, sites archéologiques) ou pour soigner (phobies, troubles de l'équilibre, etc.). Outre les progrès en matière d'images de synthèse, indispensables pour ces applications, c'est la miniaturisation qui a révolutionné les usages.
Nous proposons un algorithme simulant interactivement la dispersion anisotrope multiple de la lumière (multiple anisotropic scattering) dans un milieu homogène. Contrairement aux méthodes temps-réel précédentes, nous reproduisons tous les types de chemins lumineux à travers le milieu et nous préservons leur caractère anisotrope. Notre approche consiste à estimer le transport d'énergie depuis la surface éclairée du milieu vers les pixels À rendre, en considérant séparément chaque ordre de dispersion. Nous représentons la distribution des chemins lumineux parvenant à un pixel donné du volume par la moyenne et l'écart-type de leur point d'entrée sur la surface illuminée, que nous appelons l'aire collectrice. Au moment du rendu, nous déterminons sur la surface illuminée l'aire collectrice pour chaque pixel et pour différents groupes d'ordre de dispersion, et en déduisons le transport lumineux associé. La recherche rapide de l'aire collectrice et le calcul du transport lumineux est rendue possible grâce à une étude préliminaire de la dispersion multiple dans des formes simplifiées et ne nécessite pas de parcourir le volume. Le rendu est réalisé efficacement dans un shader sur le processeur graphique (GPU), en utilisant un maillage de la surface du nuage enrichi par une Hypertexture ajoutant des détails à la forme. Nous présentons notre modèle avec le rendu interactif de cumulus animés et détaillés À 2-10 images par secondes.
Cet article tente de décrire et de comprendre comment s’articule le sens dans le conte «Nuja, la fille de l’ogresse», extrait du recueil «Contes kabyles» de l’ethnologue allemand Leo Frobenius, et quels en sont les effets. Ce récit porte en son sein, outre sa signification primaire, d’autres significations secondaires que nous essayerons d’appréhender par certains dispositifs sémiotiques mis en place principalement par le sémioticien français A. J. Greimas. Et afin de juger de la validité du système de valeurs que présente ce conte, l’analyse sera enrichie par une approche comparative avec une autre version du même conte recueillie par Taos Amrouche dans son livre «Le grain magique». Les deux textes constituent deux versions différentes mais très proches du même conte. En effet, le conte «Nuja, la fille de l’ogresse» et «La princesse Soumicha» recèlent les mêmes significations et leurs composantes sémio-narratives et discursives véhiculent un système de valeurs assez similaire.
Cet article vise à apporter une contribution à la compréhension de l’impact des challenges de vente sur les réactions des commerciaux. À partir d’un tour d’horizon des littératures académiques et managériales, nous examinons les caractéristiques des challenges qui permettent d’obtenir l’adhésion des vendeurs. Les apports de la littérature sont rapprochés de ceux d’une étude exploratoire ce qui nous permet de retenir quatre caractéristiques saillantes des challenges : le format de compétition, le budget, le nombre de gagnants et la fréquence des challenges. Une étude empirique menée auprès d’un échantillon de 747 commerciaux permet ensuite d’identifier les caractéristiques des challenges ou combinaisons de modalités permettant de maximiser l’attitude des commerciaux. Une discussion débouche sur d’importantes implications managériales.
Nous nous intéressons à la classification non supervisée de séries chronologiques. Pour ce faire, nous utilisons l'algorithme K-Spectral Centroïd (K-SC), une variante des K-Means. K-Spectral Centroïd utilise une mesure de dissimilarité entre séries chronologiques, invariante par translation et par changement d'échelle. Cet algorithme est coûteux en temps de calcul : lors de la phase d'affectation, il nécessite de tester toutes les translations possibles pour identifier la meilleure ; lors de la phase de représentation, le calcul du nouveau barycentre nécessite l'extraction de la plus petite valeur propre d'une matrice. Nous proposons dans ce travail trois optimisations de K-SC. L'identification de la meilleure translation peut être réalisée efficacement en utilisant la transformée de Fourier discrète. Chaque matrice peut être calculée incrémentalement. Le calcul du nouveau barycentre peut s'effectuer à moindre coût grâce à la méthode de la puissance itérée. Ces trois optimisations fournissent exactement la même classification que K-SC.

We introduce a K-Spectral Centroïd algorithm, a variant of K-Means to cluster large time series. K-Spectral Centroïd uses a dissimilarity between time series, which is invariant regarding translation and scaling. This algorithm is relatively expensive in computation time. Indeed, during the assignment phase, it requires testing all possible translations to identify the best solution. During the representation phase, the calculation of the new barycenter requires the extraction of the smallest eigenvalue of a matrix. We propose in this work to improve these two points. We measure subsequently the impact of these improvements on various experiments.
On s'accordera avec Barthes « le discours est en droit d'attaquer la nourriture sous plusieurs pertinences ; c'est en somme un fait social total, autour duquel on peut convoquer des métalangages variés » (1975). Et Barthes de noter combien « c'est cet encyclopédisme-cet « humanisme »-que recouvre, pour Brillat-Savarin, le nom de gastronomie ». Le goût à lui seul s'étire entre saveur et valeur, du biologique au symbolique, au point de créer parfois une pomme de discorde entre sciences exactes et sciences humaines, à moins d'ouvrir au contraire un vaste champ interdisciplinaire. En somme, on pourrait trouver facilité à multiplier ainsi les approches sur le goût, mais dans le même temps, ce plan de projection interdisciplinaire ajoute au mieux de la complexité, au pire de la confusion. Guère plus de consensus autour de la gastronomie, cette force d'expansion de l'acte alimentaire, car les définitions se multiplient là
Le thème des nuisances sonores s'est rapidement imposé aux politiques publiques comme un enjeu du quotidien des habitants, notamment exprimé dans le cadre du développement d'instances participatives comme les conseils de quartier. Les habitants victimes de ces nuisances analysent ce phénomène en termes d'incivilités ou de détérioration du « vivre ensemble ». Cet article retrace, dans le cas d'Angers et à partir d'une enquête de terrain participative où l'auteur occupait la position singulière d'élue municipale, la mobilisation des différents acteurs concernés (associations, riverains, élus, étudiants) et son échec prévisible. En effet, la question du bruit semble moins s'expliquer par une sociologie des incivilités que traduire des évolutions de la morphologie sociale angevine.

Noise pollution has rapidly emerged as a key public policy issue relevant for citizens everyday life and specifically revealed by the development of local-level participatory bodies such as neighborhood councils. Residents suffering from those nuisances interpret them either as marks of uncivil behaviour or as a weakening of the sense of community. The present article, focussing on the city of Angers and building on a participant observation carried out by the author holding the unusual position of town councillor, chronicles the mobilisation of several stakeholders (associations, tenants, elected officials, students) and its predictable failure. In fact, rather than being the instantiation of a “sociology of incivility”, noise pollution designates a set of changes undergone by demographic, urban, and social structures.
Les chefferies traditionnelles en pays « kotoko » De nos jours, les chefferies kotoko supérieures (dites « Chefferies traditionnelles de 1 er degré ») sont dirigées par des « sultans » et sont appelées « sultanats ». Telle est du moins la terminologie administrative actuelle. La chefferie de premier degré couvre au moins deux chefferies de deuxième degré et son territoire ne peut aller au-delà des limites du département. Le pays kotoko, entièrement inclus dans le département du Logone-et-Chari, comporte trois chefferies supérieures de 1 er degré, qui sont cataloguées comme « sultanats » par l'administration actuelle : Goulfey, Kousseri et Logone-Birni. Goulfey, par exemple, a sous sa tutelle les terres de Woulki, Makari, Afadé et Bodo 2 , qui sont considérées comme des chefferies de 2 e degré 3. Ces quatre terres sont cependant considérées également comme des « sultanats » par l'administration camerounaise (ELINGUI et TJEEGA, 1978). Le sultan de Logone-Birni coiffe neuf chefferies de 2 e degré, à savoir Madiako, Hinalé, Kala-Kafra, El-Birke, Mazera, Ngodeni, Lahaï, Waza et Ngamé. Au-delà, ce sultanat compte dans les trois cents chefferies de 3 e degré. Les Kotoko eux-mêmes reconnaissent comme « sultans », en plus des souverains de Goulfey, Kousseri et Logone-Birni, les chefs de Makari, Afadé, Woulki, Bodo, et même ceux de grands villages comme Biamo... Le sultan de Woulki et celui de Bodo sont du 2 e degré au même titre que celui de Makari et d'Afadé. Il existe aussi des sultans de 3 e degré. Dans le sultanat de Makari, il y a des grands villages qui ont à leur tête des mè [de 3 e degré] : on a le mè de Biamo [...] etc. Ils sont considérés comme des notables du sultan de Makari (ADAM M., courriel du 13-07-2019).
A partir de l’expérience d’un Système Productif Local (SPL) de plus de 10 ans nous analysons les relations entre ce réseau inter firmes et son territoire, un bassin d’emploi. Au delà des aspects financiers les enjeux se sont essentiellement placés au niveau des ressources humaines. Notre recherche s’appuie sur l’étude en profondeur menée depuis deux ans, d’un SPL. En collectant nos données à l’intérieur du réseau et à ses frontières, l’importance de la relation entre le réseau et son territoire s’est révélée, notamment au plan de la GRH. Nous avons alors analysé ces interactions (Giddens, 1987) en identifiant les acteurs clefs, leurs positions, leurs attentes et les processus de structuration d’une GRH T apportant des éléments de réponse à la question suivante: comment les réseaux d’entreprises favorisent t-ils la structuration d’une GRH T?Les réseaux animent la structuration d’actions territoriales favorables à l’émergence d’une GRH T en favorisant certains ajustements: clarification des rôles, responsabilisation et mutualisation.
Cet article présente des éléments de réflexion concernant l'intégration et la manipulation des critères d'espace en composition multiphonique, lors des différentes étapes de la création-génération, traitements et assemblage. Il présente également des propositions d'outils développés à cette fin sous la forme de plugins : les AcousModules.
Le but du projet Aléas est de faire éclore un dialogue artistique entre l'ordinateur et l'humain, de concevoir un cadre propice à une improvisation homme-machine, de capter des mouvements et des sons pour en faire quelque chose. À mi-chemin du projet nous avons effectué une résidence de 12 jours dans le MÉCAstudio qui est un espace de l'OARA 1 à l'intérieur de la MÉCA 2 de Bordeaux. Quatre représentations sont venues clore cette résidence le 21 novembre, dans le MÉCAstudio, de 20 minutes chacune. Nous donnons ici les éléments techniques ayant contribué à la réalisation de ces événements.
Malherbe : entre sentiment de la langue, imaginaire linguistique et normativité Le nom de Malherbe de son temps déjà divisait. Que n'en fut-il pas pour la postérité. Au XXe siècle, entre un Ferdinand Brunot critique, dénigrant les qualités du poète au profit du seul commentateur linguistique (et encore avec quelles réserves sur ses capacités), et un Francis Ponge hyperbolique, il semble ne pas y avoir eu beaucoup de place pour les opinions moyennes. Il y a bel et bien un « mystère Malherbe » qui, en dépit de l'existence de prédécesseurs 1 , le signale dans l'histoire littéraire et langagière. Ce mystère, on peut dire en deux mots qu'il réside en partie dans l'espace original qu'il est parvenu à se créer, à mi-chemin entre création littéraire et relation à la langue exprimée par le biais du commentaire critique. Espace qui a créé une bifurcation après lui, dans la culture de la langue, entre tenants d'une écriture fondée sur ce que nous appellerons un « imaginaire linguistique », et tenants d'une pratique plus libre du langage, respectueuse des conditions du discours. C'est cet espace original que nous allons essayer de décrire ici, en adoptant quelques postes d'observation, ce qui permettra nous l'espérons de représenter différemment, depuis un autre lieu, quelques-unes de ses positions quant à la langue, et peut-être aussi de contribuer à rendre compte de la mystérieuse fascination / répulsion-les deux étant souvent imbriquées-que son attitude a suscitée. Aller vers Malherbe aujourd'hui, en effet, ce peut être d'abord, subjectivement, mû par un goût authentique pour sa poésie si particulière, ou par un intérêt plus objectif pour l'esthétique nouvelle qu'il a proposée. Ce peut être aussi animé par un questionnement légitime face à la place essentielle (surévaluée ?) que la postérité lui a attribuée aussi bien dans l'histoire de la poésie française que dans ce qu'on pourrait appeler la construction des « normes » du français, ou d'un français littéraire-bien que le mot norme soit anachronique à l'époque. Ce peut être enfin en comprenant son travail comme le début de la mise en place, d'un « imaginaire de la langue » dont la mise au jour aura été rendue possible par la mobilisation, de la part de son auteur, d'un « sentiment de la langue » particulièrement assumé et volontaire, et par un contexte historique peut être mûr pour l'apparition de normativités langagières nouvelles. Malherbe a rendu possible un monde mi-théorique mi-pratique de rêverie sur le langage dont les conséquences ont été lues, la plupart du temps à l'aune des catégories bien balisées de la « poétique » ou de l' « histoire de la langue », mais dont nous pensons qu'elles ont eu bien d'autres répercussions
Les systèmes embarqués requièrent des méthodes de conception sûres fondées sur des méthodes formelles, ainsi qu'une exécution sûre fondée sur des techniques de tolérance aux fautes. Nous proposons une méthode de conception sûre pour des systèmes à l'exécution sûre: elle utilise la synthèse de contrôleurs discrets (SCD) pour générer un système tolérant aux fautes, reconfigurable et correct. Les propriétés assurées concernent l'exécution consistante, l'assurance de la fonctionnalité (quelles que soient les fautes, sous une certaine hypothèse), et plusieurs optimisations, notamment sur le temps des exécutions passant par des points de reprise. Nous proposons un algorithme de SCD optimale sur des chemins bornés. Nous proposons des motifs de modèles pour des tâches, des processeurs à mémoire répartie et des motifs de fautes potentiels. Nous utilisons des modèles synchrones, l'outil de SCD symbolique Sigali et les Automates de Modes.
Les « interfaces invisibles » qui tendent à doter invisiblement l’homme et son environnement de capacités computationnelles concentrent aujourd’hui l’attention du design de l’interaction homme-machine (IHM). Leur développement s’inscrit dans un vaste projet de reconfiguration des rapports homme-machine initié il y a plus de 30 ans par les chercheurs du PARC (Palo Alto Reseach Center). Cette contribution propose d’interroger la genèse de cette « informatique invisible » à la lumière de la trajectoire sociohistorique du design de l’interaction homme-machine.
L'entreprise change, les réseaux y participent. Le changement informationnel est lié au changement organisationnel. L'outil technologique est-il la cause du changement de l'organisation. Jusqu' où cet outil devenu média interne de communication induit-il un mode participatif d'organisation ? Par une étude de cas communicationnel, cet article évalue la dimension participative qu' Intranet serait susceptible d'entraîner.

Field work analysis of the relation between information change and organisation transformation. It is a fact that the networks take an active part in the changes within the companies. And the information change is closely linked to the organisational evolution. But, can we infer that the Intranet brings about a participatory model of organisation even though it has become a media of internal communications ? The current article assesses, through a case study, the participatory dimensions that the Intranet can provoke in the companies.
Rapprocher théâtre et sports paraît paradoxal en Europe, mais pas dans le monde chinois où aucune frontière ne semble exister entre eux. L'histoire révèle l'interpénétration du théâtre et des sports. Or, la catégorisation des sciences fait que des objets résultants de leur fertilisation croisée sont négligés, mais aussi des pans de réalités sociales, économiques et idéologiques, de la vie culturelle, du goût des populations et de leurs industries. Quatre thèmes sont avancés pour aborder cette problématique: l'interpénétration des langues du sport et du théâtre; le théâtre comme ornementation du sport; le sport comme préparation aux métiers du théâtre; la nature entre sports et théâtre.

Bringing together theatre and sport may seem paradoxical in Europe, but not in China where there seems to be no boundary between the two. There have also been cross-links between theatre and sport in history. However, scientific categorisation has neglected the products of this cross-fertilization and with it entire social, economic, ideological and cultural realities as well as the interest areas of populations and related industries. We propose four themes to address this issue: cross-links between the language of sport and theatre; theatre as ornament of sport; sport to prepare for theatre professions; synergies between the nature of sport and theatre.
Par cette étude des sites institutionnels et commerciaux de Yahoo.chine, de la Bank of China et d'Air China en comparaison avec Yahoo.France, Banque de France, Air Francenous tentons de percevoir la représentation internationale de la Chine et de la France, par le média électronique, Internet. Nous envisagerons comment la culture respective de la Chine et celle de la France croisent le média électronique Internet pour devenir outil de représentation internationale à forte valeur ajoutée. L'Internet sert le commerce mondial de la monnaie en devenant monnaie représentative et symbolique.
L'iconographie pallava des temples construits (VIIIe siècle au Tamil Nadu, Sud-Est de la péninsule indienne), à caractère śivaïte essentiellement, intègre dans plusieurs scènes le personnage de Rāvaņa, démon-roi de l'île de Laṅkā. Après avoir relevé les premières mises en scène de ce démon représentant Rāvaņa soulevant la montagne sur laquelle Śiva est assis qui apparaissent en Inde septentrionale, et, parallèlement, les premières apparitions textuelles de ce mythe dans la littérature sanskrite, cette étude propose une analyse des reliefs pallava des temples construits dans lesquels figure le personnage de Rāvaņa. Si les représentations de Rāvaņa soulevant le mont Kailāsa dans l'iconographie pallava suivent une tradition qui semble avoir pris naissance dans le Nord de la péninsule indienne, des images apparaissent cependant pour la première fois, dont certaines sont directement inspirées de la tradition textuelle sanskrite tandis que d'autres sont un reflet de la tradition tamoule qui est chantée dans la littérature de bhakti . L'analyse de ces images se conclut sur la portée symbolique des représentations de Rāvaņa, qui peuvent aussi bien mettre l'accent sur la royauté, la suprématie de Śiva, mais aussi sur la dévotion extrême.
Dans ce travail, nous considérons le modèle mathématique de deux espèces microbiennes en compétition sur une seule ressource dans un chémostat, où on prend en considération les interactions interspécifiques entre les deux populations de micro-organismes et les interactions intraspécifiques entre les individus eux-mêmes. Les fonctions de croissance sont strictement monotones et les taux de dilution sont distincts. Nous déterminons les points d'équilibre, ainsi que leur stabilité locale.

In this paper, we consider the mathematical model of two microbial species competition on a single resource in a chemostat. We take into account the interspecific interactions between the two populations of micro-organisms and intraspecific interactions between individuals themselves. The growth functions are monotonic and the dilution ratios are distinct. We determine the equilibrium points, and their local stability.
Nous étudions le problème du placement optimal sous contraintes, de plusieurs caméras, pour la synthèse de nouvelles vues. Une telle configuration optimale est définie comme celle qui minimise l'incertitude de projection des pixels des caméras de prise de vue sur la vue à synthétiser. Le rendu de cette vue est souvent précédé d'une phase de reconstruction 3D approximative. Nous dérivons la matrice de covariance associée à l'incertitude sur la géométrie, puis nous propageons l'erreur sur le plan de la nouvelle vue. Nous observons l'influence de l'interoculaire et de la distance focale des caméras sur l'erreur projetée, pour des distributions de points aléatoires à diverses profondeurs.
L'étude de la mémoire principale est un point clef lors du développement d'applications parallèles ou d'applications de calcul haute performance. En premier lieu cette ressource est beaucoup plus lente que le processeur. Son utilisation trop intensive pourrait ainsi provoquer des contentions sur le bus mémoire et donc des baisses de performances. En second lieu, parce que les mémoires cache qui servent à palier ce problème sont très petites. Les développeurs sont ainsi amenés à prendre en compte leur spécificité au travers de méthodes telles que le data padding (c'est à dire l'ajout des octets inutilisés entre deux structures pour les aligner en mémoire). Les différents threads d'applications parallèles partagent la mémoire principale. Ce partage est un point clef dans l'optimisation d'applications parallèles : dès que des threads travaillent en parallèle sur la mémoire ils partagent le cache ce qui demande encore plus d'attention de la part du développeur. Dans cette étude nous proposons une nouvelle méthode d'analyse de la mémoire qui établit une carto-graphie de cette dernière afin d'aider les programmeurs à comprendre et à visualiser le comportement de leurs applications. Nous validons ensuite cette méthode à l'aide d'exemples d'application.
L'analyse du comportement d'applications logicielles est une tâche de plus en plus difficile à cause de la complexité croissante des systèmes sur lesquels elles s'exécutent. Alors que l'analyse des systèmes embarqués doit faire face à une pile logicielle complexe, celle des systèmes parallèles doit être ca- pable de s'adapter à l'envergure de leur architecture matérielle et à leur indéterminisme. La visualisation de traces obtenues lors du déroulement des applications s'exécutant sur ces plate-formes s'est répandue dans les outils d'analyse pour faire face à ces problématiques. Il existe aujourd'hui un large éventail de techniques qui se distinguent par la quantité d'informations, l'échelle des systèmes, ou les comportements qu'elles sont capables de représenter. Nous nous proposons d'en faire un état de l'art, en discutant des méthodes de visualisation statistiques, comportementales et structurelles de l'application, et des techniques permettant le passage à l'échelle de l'analyse.
Les aides agricoles vouées aux objectifs de développement rural se veulent compensatrices des disparités induites par les aides 1er pilier de la Politique Agricole Commune. Leur distribution répond-elle réellement aux objectifs d’équité qui sous-tendent certains discours de l’Union Européenne ? En particulier, les collectivités locales interviennent de plus en plus dans le financement de ces aides : cette intervention permet-elle de mieux répondre aux objectifs d’équité ? Nous menons une analyse statistique à partir de données originales sur les montants régionaux d’aides. Nous comparons un cas fortement centralisé, la France, à d’autres cas nationaux fortement régionalisés. Sous un critère d’équité interrégionale, nous comparons les degrés de disparités interrégionales puis les relations des montants d’aides avec différents indicateurs régionaux. Enfin, sous un critère d’équité interindividuelle, nous nous penchons sur la répartition des aides dans un même espace régional.

Agricultural subsidies with rural development’s objectives, according to some European discourses, should conduct to more cohesion and to the compensation of disparities induced by the first pillar of CAP. Does this really occur ? Since these subsidies are more and more managed by local state, does this conduct to more equity ? We analyze statistically original budgetary data about regional amounts of subsidies. We compare France, which is strongly centralized, with other more regionalized national cases. Under a criteria of interregional equity, we study the degrees of interregional disparities, then the links of regional amounts with regional indicators. Finally, under a criteria of inter-individual equity, subsidies distribution into same regional areas is analyzed.
La conception intégrée de l'automatique avec l'informatique temps réel a renouvelé la science de la régulation des systèmes, qu'il s'agisse d'avions, de machines outils ou d'ordinateurs. Elle est à l'origine d'une technologie invisible aux utilisateurs mais qui permet d'améliorer le contrôle, les performances et la consommation énergétique des dispositifs informatisés
Dans ce papier nous nous intéressons à l'estimation des champs de déplacement denses d'une surface non rigide, en mouvement, capturée par un système multi-caméra. La motivation vient des applications multi-caméra qui nécessitent une information de mouvement pour accomplir des tâches telles que le suivi de surface ou la segmentation. Dans cette optique, nous présentons une approche nouvelle, qui permet de calculer efficacement un champ de déplacement 3D, en utilisant des informations visuelles de bas niveau et des contraintes géométriques. La contribution principale est la proposition d'un cadre unifié qui combine des contraintes de flot pour de petits déplacements et des correspondances temporelles éparses pour les déplacements importants. Ces deux types d'informations sont fusionnés sur la surface en utilisant une contrainte de rigidité locale. Le problème se formule comme une optimisation linéaire permettant une implémentation rapide grâce à une approche variationnelle. Les expérimentations menées sur des données synthétiques et réelles démontrent les intérêts respectifs du flot et des informations éparses, ainsi que leur efficacité conjointe pour calculer les déplacements d'une surface de manière robuste.

In this paper we study the estimation of dense 3D motion fields over non-rigidly moving surface observed by multicamera systems. The motivation arises from multi-camera applications that require motion information in order to perform tasks such as surface tracking or segmentation. To this aim, we present a novel framework that allows to to efficiently compute dense 3D displacement fields using low level visual cues and geometric constraints. The main contribution is a unified framework that combines flow constraints for small displacements with temporal feature constraints for large displacements and fuses them over the surface using local rigidity constraints. The resulting linear optimization problem allows for variational solutions and fast implementations. Experiments conducted on synthetic and real data demonstrate the respective interests of flow and feature constraints as well as their efficiency to provide robust surface motion cues when combined.
Nous présentons une nouvelle approche pour créer une animation en rendu peinture à partir d'une scène 3D animée. Notre approche étend et complète les méthodes existantes pour assurer la cohérence temporelle de l'animation, conserver une densité constante de coups de pinceau et offrir à l'utilisateur un libre choix de style. Pour cela nous présentons un algorithme dynamique qui sélectionne à la volée un ensemble adapté de coups de pinceau en s'appuyant sur une hiérarchie de points à la surface des objets 3D. Nous proposons de plus une technique de dessin de coups de pinceau permettant une représentation fidèle de la scène tout en offrant à l'utilisateur la possibilité de spécifier son style via un shader. Le rendu est interactif et effectué sur le GPU.

We present a new approach to create painterly renderings of an animated 3D scene, allowing a controllable trade- off between scene fidelity and stylistic design. Our approach extends and complements existing systems in order to ensure temporal coherence while maintaining consistent stroke density, and allowing a wide variety of stroke styles. It is based on a new dynamic painting algorithm which selects a suitable set of sample stroke locations based on an object-space hierarchy. We describe also an improved stroke drawing technique which allows a faithful depiction of the scene while letting the user specify his preferred stroke style via a shader. All renderings are interactive and performed on the GPU.
L'extraction des ensembles fréquents maximaux est un problème clef en fouille de données. Nous présentons dans cet article un algorithme distribué qui réalise cette tâche. Il s'agit du premier algorithme distribué avec des garanties de performance prouvées théoriquement.
La vérification distribuée utilise les ressources d'un ensemble de machines pour accélérer et surtout pour accéder à des quantités de mémoire au delà de ce qui est possible avec une seule machine. Dans cet article, nous présentons les outils de vérification distribuée fournis par la boîte à outils \CADP, en mettant l'accent sur les améliorations récentes des outils pour l'exploration à la volée de systèmes de transitions étiquetées partitionnés. Nous faisons aussi état des résultats d'expériences avec ces outils sur Grid'5000 utilisant jusqu'à 512 processus répartis.
En 20 ans, les systèmes informatiques (ordinateurs, logiciels, réseaux) ont envahi notre vie courante et sont désormais au coeur d'applications de plus en plus vitales. Leur complexité technique augmente sans cesse, alors que leur contexte de production est de plus en plus tendu, réductions de coûts et de délais obligent. Quelles conséquences en termes de qualité, sûreté et sécurité ? Eviter les défaillances informatiques représente un enjeu d'avenir, majeur pour l'industrie, sur la base des progrès scientifiques de ces dernières décennies.
L'alignement d'ontologies met en évidence les relations sémantiques entre les entités de deux ontologies à confronter. L'outil de choix pour l'alignement est une mesure de similarité sur les couples d'entités. Certaines méthodes d'alignement performantes font dépendre la similarité d'un couple de celles des couples voisins. La circularité dans les définitions résultantes est traitée par le calcul itératif d'un point fixe. Nous proposons un cadre unificateur, appelé alignement dirigé par la structure, qui permet de décrire ces méthodes en dépit de divergences d'ordre technique. Celui-ci combine l'appariement de graphes et le calcul matriciel. Nous présentons son application à la ré-implémentation de l'algorithme OLA, baptisée OLA2.
Depuis quelques années, les clusters de nœuds NUMA à processeurs multi-cœurs deviennent très répandus. Programmer efficacement ces architectures est un réel défi compte tenu de leur hiérarchie complexe. Afin d'en tirer pleinement profit, il est nécessaire de prendre en compte cette structure de façon précise et d'y faire correspondre le schéma de communication de l'application. Ce faisant, les coûts de communication sont réduits et l'on observe des gains sur le temps d'exécution total de l'application. Nous présentons ici comment nous utilisons d'un côté le schéma de communication et de l'autre une représentation fidèle de l'architecture pour produire une permutation des processus d'une application donnée, permettant ainsi une réduction des coûts de communication.
Malgré les progrès spectaculaires accomplis par les interfaces de communication pour réseaux rapides ces quinze dernières années, de nombreuses optimisations potentielles échappent encore aux bibliothèques de communication. La faute en revient principalement à une conception focalisée sur la réduction à l'extrême du chemin critique afin de minimiser la latence. Dans cet article, nous présentons une nouvelle architecture de bibliothèque de communication bâtie autour d'un puissant moteur d'optimisation des transferts dont l'activité s'accorde avec celle des cartes réseau. Le code des stratégies d'optimisations est générique et portable, et il est paramétré à l'exécution par les capacités des pilotes réseau sous-jacents. La base de données des stratégies d'optimisation prédéfinies est facilement extensible. L'ordonnanceur est en outre capable de mixer de façon globalisée de multiples flux logiques sur une ou plusieurs cartes physiques, potentiellement de technologies différentes en multi-rail hétérogène.
Pour pouvoir exploiter pleinement les architectures contemporaines, une abstraction de la machine appelée support d'exécution se charge de faciliter le travail du programmeur. Les implémentations actuelles des heuristiques d'ordonnancement avancées peuvent présenter des difficultés de passage à l'échelle. À l'inverse, les heuristiques qui passent à l'échelle sont généralement plutôt simples. Nous proposons un modèle d'ordonnanceurs modulaire qui facilite l'exploration de solutions d'ordonnancement. Nous montrons que les performances de notre modèle d'ordonnanceurs sont équivalentes à celles de l'état de l'art tout en offrant des perspectives de passage à l'échelle.
Le décodage vidéo et le traitement d'image dans les systèmes embarqués sont soumis à de fortes contraintes de ressources, notamment en termes de mémoire. Les heuristiques d'ordonnancement de liste à priorités statiques (HEFT, SDC, etc.) étant souvent citées pour à la fois leurs bonnes performances et leur faible complexité, nous proposons une méthode visant à y introduire la notion de mémoire. De plus, nous montrons que par un ajustement adéquat des priorités des tâches et un recours judicieux à l'insertion, il est possible d'obtenir des accélérations au-delà de 20 %. Enfin, nous proposons une méthodologie visant à évaluer l'opportunité de recourir à un ordonnancement dynamique dans ce cadre.
Le standard OpenCL propose une interface de programmation adaptable à différents types d'accélérateurs (GPU, CPU, CELL. . . ). Pour chaque architecture, il revient aux applications d'effectuer explicitement les partitionnements et les transferts de données ainsi que les placements des tâches sur les accélérateurs disponibles, ce qui est très difficile. Néanmoins, nous montrons que le standard OpenCL peut également être utilisé avec une implémentation qui masque les différents accélérateurs aux applications et ne lui en présente qu'un seul (virtuel). Les transferts de données et les placements des tâches sont alors réalisés par l'implémentation. Nous montrons que ce modèle de programmation permet d'exploiter efficacement et de façon unifiée des architectures hétérogènes.
Les robots industriels feront bientôt figure de dinosaures devant les systèmes autonomes et " intelligents " en préparation. Certains, comme les systèmes d'assistance à la conduite, les métros automatiques ou encore les robots pour les blocs opératoires sont déjà familiers ; beaucoup d'autres sont dans les cartons, notamment dans le domaine des services et dans celui de l'assistance aux personnes âgées ou handicapées. Ces premières réalisations marquent le début d'une ère où les robots seront capables de partager l'espace de vie des humains et d'interagir avec eux d'une manière sûre et socialement acceptable.
Nous décrivons un algorithme basé sur des métriques intrinsèques de graphes permettant de découvrir des motifs communs et similaires entre plu- sieurs graphes. Nous montrons des applications à la recherche d?image dans une collection et à l?interprétation de données géographiques
Cet article décrit une étude de cas exhibant les qualités de la plateforme de visualisation de graphes Tulip, démontrant l'apport de la visualisation à la fouille de données interactive et à l'extraction de connaissances. Le calcul dŠun graphe à partir d'indices de similarité est un exemple typique où l'exploration visuelle et interactive de graphes vient en appui au travail de fouille de données. Nous penchons sur le cas où l'on souhaite étudier une collection de documents afin d'avoir une idée des thématiques abordées dans la collection.
Dans cet article, nous considérons le problème de la reconstruction de surfaces à partir d'images. Notre contribution principale est le calcul des dérivées exactes de la fonctionnelle exprimant l'erreur de reprojection ou bien, la photoconsistance. Ceci permet, pour la première fois, de la minimiser de manière rigoureuse par une descente de gradient. La difficulté principale a été de correctement prendre en compte les changements de visibilité qui apparaissent lors de l'évolution de la surface estimée. Une étude géométrique et analytique de ces changements est présentée et utilisée pour le calcul des dérivées. Notre analyse révèle la forte influence du mouvement des générateurs de contours sur l'erreur de reprojection. Par conséquent, la minimisation rigoureuse de l'erreur de reprojection place les générateurs de contours de la surface automatiquement aux bons endroits relativement aux images. Ainsi, des approches prenant en compte des contraintes basées sur des silhouettes ou des contours apparents afin d'assurer ce placement, peuvent maintenant être expliquées et justifiées par un seul critère : l'erreur de reprojection.
Si tout le monde, ou presque, s'accorde sur la nécessité d'un développement durable, une certaine cacophonie règne dès qu'il s'agit de rendre des arbitrages sur des solutions concrètes. Des outils d'aide à la décision pourraient faciliter la tâche des acteurs institutionnels.
Dans le processus d’élaboration d’un modèle on insiste beaucoup sur la nécessité de confronter le modèle à la réalité qu’il est sensé représenter. Il est un autre aspect de la modélisation, à mon avis tout aussi essentiel, dont on ne parle pas. Il s’agit d’un travail logico-linguistique où des modèles formels sont utilisés pour produire des prédiction qui ne sont pas confrontées à la réalité mais servent à falsifier des affirmations qui semblaient pourtant se déduire du modèle. Plus précisément un premier modèle informel est décrit dans la langue naturelle et, toujours dans la langue naturelle, semble dire quelques chose mais de façon plus ou moins claire. Alors on traduit le modèle informel en un modèle formel (mathématique ou informatique) où ce qui était argumentation devient démonstration. Le modèle formel sert ainsi à lever des ambiguïtés de la langue naturelle. Mais inversement un texte trop formalisé perd rapidement tout sens pour un cerveau humain ce qui rend nécessaire le retour à une langue moins formelle. Ce sont ces “traductions" successives entre langues plus ou moins formelles que je cherche à analyser sur deux exemples, le premier en dynamique des populations, le second en mathématiques.

In the process of elaboration of a model one emphasize on the necessity of confronting the model with the reality which it is supposed to represent. There is another aspect of the modelling process, to my opinion also essential, about which one usually do not speak. It consists in a logico-linguistic work where formal models are used to produce prediction which are not confronted with the reality but serve for falsifying assertions which nevertheless seemed to be derived from the not formalized model. More exactly a first informal model is described in the natural language and, considered in the natural language, seems to say some thing but in a more or less clear way. Then we translate the informal model into a formal model (mathematical model or computer model) where what was argumentation becomes demonstration.The formal model so serves for raising ambiguities of the natural language. But conversely a too much formalized text quickly loses any sense for a human brain what makes necessary the return for a less formal language. It is these successive "translations" between more or less formal languages that I try to analyze on two examples, the first one in population dynamics, the second in mathematics.
Nous présentons une méthode de reconstruction sans optimisation, de surfaces implicites 3D à partir de régions 2D dans des plans parallèles. Notre méthode consiste à générer un champ de potentiels dans chaque plan à partir des squelettes 2D extraits des régions, puis à interpoler localement ces potentiels entre 4 plans par splines de Catmull-Rom. La surface reconstruite est lisse -y compris aux extrémités- sans aucune étape d'optimisation. Nous exploitons l'interactivité de notre méthode pour proposer un outil de manipulation et d'édition de surfaces, particulièrement intéressant dans le contexte d'applications médicales.
Ce texte s'interroge sur les origines du projet de currency board en Lituanie, les conditions dans lesquelles ce projet a été façonné et les conditions de son établissement effectif. Il met en lumière la convergence sur la Lituanie d'une dynamique internationale de propositions de tels dispositifs pour des pays de l'ancien bloc soviétique et le développement de relais locaux. Il examine ensuite les débats et rapports qui ont suivi l'annonce officielle, par le Premier ministre, du projet de caisse d'émission en octobre 1993. Enfin il présente le dispositif tel que façonné par la loi sur la crédibilité du litas votée le 17 mars 1994 et les problèmes immédiats issus de sa conception.

This paper analyzes the origins of the currency board project in Lithuania, the conditions in which it was shaped and the conditions of its actual setting up. It stresses a convergence on Lithuania of an international dynamics of proposals of such schemes for the countries of the former soviet bloc and the development of local relays. Then it looks into the debates and reports that followed the official announcement in October 1993, by the Prime minister, of the project of a currency board. Finally, it shows the scheme as shaped by the law on the litas credibility voted on the 17 march of 1994 and the immediate problems coming from this conceiving.
Comparables à celles d'économies en développement, les conditions d'émergence du Crédit Mutuel en Alsace-Moselle (1892-1905), tout comme son mode de fonctionnement actuel, sont étudiées via les catégories de l'économie de la proximité et de l'institutionnalisme. On propose les catégories de mouvement solidaires concourants et contra-courants dans leur ancrage local, ainsi que trois phases de déploiement : ancrage, universalisation et gouvernementalisation

We study the conditions of creation of the Crédit Mutuel in Alsace-Moselle (close the contemporaneous ones of developing economies) as well as its current organization, through the categories of proximity economy and institutionalism. Concerning local clustering we propose the categories of co-current and contra-current movements; concerning the long term deployment we propose three phases: clustering, universalization and governmentalization
En Amérique latine, l'économie solidaire est volontiers présentée comme un modèle de développement alternatif au « néolibéralisme ». Une approche institutionnaliste basée sur les formes d'intégration de l'économie et les régimes de justification permet de discuter cette affirmation. Le cas bolivien suggère que l'institutionnalisation de l'économie solidaire est incomplète et doit être élargie à la sphère politique pour éviter une banalisation dans la logique marchande.

In Latin America solidarity-based economy is readily presented as a model of development alternative to “neoliberalism”. An institutionalist approach based on the forms of integration of the economy and on the systems of justification allows discussing this claim. The case of Bolivia suggests that the institutionalization of solidarity-based economy is incomplete and must be extended to the political sphere in order to avoid homogenization in market logics.
L'économie solidaire est un projet politique de développement alternatif. Elle fait figure de socle sur lequel construire des stratégies conformes aux exigences du développement durable. Au Nord, l'Economie solidaire amène les individus à poser la question du choix du système économique. De plus elle permet de réfléchir au sens à donner au développement et non plus à se suffire du prêt à penser fournit par le marché et son incessante incantation en faveur de la croissance économique. Au sud, la stratégie est tout autre. On s'inscrit dans la valorisation de l'existant - économie encastrée dans le local - et dans la mise en place d'une économie plurielle assujettie à des critères sociaux et écologiques. Ainsi, l'économie solidaire constitue un axe majeur pour ré encastrer l'économie au Nord. Elle fournit au pays du Sud de outils favorables à leur nécessaire développement qui ne saurait être durable si l'on s'en tient aux seules exigences de marché.

Solidarity economy is a project policy of alternate development.It looks like base on which to build strategies corresponding to the requirements of the sustainable development. In the North, the solidarity economy brings the individuals to ask the question of the choice of the economic system. Furthermore it allows to think about the direction to be given to the development and either to be self-sufficient of the loan to think supplies by the market and its ceaseless incantation in favour of the economic growth. In the South, the strategy is quite other. The question is the valuation of the existing - economy embeded in the premises - and in the implementation of a plural economy liable for social and ecological criteria. So, the solidarity economy constitutes a major axis for embeded the economy in the North. It supplies in the country of the South of tools favorable to their necessary development.