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
Educational Sequencing: Granularization and Scenario Design
Graph Chatbot
Related lectures (5)
Previous
Page 1 of 1
Next
Risk Analysis Methods: Part 1
Explores risk analysis methods, including failure modes analysis and criticality assessment, emphasizing the importance of preliminary risk analysis.
Risk Analysis and Management
Explores risk analysis and management methods for civil engineering projects, emphasizing the importance of identifying adverse events and security barriers.
Induction for SMT Solvers
Explores techniques for induction in SMT solvers, focusing on CVC4's implementation and competitive performance with other provers.
Merge Sort: Sorting Algorithm
Explains the merge sort algorithm, its correctness, and time complexity compared to other sorting algorithms.
Risk Diagnostic and Analysis: What-If Method
Explores risk diagnostic methods like 'What-If' analysis, fault tree analysis, and event tree analysis to identify and mitigate potential risks.