Computer Science

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

Characterizing Internet Video for Large-scale Active Measurements

Saba Ahsan,Varun Singh,J？rg Ott

A monolithic multi-time-step computational framework for first-order transient systems with disparate scales

S. Karimi,K. B. Nakshatrala

A Measurement Framework for Directed Networks

Mostafa Salehi,Hamid R. Rabiee

Compliance for reversible client/server interactions

Franco Barbanera,Mariangiola Dezani-Ciancaglini,Ugo de' Liguoro

Influence Spread in Social Networks: A Study via a Fluid Limit of the Linear Threshold Model

Srinivasan Venkatramanan,Anurag Kumar

The Fixpoint-Iteration Algorithm for Parity Games

Florian Bruse,Michael Falk,Martin Lange

Role Discovery in Networks

Ryan A. Rossi,Nesreen K. Ahmed

Analyzing complex networks through correlations in centrality measurements

José Ricardo Furlan Ronqui,Gonzalo Travieso

Bug Hunting By Computing Range Reduction

Eugene Goldberg,Panagiotis Manolios

Computing necessary integrability conditions for planar parametrized homogeneous potentials

Alin Bostan,Thierry Combot,Safey El Din Mohab

Monoids with tests and the algebra of possibly non-halting programs

Marcel Jackson,Tim Stokes

Diferenciación Automática Anidada. Un enfoque algebraico

Juan Luis Valerdi

Parametric Linear Dynamic Logic

Peter Faymonville,Martin Zimmermann

Geometric involutive bases for positive dimensional polynomial ideals and SDP methods

Greg Reid,Fei Wang,Wenyuan Wu

Random strings and tt-degrees of Turing complete C.E. sets

Mingzhong Cai,Rodney G Downey,Rachel Epstein,Steffen Lempp,Joseph Miller

Fast K？tter-Nielsen-H？holdt Interpolation in the Guruswami-Sudan Algorithm

Johan S. R. Nielsen

A correspondence between rooted planar maps and normal planar lambda terms

Noam Zeilberger,Alain Giorgetti

Stream processing components: Isabelle/HOL formalisation and case studies

Maria Spichkova

The Logic of Approximate Dependence

Jouko V？？n？nen

Autotuning and Self-Adaptability in Concurrency Libraries

Thomas Karcher,Christopher Guckes,Walter F. Tichy

Developments in Formal Proofs

Thomas C. Hales

Semantic Support for Log Analysis of Safety-Critical Embedded Systems

Alessio Venticinque,Nicola Mazzocca,Salvatore Venticinque,Massimo Ficco

Indigenization of Urban Mobility

Zimo Yang,Nicholas Jing Yuan,Xing Xie,Defu Lian,Yong Rui,Tao Zhou

Proceedings Third International Workshop on Engineering Safety and Security Systems

Jun Pang,Yang Liu

Configuration in ERP SaaS Multi-Tenancy

Djamal Ziani

Team Semantics and Recursive Enumerability

Antti Kuusisto

Simplification of Training Data for Cross-Project Defect Prediction

Peng He,Bing Li,Deguang Zhang,Yutao Ma

Learning modular structures from network data and node variables

Elham Azizi,James E. Galagan,Edoardo M. Airoldi

An Abstract Formal Basis for Digital Crowds

Marija Slavkovik,Louise A. Dennis,Michael Fisher

Structure and modeling of the network of two-Chinese-character compound words in the Japanese language

Ken Yamamoto,Yoshihiro Yamazaki

Computing consensus: A logic for reasoning about deliberative processes based on argumentation

Truls Pedersen,Sjur Dyrkolbotn

Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity & Soft-thresholding Algorithm

Hadi Daneshmand,Manuel Gomez-Rodriguez,Le Song,Bernhard Schoelkopf

News-Based Group Modeling and Forecasting

Wenbin Zhang,Steven Skiena

A fast algorithm for computing the characteristic polynomial of the p-curvature

Alin Bostan,Xavier Caruso,éric Schost

Verification of Linear Optical Quantum Computing using Quantum Process Calculus

Sonja Franke-Arnold,Simon J. Gay,Ittoop Vergheese Puthoor

Competing spreading processes on multiplex networks: awareness and epidemics

Clara Granell,Sergio Gomez,Alex Arenas

Cylindrical Algebraic Decomposition Using Local Projections

Adam Strzebonski

Numerical Hilbert functions for Macaulay2

Robert Krone

On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method

Zhenyu Huang,Yao Sun,Dongdai Lin

Una metodología para realizar Diferenciación Automática Anidada

Juan Luis Valerdi,Fernando Raul Rodriguez

Using sociometers to quantify social interaction patterns

Jukka-Pekka Onnela,Benjamin N. Waber,Alex,Pentland,Sebastian Schnorf,David Lazer

Formulating problems for real algebraic geometry

Matthew England

Transmission of cultural traits in layered ego-centric networks

Vasyl Palchykov,Kimmo Kaski,Janos Kertész

Move ordering and communities in complex networks describing the game of go

V. Kandiah,B. Georgeot,O. Giraud

Revisit Behavior in Social Media: The Phoenix-R Model and Discoveries

Flavio Figueiredo,Jussara M. Almeida,Yasuko Matsubara,Bruno Ribeiro,Christos Faloutsos

How Community Feedback Shapes User Behavior

Justin Cheng,Cristian Danescu-Niculescu-Mizil,Jure Leskovec

It Doesn't Break Just on Twitter. Characterizing Facebook content During Real World Events

Prateek Dewan,Ponnurangam Kumaraguru

@I to @Me: An Anatomy of Username Changing Behavior on Twitter

Paridhi Jain,Ponnurangam Kumaraguru

Networks of Military Alliances, Wars, and International Trade

Matthew O. Jackson,Stephen M. Nei

Blockmodeling of multilevel networks

Ale？？iberna