Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Untitled
Graph Chatbot
Related lectures (29)
Previous
Page 3 of 3
Next
Property-Based Testing: Advanced Techniques
Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.
Distributed Version Control with Git
Explores Git's distributed version control features, focusing on conflict resolution and collaboration management.
Local Homeomorphisms and Coverings
Covers the concepts of local homeomorphisms and coverings in manifolds, emphasizing the conditions under which a map is considered a local homeomorphism or a covering.
Property-Based Testing: Advanced Techniques and Applications
Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.
Stochastic Endowment Consumption Model
Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.
Graph Sketching: Connected Components
Covers the concept of graph sketching with a focus on connected components.
Approximation Algorithms
Covers approximation algorithms for optimization problems, LP relaxation, and randomized rounding techniques.
Designing Learning Experiences: CS411 Class Project
Introduces the CS411 Class Project, where students design and test a lesson using learning theories.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
