Aller au contenu principal
République Française Liberté Égalité Fraternité
Accueil
Explorer Comprendre Partager
Mon compte
Mon compte
Vous devez être connecté
Constitution du mot de passe :
  • 8 caractères min.
Mot de passe oublié ?
Pas encore inscrit ?
  • Abonnez-vous à vos chaînes, disciplines et intervenants préférés
  • Créez, gérez et partagez vos playlists
  • Sauvegardez vos vidéos, podcasts, collections et dossiers favoris
S'inscrire
Créer une chaîne
Thématiques
  • Economie et Gestion
  • Environnement et développement durable
  • Lettres, arts, langues et civilisations
  • Sciences de la santé et du sport
  • Sciences fondamentales et appliquées
  • Sciences humaines, sociales, de l’éducation et de l’information
  • Sciences juridiques et politiques
ChainesIntervenants
Fil d'Ariane
  1. Accueil
Format
  • Vidéos (136)
  • Podcasts (1)
Documentation associée
  • Standard (102)
  • Elevée (18)
  • Très Elevée (17)
  • (102)
    Standard
  • (18)
    Elevée
  • (17)
    Très Elevée
Niveau de difficulté
  • Tout public
  • Intermédiaire
  • Confirmé
Qualité vidéo/son
  • Faible (12)
  • Moyen (66)
  • Bon (59)
  • (12)
    Faible
  • (66)
    Moyen
  • (59)
    Bon
Disciplines
  • Sciences fondamentales et appliquées (72)
  • Sciences humaines, sociales, de l’éducation et de l’information (28)
  • Sciences de la santé et du sport (12)
  • Lettres, arts, langues et civilisations (10)
  • Environnement et développement durable (9)
  • Economie et Gestion (8)
  • Sciences juridiques et politiques (4)
Afficher plus
Intervenants
  • Berry, Gérard (1948-....) (7)
  • Finiasz, Matthieu (1977-...) (3)
  • Forgues, Corinne (3)
  • Marquez-Corbella, Irene (19..-....) (3)
  • Sendrier, Nicolas (3)
  • Blanc-Centi, Léa (1979-....) (2)
  • Blondeau, Jean-Marie (2)
  • Bodin, Arnaud (1974-....) (2)
  • Boldo, Sylvie (2)
  • Bonnel, Bernard (2)
  • Brunswic, Etienne (19..-2012) (2)
  • Kohler, Chantal (1952-....) (2)
  • Aceto, Luca (1)
  • Adoutte, André (1947-2002) (1)
  • Aigouy (19..-....) (1)
  • Alessandrini, Pierre (1949-....) (1)
  • Andreu, Paul (1938-2018) (1)
  • Bacry, Henri (1928-2010) (1)
  • Balibar, Françoise (1941-....) (1)
  • Beckouche, Pierre (1957-....) (1)
  • Bergerot, Laurent (1987-....) (1)
  • Beslay, Nathalie (19..-....) (1)
  • Bisch, Philippe (1)
  • Blay, Michel (1948-....) (1)
  • Boucher, Pascal (19..-.... ; documentariste) (1)
  • Caillière, Mathieu (19..-.... ; réalisateur) (1)
  • Carpentier, Alain (1933-....) (1)
  • Chartier, Roger (1945-....) (1)
  • Chouquer, Gérard (1948-....) (1)
  • Cortier, Véronique (1)
  • Courtillot, Vincent (1948-....) (1)
  • Damour, Thibault (1951-....) (1)
  • Deroche, Alexandre (19..-.... ; juriste) (1)
  • Destombe, Christophe (1957-....) (1)
  • Destrun, Gérard (19..-....) (1)
  • Drăgoi, Cezara (1982-....) (1)
  • Edwards, Jeanette (1954-....) (1)
  • Egrot, Marc (1)
  • Ekeland, Ivar (1944-....) (1)
  • Fellous, Jean-Louis (1947-....) (1)
  • Ferrari, Vittorio (1)
  • Fléchon, Jean (1915-2010) (1)
  • Fortier, Corinne (1)
  • Fumaroli, Marc (1932-2020) (1)
  • Gastin, Paul (1959-....) (1)
  • Gelet, Albert (1944-....) (1)
  • Girard, Jean-Yves (1947-....) (1)
  • Godin, José (1946-2019) (1)
  • Golse, Bernard (1950-....) (1)
  • Gourbesville, Philippe (1964-....) (1)
  • Jacob, François (1920-2013) (1)
  • Jacquemard, Florent (1)
  • Jimenez, Jean (19..-.... ; réalisateur) (1)
  • Kashefi, Elham (19..-....) (1)
  • Knowles, Jonathan K.C. (1947-....) (1)
  • Kuty, Olgierd (1943-....) (1)
  • Kwiatkowska, Marta (1957-) (1)
  • Labelle-Pichevin, Fabienne (19..-....) (1)
  • Lai, Yi (1969-....) (1)
  • Lamendour, Eve (1)
  • Lamouche, Benoit (19..-....) (1)
  • Laprie, Jean-Claude (1944-....) (1)
  • Laroussinie, François (1)
  • Lavergne, Benjamin (1982-.... ; juriste) (1)
  • Lecoq, Dominique (1945-....) (1)
  • Le Fur, Gérard (1950-....) (1)
  • Legleye, Stéphane (19..-....) (1)
  • Lemoine-Schonne, Marion (1984-....) (1)
  • Leveratto, Jean-Marc (1953-....) (1)
  • Lévy, Jacques (1952-....) (1)
  • Lévy, Jean-Jacques (1947-....) (1)
  • Luminet, Jean-Pierre (1951-....) (1)
  • Madelaine, Colombine (1983-.... ; juriste) (1)
  • Maget, Laurent (1)
  • Maranget, Luc (1)
  • Mazel, Florian (1972-....) (1)
  • Memmi, Dominique (1953-....) (1)
  • Meyer, Bertrand (1950-.... ; chercheur en informatique) (1)
  • Michaud, Nathalie (1)
  • Michaud, Yves (1944-....) (1)
  • Mikolajczak, Bernard (19..-....) (1)
  • Moreau, Antoine (1975-....) (1)
  • Moy, Matthieu (1979-....) (1)
  • Nanterme, Jean-François (1)
  • Naugrette, Florence (1963-....) (1)
  • Oudin, Martin (1971-.... ; juriste) (1)
  • Papazian, Christophe (1)
  • Parmentelat, Thierry (19..-....) (1)
  • Parrochia, Daniel (1951-....) (1)
  • Parthenay, Kevin (1986-....) (1)
  • Pfeifer-Chomiczewska, Katarzyna (1982-....) (1)
  • Pham, Ngoc Thanh Tam (1983-....) (1)
  • Picq, Pascal (1954-....) (1)
  • Pouzenc, Michaël (1971-....) (1)
  • Pujol, Sophie (1976-....) (1)
  • Puntous, Maryse (1)
  • Quinton, Sophie (1983-.... ; informaticienne) (1)
  • Rechenmann, François (19..-....) (1)
  • Renault, Edgard (19..-....) (1)
  • Riou, Jean (19..-.... ; médecin) (1)
  • Rival, Xavier (1)
  • Saillard, Emmanuelle (1988) (1)
  • Salimpour, Alain (1)
  • Sauzéon, Hélène (1)
  • Silva, Alexandra (19..-....) (1)
  • Singly, François de (1948-....) (1)
  • Sorel, Yves (1)
  • Soyez, Julia (19..-....) (1)
  • Syrota, André (1)
  • Tonnelier, Marie (19..-....) (1)
  • Trépos, Jean-Yves (1948-....) (1)
  • Valero, Myriam (1957-....) (1)
  • Vautard, Robert (1963-....) (1)
  • Vernet, Philippe (19..-....) (1)
  • Viéville, Thierry (1959-....) (1)
  • Vignaud, Daniel (1)
  • Virlogeux, Michel (1946-....) (1)
  • Vivant, Michel (1951-....) (1)
  • Watteaux, Magali Sylvia (1979- ....) (1)
Afficher plus
Cursus
  • Tous publics (75)
  • Bac + 5 (Master, DEA, DESS, diplôme d'ingénieur) (45)
  • Bac + 4 (Maîtrise) (41)
  • Bac + 8 (Doctorat, habilitation à diriger des recherches) (36)
  • Formation continue (27)
  • Bac + 3 (Licence, Licence LMD, licence professionnelle) (20)
Afficher plus
Type de production
  • Conférence (82)
  • Vidéo pédagogique (30)
  • Documentaire (16)
  • Entretien (7)
  • Cours/Séminaire (2)
Langues
  • français (121)
  • anglais (18)
  • moré (2)
Chaine
  • Inria - Institut national de recherche en sciences et technologies du numérique (33)
  • Université de tous les savoirs (33)
  • Canal-U/Médecine (11)
  • CANAL UNISCIEL (7)
  • unitTV (6)
  • Avignon Université (4)
  • CANAL AUNEGE (4)
  • Santé, maladie, malheur (SMM) : centre de productions multimédias anthropologiques, CNRS-MNHN-Musée de l'Homme, Paris (4)
  • CERIMES (3)
  • Compétences numériques (3)
  • Université de tous les savoirs au lycée (3)
  • Ecole Normale Supérieure de Lyon (2)
  • Fondation maison des sciences de l'homme (2)
  • Institut d'astrophysique de Paris (2)
  • Institut de Recherche Juridique Interdisciplinaire François-Rabelais EA 7496 (2)
  • Muséum national d'Histoire naturelle (2)
  • Université de Bordeaux - SAM (2)
  • Association française de sociologie (1)
  • Canal-uved (1)
  • Canal Socio (1)
  • Canal Tématice (1)
  • Centre d'Enseignement Multimédia Universitaire (C.E.M.U.)Université de Caen Normandie (1)
  • Eco-gestion (1)
  • Institut d’Etudes Avancées de Nantes (1)
  • Institut Fourier (1)
  • La forge numérique (1)
  • Langues et Civilisations à Tradition Orale (1)
  • Maison de la mer (1)
  • Maison des sciences de l’homme en Bretagne (1)
  • Science en cours (1)
  • TGIR Huma-Num (1)
  • Université Côte d’Azur (1)
  • Université de Rouen Normandie (1)
Afficher plus
139
Récursivité (Introduction à la vérification de programme)
Vidéo pédagogique
00:10:08
Favoris
Récursivité (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

  • Vérification, essai, mesure, débogage
  • Méthode formelle
  • Preuve de programme
  • Logique mathématique
  • Vérification de programme
02.01.2019
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Conclusion (Introduction à la vérification de programme)
Vidéo pédagogique
00:04:47
Favoris
Conclusion (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

  • Vérification, essai, mesure, débogage
  • Méthode formelle
  • Preuve de programme
  • Logique mathématique
  • Vérification de programme
02.01.2019
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Propos liminaire (Introduction à la vérification de programme)
Vidéo pédagogique
00:13:30
Favoris
Propos liminaire (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

  • Vérification, essai, mesure, débogage
  • Méthode formelle
  • Preuve de programme
  • Logique mathématique
  • Vérification de programme
02.01.2019
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Exécution symbolique (Introduction à la vérification de programme)
Vidéo pédagogique
00:09:25
Favoris
Exécution symbolique (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

  • Vérification, essai, mesure, débogage
  • Méthode formelle
  • Preuve de programme
  • Logique mathématique
  • Vérification de programme
02.01.2019
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Raisonnement mathématique (Introduction à la vérification de programme)
Vidéo pédagogique
00:09:51
Favoris
Raisonnement mathématique (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

  • Vérification, essai, mesure, débogage
  • Méthode formelle
  • Preuve de programme
  • Logique mathématique
  • Vérification de programme
02.01.2019
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Assistant de démonstration (Introduction à la vérification de programme)
Vidéo pédagogique
00:08:02
Favoris
Assistant de démonstration (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

  • Vérification, essai, mesure, débogage
  • Méthode formelle
  • Preuve de programme
  • Logique mathématique
  • Vérification de programme
02.01.2019
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Safety Verification of Deep Neural Networks
Conférence
00:58:25
Favoris
Safety Verification of Deep Neural Networks
Kwiatkowska
Marta

Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to

  • Vision par ordinateur
  • Intelligence artificielle, réseaux neuronaux, automates cellulaires, vie artificielle
  • Reconnaissance des formes par ordinateur
  • Classification image
  • Verification automatique
19.10.2017
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Test et vérification automatique pour systèmes musicaux interactifs
Conférence
00:34:32
Favoris
Test et vérification automatique pour systèmes musicaux interactifs
Jacquemard
Florent

Le rôle d’un système musical interactif est de jouer d’égal à égal avec des musiciens humains. Pour cela, il doit réagir en temps réel au flux audio produit par les musiciens, suivant une « partition

  • Testing, measurement, verification
  • Informatique - Traitement des données informatiques
  • Test et vérification automatique
  • Système musical interactif
03.07.2014
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Ordonnancement pour systèmes temps réel : conception et vérification
Conférence
00:30:41
Favoris
Ordonnancement pour systèmes temps réel : conception et vérification
Quinton
Sophie

Un système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des

  • Système embarqué
  • Temps réel
  • Ordonnancement temps réel
  • Vérification système embarqué
13.02.2019
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Applications des franges non localisées - Vérification de la loi de Gladstone
Documentaire
00:10:28
Favoris
Applications des franges non localisées - Vérification de la loi de Gladstone
Fléchon
Jean

Série "Interférences en lumière naturelle". Vérification de la loi de Gladstone réalisée avec un montage des fentes de Young : description du montage, défilé des franges sur la fente d’entrée d

  • Optique
  • Lumière visible, infrarouge et ultraviolet
  • Indice de réfraction
  • Loi de Gladstone
01.01.1965
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
0.5. DEMO : Verificateur d'accès Word
Vidéo pédagogique
00:10:22
Favoris
0.5. DEMO : Verificateur d'accès Word
Sauzéon
Hélène

Dans cette démonstration,nous allons partir d'un texte très simple constituéd'une page de textes et je vous montrer comment vérifier l'accessibilité. Et je vais au fur et à mesure insérer des éléments

  • Handicap
  • Traitement des données. Informatique
  • Problèmes des personnes handicapées physiques et services à leur intention
  • Système informatique
  • Norme
01.06.2016
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Logic-based static analysis for the verification of programs with dynamically allocated data structures
Conférence
00:41:49
Favoris
Logic-based static analysis for the verification of programs with dynamically allocated data struct…
Drăgoi
Cezara

Software development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and

  • Analyse et conception de systèmes, architecture des ordinateurs, évaluation des performances
  • évaluation sytème informatique
03.12.2015
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3

Pagination

  • Page courante 1
  • Page 2
  • Page 3
  • Page 4
  • Page 5
  • Page 6
  • Page 7
  • Page 8
  • Page 9
  • …
  • Page suivante ››
  • Dernière page Last »
Fondation Maison des Sciences de l'Homme
  • Qui sommes-nous
  • Aide
  • Contact
  • Créer une chaine
  • CGU
  • Newsletter
  • Flux RSS
  • Facebook
  • Twitter
  • Créer un compte