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

• Créer des pages « Web »  + (Les sites Internet proposent de nombreux c … Les sites Internet proposent de nombreux contenus affichés sous forme de pages "Web" reliées entre elles. La complexité de l'organisation de la page et la richesse des contenus (textes et multimédia) doit permettre malgré tout l'affichage sur un nombre varié de supports (écran d'ordinateur ou de smartphone) et ceci au plus grand nombre d'utilisateurs grâce à des systèmes assistés comme le synthétiseur vocal ou le terminal Braille. Les activités tourneront autour du questionnement suivant: Comment décrire une page (contenu et mise en forme) ? Comment afficher une page sur des média différents (écrans d'ordinateur ou de terminal mobile) ? Comment favoriser l'accessibilité des pages à certaines catégories d'utilisateurs ? Comment réaliser la communication entre ces pages puis organiser la circulation des pages sur le Web ?iser la circulation des pages sur le Web ?)
• Structures de données et méthodes formelles Structures de données et méthodes formelles  + (Les structures de données sont les constit … Les structures de données sont les constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L’originalité de l’ouvrage réside dans le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine. Une première partie présente les bases de la discipline : la théorie des ensembles, l'étude de structures intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) des algorithmes. La seconde se focalise sur l'étude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. L'ensemble de l'exposé répond quant à lui à une double logique : une perspective historique (à chaque époque correspondent des structures de données caractéristiques) et une démarche fonctionnelle (les opérations sont des fonctions qui délivrent une valeur).t des fonctions qui délivrent une valeur).)
• Les suites de Syracuse  + (Les suites de Syracuse sont des suites mat … Les suites de Syracuse sont des suites mathématiques. Etude du problème que posent ces suites aux mathématiciens avec la célèbre conjecture de Syracuse. Application de quelques tests en implémentant l'algorithme de génération des valeurs de la suite de Syracuse voulue en OCaml.s de la suite de Syracuse voulue en OCaml.)
• Cours système d'exploitation  + (Les systèmes d'exploitations doivent repré … Les systèmes d'exploitations doivent représenter le meilleur compromis entre fonctionnalité, performance, et maintenabilité. Ce document cherche à donner une perspective historique sur l'évolution des concepts dans ce domaine, comment c'est dérouler l'évolution de ces systèmes ?est dérouler l'évolution de ces systèmes ?)
• Les tables de hachage  + (Les tables de hachage : à quoi cela sert, comment cela fonctionne, une rapide analyse sur les temps d'exécutions et une implémentation en Java.)
• SEIG - Lexique  + (Lexique regroupant la terminologie des principaux SIG, le vocabulaire se rapportant aux sciences géographiques de manière générale.)
• LinuxLive USB Creator  + (Linux Live USB Creator (alias Lili) est à … Linux Live USB Creator (alias Lili) est à la fois un logiciel de préparation de clés USB amorçables et un site web assurant la distribution du logiciel. Une fois Lili installé dans une machine Windows, on peut très simplement télécharger une version de Linux et fabriquer une clé USB autonome avec cette version de Linux. USB autonome avec cette version de Linux.)
• Le site du Zéro - Algorithmique  + (Liste de tous les tutoriels traitant d'algorithmique proposés par le site.)
• Canal-U - Fuscia  + (Liste des ressources proposés par le projet Fuscia (conférence en informatique, histoire de l'informatique,...) qui a pour but de mettre en œuvre sur le Web des parcours pour la formation en informatique et mathématiques appliquées.)
• Visualiseurs et banques de données nationales (SIG)  + (Liste et adresses des différents visualiseurs et banques de données nationales. Accès sur enregistrement.)
• World Wind  + (Logiciel d'exploration de planètes via photographies satellites et aériennes développé par le NASA Ames Research Center dans un but pédagogique.)
• Inkscape  + (Logiciel libre de dessin graphique vectoriel permettant toutes sortes d'expérimentations et de conversions avec le format SVG.)
• GraphBench  + (Logiciel libre éducatif interactif basé sur de la programmation en Java dans un environnement d'apprentissage pour classes NP : contient les problèmes NP-complets typiques et des réductions.)
• Luatex  + (Luatex est une version étendue de pdfTeX utilisant Lua comme langage de script intégré. L'objectif principal des projets luatex est de fournir une variante ouverte et configurable de TeX, tout en offrant en même temps la compatibilité descendante.)
• Bonnes pratiques de l'ANSSI  + (L’Agence nationale de la sécurité des syst … L’Agence nationale de la sécurité des systèmes d’information (ANSSI) met en place et développe une capacité de prévention et de réaction aux attaques informatiques. Très concrètement, elle offre ici un guide des bonnes pratiques, recommandations, mesures techniques (outils méthodologiques) et non techniques pour se prémunir concrètement contre ce risque.se prémunir concrètement contre ce risque.)
• La robotique, un véritable outil pédagogique  + (L’implication de Génération Robots dans le … L’implication de Génération Robots dans le domaine de la robotique pour l’éducation et les avantages de la robotique en tant que support pédagogique : en 2012, Génération Robots publie le second tome du manuel de programmation Lego et, lance une plate-forme de diffusion et d’échange de cours, TP, plans et exemples de programmes robotiques, accessible gratuitement à tous. Génération Robots dit "répondre à un besoin exprimé par ses clients enseignants et s’engage pour favoriser la diffusion de la robotique dans le milieu éducatif". de la robotique dans le milieu éducatif".)
• Fiches métiers Informatique, Internet et Télécoms  + (L’informatique s’étend à tous les secteurs … L’informatique s’étend à tous les secteurs, et génère de nombreux débouchés : que ce soit dans le monde de l’entreprise, du commerce ou de la recherche, ou pour développer des produits high-tech, mobiles et multimédias. De bac+2 à bac+5, les informaticiens sont recherchés par les entreprises.ciens sont recherchés par les entreprises.)
• Initiation à l'algorithmique  + (L’objet de ce cours est de s’appuyer sur d … L’objet de ce cours est de s’appuyer sur des connaissances mathématiques pour représenter différentes méthodes générales afin de fournir à un problème une ou plusieurs solutions algorithmiques. L’attention est tout particulièrement portée sur la nécessité pour résoudre un problème de le découper en sous-problèmes auxiliaires. Différentes méthodes de résolutions abordées : approche « diviser pour régner », programmation dynamique et approche gloutonne.rammation dynamique et approche gloutonne.)
• Veille pédagogique et technique en géomatique  + (Maintenir une veille sur les outils et les … Maintenir une veille sur les outils et les ressources pédagogiques. Compte tenu de l'évolution rapide des géotechnologies, l'objectif est plutôt de mettre à disposition des informations claires et accessibles pour un usage de ces outils dans l’enseignement et la formationoutils dans l’enseignement et la formation)
• Computer Organization and Design: The Hardware/Software Interface"  + (Manuel d'analyse de système informatique et de conception mettant l'accent sur le passage de l'utilisation du monoprocesseur au microprocesseur multi-cœur. Comprend un ensemble d'exercices ainsi qu'un CD-Rom d'accompagnement.)
• Programming Ruby / The Pragmatic Programmer's Guide  + (Manuel d'enseignement progressif du langage Ruby, tiré de la première édition du livre de même titre.)
• Informatique et Sciences du Numérique - Spécialité ISN en Terminale S version Python  + (Manuel scolaire de la spécialité ISN en Te … Manuel scolaire de la spécialité ISN en Terminale S, l’objectif du livre est d’introduire et donner une ensemble maximal d'éléments pour permettre cet enseignement nouveau, orienté autour de projets, en tenant compte de multiples variantes selon les axes choisis. Il est donc un ouvrage de référence, des savoirs et savoirs faire fondamentaux, mais aussi des contenus optionnels qui les entourent. Il s'articulent autour des quatre concepts de l'Informatique, mais surtout de montrer la manière dont ils fonctionnent ensemble. Quand nous étudierons les algorithmes fondamentaux, nous les exprimerons souvent dans un langage de programmation. Quand nous étudierons l’organisation des machines, nous verrons comment elles permettent d’exécuter des programmes exprimés dans un langage de programmation. Quand nous étudierons la notion d’information, nous verrons des algorithmes de compression, de chiffrement, etc. Ce livre est donc organisé en quatre parties regroupé en vingt-deux chapitres.</br></br>Voir : http://www.eyrolles.com/Informatique/Livre/informatique-et-sciences-du-numerique-edition-speciale-python-9782212136760 pour plus d'information</br></br>Programmes présentés dans le livre et logiciel d'accompagnement : http://www.lsv.ens-cachan.fr/~dowek/Isn/: http://www.lsv.ens-cachan.fr/~dowek/Isn/)
• Informatique et Sciences du Numérique - Spécialité ISN en Terminale S  + (Manuel scolaire de la spécialité ISN en Te … Manuel scolaire de la spécialité ISN en Terminale S, l’objectif du livre est d’introduire et donner une ensemble maximal d'éléments pour permettre cet enseignement nouveau, orienté autour de projets, en tenant compte de multiples variantes selon les axes choisis. Il est donc un ouvrage de référence, des savoirs et savoirs faire fondamentaux, mais aussi des contenus optionnels qui les entourent. Ils s'articulent autour des quatre concepts de l'Informatique, mais surtout de montrer la manière dont ils fonctionnent ensemble. Quand nous étudierons les algorithmes fondamentaux, nous les exprimerons souvent dans un langage de programmation. Quand nous étudierons l’organisation des machines, nous verrons comment elles permettent d’exécuter des programmes exprimés dans un langage de programmation. Quand nous étudierons la notion d’information, nous verrons des algorithmes de compression, de chiffrement, etc. Ce livre est donc organisé en quatre parties regroupé en vingt-deux chapitres.</br></br>Voir : http://www.editions-eyrolles.com/Livre/9782212135435 pour plus d'information</br></br>Coquilles connues : http://www.lsv.ens-cachan.fr/~dowek/Isn/coquilles.html (n'hésitez pas à nous contacter pour aider ! gilles.dowek@inria.fr)</br></br>Programmes présentés dans le livre et logiciel d'accompagnement : hhttp://www.lsv.ens-cachan.fr/~dowek/Isn/ hhttp://www.lsv.ens-cachan.fr/~dowek/Isn/)
• Computer architecture, A quantitative approach  + (Manuel traitant de l'utilisation des micro-processeurs multicore-puce, en remplacement des architectures mono-puce. Comprend des exercices et un CD-Rom comme support supplémentaire.)
• Why's (Poignant) Guide to Ruby  + (Manuel très original d'apprentissage de la programmation basé sur le langage Ruby. Ce manuel se distingue par une ambiance "BD" (<i>comics-like</i>) ainsi que la recherche de la simplicité.)

• AKIBA ROBOT: KondoCup Robot Soccer - Open Class  + (Match de football, robots contre robots (Japon, Tokyo).)

• Programmation en langage C  + (Mettre en œuvre les principes élémentaires … Mettre en œuvre les principes élémentaires de l'algorithmique à l'aide du langage C. Être capable de comprendre un programme-source très simple. Acquérir la maîtrise des aspects les plus simples de la programmation en C. Être capable d'aborder dans les meilleures conditions la manipulation de structures de données complexes.lation de structures de données complexes.)
• CSS3.info  + (Mise en ligne de différentes ressources couvrant le langage CSS3.)
• Edugéo  + (Mise à disposition d'outils de consultation géographique avec une offre d'outils spécifiques de traitement simple de ces données)
• Info SIG  + (Mise à disposition d'un éventail de compétences, de prestations et d'outils informatiques entièrement dédiés à l'optimisation, à l'analyse et à la visualisation de données géographiques.)
• Images satellitaires pour l'éducation nationale  + (Mise à disposition des académies d'une base d'images satellitaires répondant aux besoins éducatifs des disciplines concernées.)
• Sécurité des mots de passe (ANSSI)  + (Module d'autoformation de l'ANSSI (Agence … Module d'autoformation de l'ANSSI (Agence nationale de la sécurité des systèmes d'information, rattachée aux services du Premier Ministre).</br></br>L'utilisation de mots de passe de qualité est un des facteurs élémentaires de sécurisation d'un ordinateur ou d'un système d'information. L'utilisation de mots de passe triviaux est malheureusement beaucoup trop fréquente, et facilite considérablement l'action des attaquants informatiques. Ce module a pour but d'aider les utilisateurs à choisir des mots de passe dont la résistance est suffisante.e passe dont la résistance est suffisante.)
• Mots de passe (ANSSI)  + (Module d'autoformation proposé par le Secrétariat général de la Défense nationale : son but est de décrire les principales notions mises en œuvre dans le domaine de la cryptologie et les mots de passe.)
• Cryptologie Fuhr  + (Module d'autoformation proposé par le Secr … Module d'autoformation proposé par le Secrétariat général de la Défense nationale : son but est de décrire les principales notions mises en œuvre dans le domaine de la cryptologie, de détailler les usages et une ébauche du fonctionnement des principaux types de primitives cryptographiques et de transmettre les aspects essentiels d’une bonne utilisation des moyens cryptographiques.e utilisation des moyens cryptographiques.)
• Signature numérique (ANSSI)  + (Module d'autoformation proposé par le Secrétariat général de la Défense nationale : son but est de décrire les principales notions mises en œuvre dans le domaine de la cryptologie et de la signature électronique.)
• Quelle stratégie aujourd'hui face aux crues urbaines ?  + (Modéliser l'intrusion de l'eau dans les rues et d'optimiser son écoulement ainsi que son infiltration à travers des surfaces poreuses.)
• Portrait:Al Khwarismi (notion d'algorithme)  + (Mohammed Al-Khawarizmi ( Khiva, région du … Mohammed Al-Khawarizmi ( Khiva, région du Khwarezm, vers 783-Bagdad, vers 850) qui tient son nom de sa région d'origine, mathématicien, géographe, astrologue et astronome musulman perse dont les écrits, rédigés en langue arabe, ont permis l'introduction de l'algèbre en Europe. Sa vie s'est déroulée en totalité à l'époque de la dynastie abbasside. Il est à l'origine des mots «algorithme», qui n'est autre que son nom latinisé ("algoritmi"), «algèbre», issu d'une méthode et du titre d'un de ses ouvrages, ou encore de l'utilisation des chiffres arabes, dont la diffusion dans le Moyen-Orient et en Europe provient d'un autre de ses livres qui, lui-même, traite des mathématiques indiennes.-même, traite des mathématiques indiennes.)
• Créer votre tablette tactile  + (Montage de la table tactile en utilisant le procédé précédemment expliqué du LLPI (Laser Light Plane Illumination).)
• Java Scool - démo TPE Arobas  + (Mécanisme de suivi en temps réel d'objets réels 3D de haute performance.Projet mené dans le cadre des TPE.)
• Le tri à bulles  + (Méthode de tri visant à comparer deux à deux les éléments d'un tableau ou d'une liste et d'échanger leur position s'ils sont mal placés.)
• Algorithmique cours et exercices  + (Méthodes de programmation, structure de liste, listes triées, évaluation d'une formule, logique booléenne, complexité des algorithmes, arbres, arbres binaires de recherche, manipulation d'expressions formelles, langages réguliers, automates finis.)
• Robot NAO  + (Nao est un robot anthropoïde complet, se d … Nao est un robot anthropoïde complet, se déplaçant comme un bipède, muni de capteurs performants (un peu moins pour les capteurs vocaux), prototype de robots prévus pour des usages d'aide à la personne (âgée ou non), et couramment utilisé dans des universités comme plateforme d'enseignement de l'algorithmique et de la robotique, et pour la recherche et l'expérimentation. Il inclut un simulateur de déplacement (robot virtuel) et un environnement de programmation (l'interfaçage se fait par des scripts en Python ou C++).se fait par des scripts en Python ou C++).)
• L'algorithme min-max  + (Ne vous-êtes vous jamais demandé, en jouant au échecs sur ordinateur, "Mais comment fait-il pour réfléchir ? Ébauche de réponse en étudiant un des plus simples algorithmes cognitifs : l'algorithme min-max. Approche de l'intelligence artificielle.)
• Educ Algo Initiation à l'algorithmique  + (Nombreux petits exercices pour apprendre les fondamentaux de l'algorithmique avec les corrections. Utilisable en ligne (Firefox exigé plutôt qu'Internet Explorer).)
• Bac. S, grilles de compétences et d’évaluation de l’épreuve de spécialité ISN  + (Note de service publiée au BOEN n° 2012-06 … Note de service publiée au BOEN n° 2012-065 du 6-4-2012 (MEN - DGESCO A2-1) à l'intention des rectrices et recteurs d’académie, du directeur du service interacadémique des examens et concours d’Ile-de-France (SIEC), des chefs d’établissement et des professeur-e-s, pour l'évaluation au bac de l’épreuve de spécialité ISN : en bref, cinq compétences et une évaluation orale au bac composée d'une soutenance de projet sur huit points et d'un dialogue argumenté sur douze points. Pour ce qui concerne les coefficients, les disciplines obligatoires conservent leurs coefficients. 6, 7, 6, et ISN est évaluée par une note indépendante sur 20, coefficient 2.e note indépendante sur 20, coefficient 2.)
• Arithmétique flottante (cours sur)  + (Notes d'un cours donné en 2003 dans la fil … Notes d'un cours donné en 2003 dans la filière Algorithmique Numérique et Symbolique du DEA d'Informatique de l'Université Henri Poincaré Nancy 1, basées en grande partie sur le livre Elementary Functions. Algorithms and Implementation de Jean-Michel Muller. and Implementation de Jean-Michel Muller.)
• Activité Canvas niveau de gris : introduction à la balise Canvas  + (Notes pour l'enseignant relatives à une ac … Notes pour l'enseignant relatives à une activité qui pourra être utilisée en 2012 en ISN. Cette activité utilise la balise HTML5 Canvas. L'élément Canvas est un composant de HTML qui permet d'effectuer des rendus dynamiques d'images bitmap via des scripts. Déjà implémenté dans certains navigateurs, il fait partie de la future spécification HTML5 qui est en cours de finalisation.on HTML5 qui est en cours de finalisation.)
• Autour des pages « Web » dynamiques  + (Notre vécu d’internaute, comme le ciblage … Notre vécu d’internaute, comme le ciblage publicitaire dont nous sommes parfois victimes, nous amènent aussi à nous interroger sur les traces de notre passage sur les différents sites visités, stockées dans le disque dur de notre ordinateur personnel, et dont les données sont susceptibles d’être collectées voire détournées à notre insu. L’expérience proposée par le site de démonstration de la C.N.I.L. ( http://www.cnil.fr/vos-libertes/vos-traces/experience) nous éclaire davantage sur ces aspects. Les activités menées dans cette séquence visent à répondre au questionnement suivant : Comment rendre un site Web interactif ? Comment le serveur Web peut-il reconnaître mon ordinateur ? Comment maintenir des données temporairement ou de manière plus persistante pendant la navigation ? Quels sont les risques encourus concernant ces données collectées pendant la navigation et pouvant porter préjudice à la personne (morale ou physique) sur le Net ?personne (morale ou physique) sur le Net ?)
• Les webs de demain (F. Gandon)  + (Nous connaissons tous le Web, mais sous qu … Nous connaissons tous le Web, mais sous quel angle : Web documentaire, applicatif, social, web de services, web mobile, web de données ? Pourquoi toutes ces facettes et pour quels usages ? Tel est l'objet de la conférence de Fabien Gandon, chercheur à l'INRIA et spécialiste des formalismes et architectures du Web sémantique.lismes et architectures du Web sémantique.)
• Alan Turing : la pensée informatique  + (Numéro 14 de la revue DocSciences consacré … Numéro 14 de la revue DocSciences consacré au savant britannique Alan Turing (1912-1954) au destin scientifique exceptionnel : son nom reste en particulier attaché à l’apparition de l’informatique. En à peine vingt ans, il a profondément modifié la façon de concevoir la notion même de résultat scientifique. Chaque article présente un pan des recherches qu’il a engagées et qui se poursuivent aujourd’hui. Des réflexions sur la notion de calcul, à la construction des premiers ordinateurs, en passant par l’intelligence artificielle, la morphogenèse et le décryptage de la machine Enigma, ce numéro offre un parcours à travers les mathématiques, la philosophie, la biologie et l’histoire. Disponible aussi en ligne : http://interstices.info/jcms/mf_46796/turingtp://interstices.info/jcms/mf_46796/turing)
• ExpEYES  + (Offre d'un outil éducatif open source mais payant, périphérique et logiciel servant d'interface pour développer des expérimentations scientifiques.)