Lec 31: Correctness of CTL Model Checking Algorithms
Lec 31: Exactitude des algorithmes de vérification de modèles CTL
★
★
★
★
☆
4/5
Catalogue de tuit
Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.
50 279 tuit
·
938 chaînes
·
42 domaines
·
Mise à jour : 16 oct. 2026
Agriculture & Alimentation
147
Archéologie
134
Arts & Architecture
1401
Astronomie & Cosmologie
3617
Automatique & Robotique
359
Biologie
2034
Chimie
333
Climat & Écologie
982
Développement Personnel
875
Droit & Justice
567
Économie & Finance
3464
Éducation
730
Énergie
1373
Exploration Spatiale
896
Géopolitique & Défense
544
Histoire
722
IA — Actualité & Applications
1985
IA — Modèles & Recherche
4243
IA & Société
1047
Informatique & Cybersécurité
3835
Ingénierie & Technologies
3162
Jeux Vidéo
880
Langues & Linguistique
309
Littérature & Récits
890
Loisirs & Pratique
345
Mathématiques
2217
Médecine & Santé
2964
Médias & Information
289
Neurosciences
421
Paléontologie
92
Philosophie & Éthique
841
Physique
3366
Politique & Institutions
669
Prospective & Science-Fiction
344
Psychologie
578
Religion & Croyances
242
Sciences — Généralités & Histoire
1710
Sciences De La Terre & Géographie
281
Société & Culture
1059
Sports
86
Transports & Mobilité
157
Urbanisme & Mobilité
89
JNK
Administration et organisation de l’éducation
20
MBPM
Administration médicale et gestion
21
JPP
Administration publique
36
KJ
Affaires et gestion
54
VSPM
Affirmation de soi, motivation, estime de soi et attitude mentale positive
343
TVF
Agriculture durable
22
VS
Aide personnelle, développement personnel et conseils pratiques
26
PBF
Algèbre
254
UMB
Algorithmes et structures des données
69
PBV
Analyse combinatoire et théorie des graphes
52
PBKD
Analyse complexe, variables complexes
60
PBKF
Analyse fonctionnelle et transformations
29
PBKS
Analyse numérique
40
PBKB
Analyse réelle, variables réelles
40
JBFU
Animaux et société
22
PDG
Applications industrielles de la recherche scientifique et innovation technologique
48
UYQM
Apprentissage par la machine
1156
NK
Archéologie
43
NKD
Archéologie par période
29
AMB
Architectes et cabinets d’architecture
32
AM
Architecture
32
UYF
Architecture informatique et conception logique
112
TTMW
Artillerie, technologie de l’armement
21
AGB
Artistes, monographies d’art
34
CBW
Arts de l’écriture et techniques de rédaction
27
TTDS
Astronautique
988
WNX
Astronomie populaire et espace
798
PGC
Astronomie théorique et mathématique
75
PG
Astronomie, espace et temps
910
PHVB
Astrophysique
120
TJFM
Automatique
70
KFFK
Banque
23
PSB
Biochimie
303
RNCB
Biodiversité
33
PSAD
Bioéthique
37
DNBL
Biographie : auteurs
39
DNBH
Biographie : historique, politique et militaire
81
DNBM
Biographie : philosophie et sciences sociales
20
DNBR
Biographie : royauté
26
DNBT
Biographie : science, technologie et médecine
61
PSF
Biologie cellulaire (cytologie)
123
PSAX
Biologie computationnelle
88
PSX
Biologie de l’homme
25
PSC
Biologie liée au développement
36
PSPM
Biologie marine
21
PSD
Biologie moléculaire
167
PSTB
Biologie végétale
30
PS
Biologie, sciences de la vie
25
PHVN
Biophysique
26
TCB
Biotechnologie
58
PBKA
Calcul
42
PBKJ
Calcul différentiel et équations
94
PBK
Calcul et analyse mathématique
60
PBKL
Calcul intégral et équations
26
RNR
Catastrophe naturelle
26
RNPG
Changement climatique
216
PN
Chimie
27
PNRL
Chimie nucléaire, photochimie et radiation
26
PNN
Chimie organique
65
PNR
Chimie physique
68
MJCL2
Chimiothérapie
26
RBPC
Climatologie et modélisation du climat
33
UTC
Cloud computing
24
JMR
Cognition et psychologie cognitive
123
JMHC
Communication et compétences interpersonnelles
23
TRPS
Compétences en aviation et pilotage
22
JBFX
Comportement social
20
UGG
Conception de jeux vidéos
232
VSC
Conseils professionnels et pour atteindre le succès
80
RNKH
Conservation de la faune et des habitats
22
LNDX
Constitution
32
TNK
Construction et matériaux de construction
22
PGK
Cosmologie et univers
1021
CBV
Création littéraire et guides de création littéraire
20
KCX
Crises et désastres économiques et financières
34
GTS
Décolonisation du savoir
48
JBCT5
Désinformation et mésinformation
72
KCM
Développement économique et économies émergentes
64
UMK
Développement et programmation de jeux
42
MBNH3
Diététique et nutrition
26
WNA
Dinosaures et monde préhistorique : généralités
71
JPSD
Diplomatie
32
JPHL
Dirigeants politiques et leadership
43
DNS
Discours
41
TJFD
Dispositifs électroniques et matériels
209
ATFR
Documentaires
23
LNCR
Droit de l’énergie et des ressources naturelles
39
LNCH
Droit de la concurrence
28
JPVH
Droits de l’homme, droits civils
41
RNU
Durabilité
55
PHDT
Dynamique et statique
81
KC
Economie
21
KCVG
Economie de l’environnement
102
KCF
Economie du travail, revenu
88
KCBM
Economie monétaire
78
KCVM
Economie numérique ou de l’Internet
41
KCP
Economie politique
115
JN
Education
23
JNDH
Education : examens et évaluations
30
JPHF
Elections et référendums
37
PHK
Electricité, électromagnétisme et magnétisme
266
TJFC
Electronique : circuits et composants
175
THR
Electrotechnique
61
VSPQ
Emotions et intelligence émotionnelle
23
MJG
Endocrinologie
24
PHDY
Energie
24
THVW
Energie éolienne
28
THVH
Energie hydraulique
22
THVS
Energie solaire
185
THY
Energie, production d’énergie, distribution et stockage
363
JBF
Enjeux sociaux et éthiques
33
JKVF
Enquête et détection criminelles
39
JNU
Enseignement de sujets spécifiques
30
JNM
Enseignement supérieur
229
KJH
Entreprenariat
137
KJJ
Entreprises et environnement ; approches durables des entreprises
40
MBNS
Epidémiologie et statistiques médicales
115
JNV
Equipement et technologie pour l’éducation, enseignement assisté par ordinateur (EAO)
73
NHTS
Esclavage, personnes réduites en esclavage et abolition de l’esclavage
28
SXE
eSports
24
MBGR1
Essais cliniques
22
QDTQ
Ethique et philosophie morale
51
PSVP
Ethologie et comportement animal
32
GTK
Études cognitives
39
GTC
Études de communication
34
GTP
Études de développement
38
JBSF
Études de genre
25
JBSF1
Études de genre : femmes et filles
86
JBCT
Études des médias
26
JBCT1
Études des médias : Internet, médias numériques et société
65
JBCT4
Études des médias : journalisme
85
GTZ
Études générales et connaissances générales
27
DSBB
Études littéraires : antiques, classiques et médiévales
22
DSK
Études littéraires : auteurs de fictions, nouvelles et prose
71
DSC
Études littéraires : poésie et poètes
50
ATD
études théâtrales
26
PSAJ
Evolution
167
DSRC
Explication de textes littéraires, critiques de livres et guides
32
TTDX
Exploration spatiale
542
MBNH2
Facteurs environnementaux
50
ATFN
Film : styles et genres
342
KCLT
Finance et commerce international
50
KFF
Finance et secteur financier
36
KFFD
Finance publique et fiscalité
44
KFFS
Finance verte
56
PDK
Financement et politique des sciences
66
VSB
Finances personnelles
50
MQCA
Fondamentaux et compétences en soins infirmiers
38
URH
Fraude et piratage informatique
261
PGM
Galaxie et étoiles
317
PSAK
Génétique (non médicale)
639
MFN
Génétique médicale
166
TCBG
Génie génétique
49
UMZ
Génie logiciel
75
THK
Génie nucléaire
197
TGMB
Génie thermodynamique
23
RBGF
Géologie historique et la paléogéologie
49
RBG
Géologie, géomorphologie et lithosphère
26
PBMW
Géométrie algébrique
154
PBMP
Géométrie différentielle et riemannienne
40
PBMH
Géométrie euclidienne
43
PHVG
Géophysique
36
JPSL
Géopolitique
300
THVG
Géothermie
35
KJMB
Gestion : direction et motivation
53
KJMV3
Gestion de l’informatique et des systèmes d’information
40
UT
Gestion de réseaux informatiques et des communications
25
KJMV7
Gestion des ventes et marketing
44
KJMV2
Gestion du personnel et des ressources humaines
32
UGB
Graphisme et conception Web
24
PHDV
Gravité
33
JPWG
Groupes de pression, mouvements de protestation et actions non violentes
27
PBG
Groupes et théorie des groupes
104
JWD
Guerre de l’information
30
NHWR3
Guerres civiles
20
CBP
Guides et conseils pour parler en public
23
ATFG
Guides et critiques de film
102
JBFM
Handicap : aspects sociaux
24
MJF
Hématologie
20
MJJ
Hépatologie
40
NH
Histoire
39
NHT
Histoire : événements et thèmes spécifiques
26
NHC
Histoire ancienne
32
NHQ
Histoire d’autres groupes géographiques et régions ou de cultures
25
AGA
Histoire de l’art
40
NHD
Histoire de l’Europe
26
UBB
Histoire de l’informatique, du numérique et des technologies de l’information
49
TBX
Histoire de l’ingénierie et des technologies
26
KJZ
Histoire de sociétés, d’entreprises, d’activité
25
NHK
Histoire des Amériques
54
JBCC9
Histoire des idées
20
PBX
Histoire des mathématiques
31
PDX
Histoire des sciences
150
NHTM
Histoire maritime
32
NHTB
Histoire sociale et culturelle
72
ATFA
Histoire, théorie ou critique cinématographique
41
NHAH
Historiographie
34
UXA
Humanités numériques
46
WHB
Humour politique
20
MKS
Imagerie médicale
20
MJCM
Immunologie
96
PDR
Impact de la science et de la technologie sur la société
121
RNT
Impact social des questions environnementales
41
KNTV
Industrie des jeux informatiques et vidéo
199
KNB
Industries de l’énergie et de service public
217
KNBL
Industries de la production et distribution de l’électricité
267
KNTX
Industries de technologie de l’information
290
KNBT
Industries des énergies alternatives et renouvelables
131
KNBP
Industries du pétrole et du gaz
90
PBTB
Inférence bayésienne
31
UY
Informatique
60
MBF
Informatique médicale et de santé
60
UYX
Informatique naturelle
874
UYA
Informatique théorique
220
TGMF
Ingénierie : mécanique des fluides
22
TGMD
Ingénierie : mécanique des solides
24
MQW
Ingénierie biomédicale
23
KJD
Innovation dans les affaires
32
GTV
Institutions et sociétés savantes : généralités
32
JPSN
Institutions internationales
25
UYQ
Intelligence artificielle (IA)
1984
UYQD
Intelligence artificielle générale (IAG)
48
UYQF
Intelligence artificielle générative
2304
UBW
Internet : travaux généraux
40
ATN
Internet et médias numériques : art et pratiques
50
DNPB
Interviews
38
KFFM
Investissement et titres
136
UDX
Jeux informatiques
608
JPZ
La corruption dans la politique, le gouvernement et la société
30
MBGL
Laboratoire médical et techniques
20
UYQL
Langage naturel et traduction automatique
146
DSM
Littérature comparée
23
JBFD
Logement et itinérance
21
UFL
Logiciel d’entreprise
54
PBCD
Logique des mathématiques
105
LNQH
Lois et réglementations sur l’intelligence artificielle
20
KCB
Macroéconomie
23
MKJD
Maladie d’Alzheimer, démence, maladie de Parkinson et autres maladies neurodégénératives
66
MJCJ
Maladies infectieuses et contagieuses
54
KJSG
Marketing digital
27
PB
Mathématiques
159
PDZM
Mathématiques populaires et récréatives
80
MFKH3
Maturité et vieillissement
62
PHD
Mécanique classique
195
PHDB
Mécanique élémentaire
36
PHDS
Mécanique ondulatoire (vibration et acoustique)
42
MJD
Médecine cardiovasculaire
30
MKCM
Médecine materno-fœtale
41
MKR
Médecine nucléaire
66
MKB
Médecine palliative
34
KNTP2
Médias d’information et journalisme
22
RBPM
Météorologie
29
GPS
Méthodes de recherche
98
GPSD
Méthodes de recherche
20
PSG
Microbiologie (non médicale)
56
JBFH
Migration, immigration et émigration
31
PBWH
Modèles mathématiques
51
UYM
Modélisation et simulation informatiques
23
GLZ
Muséologie et conservation du patrimoine
49
TBN
Nanotechnologie
26
WN
Nature et monde naturel : généralités
47
MKJ
Neurologie et neurophysiologie clinique
55
PSAN
Neurosciences
116
PSAN1
Neurosciences cellulaires et moléculaires
21
PSAN5
Neurosciences cognitives et comportementales
241
UTP
Normes et protocoles réseaux
26
UB
Numérique et technologies de l’information : thèmes généraux
34
PGG
Observation astronomique : observatoires, équipements et méthodes
112
RBKC
Océanographie (mers et océans)
50
MJCL
Oncologie
127
PBU
Optimisation
31
TTB
Optique appliquée
38
PHJ
Optique physique
157
JNR
Orientation professionnelle
34
RBX
Paléontologie
92
RNA
Pensée et idéologie écologistes
80
MKG
Pharmacologie
63
QD
Philosophie
46
QDTK
Philosophie : épistémologie et théorie de la connaissance
124
QDTL
Philosophie : logique
47
QDTJ
Philosophie : métaphysique et ontologie
42
QDHA
Philosophie ancienne grecque et romaine
49
QDHC
Philosophie de l’Asie de l’Est et de l’Inde
28
QDTM
Philosophie de l’esprit
72
PBB
Philosophie des mathématiques
30
PDA
Philosophie des sciences
150
JNA
Philosophie et théorie de l’éducation
33
QDXB
Philosophie populaire : Sens de la vie
26
QDTS
Philosophie sociale et politique
81
MFG
Physiologie
51
MFGG
Physiologie régionale
25
PH
Physique
186
PHDF
Physique : mécanique des fluides
51
PHM
Physique atomique et moléculaire
74
PHFC
Physique de la matière condensée (physique de l’état liquide et de l’état solide)
131
PHR
Physique de la relativité
320
PHJL
Physique des lasers
48
PHP
Physique des particules et des hautes énergies
134
PHFP
Physique des plasmas
33
PHU
Physique mathématique
158
PHVD
Physique médicale
20
PHN
Physique nucléaire
110
PHQ
Physique quantique (mécanique quantique et théorie quantique des champs)
927
PHS
Physique statistique
53
RPT
Planification et politique des transports
20
RPC
Planification et politique urbaines et municipales
61
RND
Politique environnementale et protocoles
194
JP
Politique et gouvernement
65
JNF
Politique et stratégies de l’éducation
24
JPQB
Politiques du gouvernement central
53
RNP
Pollution et menaces pour l’environnement
34
PSXE
Premiers hommes
90
JBFZ
Prévisions sociales, études sur le futur
32
PBT
Probabilité et statistiques
246
TGP
Productique et génie industriel
40
UMS
Programmation d’appareils mobiles
22
GPJ
Programmation et cryptologie
39
UMX
Programmation et langage de script : généralités
103
UMW
Programmation Web
72
URD
Protection de la vie privée et des données
35
JM
Psychologie
67
JMQ
Psychologie : émotions
27
JMT
Psychologie : états de conscience
35
JMS
Psychologie : le soi, l’ego, l’identité, la personnalité
22
JNC
Psychologie de l’éducation
27
JMC
Psychologie de l’enfant, psychologie du développement
24
JMM
Psychologie physiologique, neuropsychologie, biopsychologie
25
VSP
Psychologie populaire
195
JMAF
Psychologie psychanalytique et freudienne
23
JMH
Psychologie sociale, de groupe ou collective
66
MKGW
Psychopharmacologie
38
RNQ
Questions nucléaires
29
JBFA1
Racisme et discrimination raciale
29
ATFB
Réalisateurs et producteurs de films
30
VSCB
Recherche d’emploi
20
MBGR
Recherche médicale
53
PDM
Recherche scientifique
51
GTU
Recherche sur la paix et la résolution de conflits
40
JPS
Relations internationales
24
QRAM2
Religion et politique
22
QRAM3
Religion et science
26
THYC
Rendement énergétique
58
DNP
Reportage, le journalisme d’investigation ou les chroniques
70
UYQN
Réseaux neuronaux et systèmes flous
434
RNFY
Ressources énergétiques
53
NHTV
Révolutions, insurrections, rébellions
20
TJFM1
Robotique
289
VFMD
Santé : régimes et nutrition
21
MBNH
Santé personnelle et santé publique
22
MBN
Santé publique et médecine préventive
65
JBFN
Santé, maladie ou addiction : aspects sociaux
23
UFLS
SAP (« Systems, applications & products in databases »)
24
TGM
Science des matériaux
45
PSAF
Science écologique, biosphère
35
GPH
Science et analyse de données
36
PDZ
Science populaire
425
FLU
Science-fiction : aliens
77
FLW
Science-fiction : exploration spatiale
200
FLS
Science-fiction : space opéra
35
PD
Sciences : généralités
54
TTD
Sciences de l’espace
278
PSA
Sciences de la vie : généralités
22
JPA
Sciences politiques et théorie
27
RNFD
Sécheresse et approvisionnement en eau
22
NHWR7
Seconde Guerre mondiale
49
RNFF
Sécurité alimentaire et approvisionnement
34
UR
Sécurité informatique
700
UTN
Sécurité réseau
59
CFG
Sémantique, analyse du discours, stylistique
32
GTD
Sémiotique
64
NKDS
Sites archéologiques
32
CFB
Sociolinguistique
38
MQC
Soins infirmiers
21
THV
Sources d’énergie alternative et renouvelable et technologie
163
PBWL
Stochastique
43
KJC
Stratégie d’affaires
32
JWK
Stratégie militaire et de défense
41
JPH
Structure et processus politiques
20
JPHV
Structures
44
PGS
Système solaire : soleil et planètes
326
MBP
Systèmes et services de santé
37
UYQE
Systèmes experts
27
PSAN4
Systèmes sensoriels et moteurs
21
UMA
Techniques de programmation
35
TDCX
Techniques et génie des procédés
21
TRC
Technologie automobile et secteurs d’activité
20
THYB
Technologie de batterie
148
TRP
Technologie de l’aérospatiale et de l’aéronautique
874
TJK
Technologie des communications
35
TTBM
Technologie et systèmes d’imagerie
23
KFFF
Technologie financière (fintech)
34
TTBL
Technologie laser et holographie
22
THD
Technologies de l’hydrogène
56
UBJ
Technologies numériques et de l’information : aspects sociaux et éthiques
1041
ATJ
Télévision
41
ATJS
Télévisions : styles et genres
20
PGZ
Temps (chronologie), systèmes et normes de temps
46
UMZT
Test et vérification de logiciel
28
AMA
Théorie de l’architecture
23
ABA
Théorie de l’art
49
PBH
Théorie des nombres
187
KCA
Théorie et philosophie économique
35
DSA
théorie littéraire
28
JMA
Théorie psychologique, systèmes, écoles et points de vue
24
JBGX
Théories du complot
51
MKZV
Thérapie génique
37
PHH
Thermodynamique et chaleur
33
PBP
Topologie
28
PBPD
Topologie algébrique
61
TJKH
Traitement du signal
34
UYFP
Traitement parallèle
27
MKJA
Trouble du spectre autistique
20
AMVD
Urbanisme et aménagement du territoire : aspects architecturaux
30
MBNK
Vaccination
29
TRV
Véhicules électriques
61
KJS
Ventes et marketing
42
URJ
Virus informatiques, chevaux de Troie et vers
29
UYQV
Vision assistée par ordinateur
117
RBC
Volcanologie et sismologie
35
PSV
Zoologie et sciences des animaux
22
Lec 30: CTL Model Checking Algorithms
Lec 30 : Algorithmes de vérification de modèles CTL
★
★
★
★
☆
4/5
Lec 29: CTL Model Checking Algorithm - Fixed point Concepts
Lec 29 : Algorithme de vérification de modèles CTL - Concepts de point fixe
★
★
★
★
☆
4/5
Lead thySELF to be a Leader | Immaculate Reshma | TEDxChennai Institute of Technology Women
Dirigez-VOUS pour devenir un leader | Immaculate Reshma | TEDxChennai Institute of Technology Women
★
★
★
☆
☆
3/5
La véritable taille d’Andromède
★
★
★
★
☆
4/5
L1B: A Very Short Overview of Quantum Computing
L1B : Un très bref aperçu de l'informatique quantique
★
★
★
★
☆
4/5
L1A: How to use AI and LLM in this Quantum Computing Class
L1A : Comment utiliser l'IA et les modèles de langage dans ce cours d'informatique quantique
★
★
★
☆
☆
3/5
Jay Hsu 許捷元 | 捷元 許 | TEDxYLSH Youth
★
★
★
☆
☆
3/5
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
★
★
☆
☆
☆
2/5
Hunting $50,000 Meteorites in Sweden's Arctic Circle
À la recherche de météorites à 50 000 $ dans le cercle polaire suédois
★
★
★
★
☆
4/5
Human Judgement On Autopilot Throughout History | Serdzan Arnautovic | TEDxSarajevo
Le jugement humain en pilotage automatique à travers l'histoire | Serdzan Arnautovic | TEDxSarajevo
★
★
★
☆
☆
3/5
How to live in extreme heat | V. Kelly Turner | TEDxUCLA
Comment vivre dans une chaleur extrême | V. Kelly Turner | TEDxUCLA
★
★
★
★
☆
4/5
How Adding Value to Others Adds Value to You | LeAnn Foster | TEDxAlabaster
Comment apporter de la valeur aux autres pour en recevoir en retour | LeAnn Foster | TEDxAlabaster
★
★
★
☆
☆
3/5
Gravity:A perspective on love and connection | Atish Andrade | TEDxRWA Youth
Gravité : Une perspective sur l'amour et les liens | Atish Andrade | TEDxRWA Youth
★
★
☆
☆
☆
2/5
From Vision to Today:The 6P Framework | MRUDULA ORUGANTI | TEDxChennai Institute of Technology Women
De la vision à aujourd'hui : Le cadre 6P | MRUDULA ORUGANTI | TEDxChennai Institute of Technology Women
★
★
★
☆
☆
3/5
Explaining Confusing Materials Science To Help You Sleep
Expliquer la science des matériaux déroutante pour vous aider à dormir
★
★
★
★
☆
4/5
EP FOCUS: Navigating the Energy Crisis: Strategies to Sustain Industrialization
EP FOCUS: Naviguer la crise énergétique : Stratégies pour soutenir l'industrialisation
★
★
★
☆
☆
3/5
El infinito de los números reales es más grande que el de los números naturales (Efraín Vega Landa)
L'infini des nombres réels est plus grand que celui des nombres naturels (Efraín Vega Landa)
★
★
★
★
☆
4/5
Educated: The Illusion of Choice | Harini Viswanathan | TEDxChennai Institute of Technology Women
Éduquée : L'illusion du choix | Harini Viswanathan | TEDxChennai Institute of Technology Women
★
★
★
☆
☆
3/5
Dr. Catherine Drysdale | Rigged Dynamic Mode Decomposition: Data-Driven Generalized Eigenfunctio...
Dr. Catherine Drysdale | Décomposition de Mode Dynamique Truquée : Fonctions Propres Généralisées Basées sur les Données...
★
★
★
★
☆
4/5
Dr. Boumediene Hamzi | When Compressibility Replaces Smoothness: Bridging Machine Learning, Dynam...
Dr. Boumediene Hamzi | Quand la compressibilité remplace la régularité : Relier l'apprentissage automatique, la dynam...
★
★
★
★
☆
4/5
Designing to listen | Ambika Natarajan | TEDxChennai Institute of Technology Women
Concevoir pour écouter | Ambika Natarajan | TEDxChennai Institute of Technology Women
★
★
★
☆
☆
3/5
DeepSeek Just Made America Nervous Again (SILICON VALLEY PANICKING)
DeepSeek vient de rendre l'Amérique nerveuse à nouveau (PANIQUE DANS LA SILICON VALLEY)
★
★
★
★
☆
4/5
Curiosity Needs a Compass | Shihama Hanifa | TEDxKandy
La curiosité a besoin d'une boussole | Shihama Hanifa | TEDxKandy
★
★
★
☆
☆
3/5
CLIPPERS | FUNDAMENTALS OF ELECTRONICS ENGINEERING | LECTURE 02 BY DR. AMITA ASTHANA | AKGEC
CLIPPERS | FONDAMENTAUX DU GÉNIE ÉLECTRONIQUE | CONFÉRENCE 02 PAR DR. AMITA ASTHANA | AKGEC
★
★
★
☆
☆
3/5
Claude vs. ChatGPT Just Got Serious
Claude vs. ChatGPT : la compétition devient sérieuse
★
★
★
☆
☆
3/5
Claude bekommt ein Wasserzeichen: Transparenz oder digitale Überwachung?
Claude reçoit un filigrane : transparence ou surveillance numérique ?
★
★
★
★
☆
4/5
Choose Your Chase: Staying Human in the AI Race | Fareeha Amber Ansari | TEDxManitou Springs Salon
Choisissez votre quête : Rester humain dans la course à l’IA | Fareeha Amber Ansari | TEDxManitou Springs Salon
★
★
★
☆
☆
3/5
Can AI cut time, costs, and energy use by 2030 | Dan Sodergren | TEDxUniversityofSalford
L'IA peut-elle réduire le temps, les coûts et la consommation d'énergie d'ici 2030 ? | Dan Sodergren | TEDxUniversityofSalford
★
★
☆
☆
☆
2/5
Beyond Resolutions: The Art of Beginning with Intention | Jobert Abueva | TEDxUTD
Au-delà des bonnes résolutions : L’art de commencer avec intention | Jobert Abueva | TEDxUTD
★
★
★
☆
☆
3/5
Before It's Chosen For You | Palak Modi | TEDxSNS Youth
Avant qu'il ne soit choisi pour vous | Palak Modi | TEDxSNS Youth
★
★
★
★
☆
4/5
Be the Catalyst for Change | Fariba Zoulfaghari | TEDxAmity School Dubai Youth
Soyez le catalyseur du changement | Fariba Zoulfaghari | TEDxAmity School Dubai Youth
★
★
☆
☆
☆
2/5
Australia Promised Free Electricity. Here's the Catch Nobody Explained
L'Australie a promis l'électricité gratuite. Voici le piège que personne n'a expliqué
★
★
★
★
☆
4/5