Leveraging Tree Automata Approximation Results for Efficient Sampling and Counting
Explore efficient approximation algorithms for counting and sampling satisfying assignments in structured DNNF circuits, leveraging recent tree automata results.
Efficient Enumeration Algorithms via Circuits
Explore efficient enumeration of satisfying assignments in circuits, with applications to logic queries and database theory. Learn about maintaining enumeration structures on dynamic data.
AI is Your New Design Material
Explore AI's impact on UX and product design, learning to leverage machine-generated content as a design material. Discover techniques to create innovative services and improve existing products using AI responsibly.
Perfectly Oblivious RAM and Parallel RAM Revisited - Improved Constructions
Explore novel constructions and asymptotic improvements in perfect ORAM/OPRAM performance metrics. Gain insights into advanced cryptographic techniques and their applications.
ZK-PCPs from Leakage-Resilient Secret Sharing - 2021 ITC Conference
Explore cutting-edge cryptography research on ZK-PCPs derived from leakage-resilient secret sharing. Learn about innovative constructions combining the best aspects of zero-knowledge proofs and probabilistically checkable proofs.
Fast and Accurate Deep Neural Networks Training
Exploring LARS and LAMB optimizers for scaling deep learning on supercomputers, enabling faster training and higher accuracy in AI applications across various industries.
Compilers and Language Design - Lecture 3
Explore advanced compiler techniques, optimization strategies, and code generation methods in this comprehensive lecture on modern compiler design and implementation.
Distributed Systems: Replication and Consistency - Lecture 4
Explore advanced distributed systems concepts, focusing on consensus algorithms, fault tolerance, and scalability in large-scale networks.
Natural Language Processing - Lecture 5
Explore advanced topics in computer science, focusing on cutting-edge algorithms, data structures, and problem-solving techniques in this comprehensive lecture.
Operating Systems - Lecture 9
Explore advanced concepts in computer science, focusing on cutting-edge topics and research areas. Gain insights into current trends and future directions in the field.
Operating Systems - Lecture 5
Explore advanced concepts in computer science, focusing on key topics covered in Lecture 5 of CSEP 551, designed to deepen understanding and practical skills in the field.
Deep Learning IV - Advanced Topics in Neural Networks
Explore advanced deep learning concepts with NYU professor Joan Bruna, covering cutting-edge techniques and applications in neural networks and machine learning.
Reinforcement Learning IV - Advanced Concepts and Applications
Explore advanced reinforcement learning concepts with Stanford's Emma Brunskill, covering cutting-edge techniques and applications in AI decision-making.
Deep Learning III - Advanced Topics in Neural Networks
Explore advanced deep learning concepts with NYU professor Joan Bruna, covering cutting-edge techniques and applications in neural networks and machine learning.
Reinforcement Learning III - Advanced Concepts and Applications
Explore advanced reinforcement learning concepts with Stanford's Emma Brunskill, covering cutting-edge techniques and applications in AI decision-making.
Reinforcement Learning II - Advanced Concepts and Applications
Explore advanced reinforcement learning concepts with Stanford's Emma Brunskill, covering cutting-edge techniques and applications in AI decision-making.
Bandits II - Advanced Algorithms and Applications
Explore advanced bandit algorithms and their applications in decision-making under uncertainty with Kevin Jamieson from the University of Washington.
Statistical Learning II - Advanced Techniques and Applications
Explore advanced statistical learning techniques with Robert Schapire from Microsoft Research, covering cutting-edge methods and applications in machine learning and data analysis.
CSEP 590A - Lecture 11: Advanced Topics in Computer Science
Explore advanced topics in computer science, focusing on cutting-edge research and emerging technologies in the field of artificial intelligence and machine learning.
CSEP 501 - Compilers for Computer Languages - Lecture 10
Explore advanced compiler optimization techniques, focusing on data-flow analysis and its applications in program transformation and code improvement.
CSEP 501 - Compilers for Computer Languages - Lecture 9
Explore advanced compiler optimization techniques, focusing on data-flow analysis and its applications in program transformation and code improvement.