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
Performance: Software Engineering
Graph Chatbot
Related lectures (31)
Previous
Page 1 of 4
Next
Software Performance
Explores software performance, covering metrics, latency, optimization techniques, and real-world examples like Grand Theft Auto.
Debugging and Optimization
Covers types of errors in programming and emphasizes the importance of debugging and optimization techniques.
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
The Role of Symmetries
Delves into symmetries in physics, covering group theory, perturbation, and quantification.
Software Testing: Avoiding and Fixing Bugs
Emphasizes the critical role of software testing in preventing and resolving bugs during development.
Physics-guided NMF for STEM/EDXS Data Analysis
Explores Physics-guided NMF for STEM/EDXS data analysis, covering challenges, optimization, constraints, and advantages of the modelization.
DevSecOps: Security in DevOps Culture
Explores the integration of security practices within the DevOps culture, emphasizing the importance of adding security measures throughout the software development lifecycle.
Predicate Logic: Quantifiers and Normal Forms
Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.
Inference Engines: Resolution and Horn Clauses
Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.
Risk Analysis in Project Management
Explores risk analysis in project management, covering identification, prevention, quantification, and lean management.
