nglaura/hal-summarization huggingface dataset:
En 1970 et 1971, au cours de l'exploration d'une nécropole classique-hellénistique, vangjel Toçi a recueilli, à l'emplacement d'un col dans la chaîne de collines de Dautë, au nord-ouest de Durrës (Albanie), l'antique épidamne-Dyrrhachion, un mobilier d'une richesse impressionnante : des « petits objets » divers, quelques centaines de monnaies, plus d'une tonne de fragments de vases, et surtout 1800 kg de fragments de terres cuites figurées. Malgré leur intérêt exceptionnel, ces trouvailles sont restées entièrement inédites. Aussi une équipe albano-française at -elle été constituée, en 2003, dans le cadre d'un accord entre l'Institut d'archéologie de la République d'Albanie, l'école française d'Athènes et le centre de recherche HALMA (UMR 8142, CNRS, Lille 3, MCC), afin de mener à bien leur étude et leur publication. Après quatre campagnes au cours desquelles elle a sauvegardé toute la documentation de fouille et examiné la totalité des fragments de terres cuites figurées, l'équipe est désormais engagée dans la rédaction des catalogues. Parallèlement, les monnaies ont été restaurées et identifiées à partir de 2005 et l'étude des vases engagée depuis 2006.
En novembre 2012, le Centre Départemental d'Archéologie du Pas-de-Calais a entrepris un diagnostic archéologique sur la commune de Haute-Avesnes au lieu-dit Fond d'Acq. Cette opération intervient préalablement à l'aménagement d'une Zone d'Activités Légères, projet porté par la Communauté de Communes du Val de Gy. L'emprise, située en limite nord de la commune le long de la D62, totalise 25 000 m². A l'issue du diagnostic, une occupation attribuable à La Tène moyenne a été caractérisée sur près de 6 000 m².
Le projet du canal Seine-Nord Europe doit permettre de relier le bassin de la Seine au bassin de l'Escaut, dans le Nord de la France. Dans le cadre des travaux préalables à son creusement, des opérations de diagnostic archéologique ont été lancées entre 2008 et 2010 afin de cerner le potentiel de sites historiques et paléolithiques. À l'heure actuelle, concernant la recherche d'indices paléolithiques, 80 km de tracé ont été diagnostiqués sur les 106 km prévus, soit la réalisation par l'INRAP de plus de 500 sondages en puits, répartis sur quatre départements : Nord, Pas-de-Calais, Somme et Oise. À l'issue de cette phase de diagnostic, plusieurs secteurs ont révélé un fort potentiel d'occupation paléolithique. À Havrincourt (Pas-de-Calais), 56 sondages ont livré du matériel lithique, découverte qui a eu pour conséquence la prescription d'une fouille préventive. Le gisement se situe sur un versant en pente douce exposé nord-est à proximité d'un vallon sec orienté est-ouest. De par son ampleur, la fouille a été scindée en deux secteurs, séparés de 400 m (fig. 1). Le premier secteur a été fouillé sur 2 000 m 2 à 5 mètres de profondeur d'octobre à décembre 2010, le second secteur a été fouillé sur 4 100 m 2 à 6 mètres de profondeur de mars à août 2011. Cette opération préventive a mobilisé une équipe de sept personnes dont un géologue à temps plein. Au total, dans ces deux secteurs, trois niveaux d'occupation en position primaire ont été mis au jour. Deux sont attribuables au début du Pléniglaciaire moyen du Weichselien (secteurs 1 et 2), et un niveau est attribuable à l'extrême fin du Pléniglaciaire moyen du Weichselien (secteur 2). Cette contribution a pour but de faire état des premières observations réalisées sur le terrain et lors du démarrage des études de post-fouille.
Le Proche-Orient ancien a livré une documentation écrite considérable dont les archives concernant le métal constituent une part non négligeable. Le métal était une matière rare, notamment parce que les gisements sont absents de Mésopotamie. Sa circulation a donné lieu à une comptabilité détaillée que les scribes écrivaient en cunéiforme sur des tablettes d’argile. Pour l’administrateur antique, ce n’était pas l’aspect de l’objet qui était primordial mais son poids, l’important étant de pouvoir contrôler la masse de métal livrée.
Le Musée du Malgré-Tout (Treignes, Viroinval, Prov. Namur) conserve une collection de vingt-six meules et fragments de meules issus de la fouille de sept sites localisés dans le sud de l'Entre-Sambre-et-Meuse. Ces fragments, étudiés dans leur contexte archéologique, nous offrent d'abord la possibilité d'approcher la pratique de la mouture sur ces différents sites. Une observation pétrographique macroscopique permet aussi d'appréhender les circuits commerciaux qui approvisionnent ce terroir en matériaux pondéreux, ici majoritairement originaires du Massif des Ardennes.

The Musée du Malgré-Tout (Treignes, Viroinval, Namur province) holds a collection of 26 querns and querns' fragments coming from the excavation of seven sites located in the South of the Entre-Sambre-et-Meuse. These fragments, studied in their archaeological context, offer the opportunity to examine the grinding process on these sites. Macroscopic petrographic observation also helps to understand the commercial networks that supply this geographic area with heavy objects, which, in this case, mostly come from the Massif des Ardennes.
Le tell de Chagar Bazar est situé en Syrie du Nord, approximativement au centre du bassin du Khabur. Le site a fait l’objet de fouilles dirigées par M. Mallowan dans les années 1930. En 1936- 1937 furent mises au jour 124 tablettes paléobabyloniennes qui firent l’objet d’un partage entre la Syrie (Musée d’Alep) et la Grande-Bretagne (British Museum). Il a fallu attendre 1997 et l’édition de Philippe Talon (avec des copies de Hamido Hammade), pour disposer de l’intégralité de la documentation découverte par M. Mallowan1. Les 113 tablettes découvertes en 1937 faisaient partie de l’archive du bureau du grain du palais de Chagar Bazar datant de l’époque de Samsî-Addu. La campagne de 1937 fut la dernière menée sur le site, M. Mallowan se consacrant alors aux fouilles de Tell Brak.
A la fin de sa vie, en 1732, Marie-Jeanne L’Héritier publie la première traduction intégrale et féminine des Héroïdes d’Ovide. Alors qu’elle ne s’était jamais appliquée à un tel exercice, pourquoi l’auteure a-t-elle choisi de traduire ce texte spécifiquement ? Il s’agira de montrer que les Epîtres Héroïques s’inscrivent dans une réflexion sur les femmes au XVIIe siècle et que les différents procédés de traduction mis en oeuvre sont autant de voies de l’expression d’un (proto)féminisme.
L'authenticité de Métaphysique « Alpha » (meizon ou elatton) d'Aristote, un faux problème ? Une confirmation codicologique. 1 Les réflexions qui suivent ont été suscitées à la fois par mon examen du manuscrit E d'Aristote, le Parisinus graecus 1853, et par les hypothèses déjà formulées à propos de l'histoire de la transmission, tant de Métaphysique Petit Alpha d'Aristote, que de l'opuscule de Théophraste qui a reçu, lui aussi, le titre de Métaphysique. Il existe en effet des indices, souvent ténus, qui ont été diversement interprétés selon ce qui se présente aujourd'hui comme un véritable enchevêtrement de mises en relation possibles. 2 Dans cette étude, je me propose d'articuler de façon cohérente celles des hypothèses qui ont été confirmées par mes travaux, afin de reconstruire une partie de l'histoire de la transmission de ces textes. J'apporte notamment une information nouvelle qui devrait permettre d'épargner un peu de temps et de peine aux philologues et philosophes, puisqu'elle ôte son principal support à la discussion sur l'authenticité de Petit Alpha, déjà grosse de dix siècles d'activité critique. Commençons par rappeler quelques caractéristiques du Parisinus graecus 1853. Dans une publication consacrée à ce manuscrit, 3 j'ai montré que la partie copiée au Xe siècle est due à trois mains seulement. 4 Les deux volumes qui constituaient initialement ce codex ont été copiés respectivement par les scribes E I et E III, et complétés l'un et l'autre par E II 5 : dans le premier volume, ce scribe particulièrement actif a ajouté au De anima le texte de la vulgate pour le livre II, 6 et dans le second volume, il a poursuivi la copie de E III. 7 Il a également ajouté, dans une écriture plus cursive et plus inclinée à droite, quelques scholies dans les marges des textes écrits par E I et E III, 8 et notamment la fameuse scholie qui, en regard de la fin de Métaphysique Grand Alpha et du début de Métaphysique Petit Alpha, rapporte une discussion sur l'authenticité de « ce » livre (to †toý tØýŁŁŁ biblºon), peut-être dû à Pasiclès de Rhodes. Dans cet article, je reviens sur la question du livre auquel était liée cette scholie et sur l'origine de celle-ci. En effet, toutes les discussions qui ont été développées sur l'authenticité de Petit Alpha depuis le Moyen Age reposent en dernier lieu sur son témoignage. Or, l'ambiguïté de ce témoignage n'avait pas été vraiment prise en considération. Pour reprendre le problème à la base, j'examine également une autre scholie du manuscrit E au texte dit de la « Métaphysique » de Théophraste, selon un raisonnement initié par Silvio Bernardinello 9 et Enrico Berti 10 : la conclusion qu'ils tiraient de cette comparaison et que
Les objets métalliques ont très tôt intéressé les érudits qui les collectionnaient à la manière des antiquaires des XVIIIe et XIXe siècles. Les artefacts métalliques apportent en effet des connaissances sur les sociétés protohistoriques. Parmi les études qui ont été entreprises, la typochronologie, développée par C. Thomsen puis O. Montelius, se base sur des comparaisons d’objets. Comparer signifie que l’on trouve des ressemblances et des différences entre les artefacts. Cependant, qu’est ce qui ressemble à quoi, selon qui ? Comment choisir les critères qui semblent plus importants à certains qu’à d’autres ? Or, afin que l’historien comprenne et interprète les artefacts métalliques, il doit les classer.
Nous souhaitons proposer un réseau social numérique afin que les utilisateurs forment des groupes pour pratiquer ensemble des activités. Dans cet article, nous introduisons un modèle formel de formation de coalitions correspondant à ce cas d'usage. Nous nous restreignons à des préférences additivement séparables pour proposer un algorithme distribué. Nous démontrons que le résultat est Pareto-optimal. Nos expérimentations montre que la solution atteinte par notre algorithme est meilleure que celle obtenue via les techniques classiques de recherche locale et que sa distribution permet d'accélérer son exécution.

We aim at providing a social network such that users form groups to practice together some activities. In this paper, we introduce a formal framework for coalition formation which is suitable for our usecase. We restrict ourselves to additively separable preferences in order to propose a distributed matching algorithm. We demonstrate that its outcome is a Pareto-optimum. Our experiments shows we reach a better outcome than the classical local search techniques and that the distribution of our algorithm speeds up its runtime.
MapReduce est un patron de conception permettant de traiter un très grand volume de données distribuées sur un cluster de machines. Ses performances sont liées aux éventuelles dis-torsions des données. Pour contrer ces biais, nous proposons un système multi-agent adaptatif. Les agents interagissent durant l'exécution et l'allocation dynamique des tâches est le résultats de négociations afin de soulager l'agent le plus chargé et donc le temps global d'exécution. Dans cet article nous montrons comment, lorsqu'une tâche est trop coûteuse pour être négociée, un agent peut la découper afin d'en négocier les sous-tâches.

MapReduce is a design pattern for processing large data sets distributed on a cluster. Its performances are linked to data skews. In order to tackle the latter, we propose an adaptive multi-agent. The agents interact during the job and the dynamic tasks allocation is the outcome of negotiations in order to relieve the most loaded agent and so the running time. In this paper, we show how, when a task is too expensive to be negotiated, an agent can split it in order to negotiate its sub-tasks.
Les métaheuristiques et plus généralement les algorithmes d'approximation possèdent de nombreux paramètres et stratégies pour pouvoir s'adapter à une large gamme de problèmes d'optimisation. Une phase préliminaire de configuration automatique est de plus en plus fréquemment effectuée pour déterminer les valeurs des paramètres les plus prometteuses afin d'optimiser les performances de l'algorithme sur un problème donné. En revanche, la modification de l'algorithme pendant son exécution via la modification de son paramétrage et des stratégies utilisées permettant théoriquement d'optimiser de manière beaucoup plus significative les performances de l'algorithme est moins utilisée car beaucoup plus complexe. On parle alors d'algorithmes adaptatifs, et de contrôle de paramètres. Ces problématiques sont importantes dans le domaine de l'optimisation multi-critère. Dans ce travail, nous proposons une structure généralisée des recherches locales multi-objectif exprimant de nombreux paramètres et stratégies. Cette structure est intégrée dans une nouvelle plate-forme spécifiquement dédiée au design de métaheuristiques, ayant pour but d'une part de faciliter la construction automatique d'algorithmes via un paramétrage donné, et d'autre part de permettre l'ajout de mécanismes de contrôle adaptatifs généraux.
Dans ce travail, nous présentons un contrôle dynamique de l'échantillonnage qui permet d'élargir le pas d'échantillonnage de commande par retour d'état. Nous nous intéressons au cas de systèmes échantillonnés linéaires sujets à des perturbations et des retards, et assurons leur stabilité L2. L'approche est basée sur une nouvelle classe de fonctionnelles de Lyapunov-Krasovskii dont les matrices dépendent de l'état. Grâce aux LMIs obtenues, une cartographie de l'espace d'état est réalisée hors-ligne: elle donne pour chaque point de l'espace d'état le pas d'échantillonnage maximal admissible, ce qui permet de réduire le nombre de mises à jour de l'actionneur pendant le contrôle du système en temps-réel.
– Dans ce papier nous proposons d'utiliser, via un algorithme appelé " Stéganographie Naturelle" (NS), la modélisation du changement de sensibilité ISO afin d'insérer de manière indétectable un message de taille importante dans une image numérique. En première approximation ce changement de sensibilité peut être modélisé par l'ajout d'un bruit photonique indépendant de loie normale sur les photosites du capteur. L'implémentation du schéma NS cherche à modéliser la distribution de ce signal stéganographique après développement d'une image RAW vers une image pouvant être éditée. Les étapes de développement considérées sont la quantification sur 8 bits, la correction gamma et le redimension-nement d'un facteur 2. Même si ces premières implémentations sont loin de prendre en compte tous les développements possibles, dans chacun des cas, nous montrons que cette modélisation statistique permet de garantir une indétectabilité bien supérieure à celle des méthodes classiques. Abstract – This paper proposes to model the ISO switch occurring in digital images acquisition to embed an undetectable high payload by a scheme called "Natural Steganography" (NS). This sensitivity change can be modeled by addition of a photonique noise independently and normally distributed on each sensor photo-site, and the implementation of a NS scheme looks at modeling the steganographic signal at the very end of the development pipeline. We consider here 8 bits quantization, gamma correction and downscaling by a factor 2. Even if we are far from taking into account all the possible development pipelines, we show that these statistical models enable to guaranty an undetectability more important than traditional schemes.
Cet article présente une expérimentation d'initiation d'élèves de primaire à la pensée informatique. L'objectif est de développer la capacité de reconnaissance de motifs et leur expression sous la forme de répétitions via des activités déconnectées et en ligne. Une analyse des traces et des questionnaires pré et post activités ont été réalisés afin de mesurer l'évolution des compétences. Cet article porte sur la session 2018 impliquant 20 classes de CM1/CM2. Les résultats montrent un impact positif des activités et mettent en relief les compétences acquises.
On aborde, par la "commande sans modèle", la régulation du niveau d'eau dans un aménagement hydraulique, soumis à de fortes contraintes, pour produire de l'électricité. Les nombreuses simulations numériques fournissent d'excellents résultats, obtenus grâce à des algorithmes robustes et simples.
Ce travail concerne l'adaptation des instants d'échantillonnage pour des systèmes différentiels linéaires stationnaires contrôlés par retour d'état. De façon complémentaire à de nombreux travaux qui garantissent la stabilisation indépendamment des variations de la cadence d'échantillonnage, il s'agit ici de concevoir des séquences d'instants d'échantillonnage stabilisantes. Ici, on adapte dynamiquement les ressources nécessaires au calcul des lois de commande en agissant sur leurs instants d'échantillonnage qui ne sont plus périodiques. La solution proposée détermine une séquence d'échantillonnage en fonction de la valeur mesurée de l'état. On développe un algorithme d'ordonnancement dynamique optimisant, sur un horizon d'échantillonnage donné, une séquence parmi un ensemble discret de solutions. Nos preuves sont inspirées des techniques de systèmes hybrides à commutations, alliant fonctions de Lyapunov et optimisation LMI. L'étude théorique est ensuite illustrée par une implémentation algorithmique sous Matlab/TRUETIME simulant l'interaction commande/ordonnancement.
Les conflits constituent une caractéristique intrinsèque des systèmes multi-agents qui peut être résolu par la négociation. Cet article présente un état de l'art de la négociation multi-agents en mettant l'accent sur sa variante la plus élémentaire : la négociation bilatérale par concession. Nous fournissons ici une grille d'analyse qui distingue : i) l'environnement de négociation (objectifs, parties prenantes, protocole et stratégies) ; ii) les propriétés attendues du résultat ; et iii) celles du processus.

Conflicts are intrinsic characteristics of multi-agent systems which can be solved by negotiation. This paper presents a state of the art on multi-agent negotiation by focusing on its most elementary variant : bilateral concession-based negotiation. We provide an analysis grid based on : i) the negotiation environment (object, stakeholders, protocol and strategies) ; ii) the expected properties of the outcome ; and iii) those of the process.
Cet article présente un algorithme d'estimation de paramètres dans le cas d'un palier magnétique. De tels procédés sont des systèmes intrinsèquement instables ayant une dynamique fortement non linéaire. Cette approche est basée sur les outils mathématiques suivants : Transformée de Laplace et calcul opérationnel. On développe ici le modèle du palier magnétique afin d'être capable d'estimer certains paramètres difficilement mesurables et pouvant varier légèrement dans le temps. L'expression des estimations est écrite comme une fonction d'intégrales des entrées et des sorties du système. Les simulations présentent une estimation rapide (<0.2 secondes) et robuste
En utilisant l'approche Workflow et un logiciel BPM Open Source(Bonitasoft), le but de cet article est double. Notre objectif est, d'abord, de modéliser le parcours du patient dans le service d'urgence pédiatrique d'un hôpital pour traiter le flux entrant de patient. Deuxièmement, utiliser le modèle obtenu pour simuler le parcours du patient selon différentes options et de tester l'efficacité du système actuel de prise en charge des patients. Ainsi, à partir des données anonymes fournis par le service d'urgence pédiatrique, nous avons pu tester la fiabilité de notre simulation et évaluer la validité du modèle. Sur la base de ces simulations, nous avons été en mesure d'identifier quelques facteurs explicatifs de la durée d'attente des patients. Les mêmes résultats nous ont permis aussi de montrer dans quelles parties du système le temps d'attente est le plus grand.

By using Workflow Methodology and BPM Software (Bonitasoft), the aim of this paper is twofold. Our aim is, first, to modelling the patient journey in the paediatric department of a hospital to deal with the incoming flow of patient. Secondly, we will use the model to simulate the patient journey with the different options used by the medical staff of the department, and test the efficiency of the current system with a patient charge. Thereby, with the anonymous data base received from the hospital, we would assess the reliability of our simulation and the validity our modelling. Based on these simulations, we were able to find out the main causes of the patient waiting time and to show in which parts of the system the waiting time is the greatest.
Les animations sont de plus en plus utilisées dans les systèmes interactifs dans un but d'améliorer l'utilisabilité et l'esthétique de l'interface utilisateur. Si les animations se révèlent très utiles dans de nombreux cas, on trouve également des anima-tions causant de multiples problèmes, tels que la distraction des utilisateurs de leur tâche principale ou encore le ralen-tissement de l'exploration des données. Le fait que de telles animations subsistent encore prouve que les animations ne sont pas encore bien assimilées comme une aide cognitive à la compréhension des interfaces, et que l'on n'a pas décisivement défini ce qui constitue une animation bien conçue. Le but de cette thèse est de mieux comprendre les différents aspects des animations pour les interfaces et d'explorer de nou-velles méthodes pour les concevoir, en focalisant une grande partie de nos travaux autour du domaine de la visualisation d'information. Comme première investigation, nous avons élaboré une taxonomie des rôles des animations dans les interfaces graphiques. Dans le contexte des visualisations dy-namiques d'information, nous travaillons actuellement sur un modèle des transitions animées. Nous explorons également certains aspects du groupement visuel pour ces transitions. En outre, nous étudions l'effet de la structuration temporelle des transitions animées sur l'interprétation des données. Nos futures investigations viseront essentiellement la conception d'un outil de prototypage et de création de transitions animées pour des données dynamiques basé sur le dessin.

Animations are increasingly used in interactive systems in order to enhance the usability and aesthetics of user interfaces. While animations are proven to be useful in many cases, we still find defective animations causing many problems, such as distracting users from their main task or making data exploration slower. The fact that such animations still exist proves that animations are not yet very well understood as a cognitive aid for understanding interfaces, and that we did not definitely decide what makes a well designed animation. This thesis aims at better understanding the different aspects of animations for user interfaces and exploring new methods and guidelines for designing them, with a main focus on the field of information visualization. As a first investigation, we elaborated a taxonomy of the roles of animations in the gra-phical interfaces. In the context of dynamic information visua-lizations, we are currently working on a model of animated transitions. We are also exploring certain aspects of the visual grouping for these transitions. Moreover, we are studying the impact of temporal structuring of animated transitions on the interpretation of data. Our future investigations will aim essentially at the design of a sketch-based tool for prototyping and authoring animated transitions of dynamic data.
Raycasting est la technique de pointage de cible la plus courante dans les environnements de réalité virtuelle. Cependant, sa performance sur des cibles à la fois petites et distantes est affectée par la précision du dispositif de pointage et les capa-cités motrices de l'utilisateur. Les techniques actuelles de facilitation du pointage ne sont actuellement appliquées que dans le contexte de la main virtuelle, c'est-à-dire pour les cibles à portée de main. Nous proposons des améliorations au Raycasting : le fil-trage du rayon, et l'ajout d'un curseur contrôlable sur celui-ci pour sélectionner la cible la plus proche. Nous décrivons une série d'études pour la conception d'aides visuelles, la technique de filtrage, ainsi qu'une étude comparative entre différentes techniques de pointage 3D. Nos résultats montrent que la mise en évidence de la cible la plus proche est l'une des techniques les plus efficaces de rétroaction visuelle. Nous montrons éga-lement que le filtrage du rayon réduit le taux d'erreur de manière drastique. Enfin, nous montrons les avantages de RayCursor par rapport à Raycasting et à une autre technique de la littérature.

Raycasting is the most common target pointing technique in virtual reality environments. However, performance on small and distant targets is impacted by the accuracy of the pointing device and the user's motor skills. Current pointing facilitation techniques are currently only applied in the context of the virtual hand, i.e. for targets within reach. We propose enhancements to Raycasting : filtering the ray, and adding a controllable cursor on the ray to select the nearest target. We describe a series of studies for the design of the visual feedforward, filtering technique, as well as a comparative study between different 3D pointing techniques. Our results show that highlighting the nearest target is one of the most efficient visual feedforward technique. We also show that filtering the ray reduces error rate in a drastic way. Finally we show the benefits of RayCursor compared to Raycasting and another technique from the literature.
Le problème No-Wait Flowshop (NWFSP) est une variante du problème d’ordonnancement de type flowshop de permutation où aucun temps d’attente n’est autorisé entre l’exécution de chaque tâche sur les machines successives. Ainsi l’exécution d’une tâche est exactement le temps nécessaire pour effectuer chaque tâche par chaque machine contrairement au problème classique. Cette particularité lui confère des propriétés et une structure intéressantes qui peuvent être utilisées dans des algorithmes de résolution tels que les heuristiques ou les métaheuristiques. Partant de cette observation, nous proposons une méthode rapide pour construire des solutions initiales meilleure que celles construites par les heuristiques constructives de la littérature. Cette méthode d’initialisation sera ensuite utilisée comme point de départ à une nouvelle métaheuristique nous permettant d’obtenir de nouvelles meilleures solutions ayant des qualités non encore atteintes actuellement pour les instances de Taillard.
Dans cet article, nous présentons une ébauche d'Interface Cerveau-Ordinateur hybride (ICOh) conçue spécifiquement pour assister des personnes atteintes de myopathie de Duchenne (DMD : Dystrophie Musculaire de Duchenne). Dans un premier temps, nous décrivons la structure de l'interface et la stratégie de contrôle de trajectoire qui est à la base de son utilisation. Ensuite, nous présentons les différentes applications ludiques que nous avons développées en vue de permettre aux utilisateurs d'apprendre à utiliser le système. Enfin, nous présentons des résultats préliminaires de son utilisation par deux sujets atteints de DMD et comparons les performances obtenues par ces derniers lors de la réalisation d'une tâche de contrôle d'un jeu vidéo avec celles de dix sujets sains ayant réalisé la même tâche. Dans la version de l'interface décrite ici, l'utilisateur contrôle le système uniquement par son activité musculaire. Cependant, l'activité cérébrale est enregistrée simultanément pour permettre son analyse hors-ligne à des fins de validation.
Dans cet article, nous présentons une approche qui permet de résoudre le problème de la K-diagnosticabilité des réseaux de Petri (RdP) synchronisés et bornés. Tout d'abord, nous introduisons deux nouveaux concepts : la matrice d'incidence étendue qui intègre les informations relatives aux affectations des événements aux transitions, et le marquage étendu ainsi que l'équation d'état étendue, qui permet de transcrire le nombre d'occurrences de chaque événement depuis l'état initial, jusqu'à un certain marquage étendu cible. Sur la base de ces concepts, nous élaborons un nouvel algorithme d'analyse, à la volée, de la K-diagnosticabilité des RdP synchronisés partiellement observables. L'algorithme développé se base sur des procédures récursives et ne nécessite pas une construction a priori du graphe de marquage ni d'un diagnostiqueur.

This paper presents an approach to solve the problem of K-diagnosability of bounded labeled Petri nets (PNs). We first introduce extended incidence matrix, marking-eventing and extended state equation, which make it possible to record the number of event occurrences for any mar- king reachable from the initial one. Based on the proposed conceptions, we give a mathematical representation for labeled PNs to check diagnosability, and describe K-diagnosability problem of partially observed PNs. Then we propose a recursive algorithm for testing K-diagnosability of PNs, without construction of marking graph or diagnoser.
Avec le développement et l'évolution de plus en plus rapides des objets connectés (Internet of Things), la sécurité et la confidentialité sont devenues des propriétés désirées par chaque constructeur dans leurs appareils, moyennant un coût, en termes de performances, moindre. En tant que moyen d'assurer mathématiquement les propriétés désirées, la preuve formelle a fait son entrée dans le domaine du développement noyau. Cependant, la vérification formelle nécessite beaucoup de travail et impose plusieurs contraintes : la moindre modification du modèle ou du code provoque de nombreuses modifications sur la preuve. Comme réponse à ce problème, nous présentons Pip, un proto-noyau n'assurant que la propriété voulue, l'isolation mémoire, par le biais d'une base de confiance prouvée, tout en laissant le code utilisateur gérer les fonctionnalités restantes.
Avec l'avènement du véhicule autonome et la mutation que va connaître le secteur automobile dans les dix prochaines années, la simulation de trafic routier a pris un nouvel essor. C'est notamment l'un des rares moyens pour tester un véhicule autonome in silico [7]. Pour y parvenir, les générateurs actuels doivent augmenter leur réalisme. Nous soutenons ici que l'un des points majeurs de ce réalisme concerne la capacité des générateurs à produire des accidents dans l'environnement du véhicule testé. À notre connaissance, aucun des générateurs existants ne prend en compte cette considération nécessitant une description plus fine que celle habituellement utilisée pour décrire le comporte-ment de conduite. Nous décrivons dans cet article un modèle de comportement paramétrique permettant une telle performance, et montrons qu'il répond aux faits stylisés reconnus en accidentologie.

The advent of autonomous vehicles is leading to deep changes in the automotive sector for the next decade. As one of the few ways to test an autonomous vehicle, road traffic simulators take a new lease of life. However, traffic generators do not consider crashes : the tested vehicle's behavior cannot face unforeseen cases. We state that it is a major issue and we propose a para-metric model leading to traffic generation characterized by a wide behavioral spectrum. Instead of planned crashes, this model allows the emergence of crashes due to interactions among vehicles. After a description of the behavioral model, we show that simulations are able to exhibit stylized facts recognized in this field.
L'informatique multi-nuages s'est imposée comme un paradigme de choix pour acquérir des ressources provenant de différents fournisseurs de nuage et obtenir le meilleur de ces derniers pour exécuter des applications. L'informatique multi-nuages consiste en l'utilisation de multiples environnements de nuages indépendants qui ne nécessitent pas d'accord préalable entre les fournisseurs de nuage ou un tiers. Cependant la gestion des ressources dans un environne-ments multi-nuages reste une tâche difficile. Plusieurs bibliothèques multi-nuages comprenant Apache Libcloud, Apache jclouds, δ-cloud, Daseincloud, fog et pkgcloud existent sur le marché de nuage. Mais la gestion des ressources multi-nuages par ces bibliothèques se fait toujours en programmant dans un langage spécifique et reste de bas niveau. Par conséquent, nous avons besoin d'une solution permettant aux développeurs de gérer de manière simple les ressources multi-nuages. Dans cet article nous fournissons une approche dirigée par les modèles pour gérer à un niveau d'abstraction plus haut les ressources provenant de plusieurs nuages. Nous illustrons notre proposition en fournissant un prototype du Designer multi-nuages pour gérer des ressources provenant de plusieurs nuages.
Ce document se veut une aide à la conception (dimensionnement, mesures, commande, supervision) des systèmes de transport (routiers, ferroviaires, ...) dans le cadre des nouveaux enjeux de performance et de sécurité. Dans ce contexte, les modèles doivent pouvoir traduire des conditions de frottement fortement perturbées (température, pollution, huile, verglas, turbulences, courants marins...) contrairement au cas des systèmes mécaniques constitués de pièces en mouvement dans la lubrification est imposée. Aussi, le concepteur se heurte à plusieurs questions : comment relier concrètement les conditions d'adhérence réelles aux paramètres physiques des matériaux ou fluides en contact ? Dispose-t-on de modèles de frottements suffisamment simples pour être simulables et identifiables en temps réel ? Quel modèle utiliser selon le type de performance que l'on souhaite optimiser ? Dans tous les cas, la difficulté des mesures au niveau du contact stimule la recherche d'estimateurs (basés sur des modèles adéquats) pour reconstruire en ligne des informations non directement mesurées ce qui nécessite de croiser les connaissances en tribologie et en commande (modèles " boîte noire ", observateurs). Tel est l'objectif du travail proposé. Nous y décrirons de manière synthétique les caractéristiques du frottement d'un point de vue tribologique et donnerons un bilan complet des modèles de frottements apparus ces dernières années. Nous tenterons ensuite de cerner les problématiques qui doivent relier les modèles dynamiques des systèmes étudiés et les efforts de frottement (entrées inconnues), mais également les critères de sélection des modèles en fonction des applications.
Les motifs locaux binaires (LBP) permettent d'extraire des descripteurs de texture spatiaux pour discriminer les images de textures en niveaux de gris. Dans cet article, nous proposons un opérateur LBP qui extrait conjointement les informations de texture spatiales et spectrales à partir de l'image brute fournie par une caméra équipée d'une matrice de filtres multispectraux. Nous montrons expérimentalement que le descripteur proposé présente à la fois un faible coût de calcul et un haut pouvoir discriminant par rapport aux descripteurs LBP classiques appliqués aux images multispectrales.

To discriminate gray-level texture images, spatial texture descriptors can be extracted using the local binary pattern (LBP) operator. In this paper we design an LBP operator that jointly extracts the spatial and spectral texture information directly from a raw image provided by a camera equipped with a multispectral filter array. Extensive experiments on a large dataset show that the proposed descriptor has both low computation cost and high discriminative power with regard to classical LBP descriptors applied to multispectral images.
Dans cet article, nous traitons le problème d'approximation de nuages de points par une courbe spline ou surface au sens de la norme L1. L'utilisation de cette norme permet de préserver la forme des données même en cas de changement brutal de celle-ci. Dans nos précédents travaux, nous avons introduit une méthode par fenêtre glissante de cinq points pour l'approximation courbe spline L1 et une méthode de croix glissante de neuf points pour l'approximation surface spline L1 de données type grille. Malgré leur complexité linéaire, ces méthodes peuvent demeurer lentes lorsqu'elles sont appliquées sur un large flot de données. Par conséquent, sur la base de nouveaux résultats algébriques sur l'approximation L1 sur un nombre restreint de données, nous proposons ici des méthodes reposant sur des fenêtres de taille inférieure et nous comparons les différentes méthodes. In this article, we adress the problem of approximating scattered data points by C1-smooth polynomial spline curves and surfaces using L1-norm optimization. The use of this norm helps us to preserve the shape of the data even near to abrupt changes. In our previous work, we introduced a five-point sliding window process for L1 spline curve approximation and a nine-point cross sliding window process for L1 spline surface approximation of grid datasets. Nethertheless, these methods can be still time consuming despite their linear complexity. Consequently, based on new algebraic results obtained for L1 approximation on restricted sets of points in both planar and spatial cases, we define in this article methods with smaller windows and we lead a comparison between the methods.
Cet article propose une réflexion sur le fédéralisme monétaire à partir de l’histoire des monnaies complémentaires en Argentine (trueque). Le premier réseau d’ampleur nationale (RGT, 1995-2000) incarne une forme possible de fédéralisme, caractérisée par la décentralisation de l’émission monétaire et le maintien de l’unicité de l’unité de compte. Ce modèle fut contesté par deux réseaux centralisant l’émission monétaire (RGT, 2001-2002 et RTZO, 2000-2002). La crise que connut l’ensemble de ces réseaux en 2002 souligne les implications éthiques et politiques de la question de l’émission monétaire.

This paper presents a reflection on monetary federalism from the history of the Argentinian complementary currencies (trueque). The first national trueque system (RGT, 1995-2000) is analyzed as a form of monetary federalism. It is characterized by the decentralization of money-issuing and the uniqueness of the unit of account. This model has been challenged by two systems based on the centralization of money-issuing (RGT, 2001-2002 and RTZO, 2000-2002). The crisis that threatened the trueque in 2002 reveals ethical and political implications of the question of money-issuing.
Le théâtre du jeune dramaturge italien Emanuele Aldrovandi se situe dans une Europe et une Italie en crise. Saluée par la critique, sa production définie comme « la dramaturgie du paradoxe raisonné » affronte les problèmes de la société de manière très personnelle et originale. Son angle d’approche est toujours innovant et invite le public à une prise de conscience des problèmes inhérents à notre société. Cet article se concentre en particulier sur deux textes de 2015, Allarmi ! et Scusate se non siamo morti in mare, liées à la situation sociale actuelle, à l’émigration, au terrorisme, à la résurgence des idées néo-fascistes.

The theatre of the young Italian playwright Emanuele Aldrovandi is located in a Europe and an Italy in crisis. Critically acclaimed, his production, defined as "the dramaturgy of reasonable paradox", tackles society's problems in a very personal and original way. Its approach is always innovative and encourages the public to become aware of the problems inherent in our society. This article will focus in particular on two 2015 texts, Allarmi !and Scusate se non siamo morti in mare, related to the current social situation, emigration, terrorism, the resurgence of neo-fascist ideas.
L’analyse des budgets des foyers populaires situés dans l’ancien cordon industriel de Rosario dévoile une multitude de pratiques visant à mettre l’épargne à distance et à reproduire les relations de dette. Il ne s’agit pas d’archaïsmes que la modernité serait amenée à dépasser : au contraire, elles expriment le visage qu’a pris autour de Rosario la financiarisation des rapports sociaux. Ainsi, à travers leur rapport à la dette, ces pratiques expriment et actualisent des rapports sociaux complexes. Elles doivent être vues comme des adaptations à des contraintes nouvelles, nées du démantèlement du rapport salarial fordiste qui a touché la périphérie de Rosario.

In Rosario’s industrial neighbourhood, households’ budgets reveal a wide variety of practices aiming at reificating savings and extending debt relations over the time. Those practices must not be understood as an hypothetical “return to barter”: on the contrary, they express the form taken by the financialization of social relations around Rosario. Through their relationship to debt, they express a set of complex social relations. They are analysed as adaptations to new constraints, which arose from the dismantling of the fordist wage-labour nexus.
Notre communication se propose de relier les perspectives micro et macro opposées par la littérature en sciences sociales. Pour cela, nous envisageons la culture comme élément médiateur de l'organisation sociale pour dépasser la théorie traditionnelle des réseaux sociaux. Notre but dans cette communication théorique est donc de montrer comment la culture, en tant que réseau dynamique de règles génératrices de pratiques possibles, permet l'émergence de l'organisation sociale. Nous défendons particulièrement l'idée que la théorie des réseaux sociaux ne suffit pas à expliquer l'organisation sociale. En effet, elle ne hiérarchise pas les relations et ne prend pas en compte l'aspect proprement humain du social. Nous présentons dans une première partie comment le concept d'émergence issu des sciences « dures » de la complexité peut relier le micro et la macro et peut s'appliquer aux sciences sociales à travers la théorie dynamique des réseaux. Dans la seconde partie nous expliquons les caractéristiques structurelles et dynamiques des réseaux sociaux ; puis, dans la troisième et dernière partie, nous proposons une relecture de la théorie de la structuration de Giddens (1984) en analysant l'émergence des réseaux sociaux organisés à travers le concept d'émergence réticulaire de règles culturelles lié à une approche probabiliste de l'action.
Le but de cette communication est de montrer l'importance de la dimension culturelle dans les pratiques de veille à l'intérieur des organisations, en s'appuyant sur l'exemple des entreprises chinoises. La communication se déroulera en trois parties. Après avoir défini le concept de pratiques communicationnelles de veille, et avoir explicité les dimensions culturelles, nous montrerons comment les pratiques communicationnelles de veille, envisagées comme un ensemble particulier de pratiques informationnelles, sont culturellement fondées. Cela nous permettra ensuite, en étudiant la spécificité du contexte chinois à partir de la littérature et d'une enquête de terrain effectuée sur plusieurs mois de 2005 à 2007 de définir les spécificités du système culturel informationnel chinois qui contraignent la mise en place de systèmes de veille. Nous examinerons en dernier lieu les pratiques chinoises de veille dans le cadre de la « culture informationnelle » proposé par Davenport et Prusak (1997), pour nous interroger sur l'adéquation des systèmes de veille proposés sur le marché chinois.

This paper aims to outline the importance of the cultural dimension in organizational practices of competitive intelligence and environmental scanning by analyzing the case of Chinese enterprises. The article consists of three main parts. In the first part, the authors define the concept of communicational practices of environmental scanning, then examine the cultural dimension and the cultural foundation of those practices. The second part of the paper investigates environmental scanning practices in the cultural context of Chinese enterprises by using primary and secondary data from the literature and from a field work conducted in China during several months from 2005 to 2007. This contextual analysis aims to define the particularities of the Chinese cultural informational system that constraint the implementation of CI systems. In the last part, the authors examine the Chinese practices of environment scanning in the framework of the « informational culture » provided by Davenport and Prusak (1997) and evaluate the adequacy of Chinese CI systems to those practices.
Une commande par modes glissants d'ordre 2 est réalisée pour le contrôle de systèmes mécaniques sous-actionnés opérant en milieu incertain. Afin de stabiliser un système sous-actionné autour de sa position d'équilibre instable, une commande robuste quasi-homogène est construite pour générer un régime glissant d'ordre 2 sur une surface de glissement convenablement choisie. La dynamique équivalente par rapport à cette sortie fictive est alors asymptotiquement stable. Les performances de la loi de commande proposée sont illustrées par une étude expérimentale sur un pendule inversé.
Dans cette communication, on étudie l'identification en ligne du retard par l'approche algébrique. Une présentation de cette technique d'identification est effectuée. Une application à une soufflerie de séchage est envisagée. L'air est soufflé par un ventilateur tournant à une vitesse constante. Cette soufflerie est décrite par un modèle mathématique de type entrée-sortie, linéaire, continu, monovariable, du premier ordre, avec retard, opérant dans un cadre essentiellement stationnaire. Les résultats expérimentaux permettant de valider les résultats analytiques, sont présentés et commentés.
Cette communication cherche à identifier et expliquer la manière dont les biblio-thèques municipales du territoire de la Métropole Européenne Lilloise (MEL), en tant qu'espaces physiques et symboliques au coeur de l'organisation des connais-sances et de la construction des savoirs, intègrent l'« innovation » dans leurs pra-tiques. À travers les réponses à un questionnaire, on voit que les métiers évoluent, comme la relation entre les partenaires, et passe par un modèle décentralisé et plus amateur.

This paper aims at identifying and clarifying how libraries integrate “innovation”. The study involves municipal libraries in the Lille Metropole area, regarded as both physical and symbolic places intended for knowledge building and organization. The replies to a questionnaire indicate development in the library activities, in the partners relationship, and show a decentralized model involving amateurs.
Nous étudions les images de l'émission Star Academy 4 transférées sur des contenus " institutionnels ", " personnels " et " communautaires " de l'Internet. Si les contenus institutionnels montrent déjà des contaminations mutuelles des formes et des contenus, les contenus personnels et communautaires rendent visibles des réappropriations " bricolées " des images où les emprunts réciproques entraînent une répétitivité importante d'images identiques. La maîtrise technique des images et des outils par des adolescents " fans " de l'émission publicise une expertise qui, plus que les choix esthétiques, est un moteur de reconnaissance dans les communautés de fans. Les images manipulées sont compilées au sein de collections où la mise en ordre reproduit un ordonnancement qui est le fruit d'une construction communautaire standardisée.

We study the images of the Star Academy 4 broadcast transferred on "institutional", "personal" and "community" contents on Internet. The institutional contents already show mutual contaminations of forms and contents whereas the personal and community contents reveal "mended" re-appropriations of images where the reciprocal borrowings lead to a great repetitiveness of identical images. The technical control of images and tools by teenagers who are "fans" of the broadcast advertises an expertise which, more than the aesthetic choices, is a recognition driving force in fans communities. The manipulated images are compiled within collections where the sorting out reproduce a layout which is the fruit of a standardized community construction.