Computer Science

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

On the Statistical Characterization of Flows in Internet Traffic with Application to Sampling

Yousra Chabchoub,Christine Fricker,Fabrice Guillemin,Philippe Robert

Simulation and Performance Analysis of MP-OLSR for Mobile Ad hoc Networks

Jiazi Yi,Eddy Cizeron,Salima Hamma,Beno？t Parrein

A Multipath Energy-Aware On demand Source Routing Protocol for Mobile Ad-Hoc Networks

Saloua Chettibi,M. Benmohamed

Workflow Patterns in Process Modeling

Alexandra Fortis,Florin Fortis

A distributed editing environment for XML documents

Claude Pasquier,Laurent Théry

A formal calculus on the Riordan near algebra

Laurent Poinsot,Gérard Duchamp

Considerations on Resource Usage in Exceptions and Failures in Workflows

Alexandra Fortis,Alexandru Cicortas,Victoria Iordan

Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra

J. Blümlein,M. Kauers,S. Klein,C. Schneider

Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements

Ivan Jureta,John Mylopoulos,Stephane Faulkner

Towards a Statistical Methodology to Evaluate Program Speedups and their Optimisation Techniques

Sid Touati

Creating modular and reusable DSL textual syntax definitions with Grammatic/ANTLR

Andrey Breslav

Lectures on Jacques Herbrand as a Logician

Claus-Peter Wirth,Joerg Siekmann,Christoph Benzmueller,Serge Autexier

Hilbert's epsilon as an Operator of Indefinite Committed Choice

Claus-Peter Wirth

AxialGen: A Research Prototype for Automatically Generating the Axial Map

Bin Jiang,Xintao Liu

The Complexity of Datalog on Linear Orders

Martin Grohe,Goetz Schwandtner

Languages recognized by nondeterministic quantum finite automata

Abuzer Yakaryilmaz,A. C. Cem Say

Linear Time Split Decomposition Revisited

Pierre Charbit,Fabien de Montgolfier,Mathieu Raffinot

An Exact Algorithm for the Stratification Problem with Proportional Allocation

Jose Brito,Mauricio Lila,Flavio Montenegro,Nelson Maculan

Optimal cache-aware suffix selection

Gianni Franceschini,Roberto Grossi,S. Muthukrishnan

Electronical Health Record's Systems. Interoperability

Simona Angela Apostol,Cosmin Catu,Corina Vernic

Statistical Inference of Functional Connectivity in Neuronal Networks using Frequent Episodes

Casey Diekman,Kohinoor Dasgupta,Vijay Nair,P. S. Sastry,K. P. Unnikrishnan

Local Multicoloring Algorithms: Computing a Nearly-Optimal TDMA Schedule in Constant Time

Fabian Kuhn

Correlation Robust Stochastic Optimization

Shipra Agrawal,Yichuan Ding,Amin Saberi,Yinyu Ye

Package upgrades in FOSS distributions: details and challenges

Roberto Di Cosmo,Stefano Zacchiroli,Paulo Trezentos

The Multi-Branched Method of Moments for Queueing Networks

Giuliano Casale

On Why and What of Randomness

Soubhik Chakraborty

Genetic algorithm based optimization and post optimality analysis of multi-pass face milling

Sourabh Saha

Error-Correcting Tournaments

Alina Beygelzimer,John Langford,Pradeep Ravikumar

Domain Adaptation: Learning Bounds and Algorithms

Yishay Mansour,Mehryar Mohri,Afshin Rostamizadeh

Optimal design and optimal control of structures undergoing finite rotations and elastic deformations

A. Ibrahimbegovic,C. Knopf-Lenoir,A. Kucerova,P. Villon

A competitive comparison of different types of evolutionary algorithms

O. Hrstka,A. Kucerova,M. Leps,J. Zeman

Back analysis of microplane model parameters using soft computing methods

A. Kucerova,M. Leps,J. Zeman

The Semantics of Kalah Game

Kaninda Musumbu

Ptarithmetic

Giorgi Japaridze

Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?

Claus-Peter Wirth

Writing Positive/Negative-Conditional Equations Conveniently

Claus-Peter Wirth,Ruediger Lunde

Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus

Régis Alenda,Nicola Olivetti,Camilla Schwind

Improvements of real coded genetic algorithms based on differential operators preventing premature convergence

O. Hrstka,A. Kucerova

A Unified Algorithm for Accelerating Edit-Distance Computation via Text-Compression

Danny Hermelin,Gad M. Landau,Shir Landau,Oren Weimann

A Dichotomy Theorem for Polynomial Evaluation

Irénée Briquel,Pascal Koiran

Asymptotically Optimal Lower Bounds on the NIH-Multi-Party Information

André Gronemeier

The One-Way Communication Complexity of Group Membership

Scott Aaronson,Fran？ois Le Gall,Alexander Russell,Seiichiro Tani

Non-monotone submodular maximization under matroid and knapsack constraints

Jon Lee,Vahab Mirrokni,Viswanath Nagarjan,Maxim Sviridenko

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games

Michael Ummels,Dominik Wojtczak

Probabilistic Matching of Planar Regions

Helmut Alt,Ludmila Scharf,Daria Schymura

On the Average Complexity of Moore's State Minimization Algorithm

Frédérique Bassino,Julien David,Cyril Nicaud

On the complexity of Nash dynamics and Sink Equilibria

Vahab Mirrokni,Alexander Skopalik

A Time Lower Bound for Multiple Nucleation on a Surface

Aaron Sterling

Inseparability and Strong Hypotheses for Disjoint NP Pairs

Lance Fortnow,Jack H. Lutz,Elvira Mayordomo

Pseudorandom Generators Against Advised Context-Free Languages

Tomoyuki Yamakami