Computer Science

Authors and titles for March 2017

[1] arXiv:1703.00008 [pdf, other]

Title: Reduced Order Optimal Control of the Convective FitzHugh-Nagumo Equation

Bülent Karasözen, Murat Uzunca, Tuğba Küçükseyhan

Journal-ref: Computers and Mathematics with Applications, 79, 982-995 (2020)

Subjects: Numerical Analysis (math.NA)

[2] arXiv:1703.00009 [pdf, other]

Title: Nonlinear Model and its Inverse of an Audio System

Alessandro Loriga

Comments: 113 pages, master thesis

Subjects: Sound (cs.SD)

[3] arXiv:1703.00031 [pdf, other]

Title: MPC Validation and Aggregation of Unit Vectors

Dylan Gray, Joshua Joy, Mario Gerla

Subjects: Cryptography and Security (cs.CR)

[4] arXiv:1703.00034 [pdf, other]

Title: Weighted Random Walk Sampling for Multi-Relational Recommendation

Fatemeh Vahedian, Robin Burke, Bamshad Mobasher

Subjects: Information Retrieval (cs.IR); Social and Information Networks (cs.SI)

[5] arXiv:1703.00035 [pdf, other]

Title: Context-Sensitive Super-Resolution for Fast Fetal Magnetic Resonance Imaging

Steven McDonagh, Benjamin Hou, Konstantinos Kamnitsas, Ozan Oktay, Amir Alansary, Mary Rutherford, Jo V. Hajnal, Bernhard Kainz

Comments: 11 pages, 6 figures, published in Proc MICCAI RAMBO'17 this https URL

Journal-ref: Springer LNCS 10555 2017

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[6] arXiv:1703.00042 [pdf, other]

Title: Reproducible experiments on dynamic resource allocation in cloud data centers

Andreas Wolke, Martin Bichler, Fernando Chirigati, Victoria Steeves

Journal-ref: Information Systems, Volume 59, July 2016, Pages 98-101, ISSN 0306-4379

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[7] arXiv:1703.00043 [pdf, other]

Title: Tree tribes and lower bounds for switching lemmas

Jenish C. Mehta

Subjects: Computational Complexity (cs.CC)

[8] arXiv:1703.00045 [pdf, other]

Title: Aggregated knowledge from a small number of debates outperforms the wisdom of large crowds

Joaquin Navajas, Tamara Niella, Gerry Garbulsky, Bahador Bahrami, Mariano Sigman

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[9] arXiv:1703.00048 [pdf, other]

Title: Provably Optimal Algorithms for Generalized Linear Contextual Bandits

Lihong Li, Yu Lu, Dengyong Zhou

Comments: Published at ICML 2017

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[10] arXiv:1703.00050 [pdf, other]

Title: SceneSeer: 3D Scene Design with Natural Language

Angel X. Chang, Mihail Eric, Manolis Savva, Christopher D. Manning

Subjects: Graphics (cs.GR); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC)

[11] arXiv:1703.00053 [pdf, other]

Title: Verified Low-Level Programming Embedded in F*

Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy

Comments: extended version of ICFP final camera ready version; only Acknowledgements differ from 30 Aug 2017 version

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[12] arXiv:1703.00055 [pdf, other]

Title: A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations

Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin

Comments: CPP'18 extended version with the missing ERC acknowledgement

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[13] arXiv:1703.00060 [pdf, other]

Title: Achieving non-discrimination in prediction

Lu Zhang (1), Yongkai Wu (1), Xintao Wu (1) ((1) University of Arkansas)

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[14] arXiv:1703.00061 [pdf, other]

Title: SceneSuggest: Context-driven 3D Scene Design

Manolis Savva, Angel X. Chang, Maneesh Agrawala

Subjects: Graphics (cs.GR); Human-Computer Interaction (cs.HC)

[15] arXiv:1703.00064 [pdf, other]

Title: Ending the Anomaly: Achieving Low Latency and Airtime Fairness in WiFi

Toke Høiland-Jørgensen, Michał Kazior, Dave Täht, Per Hurtig, Anna Brunstrom

Subjects: Networking and Internet Architecture (cs.NI)

[16] arXiv:1703.00066 [pdf, other]

Title: On the Power of Learning from $k$-Wise Queries

Vitaly Feldman, Badih Ghazi

Comments: 32 pages, Appeared in Innovations in Theoretical Computer Science (ITCS) 2017

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS)

[17] arXiv:1703.00069 [pdf, other]

Title: Deep Image Harmonization

Yi-Hsuan Tsai, Xiaohui Shen, Zhe Lin, Kalyan Sunkavalli, Xin Lu, Ming-Hsuan Yang

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[18] arXiv:1703.00073 [pdf, other]

Title: Physically unclonable function using initial waveform of ring oscillators on 65 nm CMOS technology

Tetsufumi Tanamoto, Satoshi Takaya, Nobuaki Sakamoto, Hirotsugu Kasho, Shinichi Yasuda, Takao Marukame, Shinobu Fujita, Yuichiro Mitani

Comments: 5 pages, 9 figures

Journal-ref: Jpn. J. Appl. Phys. 56, 04CF13 (2017)

Subjects: Cryptography and Security (cs.CR); Hardware Architecture (cs.AR)

[19] arXiv:1703.00075 [pdf, other]

Title: Discrete Wavelet Transform Based Algorithm for Recognition of QRS Complexes

Rachid Haddadi, Elhassane Abdelmounim, Mustapha El Hanine, Abdelaziz Belaguid

Journal-ref: World of Computer Science and Information Technology Journal (WCSIT) ; ISSN: 2221-0741; Vol. 4, No. 9, 127-132, 2014

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[20] arXiv:1703.00079 [pdf, other]

Title: Fault Tolerant Thermal Control of Steam Turbine Shell Deflections

Mert Geveci

Comments: Six pages, nine figures, and one table

Subjects: Systems and Control (eess.SY)

[21] arXiv:1703.00080 [pdf, other]

Title: Efficient Computation of Subspace Skyline over Categorical Domains

Md Farhadur Rahman, Abolfazl Asudeh, Nick Koudas, Gautam Das

Subjects: Databases (cs.DB)

[22] arXiv:1703.00083 [pdf, other]

Title: Distributed Frequency Control with Operational Constraints, Part II: Network Power Balance

Zhaojian Wang, Feng Liu, Steven H. Low, Changhong Zhao, Shengwei Mei

Subjects: Systems and Control (eess.SY)

[23] arXiv:1703.00084 [pdf, other]

Title: Multi-Sensor Data Pattern Recognition for Multi-Target Localization: A Machine Learning Approach

Kasthurirengan Suresh, Samuel Silva, Johnathan Votion, Yongcan Cao

Comments: submitted for conference publication

Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Machine Learning (stat.ML)

[24] arXiv:1703.00087 [pdf, other]

Title: Supervised Saliency Map Driven Segmentation of the Lesions in Dermoscopic Images

Mostafa Jahanifar, Neda Zamani Tajeddin, Babak Mohammadzadeh Asl, Ali Gooya

Comments: ISIC2017, JBHI

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[25] arXiv:1703.00089 [pdf, other]

Title: A Joint Identification Approach for Argumentative Writing Revisions

Fan Zhang, Diane Litman

Subjects: Computation and Language (cs.CL)

[26] arXiv:1703.00093 [pdf, other]

Title: Accurate gradient computations at interfaces using finite element methods

Fangfang Qin, Zhaohui Wang, Zhijie Ma, Zhilin Li

Subjects: Numerical Analysis (math.NA)

[27] arXiv:1703.00095 [pdf, other]

Title: Active End-Effector Pose Selection for Tactile Object Recognition through Monte Carlo Tree Search

Mabel M. Zhang, Nikolay Atanasov, Kostas Daniilidis

Comments: Accepted to International Conference on Intelligent Robots and Systems (IROS) 2017

Subjects: Robotics (cs.RO)

[28] arXiv:1703.00096 [pdf, other]

Title: Gram-CTC: Automatic Unit Selection and Target Decomposition for Sequence Labelling

Hairong Liu, Zhenyao Zhu, Xiangang Li, Sanjeev Satheesh

Comments: Published at ICML 2017

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)

[29] arXiv:1703.00097 [pdf, other]

Title: Stability of Stationary Inverse Transport Equation in Diffusion Scaling

Ke Chen, Qin Li, Li Wang

Subjects: Numerical Analysis (math.NA)

[30] arXiv:1703.00099 [pdf, other]

Title: Learning Conversational Systems that Interleave Task and Non-Task Content

Zhou Yu, Alan W Black, Alexander I. Rudnicky

Comments: Dialog Systems, Reinforcement Learning

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[31] arXiv:1703.00104 [pdf, other]

Title: Joint Beamforming and Antenna Selection for Sum Rate Maximization in Cognitive Radio Networks

Van-Dinh Nguyen (Student Member, IEEE), Chuyen T. Nguyen, Hieu V. Nguyen, Oh-Soon Shin (Member, IEEE)

Comments: 4 pages, 3 figures

Subjects: Information Theory (cs.IT)

[32] arXiv:1703.00112 [pdf, other]

Title: Minimum Enclosing Circle of a Set of Static Points with Dynamic Weight from One Free Point

Lei Qiu, Yu Zhang, Li Zhang

Comments: 14 pages, 8 figures

Subjects: Computational Geometry (cs.CG)

[33] arXiv:1703.00119 [pdf, other]

Title: Dual Iterative Hard Thresholding: From Non-convex Sparse Minimization to Non-smooth Concave Maximization

Bo Liu, Xiao-Tong Yuan, Lezi Wang, Qingshan Liu, Dimitris N. Metaxas

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[34] arXiv:1703.00120 [pdf, other]

Title: Capturing Distribution Grid-Integrated Solar Variability and Uncertainty Using Microgrids

Alireza Majzoobi, Amin Khodaei, Shay Bahramirad

Comments: IEEE Power and Energy Society General Meeting, 2017

Subjects: Systems and Control (eess.SY)

[35] arXiv:1703.00121 [pdf, other]

Title: Remote Sensing Image Scene Classification: Benchmark and State of the Art

Gong Cheng, Junwei Han, Xiaoqiang Lu

Comments: This manuscript is the accepted version for Proceedings of the IEEE

Journal-ref: Proceedings of the IEEE, 105 (10): 1865-1883, 2017

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[36] arXiv:1703.00122 [pdf, other]

Title: RGB-D Salient Object Detection Based on Discriminative Cross-modal Transfer Learning

Hao Chen, Y.F. Li, Dan Su

Comments: This paper has been rejected by CVPR2017, we plan to withdraw this manuscript for further revision

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[37] arXiv:1703.00123 [pdf, other]

Title: DTNC: A New Server-side Data Cleansing Framework for Cellular Trajectory Services

Jian Dai, Fei He, Wang-Chien Lee, Gang Chen, Beng Chin Ooi

Subjects: Networking and Internet Architecture (cs.NI); Databases (cs.DB)

[38] arXiv:1703.00128 [pdf, other]

Title: $\varepsilon$-dimension in infinite dimensional hyperbolic cross approximation and application to parametric elliptic PDEs

Dinh Dũng, Michael Griebel, Vu Nhat Huy, Christian Rieger

Subjects: Numerical Analysis (math.NA)

[39] arXiv:1703.00132 [pdf, other]

Title: Revisiting Unsupervised Learning for Defect Prediction

Wei Fu, Tim Menzies

Comments: 11 pages, 5 figures. Accepted at FSE2017

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[40] arXiv:1703.00133 [pdf, other]

Title: Easy over Hard: A Case Study on Deep Learning

Wei Fu, Tim Menzies

Comments: 12 pages, 6 figures, accepted at FSE2017

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[41] arXiv:1703.00134 [pdf, other]

Title: Collision Resolution and Interference Elimination in Multiaccess Communication Networks

Naeem Akl, Ahmed Tewfik

Subjects: Networking and Internet Architecture (cs.NI)

[42] arXiv:1703.00135 [pdf, other]

Title: Compressed sensing with sparse corruptions: Fault-tolerant sparse collocation approximations

Ben Adcock, Anyi Bao, John D. Jakeman, Akil Narayan

Comments: 27 pages, 7 figures

Subjects: Numerical Analysis (math.NA)

[43] arXiv:1703.00143 [pdf, other]

Title: Codebook Design for Channel Feedback in Lens-Based Millimeter-Wave Massive MIMO Systems

Wenqian Shen, Linglong Dai, Yang Yang, Yue Li, Zhaocheng Wang

Comments: Submitted to SPL for publication

Subjects: Information Theory (cs.IT)

[44] arXiv:1703.00144 [pdf, other]

Title: Theoretical Properties for Neural Networks with Weight Matrices of Low Displacement Rank

Liang Zhao, Siyu Liao, Yanzhi Wang, Zhe Li, Jian Tang, Victor Pan, Bo Yuan

Comments: 13 pages, 1 figure

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)

[45] arXiv:1703.00147 [pdf, other]

Title: Robust Beamforming for Secrecy Rate in Cooperative Cognitive Radio Multicast Communications

Van-Dinh Nguyen, Trung Q. Duong, Oh-Soon Shin, Arumugam Nallanathan, George K. Karagiannidis

Comments: 6 pages, 4 figures, IEEE ICC 2017

Subjects: Information Theory (cs.IT)

[46] arXiv:1703.00152 [pdf, other]

Title: Saliency Detection by Forward and Backward Cues in Deep-CNNs

Nevrez Imamoglu, Chi Zhang, Wataru Shimoda, Yuming Fang, Boxin Shi

Comments: 5 pages,4 figures,and 1 table. the content of this work is accepted for ICIP 2017

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[47] arXiv:1703.00154 [pdf, other]

Title: Inertial Odometry on Handheld Smartphones

Arno Solin, Santiago Cortes, Esa Rahtu, Juho Kannala

Comments: Appearing in Proceedings of the International Conference on Information Fusion (FUSION 2018)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Applications (stat.AP)

[48] arXiv:1703.00156 [pdf, other]

Title: Superconvergence analysis of linear FEM based on the polynomial preserving recovery and Richardson extrapolation for Helmholtz equation with high wave number

Yu Du, Haijun Wu, Zhimin Zhang

Comments: 25 pages, 16 figures. arXiv admin note: substantial text overlap with arXiv:1612.03386

Subjects: Numerical Analysis (math.NA)

[49] arXiv:1703.00159 [pdf, other]

Title: A Calculus for True Concurrency

Yong Wang

Comments: 31 pages, 1 figures. arXiv admin note: substantial text overlap with arXiv:1611.09035

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1703.00160 [pdf, other]

Title: Saliency Fusion in Eigenvector Space with Multi-Channel Pulse Coupled Neural Network

Nevrez Imamoglu, Zhixuan Wei, Huangjun Shi, Yuki Yoshida, Myagmarbayar Nergui, Jose Gonzalez, Dongyun Gu, Weidong Chen, Kenzo Nonami, Wenwei Yu

Comments: 8 pages, 9 figures, 1 table. This submission includes detailed explanation of partial section (saliency detection) of the work "An Improved Saliency for RGB-D Visual Tracking and Control Strategies for a Bio-monitoring Mobile Robot", Evaluating AAL Systems Through Competitive Benchmarking, Communications in Computer and Information Science, vol. 386, pp.1-12, 2013

Journal-ref: Evaluating AAL Systems Through Competitive Benchmarking, Communications in Computer and Information Science, 2013

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[51] arXiv:1703.00170 [pdf, other]

Title: How long delays impact TCP performance for a connectivity from Reunion Island ?

Réhan Noordally, Xavier Nicolay, Yassine Gangat, Pascal Anelli

Subjects: Networking and Internet Architecture (cs.NI)

[52] arXiv:1703.00177 [pdf, other]

Title: Optical Flow-based 3D Human Motion Estimation from Monocular Video

Thiemo Alldieck, Marc Kassubeck, Marcus Magnor

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[53] arXiv:1703.00178 [pdf, other]

Title: 5G Mobile Cellular Networks: Enabling Distributed State Estimation for Smart Grids

Mirsad Cosovic, Achilleas Tsitsimelis, Dejan Vukobratovic, Javier Matamoros, Carles Anton-Haro

Comments: 8 pages, 6 figures, version of the magazine paper submitted for publication

Subjects: Information Theory (cs.IT)

[54] arXiv:1703.00182 [pdf, other]

Title: Incremental computation of block triangular matrix exponentials with application to option pricing

Daniel Kressner, Robert Luce, Francesco Statti

Subjects: Numerical Analysis (math.NA); Pricing of Securities (q-fin.PR)

[55] arXiv:1703.00185 [pdf, other]

Title: Massively parallel lattice-Boltzmann codes on large GPU clusters

E. Calore, A. Gabbana, J. Kraus, E. Pellegrini, S.F. Schifano, R. Tripiccione

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[56] arXiv:1703.00186 [pdf, other]

Title: Performance and Portability of Accelerated Lattice Boltzmann Applications with OpenACC

E. Calore, A. Gabbana, J. Kraus, S. F. Schifano, R. Tripiccione

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[57] arXiv:1703.00188 [pdf, other]

Title: Lower Bounds on Exponential Moments of the Quadratic Error in Parameter Estimation

Neri Merhav

Comments: 28 pages; 4 figures; submitted for publication

Subjects: Information Theory (cs.IT)

[58] arXiv:1703.00190 [pdf, other]

Title: Video transrating in AVC and HEVC transcoding

Krzysztof Wegner, Tomasz Grajek, Jakub Stankowski, Marek Domanski

Subjects: Multimedia (cs.MM)

[59] arXiv:1703.00191 [pdf, other]

Title: A Comperative Numerical Study Based on Cubic Polynomial and Trigonometric B-splines for the Gardner Equation

Ozlem Ersoy Hepson, Alper Korkmaz, Idiris Dag

Subjects: Numerical Analysis (math.NA)

[60] arXiv:1703.00194 [pdf, other]

Title: Stochastic Functional Gradient for Motion Planning in Continuous Occupancy Maps

Gilad Francis, Lionel Ott, Fabio Ramos

Comments: To appear in the 2017 IEEE International Conference on Robotics and Automation (ICRA)

Subjects: Robotics (cs.RO)

[61] arXiv:1703.00195 [pdf, other]

Title: Two strings at Hamming distance 1 cannot be both quasiperiodic

Amihood Amir, Costas S. Iliopoulos, Jakub Radoszewski

Comments: 6 pages, 3 figures

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)

[62] arXiv:1703.00196 [pdf, other]

Title: Incorporating Intra-Class Variance to Fine-Grained Visual Recognition

Yan Bai, Feng Gao, Yihang Lou, Shiqi Wang, Tiejun Huang, Ling-Yu Duan

Comments: 6 pages, 5 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[63] arXiv:1703.00198 [pdf, other]

Title: Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness

Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, Martin Monperrus

Comments: working paper

Subjects: Software Engineering (cs.SE)

[64] arXiv:1703.00206 [pdf, other]

Title: Scaling Agile Development in Mechatronic Organizations - A Comparative Case Study

Ulrik Eklund, Christian Berger

Comments: International Conference on Software Engineering 2017 - Software Engineering ni Practice track

Subjects: Software Engineering (cs.SE)

[65] arXiv:1703.00207 [pdf, other]

Title: A Quantum-Classical Scheme towards Quantum Functional Encryption

Aditya Ahuja

Comments: 13 pages

Subjects: Cryptography and Security (cs.CR); Quantum Physics (quant-ph)

[66] arXiv:1703.00210 [pdf, other]

Title: Are Erdös- Rényi Random Graphs Topologically Random?

Keith Smith, Javier Escudero

Comments: This paper has been withdrawn by the author due to known results. See B. Bollobas, The Automorphism Group, Chapter 9 of Random Graphs, Cambridge University Press, 2011

Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Physics and Society (physics.soc-ph)

[67] arXiv:1703.00212 [pdf, other]

Title: Two New Contributions to the Visualization of AMR Grids: I. Interactive Rendering of Extreme-Scale 2-Dimensional Grids II. Novel Selection Filters in Arbitrary Dimension

Guénolé Harel, Jacques-Bernard Lekien, Philippe P. Pébaÿ

Comments: Keywords: scientific visualization, interactive visualization, meshing, AMR, mesh refinement, tree-based, octree, VTK, parallel visualization, large scale visualization, HPC, data analysis

Subjects: Graphics (cs.GR)

[68] arXiv:1703.00216 [pdf, other]

Title: Congestion-Aware Distributed Network Selection for Integrated Cellular and Wi-Fi Networks

Man Hon Cheung, Fen Hou, Jianwei Huang, Richard Southwell

Subjects: Networking and Internet Architecture (cs.NI); Computer Science and Game Theory (cs.GT)

[69] arXiv:1703.00227 [pdf, other]

Title: Occupancy Map Building through Bayesian Exploration

Gilad Francis, Lionel Ott, Roman Marchant, Fabio Ramos

Subjects: Robotics (cs.RO)

[70] arXiv:1703.00234 [pdf, other]

Title: Improving Object Detection with Region Similarity Learning

Feng Gao, Yihang Lou, Yan Bai, Shiqi Wang, Tiejun Huang, Ling-Yu Duan

Comments: 6 pages, 5 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[71] arXiv:1703.00235 [pdf, other]

Title: Lagrange-Flux schemes and the entropy property

Florian De Vuyst

Comments: 8 pages, Conference FVCA 8 Lille, France, June 12-16, 2017

Subjects: Numerical Analysis (math.NA)

[72] arXiv:1703.00236 [pdf, other]

Title: Algorithms and Bounds for Very Strong Rainbow Coloring

L. Sunil Chandran, Anita Das, Davis Issac, Erik Jan van Leeuwen

Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[73] arXiv:1703.00237 [pdf, other]

Title: On Completeness Results of Hoare Logic Relative to the Standard Model

Zhaowei Xu, Wenhui Zhang, Yuefei Sui

Subjects: Logic in Computer Science (cs.LO)

[74] arXiv:1703.00240 [pdf, other]

Title: Completeness of Hoare Logic over Nonstandard Models

Zhaowei Xu, Yuefei Sui, Wenhui Zhang

Subjects: Logic in Computer Science (cs.LO)

[75] arXiv:1703.00242 [pdf, other]

Title: Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams

Kamil Khadiev, Aliya Khadieva

Comments: submitted to CSR 2017

Journal-ref: LNCS,volume 10304, pp 162-175, 2017

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[76] arXiv:1703.00247 [pdf, other]

Title: Learning A Physical Long-term Predictor

Sebastien Ehrhardt, Aron Monszpart, Niloy J. Mitra, Andrea Vedaldi

Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)

[77] arXiv:1703.00249 [pdf, other]

Title: Human Eye Visual Hyperacuity: A New Paradigm for Sensing?

Adur Lagunas, Oier Dominguez, Susana Martinez-Conde, Stephen L. Macknik, Carlos del-Rio

Comments: 8 pages,9 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[78] arXiv:1703.00263 [pdf, other]

Title: Quantum Information Set Decoding Algorithms

Ghazal Kachigar, Jean-Pierre Tillich

Comments: 20 pages, 3 figures

Subjects: Cryptography and Security (cs.CR); Quantum Physics (quant-ph)

[79] arXiv:1703.00279 [pdf, other]

Title: Systematic Generation of Algorithms for Iterative Methods

Henrik Barthels

Comments: Master's Thesis

Subjects: Numerical Analysis (math.NA)

[80] arXiv:1703.00291 [pdf, other]

Title: Stochastic Development Regression on Non-Linear Manifolds

Line Kühnel, Stefan Sommer

Subjects: Other Computer Science (cs.OH)

[81] arXiv:1703.00297 [pdf, other]

Title: Group Sparsity Residual Constraint for Image Denoising

Zhiyuan Zha, Xinggan Zhang, Qiong Wang, Lan Tang, Xin Liu

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[82] arXiv:1703.00298 [pdf, other]

Title: Automatic Library Version Identification, an Exploration of Techniques

Thomas Rinsma

Comments: 9 pages, short technical report

Subjects: Cryptography and Security (cs.CR)

[83] arXiv:1703.00302 [pdf, other]

Title: Disturbance-to-State Stabilization and Quantized Control for Linear Hyperbolic Systems

Aneel Tanwani, Christophe Prieur, Sophie Tarbouriech

Comments: Some minor errors in the derivations have been corrected, and the references have been updated

Subjects: Systems and Control (eess.SY); Analysis of PDEs (math.AP)

[84] arXiv:1703.00304 [pdf, other]

Title: Second Screen User Profiling and Multi-level Smart Recommendations in the context of Social TVs

Angelos Valsamis, Alexandros Psychas, Fotis Aisopos, Andreas Menychtas, Theodora Varvarigou

Comments: In: Wu TT., Gennari R., Huang YM., Xie H., Cao Y. (eds) Emerging Technologies for Education. SETE 2016

Journal-ref: Lecture Notes in Computer Science, vol 10108. Springer, Cham, 2017, pp 514-525

Subjects: Multimedia (cs.MM); Information Retrieval (cs.IR)

[85] arXiv:1703.00311 [pdf, other]

Title: Multi-stage Neural Networks with Single-sided Classifiers for False Positive Reduction and its Evaluation using Lung X-ray CT Images

Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama

Comments: arXiv admin note: text overlap with arXiv:1611.07136

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[86] arXiv:1703.00312 [pdf, other]

Title: Perturb-and-MPM: Quantifying Segmentation Uncertainty in Dense Multi-Label CRFs

Raphael Meier, Urspeter Knecht, Alain Jungo, Roland Wiest, Mauricio Reyes

Comments: Deactivated review mode (line spacing)

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[87] arXiv:1703.00317 [pdf, other]

Title: Tracing Linguistic Relations in Winning and Losing Sides of Explicit Opposing Groups

Ceyda Sanli, Anupam Mondal, Erik Cambria

Comments: Full paper, Proceedings of FLAIRS-2017 (30th Florida Artificial Intelligence Research Society), Special Track, Artificial Intelligence for Big Social Data Analysis

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[88] arXiv:1703.00320 [pdf, other]

Title: Investigating the Characteristics of One-Sided Matching Mechanisms Under Various Preferences and Risk Attitudes

Hadi Hosseini, Kate Larson, Robin Cohen

Comments: arXiv admin note: text overlap with arXiv:1503.01488

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[89] arXiv:1703.00321 [pdf, other]

Title: On a third order CWENO boundary treatment with application to networks of hyperbolic conservation laws

Alexander Naumann, Oliver Kolb, Matteo Semplice

Comments: Additional numerical tests and sundry minor changes

Journal-ref: Applied Mathematics and Computation, Volume 325, 2018, Pages 252-270

Subjects: Numerical Analysis (math.NA)

[90] arXiv:1703.00325 [pdf, other]

Title: Cool WENO schemes

Isabella Cravero, Gabriella Puppo, Matteo Semplice, Giuseppe Visconti

Journal-ref: Computers and Fluids 169 (2018) 71--86

Subjects: Numerical Analysis (math.NA)

[91] arXiv:1703.00331 [pdf, other]

Title: Memristor nanodevice for unconventional computing:review and applications

Mahyar Shahsavari (CRIStAL), Pierre Boulet (CRIStAL)

Subjects: Emerging Technologies (cs.ET)

[92] arXiv:1703.00332 [pdf, other]

Title: Design and Analysis of Time-Invariant SC-LDPC Convolutional Codes With Small Constraint Length

Massimo Battaglioni, Alireza Tasdighi, Giovanni Cancellieri, Franco Chiaraluce, Marco Baldi

Comments: 30 pages, 5 figures, accepted for publication in IEEE Transactions on Communications

Subjects: Information Theory (cs.IT)

[93] arXiv:1703.00340 [pdf, other]

Title: Analytical Modeling for Virtualized Network Functions

Jonathan Prados-Garzon, Pablo Ameigeiras, Juan J. Ramos-Munoz, Pilar Andres-Maldonado, Juan M. Lopez-Soler

Comments: 6 pages, 4 figures, conference ICC17-WT01

Subjects: Networking and Internet Architecture (cs.NI)

[94] arXiv:1703.00356 [pdf, other]

Title: Graph-based Isometry Invariant Representation Learning

Renata Khasanova, Pascal Frossard

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[95] arXiv:1703.00366 [pdf, other]

Title: What Does The Crowd Say About You? Evaluating Aggregation-based Location Privacy

Apostolos Pyrgelis, Carmela Troncoso, Emiliano De Cristofaro

Comments: To appear in PETS 2017

Subjects: Cryptography and Security (cs.CR)

[96] arXiv:1703.00369 [pdf, other]

Title: MattockFS; Page-cache and access-control concerns in asynchronous message-based forensic frameworks on the Linux platform

Rob J Meijer

Comments: dissertation, Univ College London, June 2016

Subjects: Cryptography and Security (cs.CR)

[97] arXiv:1703.00372 [pdf, other]

Title: Factoring Odd Integers without Multiplication and Division

Charles Sauerbier

Comments: 6 pages, source code

Subjects: Discrete Mathematics (cs.DM)

[98] arXiv:1703.00374 [pdf, other]

Title: Resource Management in Cloud Computing: Classification and Taxonomy

Swapnil M Parikh, Narendra M Patel, Harshadkumar B Prajapati

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[99] arXiv:1703.00375 [pdf, other]

Title: On Using Micro-Clouds to Deliver the Fog

Yehia Elkhatib, Barry Porter, Heverson B. Ribeiro, Mohamed Faten Zhani, Junaid Qadir, Etienne Riviere

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[100] arXiv:1703.00377 [pdf, other]

Title: Gradient Boosting on Stochastic Data Streams

Hanzhang Hu, Wen Sun, Arun Venkatraman, Martial Hebert, J. Andrew Bagnell

Comments: To appear in AISTATS 2017

Subjects: Machine Learning (cs.LG)