Lectures related to Branching quantifier

The Role of Symmetries

Delves into symmetries in physics, covering group theory, perturbation, and quantification.

Predicate Logic: Quantifiers, CNF, DNF

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.

Inference Engines: Resolution and Horn Clauses

Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.

Risk Analysis in Project Management

Explores risk analysis in project management, covering identification, prevention, quantification, and lean management.

Predicate Logic: Quantifiers and Equivalences

Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.

Predicate Logic: Universal and Existential Quantifier

Introduces predicate logic and explains how to determine truth values using quantifiers.

Sets and Operations: Introduction to Mathematics

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Predicate Logic: Universal and Existential Quantifier

Explains variables, predicates, propositional functions, and quantifiers in predicate logic.

Magnetostatics: Magnetic Field and Force

Covers magnetic fields, Ampère's law, and magnetic dipoles with examples and illustrations.

Physics-guided NMF for STEM/EDXS Data Analysis

Explores Physics-guided NMF for STEM/EDXS data analysis, covering challenges, optimization, constraints, and advantages of the modelization.

Predicate Logic: Equivalences, Negations, and De Morgan's Laws

Explores the distribution of quantifiers, logical equivalences, and negations in predicate logic.

Speckles: Microscopic Analysis

Covers the microscopic analysis of speckles and their applications in research.

Dose Management in Electron Microscopy

Explores the challenges and solutions for managing electron dose in microscopy, emphasizing the importance of accurate dose tracking and analysis.

Inelastic Scattering in Transmission Electron Microscopy

Introduces inelastic scattering in transmission electron microscopy, focusing on electron energy-loss spectroscopy principles and applications.

Methods in Immunology: Part I

Covers the identification of molecules using antibodies and ELISA techniques for detection and quantification.

Trust in Numbers: Quantifying the World

Delves into the historical development of quantification in physics and society, contrasting positivism with hypothetical realism.

Automated PV Hosting Capacity Quantification

Explores the development of an open-source tool for automated PV hosting capacity quantification in distribution networks using Power Factory.

Molecular Glues: New Drug Modalities

Explores molecular glues as new drug modalities, focusing on binding forces, energetics, biomolecular interactions, quantification, drug development, and structural characterization.

Big Data and Social Sciences: The Need for Big Theory

Emphasizes the importance of big theory in social sciences when dealing with big data and the need for new conventions in the field.

Predicate Logic: More on Quantifiers

Explores quantifiers with finite domains, uniqueness quantifier, composite statements, variable binding, and validity in logic.