- The space cost of lazy reference counting Hans-J. Boehm Fri 02 March 2012
- Global value numbering using random interpretation Sumit Gulwani George C. Necula Fri 02 March 2012
- Modular rational sparse multivariate polynomial interpolation E. Kaltofen Y. N. Lakshman J.-M. Wiley Fri 02 March 2012
- An improvement of the projection operator in cylindrical algebraic decomposition H. Hong Fri 02 March 2012
- Inflationary fixed points in modal logic Anuj Dawar Erich Grädel Stephan Kreutzer Fri 02 March 2012
- Exploiting structure in symmetry detection for CNF Paul T. Darga Mark H. Liffiton Karem A. Sakallah Igor L. Markov Fri 02 March 2012
- KISS Shaz Qadeer Dinghao Wu Fri 02 March 2012
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams John Whaley Monica S. Lam Fri 02 March 2012
- A Universal Reed-Solomon Decoder Richard E. Blahut Fri 02 March 2012
- On Relations Defined by Generalized Finite Automata C. C. Elgot J. E. Mezei Fri 02 March 2012
- Theorems on Positive Data: On the Uniqueness of NMF Hans Laurberg Mads Græsbøll Christensen Mark D. Plumbley Lars Kai Hansen Søren Holdt Jensen Fri 02 March 2012
- A Cancellation-Free Symbolic Sensitivity Technique Based on Network Determinant Expansion Vladimir Filaretov Konstantin Gorshkov Sergey Kurganov Fri 02 March 2012
- Applications of Delay Differential Equations in Biological Systems F. A. Rihan C. Tunc S. H. Saker S. Lakshmanan R. Rakkiyappan Fri 02 March 2012
- Grammar Factorization by Tree Decomposition Daniel Gildea Fri 02 March 2012
- Long Short-Term Memory Sepp Hochreiter Jürgen Schmidhuber Fri 02 March 2012
- Algebraic approach towards the exploitation of textquotedblleftsoftnesstextquotedblright: the inputtextendashoutput equation for morphological computation Mizuka Komatsu Takaharu Yaguchi Kohei Nakajima Fri 02 March 2012
- The competition fetish in higher education: Shamans, mind snares and consequences Rajani Naidoo Fri 02 March 2012
- Effective ambiguity checking in biosequence analysis Janina Reeder Peter Steffen Robert Giegerich -Shin Jr Li Fri 02 March 2012
- Assessing parameter identifiability in compartmental dynamic models using a computational approach: application to infectious disease transmission models Kimberlyn Roosa Gerardo Chowell Fri 02 March 2012
- Using Petri Net Tools to Study Properties and Dynamics of Biological Systems M. Peleg Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
