Computer Science
7,622 items in 38 lists
-
Cornell. Functional Programming in Ocaml cs.cornell.edu
A modern course on data structures and functional programming using OCaml.
-
Halpern. CS 2802: Discrete Structures - Honors. 2020. Cornell cs.cornell.edu
Honors lecture notes on discrete math - Homework
-
O'Donnell. A Theorist's Toolkit. CMU cs.cmu.edu
It covers a large number of the math/CS topics that you need to know for reading and doing research in Computer Science Theory.
-
-
Blum. You and Your Research: An Advice to a Beginning Graduate Student cs.cmu.edu
Manuel Blum, A very popular figure in TCS, gives research advices for juniors.
-
Blum. Intro Machine Learning Theory cs.cmu.edu
.
-
Gupta & Ravi. Approximation Algorithms. CMU cs.cmu.edu
It includes convex programming-based, randomness, and metric methods.
-
Brown. Resources list for game theory cs.brown.edu
TAs based these notes in large part on the lecture notes and accompanying videos of Tim Roughgarden's CS 364A and CS 364B courses at Stanford, and Jason Hartline's Mechanism Design and Approximation textbook.
-
Mark Bun. CS591 Communication Complexity cs-people.bu.edu
A graduate course which introduces the fundamental results and techniques in the area and some research frontier questions. Themes include: Communication models and the communication complexity zoo, Information vs. communication, Query-to-communication lifting, and Applications
-
Chekuri. Approximation Algorithmis Illinois courses.engr.illinois.edu
A broad introduction to results and techniques with an emphasis on fundamental problems and widely applicable tools. Also more advanced and specialized topics.
-
Introduction to Discrete Mathematics for Computer Science. UC San-Diego coursera.org
Learn the language of Computer Science. Learn the math that defines computer science, and practice applying it through mathematical proofs and Python code.
-
TCS Cheat Sheet cosy.sbg.ac.at
A sheet of notes containing essential toolboxes needed by any theoretical computer scientist.
-
Complexity Zoo complexityzoo.net
a wiki of complexity classes.
-
Cambridge Foundations of CS cl.cam.ac.uk
It teaches programming and presents some fundamental principles of computer science, especially algorithm design.
-
Chekuri. Topics in Algorithms: Algorithmic Game Theory chekuri.cs.illinois.edu
A broad graduate-level introduction to: auctions, existence and computation of equilibria in games and markets, algorithmic mechanism design, price of anarchy and price of stability, games relevant to networks and e-commerce. The emphasis will be on conceptual ideas and…
-
Petzold. The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing… charlespetzold.com
A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine.
-
Sipser. Introduction to Theory of Computation cengage.com
A standard text for introducing theory of computation for undergrads.
-
Apt & Grädel. Lectures in Game Theory for Computer Scientists cambridge.org
Games provide mathematical models for interaction, and numerous tasks in computer science can be formulated in game-theoretic terms.
-
Cutland. Computability: An Introduction to Recursive Function Theory cambridge.org
Intuitively, It explains the idea of a computable function: a function whose values can be calculated in an effective or automatic way.
-
Shalev-Shwartz. Understanding Machine Learning: From Theory to Algorithms cambridge.org
It provides an extensive theoretical account of the fundamental ideas underlying machine learning and the mathematical derivations that transform these principles into practical algorithms.
-
Rao & Yehudayoff. Communication Complexity and Applications cambridge.org
An excellent and very readable introductory textbook to the field of communication complexity.
-
Eva Tardos & et.al. Algorithmic Game Theory cambridge.org
Basic chapters on algorithmic methods for equilibria, mechanism design and combinatorial auctions are followed by chapters on important game theory applications such as incentives and pricing, cost sharing, information markets and cryptography and security.
-
Tu Delft. Delftse Foundations of Computation books.open.tudelft.nl
A textbook for a one quarter introductory course in theoretical computer science including logic, proof techniques, and set theory. It assumes no prerequisite other than basic programming.
-
Barak. Non-technical or Less-technical Writings and Talks boazbarak.org
Posts oriented more for a less-technically matured audience.
-
Princeton's Companion. Advice to a Young Mathematician assets.press.princeton.edu
Five contributors draw on their experiences of mathematical life and research, and to offer advice that they might have liked to receive when they were just setting-out on their careers.
-
Aaronson. Quantum Computing Since Democritus assets.cambridge.org
It covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory,computability and complexity theory, quantum computing, cryptography, the information content of quantum states, and the interpretation of quantum mechanics.
-
here arxiv.org
-
Tim Roughgarden. Complexity Theory, Game Theory, and Economics: The Barbados Lectures arxiv.org
A mini-course notes of two-fold goals: mini-course is twofold: (i) Explain how complexity theory has helped illuminate several barriers in economics and game theory; and (ii) Illustrate how game-theoretic questions have led to new and interesting complexity theory, including…
-
Odifreddi. Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers archive.org
An impressive presentation of classical recursion theory. It is highly recommended to everyone interested in recursion theory.
-
Rudich & Wigderson. Computational Complexity Theory ams.org
Three weeks of lectures from the IAS/Park City Mathematics Institute Summer School on computational complexity. Topics include reductions, lower-bounds, average-case complexity, randomness, interactive proof systems, probabilistically checkable proofs, quantum computing, and…
-
Davis. Computability and Unsolvability amazon.com
In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.
-
Algorithms with Predictions algorithms-with-predictions.github.io
-
Walter Dean. Computational Complexity Theory and the Philosophy of Mathematics academic.oup.com
It highlights the significance of complexity theory relative to questions traditionally asked by philosophers of mathematics while also attempting to isolate some new ones.
-
Official TensorFlow.js video series youtube.com
The YouTube content focuses on TensorFlow ecosystem updates.
-
Aaron Ma x.com
World's youngest TensorFlow contributor!
-
Nikhil Thorat twitter.com
Co-lead of TensorFlow.js.
-
Laurence Moroney twitter.com
Lead of AI Developer Relations at Google.
-
Jason Mayes twitter.com
Developer advocate for TensorFlow.js.
-
#MadeWithTFJS twitter.com
See what the community has made and share your work!
-
Daniel Smilkov twitter.com
Co-creator of TensorFlow.js.
-
Sandeep Gupta twitter.com
Product Manager for TensorFlow.
-
Gant Laborde twitter.com
Web & Machine Learning GDE.
-
Paige Bailey twitter.com
Building Google AI for everyone, and for every platform.
-
Towards Data Science towardsdatascience.com
-
TensorPlayground.com tensorplayground.com
Write, modify, and view tensors directly in the browser. Then share the code with others.
-
Official tfjs models on TensorFlow.js website tensorflow.org
Explore pre-trained TensorFlow.js models that can be used in any project out of the box.
-
Official Documentation tensorflow.org
-
Official tfjs demo website tensorflow.org
See examples and live demos built with TensorFlow.js!
-
BodyPix storage.googleapis.com
A real-time person and body-part segmentation in the browser.
-
Stack Overflow stackoverflow.com
- next page of items loading…
