Lectures related to Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Related lectures (32)

Covers computational modeling of microstructures, statistical measures, microstructure reconstruction, and virtual material testing.

Explains the transformation from a matrix to the density operator in quantum physics.