Lectures related to Persistent data structure

Covers functional data structures and their relationships, implementations, and efficiency.

Covers the analysis of static (rigid) structures, including equilibrium and free-body diagrams.

Introduces RDMA and Persistent Memory, discussing their features, challenges, and impact on concurrent algorithms.

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

Explores constant time appends in Conc-Trees and counting in a binary number system.

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

Explores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.

Discusses data representation through models and systems, covering mathematical models, data structures, levels of modeling, and managing data.

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

Covers wind power production analysis using Python and matplotlib.

Explores eventual consistency, actors in Scala, and the importance of suitable data structures for achieving consistency in distributed systems.

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

Explores functions' complements, parameter order, and list manipulation, including counting occurrences and solving the '100 prisoners problem'.

Covers fundamental object-oriented programming concepts in C++, focusing on data structuring through pointers.

Covers advanced Python programming concepts, including data structures and functions.

Explores tuples, sets, and dictionaries in Python, covering immutability, uniqueness, and key-value pairs.

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

Covers the introduction to arrays in C++, including their use, limitations, and solutions.

Covers Python list manipulation and comprehension, emphasizing memory representation and mutability.

Introduces data structures like tuples, lists, sets, and dicts in Python, covering their definition, manipulation, and iteration.