Lectures related to Performance: Software Engineering

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.

Inference Engines: Resolution and Horn Clauses

Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.

Programming Bugs: Understanding, Fixing, and Preventing

Explores programming challenges, debugging techniques, software testing, and security practices in software development.

Speckles: Microscopic Analysis

Covers the microscopic analysis of speckles and their applications in research.

Predicate Logic: Universal and Existential Quantifier

Introduces predicate logic and explains how to determine truth values using quantifiers.

Automated PV Hosting Capacity Quantification

Explores the development of an open-source tool for automated PV hosting capacity quantification in distribution networks using Power Factory.

Software Debugging: Techniques and Best Practices

Covers software debugging techniques, emphasizing effective issue diagnosis, information gathering, and structured debugging processes.

Optimization with Constraints: KKT Conditions

Covers the KKT conditions for optimization with constraints, essential for solving constrained optimization problems efficiently.

Methods in Immunology: Part I MOOC: Introduction to immunology (part 2)

Covers the identification of molecules using antibodies and ELISA techniques for detection and quantification.

Molecular Glues: New Drug Modalities

Explores molecular glues as new drug modalities, focusing on binding forces, energetics, biomolecular interactions, quantification, drug development, and structural characterization.

From Tests to Proof

Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.

Software Performance Log in to Mediaspace to watch this video

Explores software performance, covering metrics, latency, optimization techniques, and real-world examples like Grand Theft Auto.

Debugging and Optimization Log in to Mediaspace to watch this video

Covers types of errors in programming and emphasizes the importance of debugging and optimization techniques.

Physics-guided NMF for STEM/EDXS Data Analysis Log in to Mediaspace to watch this video

Explores Physics-guided NMF for STEM/EDXS data analysis, covering challenges, optimization, constraints, and advantages of the modelization.

DevSecOps: Security in DevOps Culture Log in to Mediaspace to watch this video

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 Log in to Mediaspace to watch this video

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Risk Analysis in Project Management Log in to Mediaspace to watch this video

Explores risk analysis in project management, covering identification, prevention, quantification, and lean management.

Untitled Log in to Mediaspace to watch this video