Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

Logo Size, Centerline & Padding TunerGuides

Height15.5px

Width Scale100%

Centerline Y-0.5px

Offset X0px

Pad Left0px

Pad Right0px

Pad Top0px

Pad Bottom0px

Tracking+0.5

Weight Stroke0px

.tv Gap X0

.tv Opacity55%

Full university courses, lectures, and study paths—free of ads and clutter.

Archive

All Lectures
University Courses
Standalone Talks
Guided Study Paths
Institutions
Speakers

Disciplines

Systems & CS
Engineering & Control
Theory & Algorithms
Biology & Neuro
AI & Machine Learning
Economics & Finance
Mathematics
Philosophy & Ethics
Physics & Cosmology
History & Humanities

Workspace

Saved Library
Study Notebook
About & Mission
Help & Feedback
RSS Feed
Sitemap

© 2026 Lectern·Independent Academic Archive·Made in NYC

Press ⌘K to search · ? for shortcuts

/

Academic Discipline

Engineering & Robotics

Control theory, dynamical systems, signal processing, convex optimization, robotics, and electrical engineering.

9courses·67standalone talks·213total lectures

Subfields

All Engineering213 Signal Processing & Robotics100 Control & Dynamical Systems86 Convex Optimization29 Computer Architecture26 Complex Systems & Scaling14 Earth, Planetary Science & Climate Dynamics11 Condensed Matter & Materials4 Materials Science, Nanotechnology & Photonics4 Bioengineering, Neural Interfaces & Biomechanics1

jknavigate↵watchcchaptersssavexwatched

Save

Formal Methods for Robotics in the Age of Big Data

Formal Methods for Robotics in the Age of Big Data

Engineering·Research Seminar·Distributed Systems · Hadas Kress-Gazit · Cornell University

Hadas Kress-Gazit

Cornell University

—

1:04:55

Dataflow, Superscalar Execution & Branch Prediction

Dataflow, Superscalar Execution & Branch Prediction

Digital Design and Computer Architecture · Lec 17·Distributed Systems · Onur Mutlu · ETH Zürich

—

1:51:29

More categories

Systems & CS (447)Mathematics (434)Physics & Cosmology (414)AI & Machine Learning (215)History & Humanities (377)Philosophy & Ethics (265)Biology & Neuroscience (281)Economics & Finance (336)Algorithms & Theory (340)

Distributed Systems in Engineering

2