首页
OALib 期刊
快速投稿通道
我的图书馆
常见问题
关于我们
关注我们+
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
LinkedIn (OALib Group)
LinkedIn (OALib Company Page)
Facebook
Twitter
全部
标题
作者
关键词
摘要
OALib Journal期刊
ISSN: 2333-9721
费用:99美元
投递稿件
为什么选择我们?
>>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎
Computer Science
ISSN Print:
ISSN Online:
主页:
http://arxiv.org/corr
分享:
Go
An improved energy argument for the Hegselmann-Krause model
Anders Martinsson
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
Chandrakana Nandi
,
Aurelien Monot
,
Manuel Oriol
Open-Source Software Implications in the Competitive Mobile Platforms Market
Salman Mian
,
Jose Teixeira
,
Eija Koskivaara
Approximation of non-boolean 2CSP
Guy Kindler
,
Alexandra Kolla
,
Luca Trevisan
Parallel degree computation for solution space of binomial systems with an application to the master space of $\mathcal{N}=1$ gauge theories
Tianran Chen
,
Dhagash Mehta
A conjecture about the efficiency of first price mechanisms
Endre Csóka
Listening to features
Manuel Moussallam
,
Antoine Liutkus
,
Laurent Daudet
Data-Discriminants of Likelihood Equations
Jose Israel Rodriguez
,
Xiaoxian Tang
Accelerated Approximation of the Complex Roots and Factors of a Univariate Polynomial
Victor Y. Pan
,
Elias P. Tsigaridas
Subtropical Real Root Finding
Thomas Sturm
The complexity of computation in bit streams
Raphael Clifford
,
Markus Jalsenius
,
Benjamin Sach
Improving the use of equational constraints in cylindrical algebraic decomposition
Matthew England
,
Russell Bradford
,
James H. Davenport
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
Shaoshi Chen
,
Hui Huang
,
Manuel Kauers
,
Ziming Li
The matching problem has no small symmetric SDP
Gábor Braun
,
Jonah Brown-Cohen
,
Arefin Huq
,
Sebastian Pokutta
,
Prasad Raghavendra
,
Aurko Roy
,
Benjamin Weitz
,
Daniel Zink
Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives
Lorenzo Clemente
,
Jean-Fran?ois Raskin
Parallel Identity Testing for Skew Circuits with Big Powers and Applications
Daniel K?nig
,
Markus Lohrey
Toward Fully Coordinated Multi-level Multi-carrier Energy Efficient Networks
Piotr Wiecek
,
Majed Haddad
,
Oussama Habachi
,
Yezekael Hayel
Uniform Random Number Generation from Markov Chains: Non-Asymptotic and Asymptotic Analyses
Masahito Hayashi
,
Shun Watanabe
State of the art parallel approaches for RSA public key based cryptosystem
Sapna Saxena
,
Bhanu Kapoor
New Method for Public Key Distribution Based on Social Networks
Krzysztof Podlaski
,
Artur H?oba?
,
Piotr Milczarski
Bayesian Incentive-Compatible Bandit Exploration
Yishay Mansour
,
Aleksandrs Slivkins
,
Vasilis Syrgkanis
Facility location with double-peaked preference
Aris Filos-Ratsikas
,
Minming Li
,
Jie Zhang
,
Qiang Zhang
An Empirical Study of Finding Approximate Equilibria in Bimatrix Games
John Fearnley
,
Tobenna Peter Igwe
,
Rahul Savani
Constructing elastic distinguishability metrics for location privacy
Konstantinos Chatzikokolakis
,
Catuscia Palamidessi
,
Marco Stronati
Optimal Scanning Bandwidth Strategy Incorporating Uncertainty about Adversary's Characteristics
Andrey Garnaev
,
Wade Trappe
On the Greedy Algorithm for Combinatorial Auctions with a Random Order
Shahar Dobzinski
,
Ami Mor
Database-assisted Spectrum Access in Dynamic Networks: A Distributed Learning Solution
Yuhua Xu
,
Yitao Xu
,
Alagan Anpalagan
Coalition Games on Interaction Graphs: A Horticultural Perspective
Nicolas Bousquet
,
Zhentao Li
,
Adrian Vetta
Consistent Probabilistic Social Choice
Florian Brandl
,
Felix Brandt
,
Hans Georg Seedig
Safe Neighborhood Computation for Hybrid System Verification
Yi Deng
,
Agung Julius
Cryptanalysis of some protocols using matrices over group rings
Mohammad Eftekhari
Efficient Web-Based SCADA System
Hosny A. Abbas
Games Without Frontiers: Investigating Video Games as a Covert Channel
Bridger Hahn
,
Rishab Nithyanand
,
Phillipa Gill
,
Rob Johnson
Input Synthesis for Sampled Data Systems by Program Logic
Takumi Akazaki
,
Ichiro Hasuo
,
Kohei Suenaga
Fast Phase Retrieval from Local Correlation Measurements
Mark Iwen
,
Aditya Viswanathan
,
Yang Wang
Comparing Decision Support Approaches for Cyber Security Investment
Andrew Fielder
,
Emmanouil Panaousis
,
Pasquale Malacaria
,
Chris Hankin
,
Fabrizio Smeraldi
List Colouring Big Graphs On-Line
Martin Derka
,
Alejandro López-Ortiz
,
Daniela Maftuleac
Incentive Design and Market Evolution of Mobile User-Provided Networks
Mohammad Mahdi Khalili
,
Lin Gao
,
Jianwei Huang
,
Babak Hossein Khalaj
Load-aware Dynamic Spectrum Access for Small Cell Networks: A Graphical Game Approach
Yuhua Xu
,
Chenggui Wang
,
Junhong Chen
,
Jinlong Wang
,
Yitao Xu
,
Qihui Wu
,
Alagan Anpalagan
Geometry-based Estimation of Stability Region for A Class of Structure Preserving Power Grids
Thanh Long Vu
,
Konstantin Turitsyn
Improved Adaptive Sparse Channel Estimation Using Re-Weighted L1-norm Normalized Least Mean Fourth Algorithm
Chen Ye
,
Guan Gui
,
Li Xu
,
Nobuhiro Shimoi
Variance Analysis of Linear SIMO Models with Spatially Correlated Noise
Niklas Everitt
,
Giulio Bottegal
,
Cristian R. Rojas
,
H?kan Hjalmarsson
Design and simulation of a hybrid controller for a multi-input multi-output magnetic suspension system
Sherif M. Abuelenin
Semi-Active Control of the Sway Dynamics for Elevator Ropes
Mouhacine Benosman
Efficient Sensor Fault Detection Using Group Testing
Chun Lo
,
Yechao Bai
,
Mingyan Liu
,
Jerome P. Lynch
An Improved Stability Condition for Kalman Filtering with Bounded Markovian Packet Losses
Junfeng Wu
,
Ling Shi
,
Lihua Xie
,
Karl Henrik Johansson
A High-Gain Nonlinear Observer with Limited Gain Power
Daniele Astolfi
,
Lorenzo Marconi
Smelling out Code Clones: Clone Detection Tool Evaluation and Corresponding Challenges
Rachel Gauci
Graph Isomorphism, Color Refinement, and Compactness
V. Arvind
,
Johannes K?bler
,
Gaurav Rattan
,
Oleg Verbitsky
Quadratic Conditional Lower Bounds for String Problems and Dynamic Time Warping
Karl Bringmann
,
Marvin Künnemann
Go