Lectures related to Constraint satisfaction

Constraint Satisfaction: Formulation and Algorithms

Covers the formulation of constraint satisfaction problems and systematic algorithms for solving them efficiently.

Distributed Multiagent Systems: Coordination and Learning

Explores coordination and learning in distributed multiagent systems, covering social laws, task exchange, constraint satisfaction, and coordination algorithms.

Extremum of a Function: Constraints

Explores extremum of a function under constraints and finding candidate points in practice.

Linear Programming Basics

Covers the basics of linear programming, defining corners, extreme points, and feasible solutions within polyhedrons.

Optimisation with Constraints: Interior Point Algorithm

Explores optimization with constraints using KKT conditions and interior point algorithm on two examples of quadratic programming.

Calculus of Variations and Euler's Elastica

Covers variational methods, equilibrium shapes, Euler's Elastica, and numerical and analytical methods for solving Euler's Elastica.

Constraints and Lagrange

Covers constraints, Lagrange equations, generalized coordinates, cyclic coordinates, conservation laws, and Hamilton formalism.

Survey Propagation: Cavity Method

Explores the Survey Propagation algorithm and its application in solving constraint satisfaction problems.

The Backpack Problem

Introduces the backpack problem, a discrete optimization problem with constraints and algorithms to solve it.

Static Determinacy II

Explores statical determinacy, constraints, and rigid body motion analysis in structures.

ALM with Inequalities: Next Steps in Optimization

Explores the Augmented Lagrangian Method with equality and inequality constraints in optimization, emphasizing the importance of slack variables.

Stationary Points and Lagrange Multiplier Theorem

Explores stationary points and the Lagrange multiplier theorem for function optimization.

Automated Planning: Modeling and Constraints

Explores automated planning, constraints, and applications in diverse domains, emphasizing the challenges and efficiency of solving planning problems.

Equilibrium in 3D: System Isolation and Constraints

Covers the equilibrium conditions in 3D, system isolation, free-body diagrams, and constraints.

Security and Privacy Challenges in IoT Era

Discusses security challenges in IoT, covering bug injection, code hardening, and testing techniques.

Equilibrium in 3D: Structural Mechanics Fundamentals

Explores equilibrium in 3D structures, constraints, types of supports, and categories of equilibrium.

Untitled

Linear constraints: Standard form

Covers linear constraints in standard form, including equality constraints, rank, and redundant constraints.

Optimization: Lagrange Multipliers

Covers the method of Lagrange multipliers to find extrema subject to constraints.

Molecular Dynamics Simulations: Energy Conservation

Explores energy conservation in Hamiltonian systems, numerical integration, time step choices, and constraint algorithms in molecular dynamics simulations.