Computer Science

55518 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
A Spatial Calculus of Wrapped Compartments
By Livio Bioglio, Cristina Calcagno, Mario Coppo · ArXiv: 1108.3426
2011-08-18
0
A Testing Framework for P Systems
By Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini · ArXiv: 1108.3424
2011-08-18
0
Petri Nets and Bio-Modelling - and how to benefit from their synergy
By Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg · ArXiv: 1108.3422
2011-08-18
20
Reversibility in Massive Concurrent Systems
By Luca Cardelli, Cosimo Laneve · ArXiv: 1108.3419
2011-08-18
34
Biologically Inspired Process Calculi, Petri Nets and Membrane Computing
By Gabriel Ciobanu · ArXiv: 1108.3418
2011-08-18
8
Randomized Algorithms for Tracking Distributed Count, Frequencies, and Ranks
By Zengfeng Huang, Ke Yi, Qin Zhang · ArXiv: 1108.3413
2011-12-05
0
Gadgets and Anti-Gadgets Leading to a Complexity Dichotomy
By Jin-Yi Cai, Michael Kowalczyk, Tyson Williams · ArXiv: 1108.3383
2011-11-30
0
Overlapping Mixtures of Gaussian Processes for the Data Association Problem
By Miguel Lazaro-Gredilla, Steven Van Vaerenbergh, Neil Lawrence · ArXiv: 1108.3372
2011-08-18
0
Exact Reconstruction Conditions for Regularized Modified Basis Pursuit
By Wei Lu, Namrata Vaswani · ArXiv: 1108.3350
2015-05-30
0
Proving programs terminate using well orderings, Ramsey Theory, and Matrices
By William Gasarch · ArXiv: 1108.3347
2014-11-04
2
Patterns for Business-to-consumer E-Commerce Applications
By Xiaohong Yuan, Eduardo B. Fern, ez · ArXiv: 1108.3342
2011-08-18
0
Structure from Local Optima: Learning Subspace Juntas via Higher Order PCA
By Santosh S. Vempala, Ying Xiao · ArXiv: 1108.3329
2012-04-17
0
A Machine Learning Perspective on Predictive Coding with PAQ
By Byron Knoll, N, o de Freitas · ArXiv: 1108.3298
2011-08-17
0
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
By Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski · ArXiv: 1108.3281
2011-08-17
0
Revisiting Epistemic Specifications
By Miroslaw Truszczynski · ArXiv: 1108.3279
2011-08-17
0
Reiters Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
By Marc Denecker, Victor W. Marek, Miroslaw Truszczynski · ArXiv: 1108.3278
2011-08-17
0
On the Performance of MPI-OpenMP on a 12 nodes Multi-core Cluster
By Abdelgadir Tageldin Abdelgadir, Al-Sakib Khan Pathan, Mohiuddin Ahmed · ArXiv: 1108.3268
2011-08-17
1
Finding Similar/Diverse Solutions in Answer Set Programming
By Thomas Eiter, Esra Erdem, Halit Erdogan · ArXiv: 1108.3260
2013-09-19
0
A review and comparison of strategies for multi-step ahead time series forecasting based on the NN5 forecasting competition
By Souhaib Ben Taieb, Gianluca Bontempi, Amir Atiya · ArXiv: 1108.3259
2011-08-17
0
Information Centric Networking based Handover Support for QoS Maintenance in Cooperative Heterogeneous Wireless Networks
By Muhammad Shoaib Saleem, Eric Renault, Djamal Zeghlache · ArXiv: 1108.3239
2011-08-17
0
Comparing System Dynamics and Agent-Based Simulation for Tumour Growth and its Interactions with Effector Cells
By Grazziela P. Figueredo, Uwe Aickelin · ArXiv: 1108.3235
2013-05-30
0
Multi-agent Robust Consensus: Convergence Analysis and Application
By Guodong Shi, Karl Henrik Johansson · ArXiv: 1108.3226
2015-03-19
0
Randomized Optimal Consensus of Multi-agent Systems
By Guodong Shi, Karl Henrik Johansson · ArXiv: 1108.3223
2015-03-19
0
Stability Conditions for Online Learnability
By Stephane Ross, J. Andrew Bagnell · ArXiv: 1108.3154
2011-08-18
0
Status of the UC-Berkeley SETI Efforts
By Eric J. Korpela (1), David P. Anderson (1), Robert Bankay (1) · ArXiv: 1108.3134
2011-11-30
0
On the Unification of Process Semantics: Logical Semantics
By David Romero-Hern, ez (Universidad Complutense de Madrid, Spain) · ArXiv: 1108.3127
2011-08-17
0
Regular Expression Matching and Operational Semantics
By Asiri Rathnayake (University of Birmingham, United Kingdom), Hayo Thielecke (University of Birmingham · ArXiv: 1108.3126
2011-08-17
0
Formal Component-Based Semantics
By Ken Madlener (Radboud University Nijmegen, The Netherl, s) · ArXiv: 1108.3125
2011-08-17
0
Axiomatizing GSOS with Predicates
By Luca Aceto (Reykjavik University, Icel, ) · ArXiv: 1108.3124
2011-08-17
0
Phylogenetic mixtures: Concentration of measure in the large-tree limit
By Elchanan Mossel, Sebastien Roch · ArXiv: 1108.3112
2012-11-30
0
«« « 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 » »»