The history projection operator (HPO) formalism is an approach to temporal quantum logic developed by Chris Isham. It deals with the logical structure of quantum mechanical propositions asserted at different points in time. (Wikipedia).
Quantum Mechanics -- a Primer for Mathematicians
Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w
From playlist Mathematics
Deep Learning 2.0: How Bayesian Optimization May Power the Next Generation of DL by Frank Hutter
A Google TechTalk, presented by Frank Hutter, 2022/6/14 ABSTRACT: BayesOpt TechTalk Series. Deep Learning (DL) has been incredibly successful, due to its ability to automatically acquire useful representations from raw data by a joint optimization process of all layers. However, current DL
From playlist Google BayesOpt Speaker Series 2021-2022
Differential Equations: Linearity
Linearity is crucial throughout mathematics. In this video, I demonstrate the linearity of linear differential equations and explain why it can be useful. This video is the first precursor to our discussion of homogeneous differential equations.
From playlist Differential Equations
Machine Learning Infrastructure || Alexandra Johnson
Hyperparameter optimization (HPO) is a valuable tool for improving model performance, but it requires a lot of computational power -- so much that HPO experiments are often run on remote clusters. A requirement that data scientists become infrastructure experts just to manage model tuning
From playlist Infrastructure
1 Line of Code to Use 600+ State-of-the-Art Clinical & Biomedical NLP Models
This session shows how Python’s NLU library enables you to leverage hundreds of healthcare-specific, state-of-the-art models in one line of code. This includes the full set of Spark NLP for Healthcare capabilities including Clinical & Biomedical Named Entity Recognition (NER), Entity Linki
From playlist Healthcare NLP Summit 2022
Beyond Feature Engineering and HPO | by Jean-François Puget | Kaggle Days Paris
Jean-François Puget "Beyond feature engineering and HPO" Kaggle Days Paris held in January 2019 gathered over 200 participants to meet, learn and code with Kaggle Grandmasters, and compete in our traditional offline competition. This edition is presented by LogicAI in partnership with K
From playlist Kaggle Days Paris Edition | by LogicAI + Kaggle
Is There an Alternative to Political Correctness?
Political correctness aims for some very nice results, but its means have a habit of upsetting a lot of people. Might there be an alternative to it? We think there is, and it’s called Politeness. If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/iVqWJ1 Joi
From playlist WORK + CAPITALISM
Homotopy Group - (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine
(1)Carnegie Mellon Univ.; Member, School of Math, (2)School of Math., IAS, (3)Dalhousie Univ.; Member, School of Math April 11, 2013 In this general survey talk, we will describe an approach to doing homotopy theory within Univalent Foundations. Whereas classical homotopy theory may be des
From playlist Mathematics
Andrej Bauer and Peter LeFanu Lumsdaine: Toward an initiality theorem for general type theories
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: I will report on a project of defining carefully and formally what a general type theory is. This is kind of step 1 to a generally applicable initiality theorem. It's not
From playlist Workshop: "Types, Homotopy, Type theory, and Verification"
I'm really excited to present this video on Determined AI! Determined has been teaching me how to use their platform and showing me what they are building. I am so excited about this with advancing my Deep Learning experimentation skills and I hope you all find value out of this as well.
From playlist Determined AI
This lecture is part of an online course on the Zermelo Fraenkel axioms of set theory. This lecture gives an overview of the axioms, describes the von Neumann hierarchy, and sketches several approaches to interpreting the axioms (Platonism, von Neumann hierarchy, multiverse, formalism, pra
From playlist Zermelo Fraenkel axioms
SETFIT - HYPER Parameter Optimization for SBERT Text Classification (SBERT 45)
Best Training Parameters for SetFit /SBERT Text classification: HyperParameter Optimization HPO. The SetFit system trains itself to find the BEST performance parameters. SBERT for text Classification. Few-shot Learning. Autotune the SetFit system to find the best performant system paramet
From playlist SBERT: Python Code Sentence Transformers: a Bi-Encoder /Transformer model #sbert
Univalent Foundations Seminar - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics November 19, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
1 Line of Code to Use 200+ State-of-the-Art Clinical & Biomedical NLP Models
In this Webinar, Christian Kasim Loan will teach you how to leverage the hundreds of medical State-of-the-Art models for various Medical and Healthcare domains in 1 line of code like Named Entity Recognition (NER) for Adverse Drug Events, Anatomy, Diseases, Chemicals, Clinical Events, Huma
From playlist AI & NLP Webinars
From playlist Advent of Code
Common polyatomic ions | Atoms, compounds, and ions | Chemistry | Khan Academy
Reviewing the common polyatomic ions, and explaining common suffixes and prefixes to help remember the formulas. Watch the next lesson: https://www.khanacademy.org/science/chemistry/chemical-reactions-stoichiome/balancing-chemical-equations/v/chemical-reactions-introduction?utm_source=YT
From playlist Atoms, compounds, and ions | Chemistry | Khan Academy
Maxim Kazarian - 3/3 Mathematical Physics of Hurwitz numbers
Hurwitz numbers enumerate ramified coverings of a sphere. Equivalently, they can be expressed in terms of combinatorics of the symmetric group; they enumerate factorizations of permutations as products of transpositions. It turns out that these numbers obey a huge num
From playlist Physique mathématique des nombres de Hurwitz pour débutants
Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS
The goal of this series is to develop homotopy theory from a categorical perspective, alongside the theory of model categories. We do this with the hope of eventually developing stable homotopy theory, a personal goal a passion of mine. I'm going to follow nLab's notes, but I hope to add t
From playlist Introduction to Homotopy Theory
Maxim Kazarian - 1/3 Mathematical Physics of Hurwitz numbers
Hurwitz numbers enumerate ramified coverings of a sphere. Equivalently, they can be expressed in terms of combinatorics of the symmetric group; they enumerate factorizations of permutations as products of transpositions. It turns out that these numbers obey a huge num
From playlist Physique mathématique des nombres de Hurwitz pour débutants
CS224W: Machine Learning with Graphs | 2021 | Lecture 18 - GNNs in Computational Biology
For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: https://stanford.io/2XVImFC Lecture 18 - Graph Neural Networks in Computational Biology Jure Leskovec Computer Science, PhD We are glad to invite Prof. Marinka Zitnik from Harvard Un
From playlist Stanford CS224W: Machine Learning with Graphs