Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Programming Missions: Starting with the Third Line
Graph Chatbot
Related lectures (35)
Combinatorial Search: For-Expressions
Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.
Proteins: Central Dogma and Translation
Explains protein synthesis, translation, and the central dogma of molecular biology.
Understanding Microcontrollers: Robotics Project
Explores microcontrollers in a robotics project, covering ultrasonic sensors, program writing, troubleshooting, interruptions, and sensor options.
Converting Imperative Programs to Formulas
Explores converting imperative programs to formulas, including verification conditions, formula construction, and control flow structures.
Software Engineering Fundamentals
Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.
Regulation of Translation: Ribosomal Control and Global Regulation
Explores ribosomal control mechanisms and global regulation in translation of proteins from mRNA sequences.
RNA Functions: Transcription and Translation
Explores RNA functions in transcription, translation, and gene regulation, including defense mechanisms and viral infections.
Actor Composition: Patterns and Strategies
Explores actor composition, fundamental patterns, result aggregation, risk delegation, and façade strategies in actor systems.
Molecules of Life: Understanding Translation and Protein Synthesis
Provides an overview of translation and protein synthesis, covering the genetic code, tRNA, and the steps involved in protein formation.
Programming Bugs: Understanding, Fixing, and Preventing
Explores programming challenges, debugging techniques, software testing, and security practices in software development.
Loops: Control Statements and Functions
Covers modeling control statements with functions in Scala, including while loops, repeat loops, and for-loops translation.
Protein Synthesis: Translation
Explains protein synthesis through translation, covering ribosomes, tRNA, amino acids, genetic code accuracy, and translation stages.
Hoare Logic: Strongest Postcondition and Weakest Precondition
Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.
Named Entities Analysis
Covers various projects related to bots developed by students at EPFL.
Network Inference from Textual Evidence
Delves into network inference from textual evidence, exploring information propagation, translation, and multi-input attention.
Symmetries in Diffusion Equations
Explores symmetries in diffusion equations, showing how they simplify analysis and infer solution properties.
Final Exam Preparation: DNA Replication and PCR
Covers final exam preparation with a focus on DNA replication and PCR principles.
Equivalent Sliding Reflection to Three Axial Reflections
Explores the composition of three axial reflections into an equivalent sliding reflection in a plane.
Fluorescent Protein Stability Assessment
Covers protein stability assessment using RFP and GFP, flow cytometry, mutagenesis, calcium reporters, and CRISPR-Cas9 experiments.
Displacement Theorem: Virtual Displacements
Covers the calculation of reaction forces using the displacement theorem in a simple beam example.
Previous
Page 1 of 2
Next
