Computer Science

OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

主页: http://arxiv.org/corr

The Power of Spreadsheet Computations

Jerzy Tyszkiewicz

Characterizing and Predicting the Robustness of Power-law Networks

Sarah LaRocca,Seth Guikema

From bounded affine types to automatic timing analysis

Dan R. Ghica,Alex Smith

Alias and Change Calculi, Applied to Frame Inference

Alexander Kogtenkov,Bertrand Meyer,Sergey Velder

A Generic Analysis Server System for Functional Logic Programs

Michael Hanus,Fabian Reck

Compilation for QCSP

Igor Stéphan

Unfolding for CHR programs

Maurizio Gabbrielli,Maria Chiara Meo,Paolo Tacchella,Herbert Wiklicky

Suggest an Aspect-Oriented Design Approach for UML Communication Diagram

Mohammed F. Nather,Dr. Nada N. Saleem

A Haskell Library for Term Rewriting

Bertram Felgenhauer,Martin Avanzini,Christian Sternagel

A pumping lemma for non-cooperative self-assembly

Pierre-étienne Meunier,Damien Regnault

Structure of Triadic Relations in Multiplex Networks

Emanuele Cozzo,Mikko Kivel？,Manlio De Domenico,Albert Solé,Alex Arenas,Sergio Gómez,Mason A. Porter,Yamir Moreno

Birth and death of links control disease spreading in empirical contact networks

Petter Holme,Fredrik Liljeros

On two Algorithmic Problems about Synchronizing Automata

Mikhail V. Berlinkov

A composition theorem for parity kill number

Ryan O'Donnell,Xiaorui Sun,Li-Yang Tan,John Wright,Yu Zhao

Hardness of Finding Independent Sets in 2-Colorable Hypergraphs and of Satisfiable CSPs

Rishi Saket

Vertex-Frequency Analysis on Graphs

David I Shuman,Benjamin Ricaud,Pierre Vandergheynst

Mathematical models for epidemic spreading on complex networks

Wojciech Ganczarek

Vertex Disjoint Path in Upward Planar Graphs

Saeed Amiri,Ali Golshani,Stephan Kreutzer,Sebastian Siebertz

A Data-driven Study of Influences in Twitter Communities

Huy Nguyen,Rong Zheng

Quantification and Comparison of Degree Distributions in Complex Networks

Sadegh Aliakbary,Jafar Habibi,Ali Movaghar

The Parameterized Complexity of Reasoning Problems Beyond NP

Ronald de Haan,Stefan Szeider

Constraint Satisfaction with Counting Quantifiers 2

Barnaby Martin,Juraj Stacho

Modeling the emergence of a new language: Naming Game with hybridization

L. Pucci,P. Gravino,V. D. P. Servedio

Modeling and Predicting the Growth and Death of Membership-based Websites

Bruno Ribeiro

Costly bilingualism model in a population with one zealot

Hyunsuk Hong,Seung-Woo Son

Layer-crossing overhead and information spreading in multiplex social networks

Byungjoon Min,K. -I. Goh

Upper semicomputable sumtests for lower semicomputable semimeasures

Bruno Bauwens

Coexistence in preferential attachment networks

Ton？i Antunovi？,Elchanan Mossel,Miklos Z. Racz

On the Topology of the Facebook Page Network

R. E. Slattery,R. R. McHardy,R. Bairathi

Sampling-Based Temporal Logic Path Planning

Cristian Ioan Vasile,Calin Belta

Robotic Arm for Remote Surgery

Steven Dinger,John Dickens,Adam Pantanowitz

Causality-Driven Slow-Down and Speed-Up of Diffusion in Non-Markovian Temporal Networks

Ingo Scholtes,Nicolas Wider,Rene Pfitzner,Antonios Garas,Claudio Juan Tessone,Frank Schweitzer

Information Theoretic Adaptive Tracking of Epidemics in Complex Networks

Patrick L Harrington Jr,Alfred O. Hero III

Crossing the Reality Gap: a Short Introduction to the Transferability Approach

Jean-Baptiste Mouret,Sylvain Koos,Stéphane Doncieux

Low-complexity End-to-End Performance Optimization in MIMO Full-Duplex Relay Systems

Himal A. Suraweera,Ioannis Krikidis,Gan Zheng,Chau Yuen,Peter J. Smith

Distributed Data Storage Systems with Opportunistic Repair

Vaneet Aggarwal,Chao Tian,Vinay A. Vaishampayan,Yih-Farn R. Chen

Exponential Approximation of Bandlimited Functions from Average Oversampling

Haizhang Zhang

Spectral Efficiency of Random Time-Hopping CDMA

Guido Carlo Ferrante,Maria-Gabriella Di Benedetto

The Degrees of Freedom of the $K$-pair-user Full-Duplex Two-way Interference Channel with and without a MIMO Relay

Zhiyu Cheng,Natasha Devroye

Knowledge-Aided STAP Using Low Rank and Geometry Properties

Zhaocheng Yang,Rodrigo C. de Lamare,Xiang Li,Hongqiang Wang

Phase retrieval from low-rate samples

Volker Pohl,Fanny Yang,Holger Boche

Performance study and simulation of an anycast protocol for wireless mobile ad hoc networks

Reza Azizi

Limited-Feedback-Based Channel-Aware Power Allocation for Linear Distributed Estimation

Mohammad Fanaei,Matthew C. Valenti,Natalia A. Schmid

Architecture of Network and Client-Server model

Hai Zhang

Link Quality Control Mechanism for Selective and Opportunistic AF Relaying in Cooperative ARQs: A MLSD Perspective

Chun-Kai Tseng,Sau-Hsuan Wu

A Survey of Home Energy Management Systems in Future Smart Grid Communications

I. Khan,N. Javaid,M. N. Ullah,A. Mahmood,M. U. Farooq

Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

Mélanie K？nig,Michel Leclère,Marie-Laure Mugnier,Micha？l Thomazo

Towards a New Science of a Clinical Data Intelligence

Volker Tresp,Sonja Zillner,Maria J. Costa,Yi Huang,Alexander Cavallaro,Peter A. Fasching,Andre Reis,Martin Sedlmayr,Thomas Ganslandt,Klemens Budde,Carl Hinrichs,Danilo Schmidt,Philipp Daumke,Daniel Sonntag,Thomas Wittenberg,Patricia G. Oppelt,Denis Krompass

Replica Exchange using q-Gaussian Swarm Quantum Particle Intelligence Method

Hiqmet Kamberaj

A Visibility Graph Averaging Aggregation Operator

Shiyu Chen,Yong Hu,Sankaran Mahadevan,Yong Deng