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
Concept
Julia (programming language)
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Graph Chatbot
Related lectures (14)
Login to filter by course
Login to filter by course
Reset
Previous
Page 1 of 2
Next
Data Standardization and Error Handling in Julia
Covers tips and tricks for working with Julia, focusing on setting up the environment, handling errors, and standardizing dataframes.
Python Programming: File Handling and Exceptions
Explores file handling and exceptions in Python programming, covering reading, writing, and error handling strategies.
Scala Lens Compilation
Covers the compilation process of Scala Lens and the use of iterable collections for padding results.
MATLAB Essentials: Functions and Variables
Covers essential MATLAB functions, variables, loops, and debugging tools.
Coq Workshop: Inductive Data Types and Proofs
Covers the definition of an inductive data type in Coq and how to build proofs interactively using tactics.
Practical Engineering 1: Signal Processing
Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Precompiler: Pass Arguments to Your Program
Explores precompilation directives in C language, handling main() arguments, and passing arguments to a program.
Matlab: 3D Surface Plotting
Covers logical arrays, 3D surface plotting, parametric curves, interpolation, and fitting in Matlab.
Computational Geomechanics: Unconfined Flow Analysis
Explores unconfined flow analysis in geomechanics, emphasizing iterative solution methods and boundary condition considerations.