Lec 21: Correctness, Consistencies and Completenss of Formal Properties
Lec 21: Exactitude, Cohérences et Complétude des Propriétés Formelles
★
★
★
★
☆
4/5
Catalogue de tuit
Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.
51 354 tuit
·
939 chaînes
·
42 domaines
·
Mise à jour : 25 oct. 2026
Agriculture & Alimentation
149
Archéologie
135
Arts & Architecture
1420
Astronomie & Cosmologie
3661
Automatique & Robotique
366
Biologie
2058
Chimie
335
Climat & Écologie
1005
Développement Personnel
932
Droit & Justice
577
Économie & Finance
3558
Éducation
742
Énergie
1394
Exploration Spatiale
908
Géopolitique & Défense
557
Histoire
738
IA — Actualité & Applications
2031
IA — Modèles & Recherche
4284
IA & Société
1097
Informatique & Cybersécurité
3973
Ingénierie & Technologies
3203
Jeux Vidéo
896
Langues & Linguistique
311
Littérature & Récits
909
Loisirs & Pratique
356
Mathématiques
2260
Médecine & Santé
3038
Médias & Information
293
Neurosciences
426
Paléontologie
94
Philosophie & Éthique
858
Physique
3422
Politique & Institutions
697
Prospective & Science-Fiction
344
Psychologie
600
Religion & Croyances
249
Sciences — Généralités & Histoire
1745
Sciences De La Terre & Géographie
286
Société & Culture
1105
Sports
86
Transports & Mobilité
165
Urbanisme & Mobilité
91
JNK
Administration et organisation de l’éducation
20
MBPM
Administration médicale et gestion
22
JPP
Administration publique
38
KJ
Affaires et gestion
54
VSPM
Affirmation de soi, motivation, estime de soi et attitude mentale positive
368
TVF
Agriculture durable
22
VS
Aide personnelle, développement personnel et conseils pratiques
28
PBF
Algèbre
257
UMB
Algorithmes et structures des données
70
PBV
Analyse combinatoire et théorie des graphes
53
PBKD
Analyse complexe, variables complexes
60
PBKF
Analyse fonctionnelle et transformations
29
PBKS
Analyse numérique
40
PBKB
Analyse réelle, variables réelles
41
JBFU
Animaux et société
23
JHMC
Anthropologie sociale et culturelle
22
PDG
Applications industrielles de la recherche scientifique et innovation technologique
50
UYQM
Apprentissage par la machine
1163
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
116
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
989
WNX
Astronomie populaire et espace
802
PGC
Astronomie théorique et mathématique
75
PG
Astronomie, espace et temps
916
PHVB
Astrophysique
122
TJFM
Automatique
71
KFFK
Banque
23
PSB
Biochimie
307
RNCB
Biodiversité
34
PSAD
Bioéthique
37
DNBL
Biographie : auteurs
39
DNBH
Biographie : historique, politique et militaire
82
DNBM
Biographie : philosophie et sciences sociales
20
DNBR
Biographie : royauté
26
DNBT
Biographie : science, technologie et médecine
62
PSF
Biologie cellulaire (cytologie)
124
PSAX
Biologie computationnelle
91
PSX
Biologie de l’homme
26
PSC
Biologie liée au développement
38
PSPM
Biologie marine
21
PSD
Biologie moléculaire
169
PSTB
Biologie végétale
30
PS
Biologie, sciences de la vie
26
PHVN
Biophysique
27
TCB
Biotechnologie
60
PBKA
Calcul
43
PBKJ
Calcul différentiel et équations
95
PBK
Calcul et analyse mathématique
62
PBKL
Calcul intégral et équations
26
RNR
Catastrophe naturelle
26
RNPG
Changement climatique
218
PN
Chimie
27
PNRL
Chimie nucléaire, photochimie et radiation
26
PNN
Chimie organique
65
PNR
Chimie physique
69
MJCL2
Chimiothérapie
26
RBPC
Climatologie et modélisation du climat
35
UTC
Cloud computing
24
JMR
Cognition et psychologie cognitive
130
JMHC
Communication et compétences interpersonnelles
25
TRPS
Compétences en aviation et pilotage
22
JBFX
Comportement social
20
UGG
Conception de jeux vidéos
234
VSC
Conseils professionnels et pour atteindre le succès
90
RNKH
Conservation de la faune et des habitats
22
LNDX
Constitution
32
TNK
Construction et matériaux de construction
23
PGK
Cosmologie et univers
1036
CBV
Création littéraire et guides de création littéraire
20
KCX
Crises et désastres économiques et financières
37
GTS
Décolonisation du savoir
48
JBCT5
Désinformation et mésinformation
72
KCM
Développement économique et économies émergentes
65
UMK
Développement et programmation de jeux
42
MBNH3
Diététique et nutrition
27
WNA
Dinosaures et monde préhistorique : généralités
71
JPSD
Diplomatie
34
JPHL
Dirigeants politiques et leadership
43
DNS
Discours
42
TJFD
Dispositifs électroniques et matériels
217
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
42
RNU
Durabilité
55
PHDT
Dynamique et statique
81
KC
Economie
21
KCVG
Economie de l’environnement
103
KCF
Economie du travail, revenu
90
KCL
Economie internationale
20
KCBM
Economie monétaire
78
KCVM
Economie numérique ou de l’Internet
44
KCP
Economie politique
120
JN
Education
23
JNDH
Education : examens et évaluations
30
JPHF
Elections et référendums
44
PHK
Electricité, électromagnétisme et magnétisme
267
TJFC
Electronique : circuits et composants
176
THR
Electrotechnique
62
VSPQ
Emotions et intelligence émotionnelle
23
MJG
Endocrinologie
24
PHDY
Energie
26
THVW
Energie éolienne
28
THVH
Energie hydraulique
22
THVS
Energie solaire
189
THY
Energie, production d’énergie, distribution et stockage
367
JBF
Enjeux sociaux et éthiques
34
JKVF
Enquête et détection criminelles
41
JNU
Enseignement de sujets spécifiques
30
JNM
Enseignement supérieur
234
KJH
Entreprenariat
142
KJJ
Entreprises et environnement ; approches durables des entreprises
41
MBNS
Epidémiologie et statistiques médicales
117
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
23
QDTQ
Ethique et philosophie morale
52
PSVP
Ethologie et comportement animal
35
GTK
Études cognitives
39
GTC
Études de communication
34
GTP
Études de développement
39
JBSF
Études de genre
25
JBSF1
Études de genre : femmes et filles
92
JBCT
Études des médias
26
JBCT1
Études des médias : Internet, médias numériques et société
67
JBCT4
Études des médias : journalisme
87
GTZ
Études générales et connaissances générales
29
DSBB
Études littéraires : antiques, classiques et médiévales
23
DSK
Études littéraires : auteurs de fictions, nouvelles et prose
74
DSB
Études littéraires : généralités
20
DSC
Études littéraires : poésie et poètes
50
ATD
études théâtrales
26
PSAJ
Evolution
168
DSRC
Explication de textes littéraires, critiques de livres et guides
32
TTDX
Exploration spatiale
543
MBNH2
Facteurs environnementaux
50
ATFN
Film : styles et genres
342
KCLT
Finance et commerce international
52
KFF
Finance et secteur financier
36
KFFD
Finance publique et fiscalité
47
KFFS
Finance verte
56
PDK
Financement et politique des sciences
67
VSB
Finances personnelles
50
MQCA
Fondamentaux et compétences en soins infirmiers
38
URH
Fraude et piratage informatique
265
PGM
Galaxie et étoiles
329
PSAK
Génétique (non médicale)
640
MFN
Génétique médicale
169
TCBG
Génie génétique
50
UMZ
Génie logiciel
75
THK
Génie nucléaire
201
TGMB
Génie thermodynamique
23
RBGF
Géologie historique et la paléogéologie
49
RBG
Géologie, géomorphologie et lithosphère
28
PBM
Géométrie
20
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
37
JPSL
Géopolitique
308
THVG
Géothermie
35
KJMB
Gestion : direction et motivation
59
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
31
PBG
Groupes et théorie des groupes
104
JWD
Guerre de l’information
31
NHWR3
Guerres civiles
21
NHTW
Guerres froides et conflits par procuration
20
CBP
Guides et conseils pour parler en public
23
ATFG
Guides et critiques de film
103
JBFM
Handicap : aspects sociaux
25
MJF
Hématologie
20
MJJ
Hépatologie
40
NH
Histoire
40
NHT
Histoire : événements et thèmes spécifiques
26
NHC
Histoire ancienne
34
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
27
KJZ
Histoire de sociétés, d’entreprises, d’activité
27
NHK
Histoire des Amériques
54
JBCC9
Histoire des idées
20
PBX
Histoire des mathématiques
32
PDX
Histoire des sciences
152
NHTM
Histoire maritime
33
NHWR9
Histoire militaire : conflits de l’après-Seconde Guerre mondiale
20
NHTB
Histoire sociale et culturelle
73
ATFA
Histoire, théorie ou critique cinématographique
43
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é
123
RNT
Impact social des questions environnementales
42
KNTV
Industrie des jeux informatiques et vidéo
209
KNB
Industries de l’énergie et de service public
217
KNBL
Industries de la production et distribution de l’électricité
269
KNTX
Industries de technologie de l’information
298
KNBT
Industries des énergies alternatives et renouvelables
134
KNBP
Industries du pétrole et du gaz
92
PBTB
Inférence bayésienne
31
UY
Informatique
61
MBF
Informatique médicale et de santé
61
UYX
Informatique naturelle
888
UYA
Informatique théorique
230
TBC
Ingénierie : généralités
20
TGMF
Ingénierie : mécanique des fluides
23
TGMD
Ingénierie : mécanique des solides
24
MQW
Ingénierie biomédicale
23
KJD
Innovation dans les affaires
35
KJDD
Innovation de rupture
20
GTV
Institutions et sociétés savantes : généralités
32
JPSN
Institutions internationales
25
UYQ
Intelligence artificielle (IA)
2030
UYQD
Intelligence artificielle générale (IAG)
49
UYQF
Intelligence artificielle générative
2327
UBW
Internet : travaux généraux
40
ATN
Internet et médias numériques : art et pratiques
50
DNPB
Interviews
43
KFFM
Investissement et titres
137
UDX
Jeux informatiques
620
JPZ
La corruption dans la politique, le gouvernement et la société
31
MBGL
Laboratoire médical et techniques
21
UYQL
Langage naturel et traduction automatique
150
DSM
Littérature comparée
23
JBFD
Logement et itinérance
21
UFL
Logiciel d’entreprise
54
PBCD
Logique des mathématiques
112
LNQH
Lois et réglementations sur l’intelligence artificielle
21
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
162
PDZM
Mathématiques populaires et récréatives
88
MFKH3
Maturité et vieillissement
70
PHD
Mécanique classique
196
PHDB
Mécanique élémentaire
37
PHDS
Mécanique ondulatoire (vibration et acoustique)
43
MB
Médecine
20
MJD
Médecine cardiovasculaire
32
VFD
Médecine et santé (grand public)
21
MKCM
Médecine materno-fœtale
41
MKR
Médecine nucléaire
66
MKB
Médecine palliative
35
KNTP2
Médias d’information et journalisme
23
RBPM
Météorologie
33
GPS
Méthodes de recherche
99
GPSD
Méthodes de recherche
20
PSG
Microbiologie (non médicale)
56
JBFH
Migration, immigration et émigration
31
PBWH
Modèles mathématiques
52
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
118
PSAN1
Neurosciences cellulaires et moléculaires
21
PSAN5
Neurosciences cognitives et comportementales
243
UTP
Normes et protocoles réseaux
26
UB
Numérique et technologies de l’information : thèmes généraux
38
PGG
Observation astronomique : observatoires, équipements et méthodes
114
RBKC
Océanographie (mers et océans)
50
MJCL
Oncologie
130
PBU
Optimisation
31
TTB
Optique appliquée
38
PHJ
Optique physique
159
JNR
Orientation professionnelle
34
RBX
Paléontologie
94
JBFC
Pauvreté et précarité
20
RNA
Pensée et idéologie écologistes
80
MKG
Pharmacologie
67
QD
Philosophie
47
QDTK
Philosophie : épistémologie et théorie de la connaissance
126
QDTL
Philosophie : logique
47
QDTJ
Philosophie : métaphysique et ontologie
42
QDHA
Philosophie ancienne grecque et romaine
50
QDHC
Philosophie de l’Asie de l’Est et de l’Inde
29
QDTM
Philosophie de l’esprit
78
PBB
Philosophie des mathématiques
31
PDA
Philosophie des sciences
152
JNA
Philosophie et théorie de l’éducation
36
QDXB
Philosophie populaire : Sens de la vie
26
QDTS
Philosophie sociale et politique
83
MFG
Physiologie
52
MFGG
Physiologie régionale
25
PH
Physique
188
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)
132
PHR
Physique de la relativité
328
PHJL
Physique des lasers
48
PHP
Physique des particules et des hautes énergies
139
PHFP
Physique des plasmas
34
PHU
Physique mathématique
159
PHVD
Physique médicale
20
PHN
Physique nucléaire
112
PHQ
Physique quantique (mécanique quantique et théorie quantique des champs)
947
PHS
Physique statistique
54
RPT
Planification et politique des transports
21
RPC
Planification et politique urbaines et municipales
62
RND
Politique environnementale et protocoles
202
JP
Politique et gouvernement
66
JNF
Politique et stratégies de l’éducation
26
JPQB
Politiques du gouvernement central
55
RNP
Pollution et menaces pour l’environnement
36
PSXE
Premiers hommes
91
JBFZ
Prévisions sociales, études sur le futur
34
PBT
Probabilité et statistiques
247
TGP
Productique et génie industriel
41
UMS
Programmation d’appareils mobiles
23
GPJ
Programmation et cryptologie
41
UMX
Programmation et langage de script : généralités
107
UMW
Programmation Web
73
URD
Protection de la vie privée et des données
36
JM
Psychologie
70
JMQ
Psychologie : émotions
27
JMT
Psychologie : états de conscience
36
JMS
Psychologie : le soi, l’ego, l’identité, la personnalité
23
JNC
Psychologie de l’éducation
27
JMC
Psychologie de l’enfant, psychologie du développement
25
JMM
Psychologie physiologique, neuropsychologie, biopsychologie
25
VSP
Psychologie populaire
213
JMAF
Psychologie psychanalytique et freudienne
23
JMH
Psychologie sociale, de groupe ou collective
70
MKGW
Psychopharmacologie
39
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
57
PDM
Recherche scientifique
54
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
61
DNP
Reportage, le journalisme d’investigation ou les chroniques
71
UYQN
Réseaux neuronaux et systèmes flous
438
RNFY
Ressources énergétiques
53
NHTV
Révolutions, insurrections, rébellions
22
TJFM1
Robotique
295
VFMD
Santé : régimes et nutrition
22
MBNH
Santé personnelle et santé publique
22
MBN
Santé publique et médecine préventive
68
JBFN
Santé, maladie ou addiction : aspects sociaux
24
UFLS
SAP (« Systems, applications & products in databases »)
24
TGM
Science des matériaux
45
PSAF
Science écologique, biosphère
37
GPH
Science et analyse de données
37
PDZ
Science populaire
433
FLU
Science-fiction : aliens
77
FLW
Science-fiction : exploration spatiale
200
FLS
Science-fiction : space opéra
35
PD
Sciences : généralités
55
TTD
Sciences de l’espace
278
PSA
Sciences de la vie : généralités
22
JPA
Sciences politiques et théorie
29
RNFD
Sécheresse et approvisionnement en eau
24
NHWR7
Seconde Guerre mondiale
51
RNFF
Sécurité alimentaire et approvisionnement
34
UR
Sécurité informatique
730
UTN
Sécurité réseau
61
CFG
Sémantique, analyse du discours, stylistique
33
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
36
JWK
Stratégie militaire et de défense
42
JPH
Structure et processus politiques
22
JPHV
Structures
45
PGS
Système solaire : soleil et planètes
330
MBP
Systèmes et services de santé
37
UYQE
Systèmes experts
27
PSAN4
Systèmes sensoriels et moteurs
22
UMA
Techniques de programmation
35
TDCX
Techniques et génie des procédés
21
TRC
Technologie automobile et secteurs d’activité
21
THYB
Technologie de batterie
153
TRP
Technologie de l’aérospatiale et de l’aéronautique
886
TJK
Technologie des communications
35
TTBM
Technologie et systèmes d’imagerie
26
KFFF
Technologie financière (fintech)
35
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
1091
UDT
Téléphones portables et smartphones : guides pour l’utilisateur
30
ATJ
Télévision
41
ATJS
Télévisions : styles et genres
20
PGZ
Temps (chronologie), systèmes et normes de temps
47
UMZT
Test et vérification de logiciel
28
AMA
Théorie de l’architecture
25
ABA
Théorie de l’art
49
AVA
Théorie de la musique et musicologie
21
PBCH
Théorie des ensembles
20
PBH
Théorie des nombres
189
KCA
Théorie et philosophie économique
35
DSA
théorie littéraire
29
JMA
Théorie psychologique, systèmes, écoles et points de vue
24
JBGX
Théories du complot
52
MKZV
Thérapie génique
39
PHH
Thermodynamique et chaleur
34
PBP
Topologie
30
PBPD
Topologie algébrique
68
TJKH
Traitement du signal
35
UYFP
Traitement parallèle
27
MKJA
Trouble du spectre autistique
20
AMVD
Urbanisme et aménagement du territoire : aspects architecturaux
30
MBNK
Vaccination
31
TRV
Véhicules électriques
66
KJS
Ventes et marketing
42
URJ
Virus informatiques, chevaux de Troie et vers
29
UYQV
Vision assistée par ordinateur
119
RBC
Volcanologie et sismologie
36
PSV
Zoologie et sciences des animaux
22
Lec 20: Optimization Input Pipelines with tf.data
Lec 20 : Optimisation des pipelines d'entrée avec tf.data
★
★
★
★
☆
4/5
Lec 20: Introduction to Formal Property Verification
Lec 20: Introduction à la vérification formelle de propriétés
★
★
★
★
☆
4/5
Lec 19: TensorFlow Execution Models & Performance Basics
Lec 19: Modèles d'exécution TensorFlow et bases de la performance
★
★
★
★
☆
4/5
La IA ya no hackea sistemas, ahora HACKEA PERSONAS
L'IA ne pirate plus les systèmes, maintenant elle PIRATE LES PERSONNES
★
★
★
★
☆
4/5
Keeping people inspired and energized | Archana Amlapure | TEDxSeasonsStreet
Inspirer et dynamiser les gens | Archana Amlapure | TEDxSeasonsStreet
★
★
★
☆
☆
3/5
KANDy: Kolmogorov-Arnold Networks for Dynamics and Emerging Variants || Aug 7, 2026
KANDy : Réseaux de Kolmogorov-Arnold pour la dynamique et variantes émergentes || 7 août 2026
★
★
★
★
☆
4/5
It's not over until you give up | Ashu Jain | TEDxWBS Youth
Tout n'est pas fini tant que vous n'abandonnez pas | Ashu Jain | TEDxWBS Youth
★
★
★
☆
☆
3/5
Is AI Making You Lose Yourself? | Teresa Greco | TEDxTorontoMetU
L'IA vous fait-elle perdre votre identité ? | Teresa Greco | TEDxTorontoMetU
★
★
★
☆
☆
3/5
Inclusión educativa, formación docente y trayectorias de estudiantes con discapacidad...
Inclusion éducative, formation des enseignants et parcours des étudiants en situation de handicap...
★
★
★
★
☆
4/5
Ils veulent défendre LEGEND - Je réponds.
★
★
★
★
☆
4/5
I Accidentally Built a Real-Life Jarvis With AI (ft. Fable 5)
J'ai construit accidentellement un Jarvis bien réel grâce à l'IA (ft. Fable 5)
★
★
★
★
☆
4/5
How to love reading science books | Tan Minh Nguyen | TEDxLe Quy Don HS Binh Dinh
Comment aimer lire les livres de science | Tan Minh Nguyen | TEDxLe Quy Don HS Binh Dinh
★
★
★
☆
☆
3/5
How Geography Shapes Global Power | Manish Tewari | TEDxWBS Youth
Comment la géographie façonne la puissance mondiale | Manish Tewari | TEDxWBS Youth
★
★
★
☆
☆
3/5
How Doctors and Patients Save Each Other in a Broken Healthcare System | Andy Chu | TEDxStanford
Comment les médecins et les patients se sauvent mutuellement dans un système de santé défaillant | Andy Chu | TEDxStanford
★
★
★
★
☆
4/5
How Digital Environments Shape Human Behaviour | Tapas Sen | TEDxWBS Youth
Comment les environnements numériques façonnent le comportement humain | Tapas Sen | TEDxWBS Youth
★
★
☆
☆
☆
2/5
How Can Primary Care Detect Alzheimer’s Risk Earlier?
Comment les soins primaires peuvent-ils détecter plus tôt les risques de maladie d'Alzheimer ?
★
★
★
★
☆
4/5
High Yields, Surging Crude Oil and Dollar Under Pressure
Rendements élevés, flambée du pétrole brut et dollar sous pression
★
★
★
★
☆
4/5
GTA 6 "ON N’A JAMAIS VU ÇA" 😯 Take-Two Hallucine !!!
★
★
★
★
☆
4/5
From Fossils to Futures: How deep history is informing future research systems
Des fossiles au futur : comment l'histoire profonde éclaire les systèmes de recherche de demain
★
★
★
★
☆
4/5
Extreme Transport: Hauling a Giant Industrial Furnace | FD Engineering
Transport extrême : le convoi d'un four industriel géant | FD Engineering
★
★
★
★
☆
4/5
Everything is a learning experience | Ved Krishna | TEDxWBS Youth
Tout est une leçon de vie | Ved Krishna | TEDxWBS Youth
★
★
★
☆
☆
3/5
Estamos 99.9% Seguros de que este Patrón es Real, Pero Nadie Puede Probarlo
Nous sommes sûrs à 99.9% que ce motif est réel, mais personne ne peut le prouver
★
★
★
★
★
5/5
EP FOCUS: The Prolonged Gas Crisis and Energy Security Challenges
EP FOCUS: La crise prolongée du gaz et les défis de la sécurité énergétique
★
★
★
☆
☆
3/5
EP 251: Cracking the delivery barrier in genetic medicine with Jagesh Shah of Mirai Bio
EP 251: Franchir la barrière de la livraison en médecine génétique avec Jagesh Shah de Mirai Bio
★
★
★
★
☆
4/5
Entanglement & QuantumEffects | Thaddeus Pellegrini | QGSS26
Intrication & effets quantiques | Thaddeus Pellegrini | QGSS26
★
★
★
★
☆
4/5
Embracing Productive Boredom | Sudeepthi Maddukuri | TEDxFrisco HS Youth
Adopter l'ennui productif | Sudeepthi Maddukuri | TEDxFrisco HS Youth
★
★
★
☆
☆
3/5
El costo humano de cruzar los límites de la tierra | Jimena Roncancio | TEDxUniversidad El Bosque
Le coût humain de franchir les limites de la terre | Jimena Roncancio | TEDxUniversidad El Bosque
★
★
★
★
☆
4/5
D'où Vient VRAIMENT la Lumière ?
★
★
★
★
★
5/5
Curso "Análisis comparativo de sistemas de salud" Día 3
Cours "Análisis comparativo de sistemas de salud" Jour 3
★
★
★
★
☆
4/5
Cuando la IA escribe contigo - Rodrigo F.Baon | Rodrigo Fernandez Baon | TEDxCesine
Quand l'IA écrit avec toi - Rodrigo F.Baon | Rodrigo Fernandez Baon | TEDxCesine
★
★
★
★
☆
4/5
Could AI Predict Disease Risk From Sleep Data? | Dina Katabi | TEDxMIT
L'IA pourrait-elle prédire le risque de maladie à partir des données de sommeil ? | Dina Katabi | TEDxMIT
★
★
★
★
☆
4/5
Como cloud pode gerar novas oportunidades para MSPs? | Starti + Vituax
Comment le cloud peut-il générer de nouvelles opportunités pour les MSP ? | Starti + Vituax
★
★
★
☆
☆
3/5