Computer Science

51219 papers in Computer Science

Explore Subcategories

Information Theory
1601 Papers
Artificial Intelligence
1580 Papers
Cryptography and Security
1290 Papers
Data Structures and Algorithms
1258 Papers
Networking
1126 Papers
Discrete Mathematics
1039 Papers
Distributed Computing
981 Papers
Logic in Computer Science
972 Papers
Software Engineering
935 Papers
Machine Learning
932 Papers
Computers and Society
915 Papers
Computational Complexity
861 Papers
TITLE
DATE
VIEWS
Highly accelerated simulations of glassy dynamics using GPUs: caveats on limited floating-point precision
By Peter H. Colberg, Felix H"ofling · ArXiv: 0912.3824
2011-04-08
0
The complexity of the list homomorphism problem for graphs
By Laszlo Egri, Andrei Krokhin, Benoit Larose · ArXiv: 0912.3802
2010-02-03
0
On the circuit-size of inverses
By Jean-Camille Birget · ArXiv: 0912.3730
2011-02-25
0
Belief propagation for graph partitioning
By P. Sulc, L. Zdeborova · ArXiv: 0912.3563
2010-06-16
0
A simple and efficient explicit parallelization of logic programs using low-level threading primitives
By Diptikalyan Saha, Paul Fodor · ArXiv: 0912.3510
2009-12-28
0
On Space-Time Capacity Limits in Mobile and Delay Tolerant Networks
By Philippe Jacquet, Bernard Mans, Georgios Rodolakis · ArXiv: 0912.3441
2016-11-18
0
Decidability of the interval temporal logic ABBar over the natural numbers
By A. Montanari, G. Puppis, P. Sala · ArXiv: 0912.3429
2010-02-03
0
Frugal and Truthful Auctions for Vertex Covers, Flows, and Cuts
By David Kempe, Mahyar Salek, Cristopher Moore · ArXiv: 0912.3310
2011-06-14
0
New Generalization Bounds for Learning Kernels
By Corinna Cortes, Mehryar Mohri, Afshin Rostamizadeh · ArXiv: 0912.3309
2009-12-18
0
Derandomizing from Random Strings
By Harry Buhrman, Lance Fortnow, Michal Koucky · ArXiv: 0912.3162
2009-12-17
0
Investment and Pricing with Spectrum Uncertainty: A Cognitive Operators Perspective
By Lingjie Duan, Jianwei Huang, Biying Shou · ArXiv: 0912.3089
2016-11-15
0
Breaking a modified substitution-diffusion image cipher based on chaotic standard and logistic maps
By Chengqing Li, Shujun Li, Kwok-Tung Lo · ArXiv: 0912.3050
2009-12-21
0
Graph unique-maximum and conflict-free colorings
By Panagiotis Cheilaris, Geza Toth · ArXiv: 0912.3004
2009-12-17
0
Set Systems and Families of Permutations with Small Traces
By Otfried Cheong (KAIST), Xavier Goaoc (INRIA Lorraine - LORIA), Cyril Nicaud (IGM) · ArXiv: 0912.2979
2009-12-17
0
Multi-valued Action Languages in CLP(FD)
By Agostino Dovier, Andrea Formisano, Enrico Pontelli · ArXiv: 0912.2846
2009-12-16
0
An iterative approach for generating statistically realistic populations of households
By Floriana Gargiulo, Sonia Ternes, Sylvie Huet · ArXiv: 0912.2826
2015-05-14
0
Relaxed spanners for directed disk graphs
By David Peleg, Liam Roditty · ArXiv: 0912.2815
2010-02-03
0
The Gaussian Surface Area and Noise Sensitivity of Degree-$d$ Polynomials
By Daniel M. Kane · ArXiv: 0912.2709
2009-12-14
0
A complex analogue of Todas Theorem
By Saugata Basu · ArXiv: 0912.2652
2011-10-17
0
Is Ramseys theorem omega-automatic?
By Dietrich Kuske · ArXiv: 0912.2625
2010-02-03
0
The Multivariate Resultant is NP-hard in any Characteristic
By Bruno Grenet (LIP), Pascal Koiran (LIP), Natacha Portier (LIP) · ArXiv: 0912.2607
2012-10-05
0
The first Italian research assessment exercise: a bibliometric perspective
By Massimo Franceschet, Antonio Costantini · ArXiv: 0912.2601
2009-12-15
0
Global Alignment of Molecular Sequences via Ancestral State Reconstruction
By Alex, r Andoni, Constantinos Daskalakis · ArXiv: 0912.2577
2011-09-07
0
QR Factorization of Tall and Skinny Matrices in a Grid Computing Environment
By Emmanuel Agullo, Camille Coti, Jack Dongarra · ArXiv: 0912.2572
2016-11-15
0
Deterministic Identity Testing of Read-Once Algebraic Branching Programs
By Maurice Jansen, Youming Qiao, Jayalal Sarma · ArXiv: 0912.2565
2009-12-15
0
Construction Sequences and Certifying 3-Connectedness
By Jens M. Schmidt · ArXiv: 0912.2561
2010-02-03
0
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
By Jiv{r}i Barnat (Masaryk University, Czech Republic), Lubov{s} Brim (Masaryk University · ArXiv: 0912.2555
2009-12-15
0
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
By Fuad Abujarad (Michigan State University), Borzoo Bonakdarpour (VERIMAG), S · ArXiv: 0912.2554
2009-12-15
0
An Efficient Explicit-time Description Method for Timed Model Checking
By Hao Wang (Centre for Logic, Information, St. Francis Xavier University · ArXiv: 0912.2553
2009-12-15
0
Tarmo: A Framework for Parallelized Bounded Model Checking
By Siert Wieringa (Helsinki University of Technology TKK), Matti Niemenmaa (Helsinki University of Technology TKK), Keijo Heljanko (Helsinki University of Technology TKK) · ArXiv: 0912.2552
2009-12-15
0
«« « 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 » »»