Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 5482
Label UNT Vidéocours

le (4m47s)

1.4. Parity Checking

 There are two standard ways to describe a subspace, explicitly by giving a basis, or implicitly, by the solution space of the set of homogeneous linear equations. Therefore, there are two ways of describing a linear code, explicitly, as we have seen in the previous sequence, by a generator matrix, or implicitly, by the null space of a matrix. This is what we will see in this sequence. This leads to the following definition: H is a parity check matrix of a linear code, if the code is the null space ...
Voir la vidéo
Label UNT Vidéocours

le (4m47s)

4.1. Introduction

Welcome to the fourth week of the MOOC Code-based Cryptography. Recall that we have mainly two ways of cryptanalyzing in the McEliece cryptosystem. We have Message Attacks, which address the problem of decoding a random linear code; these attacks has already been studied in the third week, by Nicolas Sendrier. Notice that efficient generic attack just makes the use of larger code in the McEliece scheme necessary. And we also have Key Attacks. These attacks try to retrieve the code structure, rather than attempting to use an specific decoding algorithm. These attacks ...
Voir la vidéo
Label UNT Vidéocours

le (4m47s)

3.1. Tous les gènes se terminent sur un codon stop

Une fois la séquence d'un génome complet obtenue, débute la phase d'annotation. L'annotation elle-même consiste tout d'abord à rechercher la localisation, c'est-à-dire la position des gènes sur cette séquence. Cette semaine, nous allons nous intéresser à la prédiction des gènes, nous allons étudier un algorithme de prédiction de gènes sur des séquences génomiques procaryotes, nous allons essayer d'améliorer la qualité de ces prédictions en ayant recours à des additifs à notre algorithme, recherches de certains motifs supplémentaires, éventuellement recours à des techniques probabilistes. Nous allons chercher à voir comment on peut comparer la qualité des prédictions de différentes méthodes, et ...
Voir la vidéo
Label UNT Vidéocours

le (4m47s)

3.8. Des méthodes probabilistes à la rescousse

Nous avons vu comment la qualité des prédictions de gènes dans un génome bactérien, pouvait être améliorée à travers la recherche d'occurrences de motifs particuliers liés au site de fixation du ribosome, le fameux site RBS.Il n'en reste pas moins que ces prédictions de gènes, basée uniquement sur la recherche de motifs, sont insuffisantes pour produire des prédictions de qualité satisfaisante. Les bio informaticiens complètent donc cette approche-là par des approches probabilistes qui permettent de tester le caractère codant, ou non codant, de la région prédite. Voyons de plus près comment ces méthodes fonctionnent.Pour ce faire je vais prendre un ...
Voir la vidéo
Label UNT Vidéocours

le (4m48s)

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 mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Sixième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Travaux pratiques

le (4m48s)

Biologie Animale, la dissection de la souris, 2 - anatomie générale

« La dissection de la souris » fait partie d’une série de films de biologie qui ont pour sujet les plans d’organisation de modèles animaux représentatifs de grands groupes chez les invertébrés et les vertébrés. Grâce à des images, des animations et des schémas de support, cette vidéo montre la démarche de dissection de la souris et l’anatomie des mammifères (morphologie ; anatomie générale ; appareil respiratoire, circulatoire, digestif, urinaire et génital).
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte