Lectures related to Joint encoding

Compression: Strong Connection and Prefix-Free Codes

Explores the relationship between code word length and probability distribution, focusing on designing prefix-free codes for efficient compression.

Serial Communications: Part One

Explores material aspects and protocols of serial communications in microcontrollers, covering encoding, baud rates, protocols like NRZI and Manchester, and the importance of serial transmissions.

IS-95 with MIMO Simulation

Covers the IS-95 CDMA standard implementation with MIMO simulation and project guidelines.

Verifying Programs with Stainless: An Extended Example

Explores program verification using Stainless with a focus on the Quite OK Image Format (QOI) and its Scala implementation.

IoT Technologies: Wi-Fi, Cellular, Bluetooth, RFID, SigFox, Lora

Explores IoT technologies like Wi-Fi, cellular, Bluetooth, RFID, SigFox, and Lora, emphasizing Lora's chirp spread spectrum and RFIDs' battery-free operation.

MIMO RAKE Receiver: Simulation and MIMO Extension

Covers the implementation of IS-95 forward-link and MIMO extension.