Informatique & Cybersécurité

Lec 30: CTL Model Checking Algorithms

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

INTRODUCTION TO COMPUTER NETWORK | COMPUTER NETWORKS | LECTURE 01 BY MR. PANCHAM SINGH | AKGEC

INTRODUCTION AU RÉSEAU INFORMATIQUE | RÉSEAUX INFORMATIQUES | LECTURE 01 PAR M. PANCHAM SINGH | AKGEC

APPLICATION DEVELOPMENT: DESIGN ISSUES | EMBEDDED SYSTEM | LECTURE 05 BY DR. NEETI BANSAL | AKGEC

DÉVELOPPEMENT D'APPLICATIONS: PROBLÈMES DE CONCEPTION | SYSTÈME EMBARQUÉ | CONFÉRENCE 05 PAR DR. NEETI BANSAL | AKGEC

Modern Computer Architecture & Organization • Jim Ledin & Maciej «MJ» Jedrzejewski • GOTO 2026

Architecture et organisation des ordinateurs modernes • Jim Ledin & Maciej «MJ» Jedrzejewski • GOTO 2026

Learn Data Structures and Algorithms Visually – Crash Course

Structures de données et algorithmes

INTRODUCTION TO IOT | IOT | LECTURE 01 BY DR. SUVARNA MUJUMDAR | AKGEC

INTRODUCTION À L'IOT | IOT | COURS 01 PAR DR. SUVARNA MUJUMDAR | AKGEC

I Built a Minecraft Mod That Sees Real Internet Data

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

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.

PLANNING OF ACTIVITIES | SOFTWARE PROJECT MANAGEMENT | LECTURE 03 BY DR. SONAM GUPTA | AKGEC

PLANIFICATION DES ACTIVITÉS | GESTION DE PROJETS LOGICIELS | COURS 03 PAR DR. SONAM GUPTA | AKGEC

Network Security and DLP Can't Stop Agent Exfiltration | Nati Hazut | Bold Security

La sécurité réseau et la DLP ne peuvent pas arrêter l'exfiltration d'agents | Nati Hazut | Bold Security

Google SL2T, Watermarking de Anthropic, Publicidad en ChatGPT

Google SL2T, Watermarking d'Anthropic, Publicité dans ChatGPT

DISK SCHEDULING IN OS | OPERATING SYSTEM | LECTURE 05 BY MS. SHRUTI JAIN | AKGEC

DISK SCHEDULING DANS OS | SYSTÈME D'EXPLOITATION | LEÇON 05 PAR MS. SHRUTI JAIN | AKGEC

0x330 - Teknik - Le CI/CD pour piéger les développeurs

Shadow AI & Sandbox Escapes: Why You Need an Agentic Control Plane? | Michael Leland | Island

IA fantôme et évasions de sandbox : pourquoi avez-vous besoin d’un plan de contrôle agentique ? | Michael Leland | Island

SERIALIZABILITY IN DBMS | DATABASE MANAGEMENT SYSTEM | LECTURE 04 BY MS. SHRUTI JAIN | AKGEC

SÉRIALISABILITÉ DANS LES SGBD | SYSTÈME DE GESTION DE BASE DE DONNÉES | COURS 04 PAR MS. SHRUTI JAIN | AKGEC

RECOVERY TECHNIQUES IN DBMS | DATABASE MANAGEMENT SYSTEM | LECTURE 02 BY MS. ARPNA SAXENA | AKGEC

TECHNIQUES DE RÉCUPÉRATION DANS LES SGBD | SYSTÈME DE GESTION DE BASE DE DONNÉES | COURS 02 PAR MME ARPNA SAXENA | AKGEC

Quantum Algorithms Pt. 4 Optimization | Sabina Dragoi |QGSS26

Algorithmes quantiques partie 4 : Optimisation | Sabina Dragoi | QGSS26

FUNCTIONAL DEPENDENCIES IN DBMS | DATABASE MANAGEMENT SYSTEM | LECTURE 03 BY MS. ARPNA SAXENA | AKGE

DÉPENDANCES FONCTIONNELLES DANS DBMS | SYSTÈME DE GESTION DE BASE DE DONNÉES | LECTURE 03 PAR MS. ARPNA SAXENA | AKGE

From NSA Threat Intelligence to Factory-Floor Cybersecurity

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

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

DEADLOCK IN OS | OPERATING SYSTEM | LECTURE 03 BY MS. SHRUTI JAIN | AKGEC

DEADLOCK DANS L'OS | SYSTÈME D'EXPLOITATION | CONFÉRENCE 03 PAR MS. SHRUTI JAIN | AKGEC

CRITICAL SECTION OF OS | OPERATING SYSTEM | LECTURE 02 BY MS. SHRUTI JAIN | AKGEC

SECTION CRITIQUE DE OS | SYSTÈME D'EXPLOITATION | CONFÉRENCE 02 PAR MME SHRUTI JAIN | AKGEC

CONCURRENCY CONTROL TECHNIQUES | DATABASE MANAGEMENT SYSTEM | LECTURE 05 BY MS. SHRUTI JAIN | AKGEC

TECHNIQUES DE CONTRÔLE DE CONCURRENCE | SYSTÈME DE GESTION DE BASE DE DONNÉES | COURS 05 PAR MME SHRUTI JAIN | AKGEC

COMO CONFIGURAR O WIFI NO OPENWRT NA MESMA REDE ETHERNET! (ROTEADORES COMERCIAIS, RASPBERRY PI E PC)

COMMENT CONFIGURER LE WIFI SUR OPENWRT DANS LE MÊME RÉSEAU ETHERNET ! (ROUTEURS COMMERCIAUX, RASPBERRY PI ET PC)

AI Agents Gone Rogue? Build, Defend & Attack AI-Enabled Apps • Katie Paxton-Fear • YOW! 2025

Des agents IA devenus incontrôlables ? Créez, défendez et attaquez des applications IA • Katie Paxton-Fear • YOW! 2025

0x32E - Actu - 16 aout 2026

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

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

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

Most AI Security Is Theater. Here’s What Actually Works | Joshua Copeland | Security Mondays | S2 E5

La plupart de la sécurité de l'IA est du théâtre. Voici ce qui fonctionne réellement | Joshua Copeland | Security Mondays | S2 E5

HYPERLEDGER FABRIC | BLOCKCHAIN ARCHITECTURE | LECTURE 04 BY MS. ARPNA SAXENA | AKGEC

HYPERLEDGER FABRIC | ARCHITECTURE DE BLOCKCHAIN | LECTURE 04 PAR MS. ARPNA SAXENA | AKGEC

GOVERNMENT USE CASES OF BLOCKCHAIN | BLOCKCHAIN ARCHITECTURE | LECTURE 05 BY MS. ARPNA SAXENA | AKGE

CAS D'UTILISATION GOUVERNEMENTAUX DE LA BLOCKCHAIN | ARCHITECTURE DE LA BLOCKCHAIN | COURS 05 PAR MS. ARPNA SAXENA | AKGE

DEADLOCK IN DBMS | DATABASE MANAGEMENT SYSTEM | LECTURE 01 BY MS. ARPNA SAXENA | AKGEC

DEADLOCK IN DBMS | SYSTÈME DE GESTION DE BASE DE DONNÉES | CONFÉRENCE 01 PAR MS. ARPNA SAXENA | AKGEC

CS50x en Español - El Fin

CS50x en Espagnol - La Fin

CS50x en Español - Clase 9 - Flask

CS50x en Español - Classe 9 - Flask

CS50x en Español - Clase 8 - HTML, CSS, JavaScript

CS50x en espagnol - Classe 8 - HTML, CSS, JavaScript

CONSTRUCTORS | OBJECT ORIENTED PROGRAMMING | LECTURE 02 BY MR. AVANISH SRIVASTAVA | AKGEC

CONSTRUCTEURS | PROGRAMMATION ORIENTÉE OBJET | COURS 02 PAR M. AVANISH SRIVASTAVA | AKGEC

QuCS Lecture 81: Yunzhe Zheng (Yale) | Magic Gate Teleportation: Structure, Resources & Feedforward

QuCS Conférence 81 : Yunzhe Zheng (Yale) | Téléportation de porte magique : Structure, ressources et feedforward

QuCS Lecture 80: Meng Wang(UBC) | Efficient FTQC: From Resource Optimization to Scalable Compilation

français

QuCS Lecture 78: Dr. Siyi Wang (QUASAR-CREATE), Quantum Arithmetic: Building Blocks to Algorithms

QuCS Conférence 78: Dr. Siyi Wang (QUASAR-CREATE), Arithmétique quantique : Blocs de construction pour algorithmes

CS50x en Español - Clase 7 - SQL

CS50x en Espagnol - Classe 7 - SQL