Lectures related to Untitled | EPFL Graph Search

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

Explores the composition of applications in mathematics and the importance of understanding their properties.

Explores the limit of a sequence and its convergence properties, including boundedness and monotonicity.

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

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

Explores mapping functions, surjections, injective and surjective functions, and bijective functions.

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

Explores the properties of exponential functions, including growth, decay, and their relationship with logarithmic functions.

Covers the Exponential Family, including its definition, sufficient statistics, and distribution properties.

Introduces Cartesian product and induction for proofs using integers and sets.

Discusses the modeling of elementary processes in a product system.

Explores coordinate systems, including polar and curvilinear coordinates, and their transformations.

Covers the generalities of functions, including the definition of an application between sets and the uniqueness of elements in the image set.

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

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

Covers the concept of limit in a point with definitions and examples.

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

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

Covers the concept of continuity, providing examples and definitions of continuous functions.