- Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties Ehud Hrushovski Anand Pillay Fri 02 March 2012
- Model theory of the Frobenius on the Witt vectors Luc Bélair A. (Angus) Macintyre Thomas Scanlon Fri 02 March 2012
- Algorithmic Self-Assembly of DNA Sierpinski Triangles Paul W. K Rothemund Nick Papadakis Erik Winfree Fri 02 March 2012
- Phylogenetic Dependency Networks: Inferring Patterns of CTL Escape and Codon Covariation in HIV-1 Gag Jonathan M. Carlson Zabrina L. Brumme Christine M. Rousseau Chanson J. Brumme Philippa Matthews Carl Kadie James I. Mullins Bruce D. Walker P. Richard Harrigan Philip J. R. Goulder David Heckerman Fri 02 March 2012
- A Hybrid Model of Mammalian Cell Cycle Regulation Rajat Singhania R. Michael Sramkoski James W. Jacobberger John J. Tyson Fri 02 March 2012
- Fast Computation and Applications of Genome Mappability Thomas Derrien Jordi Estellé Santiago Marco Sola David G. Knowles Emanuele Raineri Roderic Guigó Paolo Ribeca Fri 02 March 2012
- On Finding and Using Identifiable Parameter Combinations in Nonlinear Dynamic Systems Biology Models and COMBOS: A Novel Web Implementation Nicolette Meshkat Christine Er-zhen Kuo Joseph DiStefano Fri 02 March 2012
- Identifiability and numerical algebraic geometry Daniel J. Bates Jonathan D. Hauenstein Nicolette Meshkat Fri 02 March 2012
- Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware Yan Shoshitaishvili Ruoyu Wang Christophe Hauser Christopher Kruegel Giovanni Vigna Fri 02 March 2012
- A formal framework for black-box conformance testing of distributed real-time systems Moez Krichen Fri 02 March 2012
- 7. Infinite Games of Perfect Information Morton Davis Fri 02 March 2012
- 9. STOCHASTIC GAMES WITH ZERO STOP PROBABILITIES Dean Gillette Fri 02 March 2012
- 3. Solutions to General Non-Zero-Sum Games Donald B. Gillies Fri 02 March 2012
- Zur Theorie der positiven quadratischen Formen. Hermann Minkowski Fri 02 March 2012
- P-adic logarithmic forms and group varieties I KUNRUI YU Fri 02 March 2012
- Algorithmics on SLP-compressed strings: A survey Markus Lohrey Fri 02 March 2012
- Solving one-variable equations in free groups Dimitri Bormotov Robert Gilman Alexei Myasnikov Fri 02 March 2012
- On formai properties oî simple phreise structure grammars Y. BAR-HILLEL M. PERLES E. SHAMIR Fri 02 March 2012
- Progress in the Independent Certification of Mizar Mathematical Library in Isabelle Cezary Kaliszyk Karol Pąk Fri 02 March 2012
- Computational Optimal Transport: With Applications to Data Science Gabriel Peyré Marco Cuturi Fri 02 March 2012
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
