Tri :
Date
Editeur
Auteur
Titre
|
|
Pourquoi créer des nouveaux langages de programmation ?
/ Inria / Interstices
/ 28-01-2019
/
Ludovic Henrio
Voir le résumé
Voir le résumé
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
|
Accéder à la ressource
|
|
Naviguer comme les Polynésiens
/ Inria / Interstices
/ 20-12-2019
/
Luc Jaulin
Voir le résumé
Voir le résumé
Dans l’Océan Pacifique, les Polynésiens savaient naviguer entre des îles distantes sans GPS, ni boussole, ni horloge. Ils pouvaient rester plusieurs jours sans voir un morceau de terre. Pourtant, ils ne se perdaient pas grâce à une technique de navigation utilisant une connaissance partielle de leur environnement et la vision stellaire. De nos jours, avec l’apparition du GPS, ces techniques peuvent nous paraître désuètes. Cependant, dans un environnement sous-marin, le GPS ne fonctionne pas. Pour naviguer sans refaire surface, les robots sous-marins cherchent à reproduire les méthodes de navigation ancestrales afin d’explorer de grands environnements sans jamais se perdre. Mot(s) clés libre(s) : robotique sous-marine, robotique mobile, intelligence artificielle, navigation topologique, navigation métrique, exploration, environnement non structuré
|
Accéder à la ressource
|
|
Arkangel dans Black Mirror : la réalité diminuée
/ Inria / Interstices
/ 16-04-2020
/
Lonni Besançon, Amir Semmo, Tobias Isenberg, Pierre Dragicevic
Voir le résumé
Voir le résumé
Black Mirror est une série qui interroge les usages de la technologie dans la société. Souvent les situations sont poussées à l’extrême pour mettre en avant les travers de ce qui parfois apparait comme de bonnes solutions. Dans cet épisode, la société Arkangel propose un système numérique de contrôle à distance et de censure visuelle en temps réel. Actuellement, des chercheurs se penchent sur la question de filtrer du contenu dans des images. Nous vous proposons de ne plus jamais voir vos lasagnes de la même façon ! Mot(s) clés libre(s) : traitement image automatique, censure visuelle automatique, abstraction image, contenu explicite, filtrage, reconnaissance automatique, réalité virtuelle, réalité diminuée, censure sensorielle
|
Accéder à la ressource
|
|
La fragilité inattendue du chiffrement symétrique dans le monde post-quantique
/ Inria / Interstices
/ 05-12-2019
/
Gaëtan Leurent, Maria Naya-Plasencia
Voir le résumé
Voir le résumé
On pensait jusqu'à présent que les attaques du futur ordinateur quantique ne pourraient pas affecter le chiffrement symétrique, celui qui sécurise nos communications au quotidien. Mais les travaux d'une équipe de cryptographes français montrent comment cette machine rend certains protocoles vulnérables. Heureusement, la faille est pour l'instant plus théorique que pratique. Mot(s) clés libre(s) : ordinateur quantique, vie privée, chiffrement symétrique, confidentialité des données numériques, vulnérabilité
|
Accéder à la ressource
|
|
La recherche reproductible pour une science transparente
/ Institut National de Recherche en Informatique et en Automatique / Interstices
/ 10-10-2018
/
Arnaud Legrand, Joanna Jongwane
Voir le résumé
Voir le résumé
La science avance, mais on a parfois le sentiment que c’est dans tous les sens. Les chercheurs doivent alors se donner les moyens de reprendre les résultats pour les vérifier, ce qui nécessite de travailler en toute transparence et en toute confiance… S’inscrire dans la perspective de la recherche reproductible, c’est tenter de garantir la validité des résultats scientifiques. Arnaud Legrand nous expose les enjeux autour de cette voie prometteuse dans cet épisode du podcast audio. Mot(s) clés libre(s) : recherche reproductible, validité des résultats scientifiques, réutilisation, cahier de laboratoire, méthodologie
|
Accéder à la ressource
|
|
La théorie de la complexité algorithmique pour calculer efficacement
/ Inria / Interstices
/ 24-05-2019
/
Guillaume Lagarde
Voir le résumé
Voir le résumé
Planifier son trajet en voiture, trouver une bonne stratégie au jeu du go, trier ses chaussettes, résoudre un sudoku, optimiser une chaîne de production… Notre quotidien est jonché de problèmes à résoudre ; certains semblent faciles, d’autres beaucoup moins. La théorie de la complexité algorithmique vient à notre rescousse afin d’y voir un peu plus clair. Mot(s) clés libre(s) : complexité algorithmique, calculabilité, NP-complet
|
Accéder à la ressource
|
|
Planifiez vos tête-à-tête avec les graphes à des fins de distanciation
/ Inria / Interstices
/ 18-09-2020
/
Christian Laforest
Voir le résumé
Voir le résumé
La crise sanitaire perdure, il convient donc de rester vigilants ! Ainsi, les réunions de travail avec de nombreux participants dans une même salle resteront déconseillées voire interdites pendant plusieurs mois. Pourtant certaines décisions doivent être prises et demandent que des gens se rencontrent, qu’il y ait de la réflexion de groupe. Quoi de mieux, dans ces conditions, que de remplacer ces vastes réunions par des tête-à-tête ? Deux personnes peuvent facilement se réunir dans une salle (même petite) tout en respectant une distance physique de sécurité. Analysons les besoins. Mot(s) clés libre(s) : théorie des graphes, graphes
|
Accéder à la ressource
|
|
La mémoire virtuelle, une abstraction féconde
/ Inria / Interstices
/ 19-07-2019
/
Claude Kaiser
Voir le résumé
Voir le résumé
La mémoire virtuelle est présente dans la majorité des ordinateurs, que l'ordinateur cible soit fixe ou portable, que le système soit celui d'une tablette, d'un téléphone portable ou d'un objet connecté. La mémoire virtuelle est une nécessité pour tout système d'exploitation moderne et une véritable aubaine pour le programmeur. Mot(s) clés libre(s) : mémoire virtuelle, système d'exploitation, pagination
|
Accéder à la ressource
|
|
Le problème des 8 reines... et au-delà
/ Inria / Interstices
/ 20-11-2020
/
Jean-Paul Delahaye
Voir le résumé
Voir le résumé
De combien de façons différentes peut-on placer n reines sur un échiquier de taille n × n dans des positions compatibles ? Posé depuis bientôt deux siècles, ce problème dit des n reines n’est résolu que jusqu’à n = 26. Mot(s) clés libre(s) : algorithmes, dénombrement, combinatoire
|
Accéder à la ressource
|
|
Cfacile : Introduction au langage C
/ Université de Technologie de Compiègne, UNIT
/ 11-01-2010
/
Jean-Paul Boufflet
Voir le résumé
Voir le résumé
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
|
Accéder à la ressource
|
|