|
|<
<< Page précédente
1
2
3
4
5
6
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
Utilisation d’algorithmes de calcul scientifique en topologie et vice-versa
/ INRIA (Institut national de recherche en informatique et automatique)
/ 04-12-2014
/ Canal-u.fr
ROUILLIER Fabrice
Voir le résumé
Voir le résumé
L’objectif de cet exposé est de tendre quelques élastiques permettant de relier certains travaux réputés abstraits en topologie et quelques applications supposées très concrètes, les élastiques étant essentiellement constitués pour part d’algorithmes de calcul algébrique et de modélisations adaptées à ce type de calculs.
Nous parlerons donc de topologie de variétés de petites dimensions, d’algorithmes de résolution de systèmes d’équations algébriques, de ce que l’un apporte à l’autre et …. vice-versa, mais également de complémentarité entre méthodes numériques et méthodes exactes. Mot(s) clés libre(s) : algorithme, topologie
|
Accéder à la ressource
|
|
Transitions de phase : entre physique, mathématiques et informatique
/ INRIA (Institut national de recherche en informatique et automatique)
/ 05-06-2014
/ Canal-u.fr
BROUTIN Nicolas
Voir le résumé
Voir le résumé
Les phénomènes de transition de phase fascinent les physiciens depuis plusieurs siècles. Plus récemment, on a observé des phénomènes similaires dans d’autres domaines notamment la combinatoire et l’informatique.
J’expliquerai quelques liens entre les transitions de phase, les propriétés des grandes structures combinatoires aléatoires des questions d’analyse des algorithmes et de complexité. Je parlerai notamment de graphes aléatoires, d’arbres couvrants, et de quelques problèmes d’optimisation combinatoire en mettant l’accent sur les intérêts pour l’informatique. Mot(s) clés libre(s) : transition de phase, combinatoire, complexité, analyse des algorithmes
|
Accéder à la ressource
|
|
Tout ce que les algorithmes de traitement d'images font pour nous
/ Inria / Interstices
/ 10-06-2020
/
Nikoukhah Tina
Voir le résumé
Voir le résumé
La photographie est devenue une pratique massivement répandue. Grâce à l'arrivée des smartphones, il est devenu très facile de faire une belle photo et de la partager à des milliers de personnes en quelques secondes sur les réseaux sociaux. Cependant, nous avons tendance à oublier tout le travail effectué par les algorithmes de traitement d’images, ces méthodes qui permettent la formation de l’image, sa visualisation, son amélioration et son stockage. Mot(s) clés libre(s) : algorithme traitement image, image couleur, image numérique, photographie
|
Accéder à la ressource
|
|
Simulation: Onde d'Alfven
/ Observatoire de Paris, Unité de formation-enseignement de l'Observatoire de Paris
/ 13-06-2002
/ Unisciel
Smets Roch
Voir le résumé
Voir le résumé
Cette appliquette permet de visualiser la propagation d'une onde d'Alfvèn dans un plasma magnétisé uniforme. Mot(s) clés libre(s) : Alfvèn, plasma magnétisé, algorithme de Lax-Wendroff
|
Accéder à la ressource
|
|
Résolutions numériques de problèmes, quelques grandes familles d'algorithmes
/ INRIA
/ 09-06-2010
/ Canal-U - OAI Archive
VIEVILLE Thierry
Voir le résumé
Voir le résumé
Dans cet exposé, quelques grands algorithmes d'estimation de paramètres et de génération de trajectoire sont démystifiés. Les principes généraux sont décrits et les points clés de ces méthodes mises en avant. Ils permettent de prendre la mesure des mécanismes qui permettent à un système artificiel d'implémenter des fonctionnalités perceptives observées chez l'animal, comme la perception du mouvement.Présentation donnée en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Mot(s) clés libre(s) : algorithme, catégorisation, équation différentielle, estimation, génération de trajectoires, modèlisation, résolution numérique, système dynamique, traitement de l'information
|
Accéder à la ressource
|
|
Réseau optiques, algorithmes et probabilités
/ INRIA (Institut national de recherche en informatique et automatique)
/ 01-12-2011
/ Canal-u.fr
ROBERTS Jim
Voir le résumé
Voir le résumé
L'objectif des recherches de l'équipe RAP est de modéliser le
comportement de réseaux de divers types, soumis à une demande de nature
aléatoire, afin la prédire leurs performances. Le partage des ressources
d'un réseau est réglé par des algorithmes, plus ou moins sophistiqués,
et il convient d'en définir qui réalisent le compromis adéquat entre
complexité et efficacité.
Pour illustrer cette activité, nous présenterons un travail, en cours
depuis deux ans, sur l'utilisation de technologies optiques à la place
de l'électronique dans les réseaux de communication. Partant de l'étude
des réseaux optiques d'accès dits PONs, pour Passive Optical Networks,
nous avons développé un algorithme original permettant le partage
équitable et efficace de la bande passante des fibres. Nous montrerons
comment cet algorithme permettrait de construire un internet à l'échelle
d'un pays, grâce à une invention qui élimine du réseau les routeurs de
transit, coûteux et fort consommateurs d'énergie. Mot(s) clés libre(s) : algorithme, probabilité, réseau optique
|
Accéder à la ressource
|
|
Quel droit pour les données numériques ?
/ Inria / Interstices
/ 20-12-2019
/
Zolynski Célia, Jongwane Joanna
Voir le résumé
Voir le résumé
Les données numériques sont devenues un tel enjeu économique et sociétal que la question du statut juridique des systèmes algorithmiques se pose de plus en plus. Le droit peut-il apporter des solutions pour pallier les failles autour de ces questions ? Célia Zolynski partage son point de vue avec nous dans cet épisode du podcast Interstices. Mot(s) clés libre(s) : données numériques, systèmes algorithmiques, droit du numérique, intelligence artificielle, enjeux juridiques, éthique
|
Accéder à la ressource
|
|
Programmer avec la tortue Logo
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Voir le résumé
Voir le résumé
Utiliser la métaphore d'une tortue dans un carré de jardin avec un pinceau pour découvrir les algorithmes. Mot(s) clés libre(s) : proglet, tortue logo, algorithme
|
Accéder à la ressource
|
|
Premiers principes des langages de programmation
/ INRIA
/ 09-06-2010
/ Canal-U - OAI Archive
DOWEK Gilles
Voir le résumé
Voir le résumé
Dans cette vidéo, Gilles Dowek fait un cours introductif, à destination des Professeurs des Lycées, de la Science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information) complété d'une analyse fine de la sémantique des ingrédients des algorithmes (instruction, affectation de valeurs à une variable, déclaration, séquence, test, boucle, état) indépendamment du langage informatique utilisé. Il donne les fondamentaux qui permettent aux enseignants d'enseigner l'algorithmique en seconde ou de faire connaitre les objets numériques dans les enseignements d'option. Ce cours a été donné en juin 2009 et juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une heure de cours et d'une demi-heure de questions-réponses sur le cours. Mot(s) clés libre(s) : affectation, algorithmique, boucle, déclaration, information, instruction, langage informatique, programmation, séquence, syntaxe
|
Accéder à la ressource
|
|
Pourquoi mon ordinateur calcule faux?
/ INRIA
/ 16-06-2009
/ Canal-U - OAI Archive
BOLDO Sylvie
Voir le résumé
Voir le résumé
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. Elle nous offre à la fois des garde-fous pratiques et une compréhension théorique de la problématique.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010. Mot(s) clés libre(s) : algorithmique, arithmétique flottante, bug, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel
|
Accéder à la ressource
|
|
|<
<< Page précédente
1
2
3
4
5
6
Page suivante >>
>|
|
documents par page
|