skip to content
๐ถ๐๐๐๐๐๐ง๐๐๐ข'๐ ๐ต๐๐๐
User Tools
Log In
Site Tools
Sidebar
Blog
https://horea.caramizaru.xyz
โ Go Back
Timeline
2023
10
16
The Mono Jacks - Umeri aurii
What is Automatic Differentiation?
You're Still the One - The Petersens (LIVE)
17
Theory of Computation and Automata - Shai Simonson
18
Take Me Home, Country Roads - The Petersens
25
SOKO :: We Might Be Dead By Tomorrow
26
Birdy - Surrender
Birdy - Voyager
Leighton Meester feat. Scott Grimes - That's all I've got to say ( Orville )
The Corrs - Breathless
a-ha - Take On Me
28
Maroon 5 - Girls Like You
Toto - Africa
a-ha - Take On Me (Live From MTV Unplugged)
29
Kiss Me - The Petersens (LIVE)
31
How GPS Works
Wham! - Last Christmas
11
01
Calibrating Kinematic Parameters Using Force Sensors
Lie theory for the roboticist
Optimization on Manifolds
Robot Design Optimization Using Meshes
02
Differentiable Simulation Methods for Robotic Agent Design
Do Differentiable Simulators Give Better Policy Gradients?
Introduction to Algorithmic Differentiation (AD I)
The Art of Differentiating Computer Programs
gradSim: Differentiable simulation for system identification and visuomotor control
05
Best add-ons in Zotero | easy to use | better notes | literature review mindmap | research
From Compliant Mechanisms to Hyper-Elastic Robots
Making Your Zotero Library RSS Public Accessible
Reading Annotating Note-taking and Drafting/Outlining with Zotero 6
all Zotero plugins I have
06
Motion Planning Around Obstacles with Graphs of Convex Sets
07
You Can Do WHAT With Your Email Client!?
08
Combining learning and geometry for robot perception and navigation
09
Living in a Garden Oasis: The Delights and Surprises of Giant Greenhouse Living
11
Eric Clapton - Tears In Heaven
The Beatles - Here Comes The Sun
12
Simon & Garfunkel - April Come She Will
16
How I make mathematics notes
17
Edward Sharpe & The Magnetic Zeros - Home
18
2.160 Identification, Estimation, and Learning
24
Advanced Linear Algebra: Vector Spaces & Matrix Decompositions
Controlled Sparsity via Constrained Optimization
DAEs
Differentiable Simulation Methods for Robotic Agent Design
Differential and Integral Calculus 1
Differential and Integral Calculus 2
Direct Methods for Sparse Linear Systems
Geometric mechanics of continuum and articulated soft robots
So You Think You Know How to Take Derivatives? | Steven Johnson
The Corrs - Angel
The Corrs - Would You Be Happier
26
Coldplay - Viva La Vida
29
Birdy - Not About Angels
Damien Rice - The Blower's Daughter
12
01
All I Want For Christmas Is You - Mariah Carey
Cecilia - SIMON & GARFUNKEL
El Condor Pasa - Simon&Garfunkel
Fields of Gold - The Petersens
Gentle On My Mind - The Petersens
I Will Always Love You - Whitney Houston
Landslide - The Petersens
Lord Huron - The Night We Met
Mrs. Robinson - Simon & Garfunkel
The Beatles - Hey Jude
The Sound of Silence - Simon & Garfunkel
The Winner Takes It All - ABBA
Two Gallants - Steady Rollin'
When You Say Nothing At All - The Petersens
Without You - Mariah Carey
Yesterday - The Beatles
03
Edward Snowden: How Your Cell Phone Spies on You
I Was SCARED To Say This To NASA... (But I said it anyway) - Smarter Every Day 293
Make Your Phone More Private
Three reasons you should get an eGPU in 2023
Thunderbolt 4 Port & eGPU - Lenovo Yoga Slim 7i i5 1135g7 - Setup, Gameplay & Benchmarks
04
Geometric Numerical Integration
How are memories stored in neural networks?
Information Geometry and its Applications
Neural Networks: Zero to Hero
Numerical Methods for Physical Modeling
Numerical Ordinary Differential Equations (Graduate)
Numerical Ordinary Differential Equations (Undergraduate)
Optimization on Manifolds (course)
ReadTheDocs Sphinx GitHub CI-CD
Sฤnฤtate mintalฤ รฎn 2023
The Complete Mathematics of Neural Networks and Deep Learning
05
Essential Privacy: Cell Numbers and Email Aliases
Why you NEED to care about privacy
07
Dreams - The Petersens
Flowers Never Bend with the Rainfall
08
Your money has been WEAPONIZED
14
Falling for You - The Petersens
Mamma Mia - The Petersens
Santa Train / Sleigh Ride - The Petersens
Take Me The Way I Am - The Petersens
The Ring Song - The Petersens
Top of the World - The Petersens
16
Carolina in the Pines - The Petersens
In You Came - The Petersens
No Roots - The Petersens
Shenandoah - The Petersens
Steel Rails - The Petersens
The Crawdad Song - The Petersens
22
Birdy - Evergreen
Contact and Friction Simulation for Computer Graphics
Contact and Friction Simulation for Computer Graphics - 2022
23
Linear Programming
Numerical Analysis of Ordinary Differential Equations
Numerical Method for Ordinary Differential Equations
Optimization
Ordinary Differential Equations - Analysis
24
Computational Design of Origami and Compliant Robots
Computational Symmetry and Learning for Robotics
Optimal Control - 2022
Optimal Control 2023
Robust Autonomous Vehicle Localization using GPS: from Tandem Drifting Cars to โGPSโ on the Moon
2024
01
06
ABBA - Happy New Year
07
Tensor Calculus
Tensors for Beginners
08
Machine Learning - Nando de Freitas
Machine Learning - Nando de Freitas 2013
12
The ladder of continuity
21
Annie's Song - The Petersens
Southern Nights (ft. Reina del Cid) - The Petersens
29
Silly Girls - The Petersens (LIVE)
02
07
Between The Bars - Elliott Smith
08
At Your Door - Nate Wolcott, Mike Mogis
19
Browinan motion and Stochastic differential equations
Robust Optimization
03
09
Building an Internal Cycloidal Robotic Actuator
19
Mircea Baniciu - Scrisoare de bun ramas
24
Matrix Calculus for Machine Learning and Beyond
The Elements of Differentiable Programming
TinyAD: Automatic Differentiation in Geometry Processing Made Simple
29
Goo Goo Dolls โ Iris
31
Distributed Optimization via Alternating Direction Method of Multipliers
MIT Robotics - Dieter Fox - Toward Foundational Robot Manipulation Skills
Princeton Robotics - Russ Tedrake - Dexterous Manipulation with Diffusion Policies
04
01
Optimization for Control and Planning of Multi-contact Dynamic Motion
Towards Computational Design of Shape and Control for Rigid Robots
02
Birdy - Wings
03
Birdy and Rhodes - Let It All Go
Phebe Vayanos - Integer optimization for predictive & prescriptive analytics in high stakes domains
Star Trek - Enterprise
TCOptRob Seminar: Learning complex behaviors with nonlinear MPC by Ludovic Righetti of NYU
21
Beirut - Elephant Gun
Beirut - Nantes
23
We Don't Need Anything This Year - The Petersens
25
Is the Future of Linear Algebra.. Random?
Jemin Hwangbo (KAIST): Large-scale policy training for robots
26
Birdy - Just Like A River Does
Compilers design
Inexact Newton with Iterated Sensitivities for Optimization of Partial Differential Equation
Theory of Computation
27
CSC 151: Compiler Construction
DT135G Compilers and Interpreters
29
FEM@LLNL | Supercharging Programming Through Compiler Technology
05
02
Alice's Adventures in a Differentiable Wonderland -- Volume I, A Tour of the Land
03
PhD Thesis Defense - Sangwoon Kim - TEXterity: Tactile Extrinsic deXterity
12
U2 - I Still Haven't Found What I'm Looking For
14
Ioan Gyuri Pascu - MELANCOLIE
16
Red Hot Chili Peppers - Snow (Hey Oh)
17
Pasarea Colibri - Muguri de fluier
Pasarea Colibri Un om pe niste scari
22
Wet Wet Wet - Love Is All Around
27
Co-Design Optimization of Morphing Topology and Control of Winged Drones
31
Vivaldi - Summer (Four Seasons) - Presto
06
03
Rethinking Robustness Assessment: Adversarial Attacks on Learning-based Quadrupedal Locomotion Controllers
04
Autonomy Talks - Stelian Coros: Physics-based Modeling and the Quest for Intelligent Robots
Birdy - Find Me
Birdy - Loneliness
11
Eric Carmen - Hungry Eyes
14
Baltimora - Tarzan Boy
07
17
Gospel - The National
30
The Clientele - (I Can't Seem To) Make You Mine
08
11
Cigarettes After Sex - Heavenly
09
01
No output or input devices found - tuxedo sound fix
Search by Tags
Search
You are not allowed to perform this action
« Compilers design
CSC 151: Compiler Construction »
Theory of Computation
<h3></h3>
MIT Opencourseware course page
course
,
formal-languages
,
Automata
,
Theory-of-Computation
,
math
,
discrete-math
,
mit-opencourseware
,
course
,
Automata
,
Language-Theory
,
Computability-Theory
,
Complexity-Theory
,
Michael-Sipser
,
MIT
Twitter
Facebook
Google+
LinkedIn
Pinterest
Tumblr
Reddit
Taringa
StumbleUpon
Telegram
Hacker News
Xing
Vk
Email
Discussion
Real name:
E-Mail:
Website:
Enter your comment. Wiki syntax is allowed:
Please fill all the letters into the box to prove you're human.
Please keep this field empty:
Subscribe to comments
feed/2024/04/26/theory_of_computation.txt
ยท Last modified: 2024/04/27 11:39 by
Horea Caramizaru
Page Tools
Old revisions
Backlinks
Back to top
Discussion