- Complexity and Nicety of Fluted Logic William C. Purdy Fri 02 March 2012
- Complex Probabilistic Modeling with Recursive Relational Bayesian Networks Manfred Jaeger Fri 02 March 2012
- Dependent Types for Program Termination Verification Hongwei Xi -Shin Jr Li Fri 02 March 2012
- Conjunctive Grammars and Systems of Language Equations A. S. Okhotin Fri 02 March 2012
- Characterization of Barriers of Differential Games A. E. Rapaport Fri 02 March 2012
- Algebraic Operations and Generic Effects Gordon Plotkin John Power Fri 02 March 2012
- Syntactic Structures as Multi-dimensional Trees James Rogers Fri 02 March 2012
- Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems Kim G. Larsen Fredrik Larsson Paul Pettersson Wang Yi Fri 02 March 2012
- Overapproximating Reachable Sets by Hamilton-Jacobi Projections Ian M. Mitchell Claire J. Tomlin Fri 02 March 2012
- Preface Wiebe van der Hoek Michael Wooldridge Fri 02 March 2012
- Game Logic is Strong Enough for Parity Games Dietmar Berwanger Fri 02 March 2012
- An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Grigore Roşu Fri 02 March 2012
- Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next Nedialko S. Nedialkov Vladik Kreinovich Scott A. Starks Fri 02 March 2012
- Orderings on Graphs and Game Coloring Number H. A. Kierstead Daqing Yang Fri 02 March 2012
- Context-sensitive coding, associative memory, and serial order in (speech) behavior. Wayne A. Wickelgran Fri 02 March 2012
- textquotedblleftMemotextquotedblright Functions and Machine Learning DONALD MICHIE Fri 02 March 2012
- Probabilistic machine learning and artificial intelligence Zoubin Ghahramani Fri 02 March 2012
- An Exhaustive Epistatic SNP Association Analysis on Expanded Wellcome Trust Data Christoph Lippert Jennifer Listgarten Robert I. Davidson Jeff Baxter Hoifung Poon Carl M. Kadie David Heckerman Fri 02 March 2012
- Fly-by-wire flight control R.P.G. Collinson Fri 02 March 2012
- Un procédé itératif de dénombrement dtextquotesinglearbres binaires et son application à leur génération aléatoire Jean-Luc Rémy Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
