Lectures related to Functional Data Structures: Collections and Operations

Conc-Trees: Parallel Programming in Scala

Covers the implementation of Conc-Trees in Scala for parallel programming.

Tree-Structured Indexing: B+ Trees Explained

Covers B+ Trees, a key data structure for efficient indexing in databases.

Algorithms in Computer Science: Search and Sort Techniques

Provides an overview of essential search and sort algorithms in computer science.

Covers the implementation of combiners in parallel programming in Scala, including efficient combine methods and set data structures.

Image Processing Techniques: Seam Carving and Pixel Manipulation

Discusses image processing techniques, focusing on seam carving and pixel manipulation in Python programming.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Safe Mutation in Scala

Explores safe mutation in Scala, emphasizing the management of mutable state and its significance in interactions, modeling, and implementation efficiency.

Dynamic Data Structures: Vectors and Linked Lists

Covers the comparison between vectors and linked lists in C++ programming.

Data Abstraction: Modules and Specifications in Coq

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Purely Functional Priority Queue

Covers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.

Data Operations and Parallel Mapping

Explores parallel programming in Scala, functional operations on collections, and parallel map functions on arrays and trees.

Binary Search Trees: Implementation and Operations

Covers the implementation and operations of basic data structures like stacks, queues, and linked lists, and introduces binary search trees.

A Closer Look at Lists

Covers list construction, methods, and implementations, including exercises and complexity analysis.

Data Structures: Stacks, Queues, Linked Lists

Covers stacks, queues, linked lists, and binary search trees in data structures.

Model Representation: Structures and Functions

Covers the representation of mathematical models, functions, and data structures in information systems.

C++ Standard Library: Containers and Algorithms

Covers the basics of C++ standard library containers, algorithms, and iterators.

Lazy Evaluation: Lazy Lists

Explores lazy evaluation and lazy lists in Scala, emphasizing their benefits and implementation.

Hashing and Sorting Techniques in Database Systems

Provides an overview of hashing and sorting techniques in database management systems, focusing on their implementation and performance optimization.

Programming Concepts: Variables and Expressions

Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.

Python for Engineers: Basics and Functions

Covers Python basics, functions, and practical applications for engineers, emphasizing data manipulation, functional programming, and data structures.