Tri :
Date
Editeur
Auteur
Titre
|
|
Arithmétique dans Z
/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF
/ 2008
/ Unisciel
Bodin Arnaud, Boulakia Muriel, Seguin Nicolas
Voir le résumé
Voir le résumé
Cette série d'exercice est divisée en trois parties: Divisibilité, division euclidienne; pgcd, ppcm, algorithme d'Euclide; Nombres premiers, nombres premiers entre eux. Cette série comprend 19 exercices, des indications et des corrigés. Mot(s) clés libre(s) : Arithmétique, Divisibilité, Division euclidienne, Division, pgcd, ppcm, Algorithme d'Euclide, Nombres premiers, Exo7
|
Accéder à la ressource
|
|
Exercice 10 (Arithmétique dans Z) [00303]
/ Guy Vantomme, UNISCIEL
/ 14-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants.Retrouvez la correction écrite sur http://exo7.emath.fr Bonus (à 2'15'') : vrai ou faux ? Mot(s) clés libre(s) : algorithme d'Euclide, pgcd, relation de Bézout
|
Accéder à la ressource
|
|
Exercice 11 (Arithmétique dans Z) [00305]
/ Guy Vantomme, UNISCIEL
/ 14-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frBonus (à 6'14'') : méthodologie équations ax+by=c. Mot(s) clés libre(s) : algorithme d'Euclide, équation diophantienne, relation de Bézout
|
Accéder à la ressource
|
|
Exercice 9 (Arithmétique dans Z) [00296]
/ Guy Vantomme, UNISCIEL
/ 14-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Bonus (à 3'38'') : programmation. Mot(s) clés libre(s) : algorithme d'Euclide, pgcd, relation de Bézout
|
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
|
|
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
|
|
Apprendre à coloriser des images
/ Inria / Interstices
/ 15-07-2019
/
Bugeau Aurélie, Papadakis Nicolas
Voir le résumé
Voir le résumé
La colorisation d’archives est couramment utilisée dans le milieu audiovisuel pour restaurer et rendre plus réalistes des vidéos anciennes. Elle nécessite un travail manuel fastidieux qu'il est actuellement difficile d'automatiser. Quelles en sont les raisons ? Mot(s) clés libre(s) : colorisation image, apprentissage automatique, algorithme
|
Accéder à la ressource
|
|
La recherche d'information, les moteurs de recherche et le pageRank
/ INRIA
/ 02-06-2010
/ Canal-U - OAI Archive
DELAHAYE Jean-Paul
Voir le résumé
Voir le résumé
Dans cet exposé, Jean-Paul Delahaye, nous parle de l'information au sens usuel du terme et nous montre les problèmes mathématiques et algorithmiques qui depuis quinze à ving ans ont été résolus pour arriver à cette mise à disposition quasi miraculeuse de l'information, au fil de l'exposé il nous fait partager les autres notions d'informations et nous permet de partager les grandes idées qui font de l'informatique, la science de l'information.Présentation à destination d'enseignants des académies de Créteil, Versailles et Rouen lors des journées de formation à l'informatique organisées par l'INRIA en juin 2010 avec pour ambition de préparer la mise en place de l’enseignement de spécialité “Informatique et sciences du numérique” en Terminale S à la rentrée 2012. Mot(s) clés libre(s) : algorithme, Google, index, moteur de recherche, PageRank, recherche d'information, système de classement
|
Accéder à la ressource
|
|
HPC, architectures et performances
/ INRIA (Institut national de recherche en informatique et automatique), Académie de Grenoble
/ 09-03-2016
/ Canal-u.fr
DESPREZ Frédéric
Voir le résumé
Voir le résumé
Les unités de traitement parallèles
sont maintenant partout. Depuis les tablettes connectées jusqu'aux
supercalculateurs des grands laboratoires nationaux, l'utilisation de leurs
nouvelles fonctionnalités nécessite une compréhension du fonctionnement des
algorithmes distribués et des caractéristiques intrinsèques de leurs
architectures. Dans cet exposé, nous ferons un tour d'horizon rapide des
principes des diverses architectures actuelles, de l'algorithmique parallèle et
de la manière de comprendre les performances de ces algorithmes.
Mot(s) clés libre(s) : high performance computing, algorithmique parallèle
|
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
|
|