
Catalogue de tuit
Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.


The Landscape of Academic Literature in Quantum Technologies - Zeki Seskir
Le paysage de la littérature académique dans les technologies quantiques - Zeki Seskir


Taishi Kurahashi: Inclusions between quantified provability logics
Taishi Kurahashi: Inclusions entre logiques de prouvabilité quantifiées

Quantum Energy Landscape and Variational Quantum Algorithms - Joonho Kim
Paysage énergétique quantique et algorithmes quantiques variationnels - Joonho Kim

LESSON 54 - RESEARCH PROPOSAL || HYPOTHESES: MEANING & TYPES OF HYPOTHESES
LEÇON 54 - PROPOSITION DE RECHERCHE || HYPOTHÈSES : SIGNIFICATION ET TYPES D'HYPOTHÈSES

Le vol de l'épargne organisé par l’État #CharlesGave

Incorporating the advantages of ZX-calculus in the Tequila platform - Claudia Zendejas Morales
Incorporant les avantages du calcul ZX dans la plateforme Tequila - Claudia Zendejas Morales

Hierarchical Extreme Quantum Machine Learning with Tensor and Neural Networks, NISQ Era - Pinaki Sen
Apprentissage automatique quantique extrême hiérarchique avec réseaux tensoriels et neuronaux, ère NISQ - Pinaki Sen

Doing quantum computing using pictures - John van de Wetering
Faire de l'informatique quantique en utilisant des images - John van de Wetering

Discord-type quantum correlations in the radical pair mechanism for magnetoreception in birds
Corrélations quantiques de type Discord dans le mécanisme de paires radicalaires pour la magnétoréception chez les oiseaux

Digital Divide in Quantum Education - Ajmal Ibn Mohammed Althaf
Fracture numérique dans l'éducation quantique - Ajmal Ibn Mohammed Althaf

Building Retro Style Quantum Games for Arduino from scratch - Rana Prathap Simh Mukthavaram
Création de jeux quantiques de style rétro pour Arduino à partir de zéro - Rana Prathap Simh Mukthavaram

Biophysique L2 : les solutions


Machine Learning Practice: CoLab Interface
Pratique du Machine Learning : Interface CoLab

Beyond the Atom: Remodelling Particle Physics
Au-delà de l'atome : remodeler la physique des particules


¿Qué está pasando con la seguridad en el sector petrolero? - Corto Circuito Ep. 27 T2
Que se passe-t-il avec la sécurité dans le secteur pétrolier ? - Corto Circuito Ep. 27 T2

Ulrich Kohlenbach: From the Foundations of Mathematics to Applications in Core Mathematics
Ulrich Kohlenbach: Des fondements des mathématiques aux applications en mathématiques fondamentales


Pavel Pudlák: Incompleteness theorems for weak theories of arithmetic and some stronger versions
Pavel Pudlák: Théorèmes d'incomplétude pour les théories faibles de l'arithmétique et quelques versions plus fortes

Michael Rathjen: Hilbert’s program and (semi) Intuitionism
Michael Rathjen: Le programme de Hilbert et le (semi) intuitionnisme

Lev D. Beklemishev: Reflection Algebras and Progressions
Lev D. Beklemishev: Algèbres de Réflexion et Progressions

LESSON 53 - RESEARCH PROPOSAL: PURPOSE OF THE STUDY, OBJECTIVES OF THE STUDY, RESEARCH QUESTIONS
LEÇON 53 - PROPOSITION DE RECHERCHE : BUT DE L'ÉTUDE, OBJECTIFS DE L'ÉTUDE, QUESTIONS DE RECHERCHE


Sam Sanders: Some theorems are more equal than others: a slow introduction to Reverse Mathematics
Sam Sanders : Certains théorèmes sont plus égaux que d'autres : une introduction lente aux mathématiques inverses

Ralf Schindler: How many real numbers are there?
Ralf Schindler : Combien y a-t-il de nombres réels ?

Matthias Baaz: Kurt Gödel and Alfred Tarski:The Extremes of Logic
Matthias Baaz: Kurt Gödel et Alfred Tarski: Les extrêmes de la logique

Matthias Baaz: Incompleteness and attempted proofs of consistency
Matthias Baaz : Incomplétude et tentatives de preuves de cohérence

LESSON 52 - RESEARCH PROPOSAL: BACKGROUND TO THE STUDY & STATEMENT OF THE PROBLEM
LEÇON 52 - PROPOSITION DE RECHERCHE : CONTEXTE DE L'ÉTUDE ET ÉNONCÉ DU PROBLÈME

Joost J. Joosten: Iterated consistency, reflection and foundations of mathematics
Joost J. Joosten: cohérence itérée, réflexion et fondements des mathématiques

Isaac Asimov's Vision of Humanity's Future | Foundation Ending Explained
La vision d'Isaac Asimov sur l'avenir de l'humanité | Fin de Foundation expliquée

Fedor Pakhomov: Kripke-Platek set theory
Fedor Pakhomov: Théorie des ensembles de Kripke-Platek

David Fernandez-Duque: When Ackermann meets Goodstein
David Fernandez-Duque: Quand Ackermann rencontre Goodstein

Anton Freund: Independence without computational strength
Anton Freund : Indépendance sans force computationnelle

Andreas Weiermann: Cut elimination and provably recursive functions
Andreas Weiermann: Élimination des coupures et fonctions récursives prouvablement


Stanislaw Krajewski: Can our understanding of numbers be programmed into a computer?
Stanislaw Krajewski : Notre compréhension des nombres peut-elle être programmée dans un ordinateur ?

Slew Rate of IC Op-Amp (1): Rated Output Voltage Simulated
Slew Rate de l'ampli-op IC (1) : Tension de sortie nominale simulée