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
Property-Based Testing: Advanced Techniques and Applications
Graph Chatbot
Related lectures (26)
Previous
Page 3 of 3
Next
Machine learning: Basics of data-driven materials modeling
Covers dimensionality reduction and linear regression in data-driven materials modeling.
From Tests to Proof
Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
Software Engineering Fundamentals
Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.
Introduction to Coq: Arithmetic Expressions and Evaluators
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Query Optimization: Distributed Execution and Testing
Explores query optimization, distributed execution, and testing in a SmartDataLake project.
Testing your synapse model in a neuron
Explores testing a synapse model in a neuron using NEURON software.
