nglaura/hal-summarization huggingface dataset:
L’article présente les résultats d’une recherche qui étudie comment les futurs enseignants en formation initiale comprennent et (ré)actualisent dans leur discours les contenus d’un cours traitant de l’interculturalité en tant que rapport dynamique aux représentations de soi et de l’autre présent dans toute interaction. L’étude porte sur 49 textes décrivant une expérience interculturelle vécue. Différentes traces de (ré)actualisation des représentations sont observées, entre autres, dans les thématiques abordées, l’emploi des termes vus en cours, le positionnement de l’étudiant et sa réflexion. Des éléments de réponse concernant le processus de transformation sont discutés.

This article presents the results of a study looking at how pre-service teachers understand and (re)shape the contents of an Interculturality course in their discourse. Interculturality is understood as the dynamic relationship to representations of self and the other present in all interactions. The study focuses on 49 texts describing a personal intercultural experience. Traces of the re(shaping) of representations are observed, among others, in the themes dealt with, the use of course terms and the positioning of the students and their reflections. Findings concerning the process of transformation are discussed.
L'indicateur de DPA permet de rendre compte de l'interaction didactique entre un enseignant et les élèves de sa classe. Les choix didactiques de l'enseignant positionnent différemment chaque élève de la classe par rapport aux savoirs en jeu, créant ainsi une « hétérogénéité didactique », « créée par le système didactique » (Sarrazy, 2002, p. 4) : « si trop peu d'élèves peuvent s'inscrire dans les situations proposées, ne peuvent répondre aux demandes du professeur, l'enseignement, pour fondé qu'il soit, n'est pas tenable ; si, au contraire, une grande majorité d'élèves identifie trop facilement ce qu'il s'agit de faire, l'enseignement est réalisable certes, mais s'avère pas ou peu fondé » (Chopin & Sarrazy, 2009, p. 4). Ainsi, les choix didactiques des enseignants ne sont pas indépendants de contraintes liées à la gestion d'un groupe-classe. Nous présentons dans cette contribution l'indicateur de Distance à la Performance Attendue, ses limites, intérêts et enjeux pour la didactique.
L’objectif de la recherche présente est de montrer l’impact de normes dichotomisantes dans les activités de jugement. Ces normes sont étudiées sur la base de leurs relations avec un contexte informationnel immédiat. Pour cela, nous avons choisi une tâche d’évaluation du confort associé à des relevés de température ambiante, et manipulé le champ de référence : selon les conditions, les sujets devaient prendre appui sur leurs propres préférences ou sur celles supposées d’autrui. Il ressort de cette étude que deux normes peuvent produire une structuration dichotomique de l’activité et en conséquence rester stables, un optimum personnel et une norme conventionnelle. Les effets contextuels obtenus sont compatibles avec l’hypothèse selon laquelle, avec une telle dichotomisation des jugements, le compromis étendue-fréquence opère séparément de chaque côté de l’optimum, comme si le sujet établissait un contexte pour les températures les plus chaudes et un autre contexte pour les plus froides.

This research studies the role of a relatively fixed optimum for ambient temperature upon dichotomized, preferential judgments (e.g., too warm, or too cold). Experimental subjects were presented sets of numerals representing different ambient temperatures. The sets varied in both range and skewing. Contrary to the usual range-frequency effects of the entire set of presented stimuli, subjects ratings were well anchored at an optimal temperature; told to imagine how people living in either warm or cold climates would react, subjects anchored the optimum close to a conventional norm. Those contextual effects that were obtained were consistent with the hypothesis that the range-frequency compromise operates separately on each side of the optimum when judgments are thus dichotomized, as though there was one context for warmer temperatures and another for colder temperatures.
L'objectif de cet article est de proposer quelques éléments d'évaluation du processus d'interdépendance des protagonistes dans la recherche des solutions dans les négociations internationales. Dans le premier paragraphe, j'analyse les modèles de la théorie des jeux qui ont considéré l'interdépendance comme la compétition et la coopération et ont élaboré les stratégies (pures ou mixtes) et les valeurs durant ce processus. Dans le deuxième paragraphe, je chercherai à montrer d'une part l'impact de la théorie des jeux sur l'analyse de la négociation internationale et les modèles essentiels qui l'étudient et d'autre part, la définition des conditions essentielles de la résolution de conflits, de la reconnaissance mutuelle et de la volonté des négociateurs d'entrer dans les accords globaux lors de ce processus.

The article proposes a tentative assessment of the process of the independence of protagonists in international negotiation. In the firth paragraph, I analysed the models of the theory of games came to consider the interdependence as the competition and the cooperation and elaborate the strategy (pure and mixed) and the values in this process. In the second paragraph, I will try to demonstrate the impact of the theory of games on the analysis of the international negotiation and their global models and on the other, the definition of the essential condition of conflict resolution, dialogue, mutual recognition and the willingness of negotiators to enter into global agreement during their process.
La question des usages sociaux de la culture et des liens avec les groupements sociaux continue aujourd’hui à être discutée. Cet article propose d’alimenter les réflexions en interrogeant la cohérence des choix des pratiques physiques et sportives. Ciblant les catégories sociales supérieures, il s’interroge d’un point de vue macrosociologique sur leur éventuelle omnivorité et sur la dissonance de leurs choix de pratiques. A l’aide d’une enquête sur les pratiques sportives des Français (n = 6526) il ressort qu’omnivorité et massification des pratiques sont des phénomènes majeurs. Cependant, les catégories supérieures se distinguent par leur « haute omnivorité » et, dans une certaine mesure, leur éclectisme.

The question of the social uses of culture in relation with social groupings continues to be debated. This paper aim is to feed analysis with a study of sport choices coherence. Targeting upper classes and middle upper classes, its questions form a macro-sociological perspective, their omnivority and the dissonance of their sport choices. Through data from an important inquiry (n= 6526), we show that omnivority and massification of sport culture are main trends. Nevertheless, upper classes distinguish themselves by a high level of omnivority and, in a way, by their eclectism.
Lors des Jeux Olympiques, les délégations des différents pays ne sont pas seulement composées des athlètes, mais également de leur encadrement technique, d'élus des différentes fédérations, d'équipes médicales, de scientifiques et de différents personnels nécessaires à l'accomplissement de la performance ou à la communication avec les médias. On fera l'hypothèse que les représentations des pays aux Jeux Olympiques peuvent constituer des indicateurs pertinents des politiques nationales de production de la performance sportive. On peut y identifier, par exemple, des stratégies de formation de futurs cadres techniques, des types de relations entre le monde de la science et le monde sportif. Pourtant, il n'existe pas, à ce jour, de travaux connus concernant ce sujet et cette communication se présente comme une étude quantitative, s'attachant à explorer la composition des délégations nationales afin d'élaborer des hypothèses pour la mise en place de recherches.
Depuis son apparition dans les années 1970, l'écologie industrielle est considérée comme source de transformations profondes des pratiques industrielles à l'égard de l'environnement naturel, par la prise en compte du caractère limité des ressources naturelles et des dégâts occasionnés par la pollution. Son application repose sur différents principes, liés notamment à la disponibilité des flux, aux stratégies des acteurs privés et au soutien des acteurs publics. Dans cet article, nous nous intéressons plus particulièrement à quelques démarches urbaines d'écologie industrielle dans les pays nordiques, pour mettre en valeur l'importance de la question des enjeux environnementaux et les sources d'innovation technologique et organisationnelle que représentent ces démarches.

Since its onset in the 1970s, industrial ecology has been regarded as a source of deep transformation in industrial practices with regard to the natural environment, considering the limited character of natural resources and the damage caused by pollution. Its application is based on different principles, linked in particular to the availability of flows, to private actors' strategies and to public actor's support. In this paper, we focus on a few urban industrial ecological approaches in the Nordic countries, highlighting the importance of environmental issues, and the fact these approaches are a source of technological and organizational innovation.
Le Danemark est connu pour ses expériences pionnières en matière de communautés locales durables : quartiers autogérés, écoquartiers, cohabitat, écovillages. La plupart se sont installées à la périphérie des principales villes du pays : Copenhague, Aarhus ou Aalborg. L'innovation sociale qu'elles suscitent est aujourd'hui débattue : contribuent-elles réellement à renforcer la cohésion sociale, réintroduisant la diversité dans les périphéries urbaines, ou s'apparentent-elles à de nouveaux ghettos boboïsés ? Les exemples du 8-tallet, de l'écoquartier de Hedebygade (Copenhague), des jardins partagés d'Aalborg et des écovillages de Munksøgård et Hjortshøj apportent à travers des trajectoires contrastées la matière à une démarche inductive et multiscalaire.

Denmark is well known for being a pioneer in sustainable local communities: self-administered neighbourhood, ecodistricts, shared living, ecovillages. Most of these are situated around the biggest cities of the country: Copenhagen, Aarhus or Aalborg. The social innovation created by them is now debated: do they really contribute to social bounding by introducing diversity into urban periphery or are they more becoming like wealthy hipsters' ghettos? Many examples such as 8-tallet, the ecodistrict of Hedebygade (Copenhagen), the shared-gardens of Aalborg and the ecovillages of Munksøgård and Hjortshøj bring in different ways to a process of inductive and multi-scaled analysis.
La déforestation pour la mise en place de prairies constitue une perturbation majeure et brutale en zone tropicale avec des enjeux importants sur les impacts et services environnementaux liés aux écosystèmes herbagers. C’est le cas en Guyane française et plus généralement en Amazonie où le développement de l’élevage doit se raisonner dans le cadre de la protection du patrimoine forestier et des mesures actuelles d'atténuation de GES (gaz à effet de serre). L’étude analyse la dynamique temporelle du carbone (C) dans les sols d’une chronoséquence composée de 25 prairies âgées de 6 mois à 41 ans issues de la déforestation et de 6 sites de forêt témoins sur des sols ferralitiques en Guyane. L’analyse isotopique du C (δ13C) a été utilisée pour déterminer l’origine du C des sols des prairies (issu de la forêt ou des graminées de la prairie). Une vingtaine d’année après leur mise en place, les prairies stockent autant de C que les sols forestiers d’origine (de 72 à 148 t C/ha, 100 t en moyenne), valeurs dépassés par certaines prairies de plus de 30 ans avec des valeurs maximales comprises entre 140 et 203 t C/ha. Les mesures isotopiques montrent que le C forestier est progressivement remplacé par le C issu des prairies au cours du temps. La caractérisation du C par son degré de dégradation dans le sol montre que le C est essentiellement stocké sous forme récalcitrante.
Le Danemark est connu pour ses expériences pionnières en matière de communautés locales durables : quartiers autogérés, écoquartiers, cohabitat, écovillages. La plupart se sont installées à la périphérie des principales villes du pays : Copenhague, Aarhus ou Aalborg. L’innovation sociale qu’elles suscitent est aujourd’hui débattue : contribuent-elles réellement à renforcer la cohésion sociale, réintroduisant la diversité dans les périphéries urbaines, ou s’apparentent-elles à de nouveaux ghettos boboïsés ? Les exemples du 8-tallet, de l’écoquartier de Hedebygade (Copenhague), des jardins partagés d’Aalborg et des écovillages de Munksøgård et Hjortshøj apportent à travers des trajectoires contrastées la matière à une démarche inductive et multiscalaire.

Denmark is well known for being a pioneer in sustainable local communities: self-administered neighbourhood, ecodistricts, shared living, ecovillages. Most of these are situated around the biggest cities of the country: Copenhagen, Aarhus or Aalborg. The social innovation created by them is now debated: do they really contribute to social bounding by introducing diversity into urban periphery or are they more becoming like wealthy hipsters’ ghettos? Many examples such as 8-tallet, the ecodistrict of Hedebygade (Copenhagen), the shared-gardens of Aalborg and the ecovillages of Munksøgård and Hjortshøj bring in different ways to a process of inductive and multi-scaled analysis.
Dans les trois principaux pays scandinaves (Danemark, Norvège et Suède), les droites extrêmes et populistes rassemblent des partis et des groupes particulièrement diversifiés dans leur forme et leurs revendications. Si l’on y retrouve tout de même une base idéologique commune (patriotisme, traditionalisme, xénophobie...), on remarque également que la glorification de l’histoire nationale constitue un élément récurrent de leur discours politique. La figure du Viking tient ici une place centrale, bien que sa représentation et sa fonction idéologique puissent varier d’un mouvement à un autre. À partir des déclarations et des publications de leurs acteurs, nous tenterons d’examiner la relation entre le mythe viking et la définition d’une identité nationale dans ces courants politiques, ainsi que ses différentes manifestations.

In the three main Scandinavian countries (Denmark, Norway and Sweden), populist and extremist right-wing movements gather diversified parties and groups in their form and their claims. They may be characterized by a common ideological basis (patriotism, traditionalism, xenophobia...), but we can also state that the glorification of national history constitutes a recurring element of their political discourse. The figure of the Viking has thus a central place, although its representation and its ideological function may differ from a movement to another. In this paper, we will analyse speeches and publications of these political groups in order to examine the relation between the Viking myth and the definition of a national identity, as well as its different manifestations.
Les liens indissociables entre terre et mer se nouent dans les ports, à la fois refuges et points de départ des aventures du capitaine Marcel dans Le Capitaine et les rêves, et du romancier Björn Larsson qui aime à mêler fiction et réalité. En passant par quatre ports (Villagarcía de Arousa en Galice, Tréguier en Bretagne, Kinsale dans le sud de l'Irlande, et Marstal au sud du Danemark), Björn Larsson démontre que le goût de l'aventure s'acquiert en mer, mais également à terre. Il décrit la fascination que provoque le ballet des bateaux dans la ville à l'arrivée de leurs cargaisons riches et diverses, et l'attrait qu'exerce le large, inconnu, dangereux, mais support au rêve,car promesse d'évasion. La figure du capitaine voyageur apparaît comme un élément déclencheur dans la vie des habitants qu'abritent ces différentes villes portuaires, invités à envisager l'ailleurs et l'Autre, voire à s'évader eux aussi...Un encouragement à vivre l'aventure humaine que l'auteur,lui-même nomade,espère bien transmettre aux lecteurs à travers son livre.
L'augmentation de la taille et de la durée de vie des logiciels fait ressortir certains problèmes liés à l'activité du génie logiciel parmi lesquels : la cohérence entre les documents et les logiciels, la gestion des versions, le morcellement de l'information parmi les participants au projet, la vérification et la correction du logiciel, la recherche de codes réutilisables, etc. Une gestion complète et uniforme des logiciels et de leurs documentations, ainsi que la possibilité d'interroger les informations ainsi gérées, permet de simplifier un certain nombre de ces problèmes. L'information de tout le projet est alors regroupée dans un même formalisme et elle est rapidement accessible grâce à un système d'interrogation. Ainsi il est plus aisé de produire un gros logiciel et d'en effectuer la maintenance. Le système ELEN (géniE logicieL et recherchE d'informatioNs) a donc pour objectif la gestion et l'interrogation des logiciels et de leurs documentations associées. Dans cet article, nous nous intéressons plus particulièrement à la fonction d'interrogation des codes sources, qui est fondée sur une extension du modèle des graphes conceptuels.
Nous faisons d'abord un constat : l'enseignement de la programmation a considérablement évolué en quelques années ; il s'intéresse maintenant plus aux formes de raisonnement et aux méthodes de travail qu'à la codification des programmes. Mais il doit prendre en compte un paradoxe. D'une part, chez l'étudiant, le besoin de méthodes de programmation n'apparaît concrètement que lors des premiers projets consistants. D'autre part, l'enseignant présente ces méthodes sur des exemples trop simples pour justifier pleinement leur emploi, car il doit présenter en même temps que les méthodes les techniques de base de la programmation. Nous proposons alors, pour résoudre ce problème, une activité nouvelle à insérer dans le cursus informatique ; il s'agit d'un jeu de rôle pratiqué par trois joueurs sur un réseau de micro-ordinateurs. Ce jeu met en évidence, par la pratique, les comportements nécessaires au programmeur dans le travail qui le mène de l'énoncé du problème à l'une de ses solutions.
Les MOOC, à leur apogée, délivraient gratuitement des certificats et attestations de réussite par centaines de milliers chaque année. La gratuité a désormais presque disparu. Nous nous proposons de chercher à mieux identifier les conséquences de cette évolution via une enquête qualitative menée auprès d'une quarantaine d'apprenants sur leur intérêt vis-à-vis du certificat. L'analyse est menée au prisme de la théorie des buts d'accomplissement. Nous montrons que malgré l'existence d'apprenants autodirigés hostiles à ces attestations, l'intérêt pour le certificat n'est pas incompatible avec le fait de suivre le cours dans une logique de buts de maîtrise-comprendre avec la volonté de maîtriser des acquis plus qu'avec celle de montrer des performances via l'obtention d'un certificat. Nous dressons ici une typologie des arguments mobilisés pour légitimer un intérêt, ou à l'inverse un certain désintérêt pour les attestations de réussite.

At their peak, each year MOOCs would deliver free statements of accomplishment by the hundreds of thousands. Such free certificates have almost completely disappeared. Based on the achievement goal theory, we try to assess the consequences of such an evolution through qualitative interviews. Some learners show little interest for those certificates, notably because of their little value on the job market. Nevertheless, mastery goals are not incompatible with the interest for the certificate. We here build a typology of arguments used by learners to legitimize their interest, or on the contrary their lack of interest for the free statements of accomplishment that are delivered in MOOCs.
De nombreuses sources de données RDF sont en évolution constante que ce soit au niveau des don-nées ou du vocabulaire utilisé. Or, de nombreuses tâches d'intégration sont impactées par ces modifications. Nous présentons une approche permettant de détecter et de représenter des changements plus ou moins complexes que l'on peut détecter lorsque l'on s'intéresse aux seules données. Une première expérimentation a été menée sur différentes versions de DBPedia.
Les algorithmes de filtres numériques sont un outil essentiel du traitement du signal et du contrôle-commande. Ils sont utilisés dans de nombreux domaines comme les télécommunications, l'automobile, la robotique, l'aéronautique etc. Comme certains de ces domaines sont critiques , nous souhaitons garantir formellement qu'ils se comportent bien numériquement malgré les erreurs d'arrondi inhérentes à leur implémen-tation en précision finie. Or il existe de nombreux algorithmes pour calculer un filtre numérique, que l'on appelle réalisations. En précision finie, des réalisations légèrement différentes, par exemple où seulement l'ordre des calculs est modifié, peuvent donner des résultats différents. La SIF (Specialized Implicit Form) est un formalisme très général, qui peut représenter toutes les réalisations en détaillant jusqu'à l'ordre des calculs. Cet article étend la formalisation en Coq des filtres numériques présentée dans [1] : il y ajoute la définition de la SIF, les traductions des réalisations de cette formalisation vers la SIF, et le théorème du filtre d'erreur associé à une SIF, qui décrit la propagation des erreurs de calcul au fil des itérations dans l'algorithme correspondant.
En plus des mauvaises interprétations dont ils sont sou-vent à l'origine, les tests d'hypothèse apportent souvent une fausse assurance sur les résultats des communications scientifiques. Les techniques d'estimation fournissent plus d'information et se prêtent mieux à des interpréta-tions nuancées. Nous discutons les limitations des tests d'hypothèse, puis offrons des recommandations pratiques sur l'utilisation des techniques d'estimation dans les communications scientifiques, de l'article à la présentation.

In addition to the wrong interpretations it often causes, binary significance testing tends to generate a false impression of confidence in scientific publications. Estimation techniques offer more information and better lend themselves to nuanced interpretations. We discuss the limits of binary significance testing and suggest practical guidelines on how to use estimation techniques in scientific publications, from paper writing to presentation.
Dans cet article, nous mettons en évidence les propriétés d'invariance d'échelle (auto-similarité H, multifractalité M) des signaux cérébraux acquis par magnétoencephalographie (MEG) et nous démontrons leur pertinence fonctionnelle dans une tâche complexe de discrimination visuelle en contrastant les situations avant et après apprentissage. L'analyse de ces invariances démontre que le cerveau peut adopter deux stratégies complémentaires pour apprendre efficacement: soit réduire H dans les aires associatives sous-tendant la plasticité neurale, soit faire converger M vers un attracteur asymptotique dans ces mêmes aires. Abstract – In this paper, we provide evidence for scaling properties (self-similarity H, multifractality: M) in the human brain based on brain activity recorded with magnetoencephalography (MEG). We demonstrate the functional relevance of scaling properties during the learning of complex visual discrimination by contrasting before and after training. The analysis of scale-free dynamics show two complementary strategies for efficient learning and plasticity, namely: in those regions showing plasticity, we report a decrease of H and a convergence of M towards asymptotic values.
Un curseur est une structure de données qui permet d'obtenir successivement les éléments d'une collection, tout en laissant à l'utilisateur le contrôle de cette itération. Cet article propose une spécification formelle de ce qu'est un curseur, dans le contexte de la vérification déductive, avec le double objectif de prouver que des curseurs sont correctement réalisés et correctement utilisés. En particulier, nous proposons une approche modulaire, où le code utilisant un curseur peut être prouvé sans connaître le détail d'implémentation de ce curseur. Ce travail est validé expérimentalement en utilisant l'outil Why3, au travers de nombreux exemples.
Cet article propose une approche basée sur la programmation linéaire en nombres entiers pour la recherche d'isomorphisme de sous-graphes. L'originalité de l'approche réside dans la prise en compte d'un étiquetage du graphe par des vecteurs numériques pour lesquels les méthodes traditionnelles sont inopérantes. Cette approche est appliquée à la localisation de symboles dans des documents graphiques décrits par graphes d'adjacence de régions étiquetés par descripteurs de formes et des caractéristiques exprimant des relations géométriques. La globalité de l'approche est évaluée sur une base de documents synthétiques. Les résultats obtenus sont prometteurs.
Autrefois considérées comme des maladies « rares », l'anorexie mentale, la boulimie, les compulsions et les autres troubles des conduites alimentaires touchent environ 600,000 personnes en France, selon les estimations de l'association Afdas-TCA. Autrement dit, chacun d'entre nous connaît en moyenne une ou deux personnes affectées. Si la France dispose de centres spécialisés de renommée internationale, les personnels soignants et les associations de malades et familles demandent depuis longtemps une amélioration de l'offre de soins, qui reste insuffisante surtout en milieu rural. Par-delà la dénonciation des déserts médicaux, le système actuel manque de dispositifs pour le dépistage précoce, et peine à assurer un accompagnement au quotidien à la sortie des phases les plus aiguës.
La notion d'organisation émergente est au coeur d'un grand nombre de systèmes complexes, des assemblées neuronales aux colonies d'insectes. Les Réseaux de Neurones Impulsionnels (RNI) constituent d'excellents candidats pour modéliser l'émergen-ce de dynamiques collectives dans les systèmes complexes, car les interactions temporelles sont placées au centre du processus de traitement de l'information mis en oeuvre dans ces réseaux. Un modèle spatio-temporel, baptisé SpikeAnts, est proposé pour reproduire la synchronisation d'activités émergentes dans une colonie d'insectes sociaux. Dans ce modèle parcimonieux, chaque fourmi-agent est modélisée par seulement deux neurones impulsionnels et la colonie constitue un réseau à connectivité éparse. Les décisions individuelles résultent de la compétition entre les deux neurones d'un agent qui reçoivent des informa-tions locales émanant des agents voisins. À l'échelle de la population, le couplage spatio-temporel donne lieu à trois types de comportements-asynchrone, synchrone apériodique et synchrone périodique-proches des comportements observés dans les colonies de fourmis. Un diagramme de phase présente l'émergence de ces comportements en fonction de deux paramètres de contrôle, modélisant respectivement la sociabilité et la réceptivité d'une fourmi.
Nous proposons une sémantique formelle, exécutable, mécanisée en Coq pour un fragment réaliste du langage SQL, le standard en terme de bases de données relationnelles. Ce fragment prend en compte des requêtes de la forme select [distinct] from where group by having en présence de valeurs nulles, fonctions, agrégats, quantificateurs ainsi que de requêtes imbriquées potentiellement corrélées. Nous relions ce fragment à l'algèbre relationnelle, équivalent pour SQL du λ-calcul pour les langages fonctionnels. Nous obte-nons ainsi le premier résultat d'équivalence de ce fragment et de l'algèbre, formellement prouvé. Enfin, grâce au mécanisme d'extraction, nous fournissons un analyseur sémantique du langage SQL certifié en Coq, élément central pour l'obtention d'un compilateur SQL vérifié.
Dans cet article, nous décrivons l'interaction protéine-protéine dans le cadre du modèle de l'énergie stochastique (Random Energy Model) de la physique statistique. Nous simulons en amarrant les deux protéines partenaires, le processus d'association de deux protéines formant un complexe. Nous obtenons les spectres d'énergie d'un jeu de complexes protéine-protéine de structure tridimensionnelle connue en effectuant l'amarrage dans des orientations aléatoires et en calculant un score pour les complexes modèles ainsi générés. Nous utilisons une représentation très simplifiée de la structure où chaque acide aminé est remplacé par sa cellule de Voronoï, et nous appliquons le programme d'apprentissage par algorithme génétique ROGER à un ensemble de paramètres mesurés sur cette représentation, afin de dériver une fonction de score appropriée. En considérant les scores obtenus comme des énergies d'interaction, nous obtenons le spectre d'énergie de chaque complexe. Il s'approche d'une distribution gaussienne qui nous permet de calculer des paramètres physiques comme la température de transition vitreuse et la température de transition spécifique du système.
Nous présentons un mécanisme d'extraction d'un sous-ensemble des programmes écrits avec l'outil de vérification Why3 vers le langage C. Un modèle mémoire partiel mais simple permet aux utilisateurs d'écrire des programmes Why3 dans un style impératif très proche du C, avec une gestion manuelle et vérifiée formellement de la mémoire. De tels programmes peuvent ensuite être extraits de manière transparente vers du code C idiomatique, ce qui évite d'introduire des pertes de performances à l'extraction.
La recherche efﬁcace d'un chemin (quasi) optimal dans un graphe reste une tâche fondamentale en Intelligence Artiﬁcielle. Des travaux récents [7, 4, 5, 8] ont contribué à renouveler l'approche de ce problème en proposant une technique de mise au point d'heuristique par apprentissage et non par une abstraction statique de la description du problème. En nous référant à ces travaux, nous montrons qu'il est possible d'exploiter beaucoup plus précisément l'information apportée par des épisodes de résolution passés. Les expériences conﬁrment la réduction de l'espace de recherche associé. Par ailleurs, nous généralisons ces techniques d'adaptation d'heuristiques au cas de buts changeants. Les expériences et leur analyse montrent que, pour ces techniques, le changement de but doit obéir à des conditions strictes pour que le calcul adaptatif d'heuristique soit rentable.

Efficient search of (quasi-)optimal paths in graphs remains a fundamental task in Artificial Intelligence. Recent works [7, 4, 5, 8] have contributed to a new point of view on this problem whereby heuristics are learned from past solving experiences rather than derived through a static abstraction of the description of the problem. In this paper, we show how to improve this work by better exploiting information from past solving episodes. The experiments reported here confirm the significant reduction in search space achieved by our algorithm. In a second part, we show how to generalize these learning techniques to the case of changing goal states. Extensive experiments and their analysis show that the variations of the goal states must obey strict laws in order for these adaptive A* algorithms to be advantageous.
Cet article expose la perspective d’engager une recherche phénoménologique en première personne afin d’approfondir nos connaissances sur la langue des signes (LS) et plus particulièrement sa gestuelle. Cette approche s’inscrit dans le cadre d’une recherche sur la création scripturale basée sur le geste. Nous commencerons par étudier ce qu’implique une écriture pour la LS, puis par une approche complémentaire de celles existantes en linguistique nous exposerons la méthode employée, ses ajustements nécessaires dus à la LS ainsi que les premières observations.
Le choix du taux d'élagage est crucial dans le but d'acquérir une terminologie de qualité à partir de corpus de spécialité. Cet article présente une étude expérimentale consistant à déterminer le taux d'élagage le plus adapté. Plusieurs mesures d'évaluation peuvent être utilisées pour déterminer ce taux tels que la précision, le rappel et le Fscore. Cette étude s'appuie sur une autre mesure d'évaluation qui semble particulièrement bien adaptée pour l'extraction de la terminologie : les courbes ROC (Receiver Operating Characteristics).
Cet article a pour objet de montrer les usages possibles du son dans les systèmes interactifs et les moyens de sa mise en œuvre. La première partie est une analyse de l'existant. La seconde partie propose un modèle de son structuré et son implémentation dans un serveur audio, permettant d'offrir aux développeurs d'interfaces des services comparables à ceux offerts par les boîtes à outils graphiques aujourd'hui largement utilisées pour la construction d'interfaces graphiques.
Nous présentons une extension que nous avons introduite dans la logique de l'outil Why3, dans le but de décrire les étapes de raisonnement à effectuer pour décharger une obligation de preuve. Cette extension prend la forme de deux nouveaux connecteurs, que nous appelons des indicateurs de coupure. Nous montrons que l'ajout de ces deux connecteurs permet d'encoder les étapes de raisonnement d'une preuve à l'intérieur d'une formule. En particulier, cet ajout donne la possibilité d'utiliser directement la syntaxe des formules comme langage de preuve. Cette approche apporte un mécanisme léger de preuve déclarative dans un environnement où les prouveurs sont utilisés comme des boîtes noires. De plus, ce mécanisme permet une restriction de la portée des lemmes intermédiaires, évitant ainsi la saturation des prouveurs automatiques.
Cet article présente combine1, une bibliothèque OCaml pour la combinatoire2. Elle fournit deux solutions algorithmiquement très différentes au problème de la couverture exacte d'une matrice (EMC) : les liens dansants de Knuth et une variante des diagrammes de décision binaire appelée ZDD. De très nombreux problèmes de combinatoire peuvent être ramenés au problème EMC. La bibliothèque combine l'illustre notamment sur l'exemple du pavage rectangulaire en dimension 2.
Python dispose de nombreux modules de calcul scientifique permettant d'aborder efficament un probleme scientifique. C'est un langage très riche et des outils interactifs permettent de le transformer en un environement de travail complet et facile d'utilisation pour l'informatique scientifique.
Cet article a deux objectifs. D'une part, nous présentons une méthode originale de preuve de correction d'un calcul de plus faible précondition, fondée sur la notion de sémantique bloquante. La méthode imite au niveau des spécifications logiques la méthode classique de preuve de type soundness. D'autre part, cette preuve est réalisée formellement dans l'environnement de vérification déductive Why3, et nous illustrons, au fur et à mesure de l'article, les fonctionnalités avancées de cet environnement que nous avons utilisées. Le résultat constitue une présentation revisitée du calcul de plus faible précondition, et qui, bien qu'elle soit réalisée formellement, est facile à suivre, grâce en particulier au haut degré d'automatisation des preuves qui permet de se focaliser sur les points clés.
La notion d'organisation émergente est au coeur d'un grand nombre de systèmes complexes, des assemblées neuronales aux colonies d'insectes. Les Réseaux de Neurones Impulsionnels (RNI) constituent d'excellents candidats pour modéliser l'émergence de dynamiques collectives dans les systèmes complexes, car les interactions temporelles sont placées au centre du processus de traitement de l'information mis en oeuvre dans ces réseaux. Un modèle spatio-temporel, baptisé SpikeAnts, est proposé pour reproduire la synchronisation d'activités émergentes dans une colonie d'insectes sociaux. Dans ce modèle parcimonieux, chaque fourmi-agent est modélisée par seulement deux neurones impulsionnels et la colonie constitue un réseau à connectivité éparse. Les décisions individuelles résultent de la compétition entre les deux neurones d'un agent qui reçoivent des informations locales émanant des agents voisins. À l'échelle de la population, le couplage spatio-temporel donne lieu à trois types de comportements -- asynchrone, synchrone apériodique et synchrone périodique -- proches des comportements observés dans les colonies de fourmis. Un diagramme de phase présente l'émergence de ces comportements en fonction de deux paramètres de contrôle, modélisant respectivement la sociabilité et la réceptivité d'une fourmi.
En général les langues africaines sont des langues peu dotées. La plupart des ressources existantes n'existent qu'au format papier. Il y a une rareté d'outils informatiques pour ces langues. C'est pour apporter des solutions à ces problèmes que le projet iBaatukaay est lancé. Son objectif est de mettre en place une base lexicale multilingue contributive sur le Web pour les langues africaines notamment sénégalaises (wolof, pulaar, bambara, etc.). Le projet doit être une base pour la constitution de correcteurs orthographiques, de traducteurs automatiques et autres dictionnaires électroniques. iBaatukaay se veut utile et ouvert à la collaboration de toutes les personnes ayant un intérêt pour les langues concernées et les données produites seront téléchargeables gratuitement sous licence Creative Commons.

Generally, African languages are less-resourced languages. Most of the existing resources exist only in printed version. There is a scarcity of IT tools for these languages. iBaatukaay projet is launched to provide some solutions to these problems. The aim of the iBaatukaay project is to set up a multilingual lexical database for contributions over the web for African languages, notably of Senegal (Wolof, Fula, Bambara, etc.). It must be a basis for the constitution of spell checkers, machine translators, and electronic dictionaries. iBaatukaay seeks to be useful and open to the collaboration of all those who have an interest for the languages concerned and the data generated will be downloadable for free under Creative Commons license.
Dans RDF, répondre aux requêtes repose soit sur la saturation des données, soit sur la reformulation des requêtes. L'idée des deux techniques est de découpler la notion d'entailment -- le mécanisme de raisonnement à partir duquel les réponses aux requêtes sont définies -- de l'évaluation de requêtes. Dans cet article, nous étendons l'état de l'art en proposant une technique de réponse aux requêtes par reformulation pour un fragment de RDF plus significatif et un langage de requêtes plus expressif que ceux étudiés dans la littérature. Nous comparons ensuite expérimentalement cette nouvelle technique avec la technique standard fondée sur la saturation de données.
Les campagnes d'évaluation en traitement automatique du langage naturel et en informatique documentaire sont devenues un passage obligé pour la reconnaissances des différentes techniques employées. Le Défi Fouille de Texte a pour objectif de permettre aux chercheurs du monde francophone de confronter leurs travaux avec un problème, plus que primer une équipe, une méthode, ou un outil. Dans cet article nous évoquons les diverses problématiques de la fouille de texte, à savoir la recherche d'information, l'extraction ou l'enrichissement de connaissances, la classificiation/catégorisation de documents, la segmentation de textes, le profilage. La reconnaissance d'auteur, objet de ce premier défi, est une tâche complexe et composite qui nécessite de traiter simultanément de la segmentation, de la catégorisation et du profilage. L'idée générale est que la mise en place des défis est un outil de cartographie des diverses avancées en fouille de textes, et également un instrument scientifique de compréhension de problèmes de nature complexe.
Intégrer des sources d'information hétérogènes permet un accès unifié sans modification du contenu. Les schémas des sources sont mis en correspondance de façon à ce qu'il soit possible d'accéder à tout un ensemble de documents provenant de sources multiples, à partir d'un système d'interrogation unique. La spécification de ces mises en correspondance, ou mappings, est ainsi au cœur de l'intégration. Nous proposons d'utiliser différentes techniques d'alignement de taxonomies pour automatiser leur génération. Ces techniques ont été implémentées dans un outil logiciel TaxoMap qui recherche les mappings et, en cas d'échec, donne des indications pour aider les utilisateurs à les spécifier eux-mêmes. Nous présentons et discutons des résultats issus d'expériences réalisées dans le domaine de la microbiologie. Nous testons TaxoMap sur différentes taxonomies issues de domaines variés.
Les schémas de routage et de calcul de distances les plus efficaces sont conçus à partir de décompositions hiérarchiques de la topologie en plus courts chemins. Ces constructions sont calculables efficacement pour de nombreuses topologies, comme les graphes planaires par exemple. Dans cet article nous montrons cependant que la décomposition d'une topologie arbitraire en $k$ plus courts chemins est NP-complet.
Ce papier porte sur la génération de mappings pour l'alignement de taxonomies du Web. L'objectif est de permettre un accès unifié aux documents d'un même domaine d'application. La recherche de documents s'appuie sur des taxonomies. Nous proposons d'aligner la taxonomie d'un portail Web avec celle de documents externes de façon à augmenter le nombre de documents accessibles à partir de ce portail sans en modifier l'interface d'interrogation. Ce papier présente les techniques structurelles de la méthode d'alignement que nous avons développée, des techniques qui s'appliquent en présence d'une dissymétrie dans la structure des taxonomies comparées. Des expérimentations ont été effectuées avec le prototype implémenté, TaxoMap.
La concurrence coopérative est un modèle de programmation très répandu. On peut par exemple l'utiliser en OCaml à travers des bibliothèques comme Lwt, Async ou Equeue. Il a de nombreux avantages tels que l'absence de courses critiques et des implantations légères et efficaces. Néanmoins, un des inconvénients majeurs de ce modèle est qu'il dépend de la discipline du programmeur pour garantir que le système est réactif : un processus peut empêcher les autres de s'exécuter. ReactiveML est un langage qui étend OCaml avec des constructions de concurrence coopérative. Il propose une analyse statique, l'analyse de réactivité, qui permet de détecter les expressions qui risquent de produire des comportements non coopératifs. Dans cet article, nous présentons cette analyse statique qui se définit à l'aide d'un système de types et effets. Ainsi, comme le typage de données aide les programmeurs à détecter des erreurs d'exécution au plus tôt, l'analyse de réactivité aide à détecter des erreurs de concurrence.
Le présent travail s'intéresse aux systèmes de représentation de documents hybrides dans une perspective d'édition électronique savante. L'étude porte sur les manuscrits littéraires, dans lesquels dessins, graphies, textes et supports s'assemblent, se superposent et posent, de part la nature de leurs informations, un problème de codage et de représentation. L'objectif consiste à transposer ce support matériel " d'objet manuscrit " dans un environnement informatisé et de développer des dispositifs de représentation adéquats permettant aux chercheurs d'appréhender les données selon différents points de vue.

Beyond the manuscripts sources and related documents, there are processes of work that implie representations for memorization and analysis. We propose some tools to help interpretate and navigate into the manuscripts information. These are made for representing manuscript corpora and the relationships between various data and types of unit that characterize this kind of document.
La recherche efﬁcace d'un chemin (quasi) optimal dans un graphe reste une tâche fondamentale en Intelligence Artiﬁcielle. Des travaux récents [7, 4, 5, 8] ont contribué à renouveler l'approche de ce problème en proposant une technique de mise au point d'heuristique par apprentissage et non par une abstraction statique de la description du problème. En nous référant à ces travaux, nous montrons qu'il est possible d'exploiter beaucoup plus précisément l'information apportée par des épisodes de résolution passés. Les expériences conﬁrment la réduction de l'espace de recherche associé. Par ailleurs, nous généralisons ces techniques d'adaptation d'heuristiques au cas de buts changeants. Les expériences et leur analyse montrent que, pour ces techniques, le changement de but doit obéir à des conditions strictes pour que le calcul adaptatif d'heuristique soit rentable.
Cet article présente une méthodologie pour prouver des programmes OCaml fortement impératifs avec l'outil de vérification déductive Why3. Pour un programme OCaml donné, un modèle mémoire spécifique est construit et on vérifie un programme Why3 qui le mani-pule. Une fois la preuve terminée, on utilise la capacité de Why3 à traduire ses programmes vers le langage OCaml, tout en remplaçant les opérations sur le modèle mémoire par les opérations correspondantes sur des types mutables d'OCaml. Cette méthode est mise à l'épreuve sur plusieurs exemples manipulant des listes chaînées et des graphes mutables.
Grâce au Linked Open Data, les sources RDF mises à disposition sur le Web sont de plus en plus nombreuses. Cependant, ces sources contiennent relativement peu d'information par comparaison au volume d'informations contenues dans les documents semi-structurés. De nombreux outils ont pour objectif d'annoter sémantiquement ces documents mais l'extraction de relations reste une tâche particulièrement difficile quand la structure et le vocabulaire des documents sont hétérogènes. Nous proposons une approche permettant d'enrichir et d'interroger une ou plusieurs bases de connaissances RDF/OWL en exploitant un ensemble de documents sémantiquement annotés. Ces bases sont enrichies par des instances de relations incertaines inférées à partir de la structure des documents, des ontologies et des faits présents dans les bases de connaissances. Une requête SPARQL formulée dans le vocabulaire du domaine est reformulée afin de combiner les faits issus des différentes bases et de trier les réponses en fonction de poids assignés. L'approche a été expérimentée sur des documents HTML et des bases de connaissances issues du Linked Open Data. Les résultats montrent que 63,3% des relations trouvées sont nouvelles avec une précision atteignant 62%.
En robotique autonome, nous souhaitons permettre à l'agent d'explorer son environnement afin d'y effectuer les tâches désirées. Cette exploration autonome pose le problème de la sécurité de l'agent évoluant dans un environnement potentiellement dangereux. Cet article présente, dans un contexte d'apprentissage par renforcement, une implémentation d'exploration prudente par méthode de Monte-Carlo contrainte nommée Educated MCTS. Cette approche maintient à jour parallèlement à l'exploration un modèle permettant de se restreindre aux états proches de ceux connus et supposés sûrs. Les résultats expérimentaux montrent que Educated MCTS permet une amélioration significative du compromis exploration-sécurité
La présence d’un réarrangement de ALK concerne environ 4 % des cancers bronchiques non à petites cellules (CBNPC). Il induit une sensibilité des cellules tumorales aux inhibiteurs de tyrosine kinase (ITK) de ALK, tels que le crizotinib. L’essai de phase I publié en 2010 a testé le crizotinib (250 mg × 2/jour) en 2e ligne et plus chez 82 patients ayant un CBNPC de stade avancé avec un réarrangement de ALK [1].