202 résultats : répresentation

Recherche en cours

Par mots-clef = répresentation

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

202 résultats

page 1 sur 21

résultats 1 à 10

Représentations intermédiaires (Compilation : théorie, techniques et outils)

Description : Ce cours définit des structures et langages intermédiaires utilisés en compilation, comme la structure en graphes (dépendances de données, dépendances de contrôle) et des formes textuelles (codes 3 adresses, codes 2 adresses, notation préfixées et postfixées, SSA, etc.). Thème 7 de l'ensemble " ...

Mots clés : compilation, représentation intermédiaire, programme informatique, langage de programmation, compilateur, code source, langage intermédiaire, portage d'un compilateur, code intermédiaire structuré, modèle mémoire, graphe, code intermédiaire linéaire

Date : 22-12-2010

Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Représentations intermédiaires (Compilation : théorie, techniques et outils)

Ajouter à mon panier

Accéder aux documents

Gestion de la mémoire (Compilation : théorie, techniques et outils)

Description : Ce cours présente les processus d'allocation et de substitution. Il montre comment fait un compilateur pour transformer des données de haut niveau en données de bas niveau (mémoire linéaire). Thème 6 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant ...

Mots clés : compilation, gestion de la mémoire, programme informatique, langage de programmation, compilateur, code source, processus d'allocation, processus de substitution, représentation de l'information, allocation dynamique, appel de fonction, passage de paramètres

Date : 22-12-2010

Gestion de la mémoire (Compilation : théorie, techniques et outils)

Ajouter à mon panier

Accéder aux documents

Compilation : théorie, techniques et outils - ensemble des ressources

Description : L'ensemble "Compilation : théorie, techniques et outils" vise à fournir des cours synthétiques sur la compilation et ses techniques, allant de l’analyse lexicale et syntaxique jusqu’à l’introduction à l’optimisation du code. Cet enseignement est organisé en 10 thèmes contenant cours, exemples et ...

Mots clés : compilation, représentation intermédiaire, programme informatique, langage de programmation, compilateur, code source, langage intermédiaire, analyse lexicale, analyse syntaxique, gestion mémoire, gestion de type, table de symbole, traduction dirigée par la syntaxe, optimisation de code

Date : 22-12-2010

Compilation : théorie, techniques et outils - ensemble des ressources

Ajouter à mon panier

Accéder au document

Compression de maillages

Description : Comment comprime-t-on les formes sur un ordinateur ? En se limitant au cas des maillages de surfaces, ce document décrit une technique de compression.

Mots clés : modélisation 3D, maillage triangulaire, codage entropique, compression mono-résolution, représentation de formes complexes, fuscia

Date : 18-10-2005

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Compression de maillages

Ajouter à mon panier

Accéder au document

L'architecture de la République en France au XIXe et au XXe siècle

Description : Conférence de jean-Yves Andrieux, Professeur d’histoire de l’architecture, Université Rennes 2, expert auprès de la direction de l’Architecture et du Patrimoine, Ministère de la Culture, Paris. Pour en savoir plus retrouver cette vidéo sur l'aire d'U, la plateforme de diffusion multimédia de l'U ...

Mots clés : histoire, identité, représentation, patrimoine

Date : 28-01-2008

Droits : Droits réservés à l'éditeur et aux auteurs.

L'architecture de la République en France au XIXe et au XXe siècle

Ajouter à mon panier

Accéder aux documents

Conception et réalisation d’une ressource en ligne pour la formation : représentations des interactions entre approches pédagogiques et techniques / Yves Ardourel

Description : Conception et réalisation d’une ressource en ligne pour la formation : représentations des interactions entre approches pédagogiques et techniques / Yves Ardourel. In Colloque "PédagoTICE 2013" organisé par la Direction des Technologies de l’Information et Communication pour l’Enseignement (DTICE) ...

Mots clés : représentation mentale, coopération universitaire, ressources pédagogiques numériques, universités numériques thématiques, multimedia (production et réalisation)

Date : 13-06-2013

Conception et réalisation d’une ressource en ligne pour la formation : représentations des interactions entre approches pédagogiques et techniques / Yves Ardourel

Ajouter à mon panier

Accéder aux documents

Critères de la vérité chez les géographes anciens / Pascal Arnaud

Description : Critères de la vérité chez les géographes anciens / Pascal Arnaud. In "La vérité", Journées Scientifiques annuelles de l'Institut Universitaire de France, organisées par le Pôle de recherche et d'enseignement supérieur (PRES) de Toulouse, l'Université Toulouse II-Le Mirail et l'Institut Universitaire ...

Mots clés : représentation du réel, connaissance scientifique, géographie (méthode scientifique), vérité (épistémologie), discours argumentatif, géographie antique, argument d'autorité

Date : 02-04-2013

Critères de la vérité chez les géographes anciens / Pascal Arnaud

Ajouter à mon panier

Accéder aux documents

Expliquer et comprendre

Description : Thémes abordés : La représentation et la signification. Le tétraèdre de validation. L'onto-historique. La main invisible et le pratico-inerte.Sciences humaines, prédiction et rétro-diction. Le propre et l'impropre en matière d'explication. Equipe technique : Direction de la production: Christophe ...

Mots clés : sens, signification, représentation, réalité, philosophie du langage

Date : 19-06-2007

Droits : Droits réservés à l'éditeur et aux auteurs.

Expliquer et comprendre

Ajouter à mon panier

Accéder aux documents

Voyage dans les nanosciences et l'art contemporain / Niki Baccile

Description : Voyage dans les nanosciences et l'art contemporain / Niki Baccile. In "Images & mirages @ nanosciences", colloque international organisé par le Laboratoire Interdisciplinaire Solidarités, Sociétés, Territoires (LISST) de l'Université Toulouse II-Le Mirail, le Centre d'Élaboration de Matériaux et ...

Mots clés : arts visuels, imagerie scientifique, nanosciences (influence), arts visuels et sciences, matériaux nanostructurés, art contemporain (21 siècle), nanoart, nanosciences (représentation), chimie moléculaire (réception et influence)

Date : 09-12-2011

Voyage dans les nanosciences et l'art contemporain / Niki Baccile

Ajouter à mon panier

Accéder aux documents

Zététique : erreur et ordinateurs

Description : Cours de zététique visant à montrer sur des exemples simples que l'ordinateur peut calculer (partiellement) "faux". Introduction aux notions d'analyse numérique et de "méfiance" dans un ordinateur. Réflexion sur la toute-puissance de la science. Enseignement de Jérôme Bastien à l'INSA de Lyon.

Mots clés : zététique, analyse numérique, MATLAB, algorithme de calcul, résolution de systèmes linéaires, erreur de calcul machine, erreur de méthode, erreurs sur les données, représentation des réels, calcul numérique de dérivées, calcul complexe

Date : 01-12-2009

Droits : Cette ressource libre d'accès est la propriété de son auteur Jérôme Bastien

Zététique : erreur et ordinateurs

Ajouter à mon panier

Accéder au document

Rebondir