Informatique & Cybersécurité

3185 tuit · page 3/80
Sciences humaines, sociales & pensée Informatique & Cybersécurité
FR

Lec 35: Think-Aloud Protocol

Lec 35 : Protocole de réflexion à voix haute

Prof. Sharmistha Banerjee
28 min
4/5
Pensée À Voix HauteMéthode De Recherche UtilisateurUtilisabilité
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 33: Büchi Automata

Lec 33: Automates de Büchi

Prof. Chandan Karfa
27 min
4/5
Automates De BüchiVérification FormelleLTL
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 32: Introduction to LTL Model Checking

Lec 32 : Introduction au model checking LTL

Prof. Chandan Karfa
26 min
4/5
LTLModel CheckingBüchi Automaton
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lec 32: Foundations of Usability Evaluation

Lec 32: Fondements de l'évaluation de l'utilisabilité

Prof. Sharmistha Banerjee
13 min
4/5
UtilisabilitéÉvaluationISO 9241
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 31: Correctness of CTL Model Checking Algorithms

Lec 31: Exactitude des algorithmes de vérification de modèles CTL

Prof. Chandan Karfa (IIT Guwahati)
36 min
4/5
CTLModel CheckingVérification Formelle
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 30: CTL Model Checking Algorithms

Lec 30 : Algorithmes de vérification de modèles CTL

Prof. Chandan Karfa
36 min
4/5
Model CheckingCTLLogique Temporelle
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

I Built a Minecraft Mod That Sees Real Internet Data

J'ai créé un mod Minecraft qui accède à de vraies données Internet

John Hammond
21 min
3/5
MinecraftCybersécuritéIA
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

What should security leaders do with AI? They don’t know.

Que devraient faire les responsables de la sécurité avec l’IA ? Ils ne savent pas.

IBM Technology
29 min
4/5
IACybersécuritéGhostjacking
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

From NSA Threat Intelligence to Factory-Floor Cybersecurity

De la cyberveille de la NSA à la cybersécurité industrielle

Industrial Cybersecurity Insider
32 min
4/5
Cybersécurité OTCMMCGestion Des Risques
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

From NSA Threat Intelligence to Factory-Floor Cybersecurity

De la veille sur les menaces de la NSA à la cybersécurité au niveau de l'atelier

Craig Duckworth
32 min
4/5
Cybersécurité OTCMMCGestion Des Risques
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

0x32E - Actu - 16 aout 2026

PolySécure Podcast
46 min
4/5
CybersécuritéIntelligence ArtificielleActualité
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

What Is RAD? Why It Matters in the Age of AI Coding

Qu'est-ce que RAD ? Pourquoi c'est important à l'ère du codage par IA

Martin Keen
10 min
4/5
RADIADéveloppement Logiciel
Sciences formelles & physiques Informatique & Cybersécurité
FR

Quantum Algorithms Pt.3 Tracking Advantage | Minh Tran | QGSS26

Algorithmes quantiques partie 3 : Suivi de l'avantage quantique | Minh Tran | QGSS26

Minh Tran
21 min
4/5
Informatique QuantiqueAvantage QuantiqueVérification
Sciences formelles & physiques Informatique & Cybersécurité
FR

CS50x en Español - El Fin

CS50x en Espagnol - La Fin

David J. Malan
52 min
5/5
CS50InformatiqueProgrammation