De nouveaux langages de programmation ainsi que des outils permettant de transformer ou d’analyser les programmes émergent chaque année grâce à la recherche dans ce domaine. Qu'est-ce qu'un bon langage ? Et surtout, pourquoi en crée-t-on toujours plus ?
Mot(s) clés libre(s) : langage programmation, expressivité, sûreté, efficacité, programmation parallèle, programmation concurrente, programmation objets, objets actifs

Une branche importante du calcul scientifique consiste à simuler sur ordinateurs des phénomènes physiques complexes. Son intérêt consiste à mieux appréhender des problèmes fondamentaux : solution des équations de Navier-Stokes,  turbulence, ou à prédire des phénomènes non observables par l’expérience comme les écoulements biologiques ou la prédiction des séismes.   Le recours à la simulation numérique est également croissante dans des phases de design où l’objet n’existe pas encore (avion, voiture, pièces mécaniques, …) afin de trouver, par exemple, une forme optimale.  Dans ce contexte, la génération d’un maillage, support spatial discret pour le calcul, est une phase clé du processus de simulation : pas de maillage, pas de solution. En partant de la définition d’un maillage, on montrera les problématiques et les propriétés simples des maillages pour leur utilisation en calcul scientifique. Sur l’exemple de la prédiction du bang sonique (avion passant le mur du son), on illustrera l’utilité de controller cette phase  afin d’avoir une prédiction très précise de ce phénomène.
Mot(s) clés libre(s) : simulation numérique, maillage

L'objectif de l'exposé est d'illustrer le cheminement qui mène à l'exploitation commerciale d'une technologie "agent" à partir des résultats obtenus par un projet de recherche. La première partie est une introduction à la technologie agent et ses applications : caractéristiques des agents, agents mobiles, agents intelligents, applications dans l'industrie et dans la vie courante. La deuxième partie décrit en détails les fonctions, la structure et l'utilisation des agents dans le cas de Kelkoo.com, un guide d'achat sur Internet. Ici, les agents servent à chercher des informations relatives aux produits vendus par des sites marchands sur Internet. A partir de ces informations il devient possible de guider l'internaute dans sa recherche d'un produit et de comparer les offres des différents marchands. La dernière partie explique comment a été choisi le domaine d'application de la technologie initialement développée et comment celle-ci a été adaptée et optimisée pour ce domaine.
Mot(s) clés libre(s) : commerce électronique, informatique distribuée, intelligence artificielle, logiciel, programmation objet, recherche sur Internet, représentation des connaissances, service guide d'achat, technologie agent

Que sont les simulations numériques et à quoi servent-elles ? Il s'agit de problèmes de mathématique appliquée dans lesquels on essaie de résoudre numériquement des modèles d'origine physique, biologique, économique, financier,...L'outil indispensable à ces résolutions sont les EDP (équations aux dérivées partielles), équations qui mélangent les différentes dérivées d'une fonction. Elles permettent de décrire des milieux non rigides, d'établir et de prévoir des " comportements moyens ". Les modélisations ainsi obtenues permettent d'analyser des problèmes aussi vastes que le traitement de l'image ou le comportement des fluides dans une cuve à électrolyse.
Mot(s) clés libre(s) : analyse théorique, équation aux dérivées partielles, mathématique appliquée, modélisation mathématique, simulation numérique

OCaml est un langage de programmation générique, conçu et développé depuis 25 ans à l’Inria. Malgré ses qualités exceptionnelles, il n’a conquis, pendant longtemps, qu’un petit nombre d’industriels. Pour permettre son utilisation plus large dans l’industrie, j’ai participé à la création d’une société, OCamlPro, dont le but est de fournir les services et les outils, en logiciels libres, dont les entreprises peuvent avoir besoin pour l’utiliser.Cet exposé présentera cette aventure technique, sociale et économique, dont les effets sur la communauté OCaml ont déjà commencé à se faire sentir.
Mot(s) clés libre(s) : langage de programmation, Ocaml

L'objet central de la linguistique contemporaine est de modéliser les langues naturelles et leur fonctionnement, c'est-à-dire comment un locuteur exprime un sens dans une langue donnée ou comment à partir d'un énoncé linguistique il récupère son sens. De questions sur la langue sont nées des branches fondamentales des mathématiques : la modélisation du sens (et du raisonnement) a donné la logique et la modélisation de la syntaxe a donné la théorie des langages formels et les bases de l'informatique. Alors que ces objets mathématiques venus de la linguistique poursuivent une vie autonome, les modèles mathématiques de la langue continuent d'évoluer sur des architectures de plus en plus complexes intégrant un véritable calcul du sens et prenant en compte la diversité des comportements des mots et leur faculté de former toujours de nouveaux sens. Nous illustrerons notre propos par un fragment de modèle mathématique pour le français. Nous comparerons ces modèles symboliques avec les modèles statistiques basés sur l'analyse automatique de grands corpus textuels annotés. Nous nous intéresserons également aux (non) liens institutionnels entre linguistique et mathématique, ainsi qu'à la position de la linguistique mathématique par rapport à la linguistique informatique et au traitement automatique de la langue.
Mot(s) clés libre(s) : grammaire générative, langue naturelle, linguistique informatique, linguistique mathématique, modèle statistique, modélisation mathématique, sémantique, structure syntaxique, traitement automatique de la langue

Ce cours s'adresse à des étudiants post-bac en informatique. Il permet d'acquérir les concepts fondamentaux de la programmation en langage "assembleur" de manière interactive. Il est accompagné d'une série d'exercices permettant au lecteur de vérifier la bonne acquisition de ces concepts. Le cours couvre les principales instructions des processeurs les plus récents de la famille des 80x86 (Intel et AMD) : instructions d'arithmétique entière, comparaisons et branchements, opérations logiques, gestion de pile, procédures et fonctions, opérations en virgule flottante, parallélisme, etc. Les différentes structures de données sont aussi expliquées (pointeurs, tableaux, matrices, etc.) et des parallèles avec les langages de programmation avancés sont faits régulièrement.
Mot(s) clés libre(s) : assembleur, langage de programmation, langage machine, processeur, 80x86, opérations logiques, pointeurs, tableaux, matrices, codage des données

Cfacile est un support interactif de cours pour l'apprentissage des concepts de base de l’algorithmique et de la programmation en C, à destination des débutants. Il comporte quatre parties : une base théorique structurée sous la forme de 9 chapitres de cours, un ensemble d'exercices interactifs, deux jeux éducatifs interactifs et des simulations pédagogiques. Les chapitres abordent les bases de la programmation en C : introduction au langage C, algorithmes et langages, structure d'un programme, premiers pas en C, les boucles, les tableaux ainsi que les chaînes de caractères et les pointeurs, les fonctions, les structures et les bases de l'allocation dynamique. Les exercices interactifs et simulations sont intégrés au cours concerné tout en étant accessibles indépendamment. L'étudiant a la possibilité de revenir sur les points de son parcours à l'issue des tests de connaissances. Les simulations pédagogiques assurent une compréhension à base d?exemples sur les tests (if, switch), les conversions explicite et implicite, les structures itératives (for, do, while), les fonctions, les tableaux (à une et deux dimensions), les chaînes de caractère et les structures. Elles assurent une meilleure compréhension de nouvelles notions ou concepts. Les jeux permettent de tester de façon ludique les connaissances acquises. Nous mettons à la disposition de l'apprenant un ensemble de liens utiles vers d'autres ressources afin de lui permettre d'approfondir ses connaissances.
Mot(s) clés libre(s) : langage C, algorithmique, programmation, norme ANSI, code source, compilation, identificateur, instruction, type de donnée, constante, variable, structure, déclaration, fonction, fonction sizeof, opérateur, instruction break, conversion, instruction switch, boucle, chaine de caractère, tableau, allocation dynamique, fonction malloc, fonction free, itération

Florent Hivert, enseignant-chercheur en informatique et jongleur amateur présentera, lors de cette conférence de vulgarisation « grand public », la démarche de modélisation à travers des figures traditionnelles de jonglerie. Le modèle ainsi obtenu fait apparaître naturellement une très jolie famille d’automates finis. Ces derniers permettent de classifier et de nommer, par des suites de nombres, l’ensemble des figures de jonglerie possibles dans le cadre du modèle. L’obtention de nouvelles figures, jusqu’ici inconnues des jongleurs, permet alors de démontrer l’efficacité de ce modèle. Le public pourra le constater tant chez un jongleur que sur un simulateur. La seconde partie de la conférence sera dédiée aux comptages des figures périodiques dans le cadre du modèle. Chacune d’entre elles correspond à un élément positif d’un groupe symétrique affine. Il s’ensuit une formule extrêmement simple dont la preuve utilise des ingrédients combinatoires profonds (bijection de Cartier-Foata, descentes des permutations, polynômes euleriens, formule de Worpitsky et inversion de Moebius).
Mot(s) clés libre(s) : combinatoire, worpitsky, polynôme eulerien, permutation, cartier-foata, groupe systémique, figure périodique, jonglerie, automate fini, modélisation, moebius

Utilisation du logiciel de création de QCM du tutorat des PCEM1 de la Faculté de Médecine de NancyGénériquePhilippe Guerci ADCN tutorat Indexation : SCD Médecine Nancy I
Mot(s) clés libre(s) : création de QCM, item, logiciel, QCM creator, questionnaire à choix multiple, tutorat