- A Comprehensive Survey on Graph Neural Networks Zonghan Wu Shirui Pan Fengwen Chen Guodong Long Chengqi Zhang Philip S. Yu Fri 02 March 2012
- Geant4 developments and applications J. Allison K. Amako J. Apostolakis H. Araujo P. Arce Dubois M. Asai G. Barrand R. Capra S. Chauvie R. Chytracek G.A.P. Cirrone G. Cooperman G. Cosmo G. Cuttone G.G. Daquino M. Donszelmann M. Dressel G. Folger F. Foppiano J. Generowicz V. Grichine S. Guatelli P. Gumplinger A. Heikkinen I. Hrivnacova A. Howard S. Incerti V. Ivanchenko T. Johnson F. Jones T. Koi R. Kokoulin M. Kossov H. Kurashige V. Lara S. Larsson F. Lei O. Link F. Longo M. Maire A. Mantero B. Mascialino I. McLaren P. Mendez Lorenzo K. Minamimoto K. Murakami P. Nieminen L. Pandola S. Parlati L. Peralta J. Perl A. Pfeiffer M.G. Pia A. Ribon P. Rodrigues G. Russo S. Sadilov G. Santin T. Sasaki D. Smith N. Starkov S. Tanaka E. Tcherniaev B. Tome A. Trindade P. Truscott L. Urban M. Verderi A. Walkden J.P. Wellisch D.C. Williams D. Wright H. Yoshida Fri 02 March 2012
- Inference of message sequence charts R. Alur K. Etessami M. Yannakakis Fri 02 March 2012
- Verifying the Evolution of Probability Distributions Governed by a DTMC YoungMin Kwon Gul Agha Fri 02 March 2012
- BLISS: Improved Symbolic Execution bytextbackslashtextbackslash Bounded Lazy Initialization with SAT Support Nicolas Rosner Jaco Geldenhuys Nazareno Aguirre Willem Visser Marcelo Frias Fri 02 March 2012
- Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking Juan P. Galeotti Carlo A. Furia Eva May Gordon Fraser Andreas Zeller Fri 02 March 2012
- Stochastic Optimization of Grid to Vehicle Frequency Regulation Capacity Bids Jonathan Donadee Marija D. Ilic Fri 02 March 2012
- On the Complexity of Deciding Soundness of Acyclic Workflow Nets Ferucio Laurentiu Tiplea Corina Bocaneala Raluca Chirosca Fri 02 March 2012
- Parsing in a hostile world D. Blasband Fri 02 March 2012
- Current parsing techniques in software renovation considered harmful M. van den Brand A. Sellink C. Verhoef Fri 02 March 2012
- Expected Shortfall: A Natural Coherent Alternative to Value at Risk Carlo Acerbi Dirk Tasche Fri 02 March 2012
- TOWARDS AN ALGORITHMIChspace0.6emREVOLUTIONhspace0.6emIN ECONOMIC THEORY K. Vela Velupillai Fri 02 March 2012
- THE COMPUTATIONAL COMPLEXITY OF THE UNIVERSAL RECOGNITION PROBLEM FOR PARALLEL MULTIPLE CONTEXT-FREE GRAMMARS Yuichi Kaji Ryuichi Nakanishi Hiroyuki Seki Tadao Kasami Fri 02 March 2012
- RECOGNITION CAN BE HARDER THAN PARSING Bernard Lang Fri 02 March 2012
- Admissibility in Games Adam Brandenburger Amanda Friedenberg H. Jerome Keisler Fri 02 March 2012
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES Von Kurt Gödel Fri 02 March 2012
- Adjointness in Foundations F. William Lawvere Fri 02 March 2012
- Top Income Shares, Business Profits, and Effective Tax Rates in Contemporary Tasha Fairfield Michel Jorratt De Luis Fri 02 March 2012
- The weakest nontrivial idempotent equations Miroslav Olšák Fri 02 March 2012
- A Note on the Irrationality of zeta(2) and zeta(3) F. Beukers Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
