Computer Science - oalib

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Computer Science

ISSN Print:

ISSN Online:

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

分享:

Extending Büchi Automata with Constraints on Data Values

Ahmet Kara,Tony Tan

Probabilistic Dynamic Logic of Phenomena and Cognition

Evgenii Vityaev,Boris Kovalerchuk,Leonid Perlovsky,Stanislav Smerdov

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

Stéphane Jean Eric Lengrand,Roy Dyckhoff,James McKinna

A Decidable Timeout based Extension of Propositional Linear Temporal Logic

Janardan Misra,Suman Roy

A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode

Mads Dam,Andreas Lundblad

The degree structure of Weihrauch-reducibility

Kojiro Higuchi,Arno Pauly

Exact Schedulability Test for global-EDF Scheduling of Periodic Hard Real-Time Tasks on Identical Multiprocessors

Jo？l Goossens,Patrick Meumeu Yomsi

Flow graphs: interweaving dynamics and structure

R. Lambiotte,R. Sinatra,J. -C. Delvenne,T. S. Evans,M. Barahona,V. Latora

Coarse Graining for Synchronization in Directed Networks

An Zeng,Linyuan Lu

The model of the ideal rotary element of Morita

Serban E. Vlad

Software Oriented Data Monitoring System

Phani Nandan K,Pavan Kumar K

The dependence on the initial states and the transitivity of the regular autonomous asynchronous systems

Serban E. Vlad

Integration of Communication Analysis and the OO Method: Manual derivation of the Conceptual Model. The SuperStationery Co. lab demo

Sergio Espa？a,Arturo González,óscar Pastor,Marcela Ruiz

Computing Differential Equations for Integrals Associated to Smooth Fano Polytopes

Hiromasa Nakayama,Nobuki Takayama

Collaborative Knowledge Creation and Management in Information Retrieval

Victor Odumuyiwa,David Amos

A robust ranking algorithm to spamming

Yanbo Zhou,Ting Lei,Tao Zhou

The Local Emergence and Global Diffusion of Research Technologies: An Exploration of Patterns of Network Formation

Loet Leydesdorff,Ismael Rafols

A Practical Localization Algorithm Based on Wireless Sensor Networks

Tao Huang,Zhikui Chen,Feng Xia,Cheng Jin,Liang Li

Fast Histograms using Adaptive CUDA Streams

Sisir Koppaka,Dheevatsa Mudigere,Srihari Narasimhan,Babu Narayanan

On Three Alternative Characterizations of Combined Traces

Dai Tri Man Le

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

Jos C. M. Baeten,Bas Luttik,Tim Muller,Paul van Tilburg

Negative emotions boost users activity at BBC Forum

Anna Chmiel,Pawel Sobkowicz,Julian Sienkiewicz,Georgios Paltoglou,Kevan Buckley,Mike Thelwall,Janusz A. Holyst

Transformation of Wiktionary entry structure into tables and relations in a relational database schema

A. A. Krizhanovsky

Optimizing On-Line Advertising

Fabrizio Caruso,Giovanni Giuffrida

Efficient Triangle Counting in Large Graphs via Degree-based Vertex Partitioning

Mihail N. Kolountzakis,Gary L. Miller,Richard Peng,Charalampos E. Tsourakakis

Energy Efficient Clustering and Routing in Mobile Wireless Sensor Network

Getsy S. Sara,Kalaiarasi. R,Neelavathy Pari. S,Sridharan . D

Delay-Based Back-Pressure Scheduling in Multihop Wireless Networks

Bo Ji,Changhee Joo,Ness B. Shroff

Distributed Construction of the Critical Geometric Graph in Dense Wireless Sensor Networks

Srivathsa Acharya,Anurag Kumar,Vijay Dewangan,Navneet Sankara,Malati Hegde,S. V. R. Anand

Cyber-Physical Control over Wireless Sensor and Actuator Networks with Packet Loss

Feng Xia,Xiangjie Kong,Zhenzhen Xu

Reducing the Number of Annotations in a Verification-oriented Imperative Language

Guido de Caso,Diego Garbervetsky,Daniel Gorín

Performance Analysis of Contention Window Cheating Misbehaviors in Mobile Ad Hoc Networks

R. Kalaiarasi,Getsy S. Sara,S. Neelavathy Pari,D. Sridharan

Hypo-Steiner heuristic for multicast routing in all-optical WDM mesh networks

Fen Zhou,Miklos Molnar,Bernard Cousin

Community Detection in Networks: The Leader-Follower Algorithm

Devavrat Shah,Tauhid Zaman

Level Shifter Design for Low Power Applications

Manoj Kumar,Sandeep K. Arya,Sujata Pandey

Just-In-Time compilation of OCaml byte-code

Benedikt Meurer

A framework to experiment optimizations for real-time and embedded software

Hugues Cassé,Karine Heydemann,Haluk Ozaktas,Jonathan Ponroy,Christine Rochange,Olivier Zendra

On the Inverse Of General Cyclic Heptadiagonal and Anti-Heptadiagonal Matrices

A. A. Karawia

SICStus Prolog -- the first 25 years

Mats Carlsson,Per Mildner

Continuation-Passing C: compiling threads to events through continuations

Gabriel Kerneis,Juliusz Chroboczek

Using Model-based Overlapping Seed Expansion to detect highly overlapping community structure

Aaron F. McDaid,Neil J. Hurley

Contact processes and moment closure on adaptive networks

Anne-Ly Do,Thilo Gross

On Theorem 2.3 in "Prediction, Learning, and Games" by Cesa-Bianchi and Lugosi

Alexey Chernov

The Sample Complexity of Dictionary Learning

Daniel Vainsencher,Shie Mannor,Alfred M. Bruckstein

Regularized Risk Minimization by Nesterov's Accelerated Gradient Methods: Algorithmic Extensions and Empirical Studies

Xinhua Zhang,Ankan Saha,S. V. N. Vishwanathan

Online Importance Weight Aware Updates

Nikos Karampatziakis,John Langford

Compensating Interpolation Distortion by New Optimized Modular Method

Ali Ayremlou,Mohammad Tofighi,Farokh Marvasti

Static and Expanding Grid Coverage with Ant Robots : Complexity Results

Yaniv Altshuler,Alfred Bruckstein

Linear lambda Calculus with Explicit Substitutions as Proof-Search in Deep Inference

Luca Roversi

Decision Problems for Petri Nets with Names

Fernando Rosa-Velardo,David de Frutos-Escrig

Domain Decomposition method on GPU cluster

Yusuke Osaki,Ken-Ichi Ishikawa

©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705