|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Interprétation : variables et quantificateurs
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage....
Référencé le :
02-09-2020
|
|
LOFAR (Liaison entre Offres de FormAtion et Ressources pédagogiques)
[Ressource pédagogique]
Date de publication :
20160111 |
Auteur(s) :
DELESTRE Nicolas, ANTELME Daniel, MALANDAIN Nicolas |
Editeur(s) :
INSA Rouen Normandie, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
L'objectif du projet LOFAR est de proposer un moteur de recherche de ressources pédagogiques compatibles avec des cours. L'utilisateur de ce site, plutôt que de saisir des mots clés décrivant un cours, utilise LOFAR qui lui affiche la liste des cours proposés par un établissement. Il sélectionne alors un des cours, et le logiciel propose des ressources UNIT qui semblent pertinentes au regard de ce...
Référencé le :
23-04-2018
|
|
TI-Norme : normalisation et informatique dans le domaine des transports
[Ressource pédagogique]
Date de publication :
20170217 |
Auteur(s) :
GRISLIN Emmanuelle, PETIT Dorian, DONIEC Arnaud |
Editeur(s) :
Université de Valenciennes et du Hainaut-Cambrésis, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce module e-learning traite des normes pour les systèmes informatiques dans le domaine des transports.
Il comporte 2 parties :
-une partie sur la normalisation des modèles de données pour l'interopérabilité des systèmes d'information transport
-une partie sur la normalisation pour le développement d'applications embarquées sur un système de transport guidé
L'objectif est de : comprendre l'intérêt ...
Référencé le :
11-04-2018
|
|
Transduction électrostatique (Électroacoustique)
[Ressource pédagogique]
Date de publication :
20171020 |
Auteur(s) :
LOTTON Pierrick, MELON Manuel, PACHEBAT Marc |
Editeur(s) :
Universite? du Maine, UNIT, Aix-Marseille Université, CNAM, EPFL |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Troisième grain élémentaire dans le module 3 de l'ensemble de ressources "Électroacoustique"
Cette partie est consacrée à l'établissement des équations de couplage qui décrivent la transduction électrostatique, dans le cas d'un actionneur (cas où une excitation électrique met en mouvement l'électrode mobile du transducteur) et dans le cas d'un capteur (cas où un mouvement de l'électrode mobile gén...
Référencé le :
05-04-2018
|
|
Systèmes acoustiques : analogies | Partie 2 : circuits équivalents (Électroacoustique)
[Ressource pédagogique]
Date de publication :
20171020 |
Auteur(s) :
GAZENGEL Bruno |
Editeur(s) :
Universite? du Maine, UNIT, Aix-Marseille Université, CNAM, EPFL |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Troisième grain élémentaire (partie 2) dans le module 2 de l'ensemble de ressources "Électroacoustique"
L'objectif de ce grain est de donner les lois de comportement des systèmes acoustiques et de savoir réaliser les schémas électriques équivalents à ces systèmes sous forme de quadripôles...
Référencé le :
05-04-2018
|
|
Transduction piézoélectrique (Électroacoustique)
[Ressource pédagogique]
Date de publication :
20171020 |
Auteur(s) :
DURAND Stéphane, LISSEK Hervé, PACHEBAT Marc |
Editeur(s) :
Universite? du Maine, UNIT, Aix-Marseille Université, CNAM, EPFL |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Quatrième grain élémentaire dans le module 3 de l'ensemble de ressources "Électroacoustique"
L'objectif de ce grain est de :
- présenter les phénomènes physiques responsables de la transduction piézoélectrique, en décrivant qualitativement les mécanismes à l'oeuvre dans un matériau piézoélectrique, sans entrer toutefois dans les fondements de la piézoélectricité ;
- décrire le phénomène de transd...
Référencé le :
05-04-2018
|
|
Transduction électrodynamique (Électroacoustique)
[Ressource pédagogique]
Date de publication :
20171020 |
Auteur(s) :
BAVU Éric, PENELET Guillaume, PACHEBAT Marc |
Editeur(s) :
Universite? du Maine, UNIT, Aix-Marseille Université, CNAM, EPFL |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Deuxième grain élémentaire dans le module 3 de l'ensemble de ressources "Électroacoustique"
L'objectif de ce grain est de présenter les phénomènes physiques responsables de la transduction électrodynamique, sans entrer toutefois dans les fondements de l'électromagnétisme sur lesquels repose ce principe de transduction ; de décrire ces phénomènes au moyen des équations de couplage reliant les grand...
Référencé le :
05-04-2018
|
|
Gaël Thomas - Diffusion dans les schémas de Feistel généralisés
[Ressource pédagogique]
Date de publication :
20140327 |
Auteur(s) :
THOMAS Gaël |
Editeur(s) :
Bastien Fanny |
Origine de la fiche :
Canal-u.fr
Diffusion dans les schémas de Feistel généralisés
Référencé le :
20-09-2016
|
|
Frédéric de Portzamparc - Faiblesse structurelle des schémas McEliece avec clefs compactes
[Ressource pédagogique]
Date de publication :
20140325 |
Auteur(s) :
DE PORTZAMPARC Frédéric |
Editeur(s) :
Bastien Fanny |
Origine de la fiche :
Canal-u.fr
Faiblesse structurelle des schémas McEliece avec clefs compactes
Référencé le :
20-09-2016
|
|
Sonia Belaïd - Schémas symétriques prouvés sûrs contre les attaques par canaux auxiliaires
[Ressource pédagogique]
Date de publication :
20140327 |
Auteur(s) :
BELAÏD Sonia |
Editeur(s) :
Bastien Fanny |
Origine de la fiche :
Canal-u.fr
Schémas symétriques prouvés sûrs contre les attaques par canaux auxiliaires
Référencé le :
20-09-2016
|
|
