203 résultats : calcul

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
203 résultats
page 1 sur 21
résultats 1 à 10
UNIT
Computer security (série : Colloquium Jacques Morgenstern)
Description : Butler Lampson, one of the pioneers in computer security, once wrote: "What people want from computer security is to be as secure with computers as they are in the real world". Increasingly, however, the "real world" is full of interconnected computers in critical roles. Accordingly, computer s ...
Mots clés : fuscia, conférence, recherche, STIC, protocole de sécurité, confidentialité, intégrité, disponibilité, authentification, communication, spam, clé, cryptage, attaque, pi calcul, analyse formelle, mémoire, puissance de calcul, cache, contrôle d'accès, Binder, logique, base de données, intégration, ...
Date : 18-03-2003
Format : Vidéo MPEG
Auteur : Abadi Martín
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, doctorat
Public : apprenant, enseignant
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
Calculer sur des données massives
Description : Comment fonctionne MapReduce, l’un des principaux logiciels utilisés pour faire des calculs sur des données massives ?
Mots clés : big data, données massives, calcul, MapReduce, fuscia
Date : 01-04-2015
Format : Document HTML
Auteur : Abiteboul Serge
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
UNISCIEL (unisciel)
Le calcul relationnel
Description : Ce cours présente le calcul relationnel permettant d'écrire des requêtes.
Mots clés : base de données, base de données relationnelle, calcul relationnel, calcul conjonctif, requête
Date : 12-06-2017
Format : Document PDF
Auteur : Abiteboul Serge, Nguyen Benjamin, Le Bras Yannick
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, licence, bac+1
Public : apprenant
Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/
UNISCIEL (unisciel)
Bases de données relationnelles (FLOT)
Description : Ce cours complet sur les bases de données relationnelles se découpe en six parties accompagnées de deux TP : Présentation générale : les bases de données relationnelles ; Le calcul relationnel ; Algèbre relationnelle ; SQL et requêtes agrégats ; Optimisation de requêtes ; Installation de l'envir ...
Mots clés : base de données, base de données relationnelle, calcul relationnel, algèbre relationnelle, requête, SQL
Date : 01-01-2014
Format : Document PDF
Auteur : Abiteboul Serge, Nguyen Benjamin, Le Bras Yannick
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, expérience
Niveau : enseignement supérieur, licence, bac+1
Public : apprenant
Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/
UNISCIEL (unisciel)
TP papier
Description : Ce TP est constitué de 3 séries d'exercices (4 exercices simples, 5 exercices avec jointures et 3 requêtes agrégats).
Mots clés : base de données, base de données relationnelle, requête, calcul relationnel, SQL
Date : 12-06-2017
Format : Document PDF
Auteur : Abiteboul Serge, Nguyen Benjamin, Le Bras Yannick
Thème : Informatique
Type de la ressource pédagogique : exercice
Niveau : enseignement supérieur, licence, bac+1
Public : apprenant
Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/
UNISCIEL (unisciel)
Présentation générale : les bases de données relationnelles.
Description : Ce cours présente les bases de données relationnelles : systèmes informatiques qui nous aident à gérer des données.
Mots clés : base de données, base de données relationnelle, calcul relationnel, théorème de Codd, requête, SQL
Date : 12-06-2017
Format : Document PDF
Auteur : Abiteboul Serge, Nguyen Benjamin, Le Bras Yannick
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, licence, bac+1
Public : apprenant
Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/
UNISCIEL (unisciel)
SQL et requêtes agrégats
Description : Ce cours présente la syntaxe SQL permettant de tester la compréhension des bases de données en utilisant des SGBD.
Mots clés : base de données, calcul d'agrégats, base de données relationnelle, langage de définition de données, langage de manipulation de données, requête
Date : 12-06-2017
Format : Document PDF
Auteur : Abiteboul Serge, Nguyen Benjamin, Le Bras Yannick
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, exercice
Niveau : enseignement supérieur, licence, bac+1
Public : apprenant
Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/
UNIT
Coût global de l'électricité et de la chaleur (Transitions énergétiques : mécanismes et leviers)
Description : En continuité avec le module 2_2, ce module 2_3 développe le calcul du coût global dans le cas des réseaux de production d'électricité (ou de chaleur), c'est-à-dire des systèmes destinés à satisfaire une demande, fluctuante dans le temps, d'une énergie non stockable. Il aborde la modélisation de ...
Mots clés : développement durable, énergie, réseaux de production d'électricité, énergie non stockable, calcul en coût global, modélisation de la demande, coût marginal de court terme, cycle de consommation
Date : 09-04-2018
Format : Document HTML
Auteur : ADNOT Jérôme
Thème : Sciences économiques, Ingénierie et activités connexes, Administration publique et science militaire, Physique, Mécanique, Optique, Electromagnetisme, Métrologie
Type de la ressource pédagogique : cours / présentation, liste de références, exercice
Niveau : enseignement supérieur, licence, formation continue
Public : apprenant, enseignant
Droits : Ces contenus d'enseignement sont la propriété, à parts égales, des UNT UVED, UNISICEL, UNIT et de l'IMT Atlantique. Ils seront régis par la licence creative commons : CC BY-NC (https://creativecommons.org/licenses/by-nc/2.0/fr/legalcode).
UNIT
Coûts techniques et coût global (Transitions énergétiques : mécanismes et leviers)
Description : Ce module introduit un outil essentiel de l'évaluation technico-économique des chaînes énergétiques : le calcul en coût global (actualisé ou non). Il en aborde le principe et les données nécessaires à son évaluation (coûts techniques de l'installation et paramètres de fonctionnement). Un exercice ...
Mots clés : développement durable, énergie, fournisseur d'énergie, consommateur d'énergie, calcul en coût global, évaluation des chaînes énergétiques
Date : 09-04-2018
Format : Document HTML
Auteur : ADNOT Jérôme
Thème : Sciences économiques, Ingénierie et activités connexes, Administration publique et science militaire, Physique, Mécanique, Optique, Electromagnetisme, Métrologie
Type de la ressource pédagogique : cours / présentation, liste de références, exercice
Niveau : enseignement supérieur, licence, formation continue
Public : apprenant, enseignant
Droits : Ces contenus d'enseignement sont la propriété, à parts égales, des UNT UVED, UNISICEL, UNIT et de l'IMT Atlantique. Ils seront régis par la licence creative commons : CC BY-NC (https://creativecommons.org/licenses/by-nc/2.0/fr/legalcode).
UNISCIEL (unisciel)
Coût global de l'électricité et de la chaleur
Description : En continuité avec le module 2_2, ce module 2_3 développe le calcul du coût global dans le cas des réseaux de production d'électricité (ou de chaleur), c'est-à-dire des systèmes destinés à satisfaire une demande, fluctuante dans le temps, d'une énergie non stockable. Il aborde la modélisation de ...
Mots clés : bilan énergétique, calcul du coût global d'un réseau, réseau de production d'électricité, réseau de production de chaleur
Date : 05-2017
Format : Document HTML
Auteur : Adnot Jérôme
Thème : Sciences de la vie, Biologie, Biochimie, Ecologie, Physique, Mécanique, Optique, Electromagnetisme, Métrologie
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, licence, bac+3
Public : apprenant
Droits : Licence creative commons:https://creativecommons.org/licenses/by-nc-nd/3.0/fr/