Overview of airline booking process
Big Data and Implications on Platform Architecture
Presto: Distributed Machine Learning and Graph Processing with Sparse Matrices
analysis of a real online social network using semantic web frameworks
Computer Science Engineering : Data structure & algorithm, THE GATE ACADEMY
Dex Technical Seminar (April 2011)
Kulum alin-11 jan2014
Making Big Data Analytics Interactive and Real-Time
Beyond Map/Reduce: Getting Creative With Parallel Processing
Model Checking Lecture 4. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking.
Model Checking Lecture 1. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking.
Geometry and Expansion: A survey of some results Sanjeev Arora Princeton ( touches upon: S. A., Satish Rao, Umesh Vazirani, STOC04; S. A., Elad Hazan,