Programming Missions: Starting with the Third Line

Related lectures (32)

Page 3 of 4

Covers modeling control statements with functions in Scala, including while loops, repeat loops, and for-loops translation.

Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.

Covers the engineering of bacteria for efficient protein production and purification techniques using affinity tags.

Covers various projects related to bots developed by students at EPFL.

Delves into network inference from textual evidence, exploring information propagation, translation, and multi-input attention.

Explores symmetries in diffusion equations, showing how they simplify analysis and infer solution properties.

Covers final exam preparation with a focus on DNA replication and PCR principles.

Explores the composition of three axial reflections into an equivalent sliding reflection in a plane.

Covers protein stability assessment using RFP and GFP, flow cytometry, mutagenesis, calcium reporters, and CRISPR-Cas9 experiments.

Covers the calculation of reaction forces using the displacement theorem in a simple beam example.