- A formal proof in Coq of a control function for the inverted pendulum Damien Rouhling Fri 02 March 2012
- Inferring Loop Invariants through Gamification Dimitar Bounov Anthony DeRossi Massimiliano Menarini William G. Griswold Sorin Lerner Fri 02 March 2012
- existsR-Completeness for Decision Versions of Multi-Player (Symmetric) Nash Equilibria Jugal Garg Ruta Mehta Vijay V. Vazirani Sadra Yazdanbod Fri 02 March 2012
- Testing vision-based control systems using learnable evolutionary algorithms Raja Ben Abdessalem Shiva Nejati Lionel C. Briand Thomas Stifter Fri 02 March 2012
- Droid Star Arjun Radhakrishna Nicholas V. Lewchenko Shawn Meier Sergio Mover Krishna Chaitanya Sripada Damien Zufferey Bor-Yuh Evan Chang Pavol Černý Fri 02 March 2012
- Testing heap-based programs with Java StarFinder Long H. Pham Quang Loc Le Quoc-Sang Phan Jun Sun Shengchao Qin Fri 02 March 2012
- G-CORE Renzo Angles Marcelo Arenas Pablo Barcelo Peter Boncz George Fletcher Claudio Gutierrez Tobias Lindaaker Marcus Paradies Stefan Plantikow Juan Sequeda Oskar van Rest Hannes Voigt Fri 02 March 2012
- Cypher Nadime Francis Alastair Green Paolo Guagliardo Leonid Libkin Tobias Lindaaker Victor Marsault Stefan Plantikow Mats Rydberg Petra Selmer Andrés Taylor Fri 02 March 2012
- Monotone versus positive Miklos Ajtai Yuri Gurevich Fri 02 March 2012
- Provenance and Probabilities in Relational Databases Pierre Senellart Fri 02 March 2012
- Subcubic Equivalences Between Path, Matrix, and Triangle Problems Virginia Vassilevska Williams R. Ryan Williams Fri 02 March 2012
- Fully Polynomial-Time Parameterized Computations for Graphs and Matrices of Low Treewidth Fedor V. Fomin Daniel Lokshtanov Saket Saurabh MichaŁ Pilipczuk Marcin Wrochna Fri 02 March 2012
- Discovering the roots: uniform closure results for algebraic classes under factoring Pranjal Dutta Nitin Saxena Amit Sinhababu Fri 02 March 2012
- Universal points in the asymptotic spectrum of tensors Matthias Christandl Péter Vrana Jeroen Zuiddam Fri 02 March 2012
- A PSPACE construction of a hitting set for the closure of small algebraic circuits Michael A. Forbes Amir Shpilka Fri 02 March 2012
- Universal protocols for information dissemination using emergent signals Bartłomiej Dudek Adrian Kosowski Fri 02 March 2012
- Generalized matrix completion and algebraic natural proofs Markus Bläser Christian Ikenmeyer Gorav Jindal Vladimir Lysikov Fri 02 March 2012
- An exponential lower bound for individualization-refinement algorithms for graph isomorphism Daniel Neuen Pascal Schweitzer Fri 02 March 2012
- A converse to Banachtextquotesingles fixed point theorem and its CLS-completeness Constantinos Daskalakis Christos Tzamos Manolis Zampetakis Fri 02 March 2012
- Dynamic control flow in large-scale machine learning Yuan Yu Martín Abadi Paul Barham Eugene Brevdo Mike Burrows Andy Davis Jeff Dean Sanjay Ghemawat Tim Harley Peter Hawkins Michael Isard Manjunath Kudlur Rajat Monga Derek Murray Xiaoqiang Zheng Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
