Lectures related to Evaluation and Operators

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Inheritance in Object-Oriented Programming: Concepts and Implementation

Covers inheritance in object-oriented programming, focusing on class hierarchies and practical implementation examples.

Covers the use of static class attributes and methods in C++ to avoid global variables and emphasizes best practices for static method implementation.

Untitled

Type-Directed Programming: Using Clauses

Covers using clauses, context bounds, given instances, and implicit parameter resolution in Scala.

Generics and Subtyping

Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.

Abstract Interpretation in Stainless

Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.

Polymorphism and Proofs

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Polynomial Applications: Combinatorial Computations

Delves into using polynomials for combinatorial computations and explores operations and identities with binomial coefficients.

Type Classes: Basics and Implementation

Covers the basics of type classes in Scala, implementation examples, and advantages over class extension.

Avoiding Variable Capture

Explores variable capture in higher-order functions and the importance of variable renaming.

Integration Techniques: Change of Variable and Integration by Parts

Explores advanced integration techniques such as change of variable and integration by parts to simplify complex integrals and solve challenging integration problems.

Metal Carbonyls: Bonding and Applications

Explores metal-carbonyls, their bonding with CO, IR spectra effects, and catalytic applications in hydroformylation.

Integration: Simple Elements MOOC: Analysis I MOOC: Analysis I (part 7) : Indefinite and definite integrals, integration (selected chapters)

Covers the integration of simple elements using various techniques to solve integration problems.

Conditional Expectation: Generalized Properties

Discusses a proposition on conditional expectation for two random variables, emphasizing independence and measurability.

Aromatic Compounds: Retrosynthesis Principles

Covers the retrosynthesis of aromatic compounds, focusing on basic principles and the synthesis route.

Preparation & Stabilities of Complexes

Covers the preparation and stabilities of complexes, including redox reactions, substitution, and catalytic reactions.

Improper integrals: Techniques and Examples Log in to Mediaspace to watch this video

Covers examples of integration by substitution and rational functions.

Integration by Substitution Log in to Mediaspace to watch this video

Explores integration by substitution with proofs and examples on anti-derivatives and function equivalence.

Generic Programming: Templates Log in to Mediaspace to watch this video

Covers generic programming in C++ through templates for classes and functions, showcasing examples and discussing specialization and separate compilation.