Informatique & Cybersécurité

3698 tuit · page 8/93
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

You need to switch to Linux RIGHT NOW!!

Vous devez passer à Linux DÈS MAINTENANT !!

NetworkChuck
33 min
★ ★ ★ ★ ☆ 4/5
LinuxOmarchyArch Linux
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lec 36: Cognitive Walkthrough

Lec 36 : Déambulation cognitive

Prof. Sharmistha Banerjee
17 min
★ ★ ★ ★ ☆ 4/5
Cognitive WalkthroughÉvaluation UtilisateurErgonomie
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