Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Reliable Broadcast: Overview and Algorithms
Graph Chatbot
Related lectures (46)
Solving Parity Games in Practice
Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Assessment of Learning: Validity and Reliability
MOOC: Teaching Science and Engineering
Explores the concepts of validity and reliability in assessment in higher education.
Search Algorithms: Abductive Reasoning
Covers search algorithms, focusing on abductive reasoning and heuristic search strategies.
Untitled
Effective Teaching Evaluations: Dimensions and Formulation Tips
Discusses the multidimensional nature of teaching evaluations and offers tips for formulating effective questions.
Untitled
Distinct Elements: Count and Hash Functions
Covers counting distinct elements using hash functions and the median trick.
Assessment Process Design
Focuses on designing an assessment process for effective measurement in various settings.
Taylor Polynomial: Order, Development, and Limits
Explores Taylor polynomials, including order, development, limits, and algebraic operations.
Recursive Functions: Examples and Applications
Explores recursive functions, including factorials and Fibonacci sequences, and their scope and namespaces.
Optimization Algorithms: Greedy Approach
Explores optimization problems and greedy algorithms for efficient decision-making.
Propositional Logic: Inference Rules
Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.
Minimum Spanning Trees: Prim's Algorithm
Explores Prim's algorithm for minimum spanning trees and introduces the Traveling Salesman Problem.
Search Algorithms: Two Examples
Covers basic algorithm ingredients, search algorithms, control structures, and algorithm correctness.
Untitled
Evaluation in NLP
Delves into NLP evaluation, covering gold standards, precision, recall, and statistical significance.
Total Order Broadcast: Basics and Consensus Equivalences
Log in to Mediaspace to watch this video
Explores total order broadcast and its equivalence to consensus in reliable systems.
Group Membership and View Synchrony
Log in to Mediaspace to watch this video
Explores group membership and view synchrony in distributed systems, ensuring accurate knowledge and coordinated views.
Reliable Broadcast: Causal Order
Log in to Mediaspace to watch this video
Explores reliable broadcast algorithms, focusing on causal order and uniform reliability, with exercises on failure detector properties and memory optimization.
Register Swapping Techniques
Log in to Mediaspace to watch this video
Covers register swapping techniques, consensus algorithms, and winner determination.
Previous
Page 1 of 3
Next
