Mathematical logic | Model theory | Nonstandard analysis
In mathematical logic, and particularly in its subfield model theory, a saturated model M is one that realizes as many complete types as may be "reasonably expected" given its size. For example, an ultrapower model of the hyperreals is -saturated, meaning that every descending nested sequence of internal sets has a nonempty intersection. (Wikipedia).
This video follows from where we left off in Part 3 of the Logistic Regression series, but the ideas are more general, so I decided not to make it just Part 4, since it's more than just that. NOTE: This StatQuest assumes that you are already familiar with Logistic Regression. If you're no
From playlist StatQuest
10g Machine Learning: Isotonic Regression
Lecture on isotonic regression. Introduces the idea of a piece-wise linear model with monotonic constraint. Follow along with the demonstration workflow: https://github.com/GeostatsGuy/PythonNumericalDemos/blob/master/SubsurfaceDataAnalytics_IsotonicRegression.ipynb
From playlist Machine Learning
(ML 16.7) EM for the Gaussian mixture model (part 1)
Applying EM (Expectation-Maximization) to estimate the parameters of a Gaussian mixture model. Here we use the alternate formulation presented for (unconstrained) exponential families.
From playlist Machine Learning
(ML 13.6) Graphical model for Bayesian linear regression
As an example, we write down the graphical model for Bayesian linear regression. We introduce the "plate notation", and the convention of shading random variables which are being conditioned on.
From playlist Machine Learning
21 Spatial Data Analytics: Spatial Scale
Subsurface modeling course lecture on scale.
From playlist Spatial Data Analytics and Modeling
On PC-exact saturation - I. Kaplan - Workshop 3 - CEB T1 2018
Itay Kaplan (Hebrew University, Jerusalem) / 30.03.2018 On PC-exact saturation (joint work with Nick Ramsey and Saharon Shelah) A theory T is said to have exact saturation at a (usually singular) cardinal κ if there is a model which is κ- saturated but not κ +- saturated. T has PC-exact
From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields
Absolute notions in model theory - M. Dzamonja - Workshop 1 - CEB T1 2018
Mirna Dzamonja (East Anglia) / 30.01.2018 The wonderful theory of stability and ranks developed for many notions in first order model theory implies that many model theoretic constructions are absolute, since they can be expressed in terms of internal properties measurable by the existenc
From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields
Climate Dynamics of Condensible-Rich Exoplanet Atmospheres - Ray Pierrehumbert
Joint IAS/Princeton University Astrophysics Colloquium Tuesday, November 10, 2015 http://www.sns.ias.edu/~seminar/colloquia.shtml On the present Earth, the primary condensible substance — water vapor — represents only a few percent of the mass of the atmosphere. While the effects of the
From playlist Joint IAS/PU Astrophysics Colloquium
Building a Matlab/Simulink Model of an Aircraft: the Research Civil Aircraft Model (RCAM)
In this video we implement the RCAM model as a Matlab script that is called from a Simulink model. The result is a fully encapsulated Simulink model of a nonlinear, 6 DOF aircraft. Please ensure you have watched the previous video entitled ‘A Nonlinear, 6 DOF Dynamic Model of an Aircra
From playlist Flight Mechanics
Lec 9 | MIT 6.002 Circuits and Electronics, Spring 2007
Dependent sources and amplifiers, part 1 View the complete course: http://ocw.mit.edu/6-002S07 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu
From playlist MIT 6.002 Circuits and Electronics, Spring 2007
A tale of two dynamos: turbulent large-scale and small-scale dynamos by Pallavi Bhat
Abstract: Coherent magnetic fields are ubiquitous in the universe as in the Sun, stars, galaxies and galaxy clusters. The theory of turbulent dynamos is the leading paradigm to understand the origin of these magnetic fields. A particularly generic process in turbulent astrophysical system
From playlist ICTS Colloquia
Low-x theory and Jet Quenching (LTHJ - Lecture 3) by Edmond Iancu
PROGRAM THE MYRIAD COLORFUL WAYS OF UNDERSTANDING EXTREME QCD MATTER ORGANIZERS: Ayan Mukhopadhyay, Sayantan Sharma and Ravindran V DATE: 01 April 2019 to 17 April 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore Strongly interacting phases of QCD matter at extreme temperature and
From playlist The Myriad Colorful Ways of Understanding Extreme QCD Matter 2019
Experimental investigation of cloud formation and growth in turbulent... by Kamal Kant Chandrakar
Summer school and Discussion Meeting on Buoyancy-driven flows DATE: 12 June 2017 to 20 June 2017 VENUE: Ramanujan Lecture Hall, ICTS, Bengaluru Buoyancy plays a major role in the dynamics of atmosphere and interiors of planets and stars, as well as in engineering applications. This field
From playlist Summer school and Discussion Meeting on Buoyancy-driven flows
Using Neutron Star oscillations to constrain dense matter physics by Debarati Chatterjee
PROGRAM VIRTUAL MEETING ON COMPACT STARS AND QCD 2020 (ORIGINALLY "COMPACT STARS IN THE QCD PHASE DIAGRAM VIII: THE ERA OF MULTI-MESSENGER ASTRONOMY") ORGANIZERS: Manjari Bagchi, Sarmistha Banik, Sudip Bhattacharyya, Prashanth Jaikumar, V. Ravindran and Sayantan Sharma DATE: 17 August
Example on gradient identities for functions of two variables.
From playlist Engineering Mathematics