- Constructing Penrose-like tilings from a single prototile and the implications for quasicrystals Hyeong-Chai Jeong Paul J. Steinhardt Fri 02 March 2012
- Masses of heavy baryons in the relativistic quark model D. Ebert R. N. Faustov V. O. Galkin Fri 02 March 2012
- Phase reduction theory for hybrid nonlinear oscillators Sho Shirasaka Wataru Kurebayashi Hiroya Nakao Fri 02 March 2012
- Quantum Algorithm for Linear Systems of Equations Aram W. Harrow Avinatan Hassidim Seth Lloyd Fri 02 March 2012
- Improving Zero-Error Classical Communication with Entanglement Toby S. Cubitt Debbie Leung William Matthews Andreas Winter Fri 02 March 2012
- Applying the Simplest Kochen-Specker Set for Quantum Information Processing Gustavo Cañas Mauricio Arias Sebastián Etcheverry Esteban S. Gómez Adán Cabello Guilherme B. Xavier Gustavo Lima Fri 02 March 2012
- Implementation of a Walsh-Hadamard Gate in a Superconducting Qutrit M.hspace0.167emA. Yurtalan J. Shi M. Kononenko A. Lupascu S. Ashhab Fri 02 March 2012
- Experimental Test of the Kochen-Specker Theorem with Single Photons Yun-Feng Huang Chuan-Feng Li Yong-Sheng Zhang Jian-Wei Pan Guang-Can Guo Fri 02 March 2012
- On the Problem of Hidden Variables in Quantum Mechanics JOHN S. BELL Fri 02 March 2012
- The Kuramoto model: A simple paradigm for synchronization phenomena Juan A. Acebrón L. L. Bonilla Conrad J. Pérez Vicente Félix Ritort Renato Spigler Fri 02 March 2012
- A versatile family of consensus protocols based on Chandra-Touegtextquotesingles unreliable failure detectors M. Hurfin A. Mostefaoui M. Raynal Fri 02 March 2012
- Finding a basis for the characteristic ideal of an n-dimensional linear recurring sequence P. Fitzpatrick G.H. Norton Fri 02 March 2012
- The intractability of computing the minimum distance of a code A. Vardy Fri 02 March 2012
- EFMplus: the coding format of the multimedia compact disc K.A.S. Immink Fri 02 March 2012
- Memory access dependencies in shared-memory multiprocessors M. Dubois C. Scheurich Fri 02 March 2012
- The model checker SPIN G.J. Holzmann Fri 02 March 2012
- Systematic formal verification for fault-tolerant time-triggered algorithms J. Rushby Fri 02 March 2012
- Inference of k-testable languages in the strict sense and application to syntactic pattern recognition P. Garcia E. Vidal Fri 02 March 2012
- Generalized queries on probabilistic context-free grammars D.V. Pynadath M.P. Wellman Fri 02 March 2012
- Canonical symbolic analysis of large analog circuits with determinant decision diagrams C.-J.R. Shi Xiang-Dong Tan Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
