Related lectures (37)
Case Analysis Rule and Propositional Resolution
Covers the case analysis rule, propositional resolution, soundness, completeness, and resolution on clauses, with practical exercises included.
Schlieren Images and Speed of Sound
Explores Schlieren images and the speed of sound in different materials.
Lattice Dynamics: Vibrational Modes and Symmetry Relations
Explores lattice dynamics, lattice vibrations' properties, and their impact on heat, specific heat, thermal expansion, and thermal conductivity.
LabVIEW: Display and DAQ
Covers LabVIEW programming for data acquisition and display, including LabVIEW sound and visualization.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.
Loudness and Sound Level
Explores loudness, sound level, perception, scaling, and integration in audio engineering.
Vortices: Fluid Rotation and Phenomena
Explores the role of vortices in fluid dynamics, from formation to effects.
Embedding Theorems in Sobolev Spaces
Explores weak convergence, Poincaré inequality, and embedding theorems in Sobolev spaces.
Latent Factor Analysis: Movie Genre Classification
Explores latent factor analysis for movie genre classification based on male versus female leads.
Maximization Principle for Elliptic Equations
Explores the maximization principle for elliptic equations and the uniqueness of solutions.

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.