Maps: Key-Value Associations

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (52)

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

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

Purely Functional Priority Queue Log in to Mediaspace to watch this video

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

Thermo-Calc: Exercise and Property Models Log in to Mediaspace to watch this video

Explores Thermo-Calc software for defining functions and property models in materials science.

Understanding Risk and Uncertainty Log in to Mediaspace to watch this video

Explores risk, uncertainty, subjective probabilities, and decision-making under different scenarios.

Intersection Numbers: Algebraic Counting Solutions Log in to Mediaspace to watch this video

Explores intersection numbers for counting solutions to polynomial equations algebraically and their geometric significance in intersection theory and enumerative geometry.

Easy Meal Finder: Efficient, Eco-friendly, and Budget-friendly Log in to Mediaspace to watch this video

Introduces an app for finding easy, eco-friendly, and budget-friendly meals efficiently.

Characteristic Polynomials: Solutions and Roots Log in to Mediaspace to watch this video

Covers characteristic polynomials, their solutions, and roots for different types of polynomials.

Algebraic Geometry: Rings and Bodies Log in to Mediaspace to watch this video

Explores algebraic geometry, focusing on rings, bodies, quotient rings, and irreducible polynomials.

Waste Management in Three European Countries Log in to Mediaspace to watch this video

Discusses waste management practices, including sorting, legislation, collection, recycling, and final disposal in three European countries.

Merge Sort: Divide, Conquer, Combine Log in to Mediaspace to watch this video

Explores Merge Sort, a sorting algorithm that divides, conquers, and combines arrays efficiently to achieve O(nlog n) time complexity.

Taylor Polynomials: Calculating Limits and Derivatives Log in to Mediaspace to watch this video

Covers the calculation of Taylor polynomials and their applications in limits and derivatives of functions from R² to R.

Local Zeta Functions Log in to Mediaspace to watch this video

Covers the classification of comport p-adic fields using integration and Igusa's local zeta functions.

Page 3 of 3