|
Combining Logic and Probability: Languages, Algorithms and Applications
Provider: videolectures.net
Language: English
|
|
Mathematics for Computer Science
Provider: mit opencourseware
Language: English
|
|
From Automated Verification to Automated Design
Provider: videolectures.net
Language: English
|
|
Principles of Computer System Design: An Introduction
Provider: mit opencourseware
Language: English
|
|
High-Level Actions
Provider: videolectures.net
Language: English
|
|
Graph kernels and applications in chemoinformatics
Provider: videolectures.net
Language: English
|
|
Computer-Aided Algorithm Design: Automated Tuning, Configuration, Selection and Beyond
Provider: videolectures.net
Language: English
|
|
Topics in Mathematics of Data Science
Provider: mit opencourseware
Language: English
|
|
Algorithmic Aspects of Machine Learning
Provider: mit opencourseware
Language: English
|
|
Convex Optimization
Provider: videolectures.net
Language: English
|