Recherche par propriété

Cette page fournit une simple interface de navigation pour trouver des entités décrites par une propriété et une valeur nommée. D’autres interfaces de recherche disponibles comprennent la page recherche de propriété, et le constructeur de requêtes ask.

Liste de résultats

• Cours de XML - Mise en forme à l'aide de feuilles de style XSL : instructions XSLT  + (Cours de mise en forme à l'aide de feuille … Cours de mise en forme à l'aide de feuilles de style XSL abordant les différentes expressions de sélections (XSL patterns), le langage de navigation Xpath, les différents éléments XSLT et la conception modulaire des feuilles de style. Le cours comprend un exercice et est entièrement illustré par des exemples.est entièrement illustré par des exemples.)
• Cours de traitement d'images (ENSTA)  + (Cours de traitement d'images et vision de … Cours de traitement d'images et vision de l'ENSTA (support de cours et logiciels). Grande rigueur scientifique. Les supports de cours introductifs sont assez accessibles, le reste utilise quantité de mathématiques (Fourier, etc.). Le logiciel de traitement d'image inclus (Inti) est simple et permet de nombreuses expérimentations intéressantes.nombreuses expérimentations intéressantes.)
• Programmation avec python (partie 1)  + (Cours destiné aux élèves avec l'idée de gagner du temps : une première approche du langage en autonomie devrait permettre de "garder du temps" en classe pour travailler sur des activités et sur les projets.)
• Programmation avec python (partie 2)  + (Cours destiné aux élèves avec l'idée de gagner du temps : une première approche du langage en autonomie devrait permettre de "garder du temps" en classe pour travailler sur des activités et sur les projets.)
• Notions de communication numérique  + (Cours destiné à des étudiants non spéciali … Cours destiné à des étudiants non spécialistes qui souhaiteraient avoir des connaissances en transmission numérique des données. Sujets abordés : la transmission des données (canaux), la mise en forme des données pour leur transmission, la représentation en fréquences, les effets du bruit et leur corrections, le cryptage des données ( les algorithmes DES et RSA), la compression des données, le codage des sons, images fixes et animées. codage des sons, images fixes et animées.)
• Les machines d'aujourd'hui et de demain  + (Cours donné en juin 2010 lors des journées … Cours donné 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 : il met en évidence des liens entre la science informatique et l'architecture des ordinateurs, donc leur conception, et explique les outils logiciels permettant de profiter des performances des processeurs (du compilateur aux outils liés au système d'exploitation). Sur les processeurs classiques, il suffit de compiler (de traduire en langage machine) le programme pour l'exécuter et lui permettre d'accéder aux ressources de l'ordinateur. Sur les nouveaux processeurs, il y a une vraie rupture et les interactions entre architectures de machines et langages de programmation deviennent de vrais défis scientifiques passionnants. Un exemple est celui des langages de programmation pour le calcul parallèle à haute performance, jusqu'à péta-flopique (10^15 calculs numériques par secondes !) (10^15 calculs numériques par secondes !))
• Numérisation de l'image, du son et de la vidéo (Heurtebise)  + (Cours donné à l'université de Provence sur la numérisation du son, de l'image et de l'image animée (video), avec travaux dirigés et travaux pratiques)
• Les langages de programmation, vecteurs de la pensée informatique  + (Cours du 8 février 2008 de Gérard Berry au Collège de France (Chaire d'Innovation technologique) : introduction aux langages de programmation par le biais de l'étude de l'environnement de programmation.)
• Les racines scientifiques du monde numérique  + (Cours du cycle "Et le monde devint numériq … Cours du cycle "Et le monde devint numérique" : comment en est-on arrivé aux puissances de calcul des ordinateurs d’aujourd’hui ? Quelle est la science des algorithmes, circuits et logiciels? Comment cette science, son langage, ses concepts se sont-ils progressivement imposés ? Pourquoi ses progrès constants causent-ils cette fulgurance inégalée du monde numérique ?e fulgurance inégalée du monde numérique ?)
• Eléments d’algorithmique en Java  + (Cours en deux parties : la première consac … Cours en deux parties : la première consacrée aux notions de bases à acquérir afin d'utiliser Java (les fondements, java sans objets, les objets, et les tableaux); la deuxième consacrée aux éléments d'algorithmiques (principes généraux, structures séquentielles, et structures arborescentes).quentielles, et structures arborescentes).)
• Introduction à l'informatique  + (Cours en deux parties : une introduction g … Cours en deux parties : une introduction générale à l'informatique, aux logiciels, matériels, environnements informatiques et à la science sous-jacente ; un exposé des bases de la programmation et de l'algorithmique par l'apprentissage d'un langage de programmation, la programmation de structures de données non dynamiques (scalaires, chaînes de caractères, tableaux) et les structures de contrôles élémentaires (itération, récursivité).les élémentaires (itération, récursivité).)
• Introduction à l'analyse réseau  + (Cours en ligne sur le site inetdoc.net de … Cours en ligne sur le site inetdoc.net de Linux : l'analyseur de trafic est un outil pédagogique essentiel pour comprendre les mécanismes de fonctionnement des protocoles de communication sur les réseaux contemporains. Ce document comprend deux parties. Dans un premier temps, on trouve une introduction à l'utilisation de l'analyseur Wireshark, le logiciel libre incontournable en la matière. Dans un deuxième temps, les travaux pratiques permettent de découvrir la richesse des informations fournies par cet analyseur.s informations fournies par cet analyseur.)
• Les droits d'auteur  + (Cours en ligne sur les questions juridiques relatives aux productions numériques : celle ici abordée est le droit d'auteur.)
• Protection de la vie privée  + (Cours en ligne sur les questions juridique … Cours en ligne sur les questions juridiques relatives aux productions numériques : le droit à la vie privée, la diffusion d'information relatives à la vie privée, la protection des mineurs, le droit à l'image, la protection des données personnelles et le problème de la création et de la circulation des fichiers nominatifs, autant de sujets ici abordés. nominatifs, autant de sujets ici abordés.)
• Les licences libres  + (Cours en ligne sur les questions juridique … Cours en ligne sur les questions juridiques relatives aux productions numériques : Les licences Creative Commons ont pour vocation d'adapter le régime des droits d'auteur aux ressources disponibles sur le réseau Internet. Permettre une alternative aux droits d'auteur qui s'inspire du mouvement des logiciels libres.inspire du mouvement des logiciels libres.)
• La création d'un site Web pédagogique par l'enseignant  + (Cours en ligne sur les questions juridiques relatives aux productions numériques : à quoi s'engage un enseignant qui désire ouvrir un site web pédagogique ? l'intéressé trouvera ici des conseils et des informations sur les précautions à prendre.)
• La loi DADVSI  + (Cours en ligne sur les questions juridiques relatives aux productions numériques : celle ici traite de la loi DADVSI du 1er août 2006 et de l'exception pédagogique.)
• Droit à l'image  + (Cours en ligne sur les questions juridiques relatives aux productions numériques : le droit à l'image, le droit de l'image et le cadre juridique de l'audiovisuel sont les sujets ici abordés.)
• Electronique binaire  + (Cours interactif sur divers aspects de l'électronique (analogique et digitale), élaboré à partir de projets d'évaluation d'étudiants en science physique de l'université du Mans.)
• Premier principes des langages de programmation  + (Cours introductif de la science Informatiq … Cours introductif de la science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information) à destination des professeurs des lycées, 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 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. Il est composé d'une heure de cours et d'une demi-heure de questions-réponses sur le cours.-heure de questions-réponses sur le cours.)
• Circuits et architecture des ordinateurs  + (Cours présentant les éléments constituants l'architecture des ordinateurs et leurs interactions.)
• Cryptographie et sécurité des réseaux  + (Cours sur la sécurité informatique et la c … Cours sur la sécurité informatique et la cryptographie se plaçant dans l'optique de mieux protéger les réseaux et les services en ligne. Composé d'un ensemble de ressources multimédia (schémas, vidéo, commentaires audio, animations, il aborde les thèmes suivants : la sécurité des réseaux et plus spécifiquement la sécurité et la cryptographie, les systèmes cryptographiques classiques, les systèmes symétriques ou à clé secrète, les systèmes asymétriques ou à clé publique, les systèmes irréversibles et la gestion des cléstèmes irréversibles et la gestion des clés)
• Etude de l'arithmétique des ordinateurs  + (Cours sur les circuits de calcul, le troisième d'une série archiCours sur l'architecture des ordinateurs : arithmétique binaire et flottante ; circuits arithmétiques, addition, multiplication et division.)
• Le système d'exploitation : une machine virtuelle  + (Court métrage où un enseignant en informat … Court métrage où un enseignant en informatique de l'université de Strasbourg développe une notion ou un concept considéré comme essentiel à la réussite du parcours scientifique de l’étudiant : Il est ici question du système d'exploitation que le grand public identifie de façon ambigüe à l'ordinateur lui-même. Il déclare en effet que ce dernier est en panne lorsque, par mégarde, il a effacé un fichier de configuration. Initialement, les programmeurs réalisaient des programmes pour un type de machine donné. En changer nécessitait donc de convertir le programme dans le nouveau langage d'instruction et de se conformer à une nouvelle procédure de mise en place du programme dans la mémoire. Mais un des premiers efforts des constructeurs d'ordinateurs a été de fournir des machines incorporant déjà ce service de chargement en mémoire indépendamment des spécificités de la machine. Cet ensemble de services et le multi-tâches, s'ajoutant au paquet de base de la machine, laissent au programmeur uniquement la phase de programmation et permettent de tirer le meilleur parti des machines. C'est ce qui forme le système d'exploitation, qui n'est une machine qu'au sens virtuel et sert d'interface entre la machine physique et l'utilisateur.ntre la machine physique et l'utilisateur.)
• La récursivité en programmation  + (Court métrage où une enseignante en inform … Court métrage où une enseignante en informatique de l'université de Strasbourg développe et illustre à l'aide d'une petite maquette en bois une notion ou un concept considéré comme essentiel à la réussite du parcours scientifique de l’étudiant : la démarche de récurrence illustrée par le problème légendaire des tours de Hanoï, qui, avec la décomposition fonctionnelle, constitue l'une des stratégies de résolution de problèmes en programmation. Il s'agit de surmonter la difficulté liée au temps incommensurable nécessité par le déplacement un par un de 64 disques empilés par ordre décroissant de leur diamètre sur l'une des trois tours en ivoire de la cour d'un temple, de la tour de départ àla tour d'arrivée et de telle sorte qu'un disque quelconque ne soit jamais chevauché par un disque de diamètre supérieur. La démarche de récurrence suppose que l'on sait programmer le problème pour n-1 disques, c'est-à-dire de les déplacer d'une tour à une autre. Le dernier disque est alors déplacé sur la tour du milieu, puis les n-1 disques ramenés avec l'algorithme récurrent sur cette tige du milieu.rithme récurrent sur cette tige du milieu.)

• La Philo En Petits Morceaux : Et Si On Changeait De Paradigme ?  + (Courte vidéo abordant la notion de paradigme dans les sciences.)

• La Philo En Petits Morceaux : La Logique est-elle barbante ?  + (Courte vidéo abordant les limites de la logique avec le problème des paradoxes, et les méthodes utilisées pour les surmonter.)
• La Philo En Petits Morceaux : La Cause de la Cause  + (Courte vidéo abordant les notions de causalité et de loi universelle dans le cadre de la recherche scientifique.)
• La Philo En Petits Morceaux : Esprit Es-Tu Là ?  + (Courte vidéo posant la question de l'esprit et du corps comme entités distinctes ou comme entité unique? monisme ou dualisme ?)
• La Philo En Petits Morceaux : Scientifique ou pas ?  + (Courte vidéo pour illustrer comment définir ce qui est du ressort de la science et ce qui ne l'est pas ?)
• Apprendre le développement Web : Création de web app  + (Création de web app avec AngularJS, nodeJS … Création de web app avec AngularJS, nodeJS (expressJS) et mongoDB. Les technologies abordées sont :</br>- AngularJS (HTML dynamique côté client)</br>- nodeJS (JavaScript côté serveur)</br>- mongoDB (base de données noSQL)</br>mais aussi :</br>- notion de client-serveur</br>- qu'est ce qu'internet ?</br>- protocole HTTP</br>- les URL</br>- qu'est que le web ?</br>.....</br>Ecrit pour des élèves de seconde, ce document peut aussi être utilisé en ISN. Les débutants en programmation trouveront sur la même page un lien vers les 19 activités "Apprendre la programmation avec JavaScript".prendre la programmation avec JavaScript".)
• Projecteur DMX  + (Créer des fonctions Java pour réaliser des effets lumineux afin de contrôler des projecteurs via le biais d'une console DMX ou d'un ordinateur.)
• Vous avez dit trier - 1 algorithmes  + (Dans ce premier volet d'un diptyque sur le … Dans ce premier volet d'un diptyque sur les algorithmes de tri sont abordées les considérations algorithmiques concernant les opérations de tri, accompagnées d’un scénario pédagogique pour aborder quelques-uns de ces aspects. Un second volet sera consacré au choix des critères de tri d’un ensemble de données non numériques (voir "Vous avez dit trier ? - 2 Critère de tri").ous avez dit trier ? - 2 Critère de tri").)
• Calcul en précision arbitraire, Séquence pédagogique  + (Dans le cadre d'une formation INRIA de jui … Dans le cadre d'une formation INRIA de juin 2009 s'adressant aux professeurs des établissements de l'académie de Versailles proposant l'option ISN à leurs classes de seconde pour l'année scolaire 2009-2010, l'exposé filmé présente une séquence pédagogique autour du calcul avec des très grands nombres qui ne peuvent être codés avec les nombres entiers ou les nombres flottants usuels des machines. Le nombre est alors stocké dans un tableau et devient un objet numérique dont il faut soigneusement définir les opérations et les méthodes permettant de le manipuler. C'est l'occasion de proposer un travail exemplaire de bonne programmation avec les concepts les mieux adaptés.ation avec les concepts les mieux adaptés.)
• Combien d'objets dans une image ?  + (Dans le cadre d'une formation INRIA en jui … Dans le cadre d'une formation INRIA en juin 2009 à l'intention des professeurs des établissements de l'académie de Versailles proposant l'option ISN à leurs classes de seconde pour l'année scolaire 2009-2010, cet exposé propose de décortiquer quelques algorithmes d'étiquetage des objets dans une image, c'est à dire de segmentation de cette image en régions homogènes, et de regarder en détail la complexité algorithmique d'un tel mécanisme. Cela permet de déterminer dans un cas concret quels formalismes permettent d'analyser les performances d'un algorithme et de vérifier sa validité. On y croise la fonction d’Ackermann dont le rôle est essentiel en informatique théorique.e est essentiel en informatique théorique.)
• XtremLog  + (Dans le cadre du projet X-trem-log, équipé de capteurs innovants, le chercheur Guillaume Chelius exécute un marathon des sables dans le désert marocain.)
• Algorithmes de routage (Routing Algorithmen)  + (Dans le monde numérique d'aujourd'hui conn … Dans le monde numérique d'aujourd'hui connecté en réseau , des paquets de données, fichiers et annonces doivent trouver leur chemin dans un entrelacs compliqué de canaux de données différents (le téléphone, les câbles coaxiaux et les directions de fibre de verre ainsi que les lignes de radio et de faisceau lumineux) . Cette préparation de chemin et l'optimisation pour le choix du chemin est pour la plupart la tâche des exploitants de réseau. Les documents fournis proposent des scénarios pédagogiques pour aborder ces sujets.rios pédagogiques pour aborder ces sujets.)
• Sciences des données : de la logique du premier ordre à la Toile  + (Dans sa leçon inaugurale au Collège de Fra … Dans sa leçon inaugurale au Collège de France en 2011, Serge Abiteboul présente les clés des systèmes d'information : l’information produite, stockée, traitée, échangée, est au cœur de l’activité des êtres vivants, des objets du monde, des associations humaines. Les systèmes informatiques nous aident à conserver cette information sous forme numérique telle une sauvegarde quasi illimitée de notre mémoire personnelle.si illimitée de notre mémoire personnelle.)
• Autour des graphes et du routage  + (De l'Internet aux réseaux ad hoc, en passa … De l'Internet aux réseaux ad hoc, en passant par les réseaux de pair à pair, la façon dont les messages sont acheminés constitue le problème central des réseaux : c'est ce qu'on appelle le routage. Les graphes sont l'outil mathématique privilégié pour modéliser les réseaux et étudier ce problème.éliser les réseaux et étudier ce problème.)
• La visualisation analytique, pour comprendre des données complexes  + (Depuis une dizaine d’années, nous sommes e … Depuis une dizaine d’années, nous sommes entrés dans une nouvelle période : celle de la profusion de données. La visualisation analytique est une méthode qui utilise les capacités visuelles humaines pour accélérer l’exploration de ces quantités importantes de données.n de ces quantités importantes de données.)
• Java Scool - démo TPE Reves  + (Des graphes de réverbération pour enrichir les environnements virtuels sonorisés. Projet mené dans le cadre des TPE.)
• Les scientifiques cachés à l'intérieur d'un téléphone  + (Des ondes et des antennes, des mathématiques et des scientifiques à la pelle, et mêmes des biologistes , ce sont toutes nos sciences contemporaines qui se sont données rendez-vous dans nos téléphones portables.)
• De la grippe A au génie biologique  + (Des outils pharmacologiques qui sont des anti-corps thérapeuthiques, des protéïnes naturelles, donc acceptées par l'organisme. Ils ont pour but de neutraliser des virus: le principe de l'immunisation passive)
• Plantes virtuelles, enjeux réels  + (Des plantes virtuelles pour comprendre la croissance végétale et préserver l'environnement, un sujet qui mobilise et rassemble agronomes, mathématiciens, informaticiens et botanistes.)
• Thèmes liés aux programmes ISN abordés sous forme de ressources en ligne  + (Des ressources en ligne pour aborder les thèmes du programme ISN. Ce sont plutôt des sujets peu traités dans les manuels usuels : Droit du numérique, Machine à états finis, etc.)
• Hydrogéologie et environnement  + (Des scientifiques spéléologues explorent les entrailles de notre sous sol et découvrent des rivières souterraines, ce qui peut représenter des enjeux importants dans l'exploitation et la gestion des ressources en eau.)
• Science et Vie - L'informatique, malade des lignes de code  + (Descriptif d'un article du n° 1121 du péri … Descriptif d'un article du n° 1121 du périodique Science et Vie (pp. 54-61) dans le catalogue de l'HENAM (Haute Ecole de Namur) : pour alimenter les innombrables systèmes qui ont envahi notre quotidien, les logiciels sont de plus en plus gourmands en lignes de code. Et la cote d'alerte est aujourd'hui atteinte : désormais, les informaticiens ne peuvent plus garantir que leurs programmes sont sans erreur.tir que leurs programmes sont sans erreur.)
• Le routage (FrameIP)  + (Description complète du mécanisme de routage sur un réseau ou entre réseaux.)
• TCP/IP (FrameIP)  + (Description synthétique du modèle (ou "pile") TCP/IP, c'est-à-dire de l'architecture qui permet aux réseaux de fonctionner (et de communiquer) en utilisant le protocole IP. Discute aussi des différences et similarités avec le modèle OSI.)
• ISN terminale S : activités et 130 exercices de programmation en Python  + (Destiné aux élèves et enseignants de la sp … Destiné aux élèves et enseignants de la spécialité Informatique et Sciences du numérique en Terminale S ainsi qu’à toute personne souhaitant débuter en programmation informatique. Le livre comprend 2 parties bien distinctes : des généralités sur le fonctionnement des ordinateurs actuels et divers éléments de réflexion sur le rôle de l’informatique dans le monde moderne ainsi que des précisions sur l’épreuve d’ISN au baccalauréat ET une initiation au langage Python à partir d’exercices de niveaux variés et de divers éléments destinés à la réalisation de projets informatiques (particulièrement orientés vers l’épreuve du baccalauréat). orientés vers l’épreuve du baccalauréat).)
• Une introduction à la science informatique : langages et programmation  + (Deuxième chapitre thématique de l'ouvrage … Deuxième chapitre thématique de l'ouvrage "Une introduction à la science informatique" : la notion de langage de programmation, la logique de sa construction et son bon usage. Le langage choisi comme exemple est ici Java, mais les notions introduites sont universelles et se transposent sans trop de difficultés à presque tous les langages : noyau impératif, constructions d'entrée/sortie, notions de fonction, de valeur, les enregistrements, les types de données dynamiques, l'abstraction de type de données, la notion générale de langage. La fin du chapitre permet d'étendre la problématique aux langages formels en général : ainsi, par contraste avec le langage Java, le langage XHTML n'est qu'un langage formel. langage XHTML n'est qu'un langage formel.)