02.17.19 Computer Science papers

02-13-2019	An Empirical Study of Blockchain-based Decentralized Applications by Kaidong Wu
02-13-2019	Counting Answers to Existential Questions by Holger Dell et al
02-13-2019	Multi-Objective Policy Generation for Multi-Robot Systems Using Riemannian Motion Policies by Anqi Li et al
02-13-2019	Predicting Ergonomic Risks During Indoor Object Manipulation Using Spatiotemporal Convolutional Networks by Behnoosh Parsa et al
02-13-2019	Computability logic: Giving Caesar what belongs to Caesar by Giorgi Japaridze
02-13-2019	GrapAL: Querying Semantic Scholars Literature Graph by Christine Betts et al
02-13-2019	An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets by Jules Chouquet et al
02-13-2019	On Lightweight Privacy-Preserving Collaborative Learning for IoT Objects by Linshan Jiang et al
02-12-2019	Program Equivalence for Algebraic Effects via Modalities by Cristina Matache
02-12-2019	A Case for Superconducting Accelerators by Swamit S. Tannu et al
02-15-2019	Dynamic Layer Aggregation for Neural Machine Translation with Routing-by-Agreement by Zi-Yi Dou et al
02-15-2019	Deep Reinforcement Learning Based High-level Driving Behavior Decision-making Model in Heterogeneous Traffic by Zhengwei Bai et al
02-13-2019	New Results on Directed Edge Dominating Set by Rémy Belmonte et al
02-13-2019	Petascale Cloud Supercomputing for Terapixel Visualization of a Digital Twin by Nicolas S. Holliman et al
02-13-2019	A Framework towards Quantifying Human Restorativeness in Virtual Built Environments by Zhengbo Zou et al
02-13-2019	HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification by Luis Garcia et al
02-14-2019	Performance Analysis of Series Elastic Actuator based on Maximum Torque Transmissibility by Chan Lee et al
02-14-2019	Multimodal music information processing and retrieval: survey and future challenges by Federico Simonetta et al
02-14-2019	Dynamical system based obstacle avoidance via manipulating orthogonal coordinates by Weiya Ren
02-12-2019	VIZARD: Reliable Visual Localization for Autonomous Vehicles in Urban Outdoor Environments by Mathias Bürki et al
02-12-2019	Guiding Neuroevolution with Structural Objectives by Kai Olav Ellefsen et al
02-15-2019	Uncertainty Management in Software Projects: A Case Study in a Public Company by Karina Macedo et al
02-12-2019	Cost Analysis of Nondeterministic Probabilistic Programs by Krishnendu Chatterjee et al
02-15-2019	Optimizing the SSD Burst Buffer by Traffic Detection by Xuanhua Shi et al
02-13-2019	A Scalable FPGA-based Architecture for Depth Estimation in SLAM by Konstantinos Boikos et al
02-13-2019	Super-Resolution of Brain MRI Images using Overcomplete Dictionaries and Nonlocal Similarity by Yinghua Li et al
02-15-2019	On the computational models for the analysis of illicit activities by Sarwat Nizamani et al
02-15-2019	Bi-directional Value Learning for Risk-aware Planning Under Uncertainty by Sung-Kyun Kim et al
02-14-2019	Parameterized Fine-Grained Reductions by Elli Anastasiadi et al
02-13-2019	Differentials and distances in probabilistic coherence spaces by Thomas Ehrhard
02-14-2019	Superposition of many models into one by Brian Cheung et al
02-14-2019	GPU Accelerated AES Algorithm by Canhui Wang et al
02-14-2019	Estimating the Circuit Deobfuscating Runtime based on Graph Deep Learning by Zhiqian Chen et al
02-15-2019	Who Watches the Watchmen: Exploring Complaints on the Web by Damilola Ibosiola et al
02-13-2019	Multi-task learning with compressible features for Collaborative Intelligence by Saeed Ranjbar Alvar et al
02-12-2019	A Domain Generalization Perspective on Listwise Context Modeling by Lin Zhu et al
02-12-2019	Extended 2D Volumetric Consensus Hippocampus Segmentation by Diedre Carmo et al
02-13-2019	Spectre is here to stay: An analysis of side-channels and speculative execution by Ross Mcilroy et al
02-13-2019	SaGe: Web Preemption for Public SPARQL Query Services by Thomas Minier et al
02-12-2019	Evaluating Reputation Management Schemes of Internet of Vehicles based on Evolutionary Game Theory by Zhihong Tian et al
02-13-2019	Snapshot Semantics for Temporal Multiset Relations (Extended Version) by Anton Dignös et al
02-15-2019	Crime Analysis using Open Source Information by Sarwat Nizamani et al
02-13-2019	Task-based Augmented Contour Trees with Fibonacci Heaps by Charles Gueunet et al
02-14-2019	Assurance of System Safety: A Survey of Design and Argument Patterns by Mario Gleirscher et al
02-13-2019	Rewriting Abstract Structures: Materialization Explained Categorically by Andrea Corradini et al
02-14-2019	GPU Accelerated Keccak (SHA3) Algorithm by Canhui Wang et al
02-15-2019	Unsupervised shape and motion analysis of 3822 cardiac 4D MRIs of UK Biobank by Qiao Zheng et al
02-13-2019	Concurrent Computing with Shared Replicated Memory by Klaus-Dieter Schewe et al
02-13-2019	Mathematical Notions vs. Human Perception of Fairness: A Descriptive Approach to Fairness for Machine Learning by Megha Srivastava et al
02-15-2019	Descriptive complexity for minimal time of cellular automata by Étienne Grandjean et al
02-13-2019	Self-Supervised Surgical Tool Segmentation using Kinematic Information by Cristian da Costa Rocha et al
02-14-2019	Towards Accurate Force Control of Series Elastic Actuators Exploiting a Robust Transmission Force Observer by Chan Lee et al
02-13-2019	Proximity Queries for Absolutely Continuous Parametric Curves by Arun Lakshmanan et al
02-12-2019	Envy-freeness up to any item with high Nash welfare: The virtue of donating items by Ioannis Caragiannis et al
02-15-2019	A Comparison of Random Task Graph Generation Methods for Scheduling Problems by Louis-Claude Canon et al
02-12-2019	Reading Protocol: Understanding what has been Read in Interactive Information Retrieval Tasks by Daniel Hienert et al
02-12-2019	Performance of All-Pairs Shortest-Paths Solvers with Apache Spark by Frank Schoeneman et al
02-12-2019	Privacy-Utility Trade-off of Linear Regression under Random Projections and Additive Noise by Mehrdad Showkatbakhsh et al
02-13-2019	A Survey on Session-based Recommender Systems by Shoujin Wang et al
02-13-2019	A bistable soft gripper with mechanically embedded sensing and actuation for fast closed-loop grasping by Thomas George Thuruthel et al
02-15-2019	Spectrum: A Framework for Adapting Consensus Protocols by Balaji Arun et al
02-15-2019	Formal Foundations of Serverless Computing by Abhinav Jangda et al
02-12-2019	Towards Self-Supervised High Level Sensor Fusion by Qadeer Khan et al
02-15-2019	Electing a committee with constraints by Egor Ianovski
02-13-2019	Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership by Andreas Krebs et al
02-12-2019	Analysis of Baseline Evolutionary Algorithms for the Packing While Travelling Problem by Vahid Roostapour et al
02-12-2019	Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm by Thomas Gabor et al
02-12-2019	Using Approximate Models in Robot Learning by Ali Lenjani
02-14-2019	Massively Parallel Benders Decomposition for Correlation Clustering by Margret Keuper et al
02-14-2019	Sip4J: Statically inferring permission-based specifications for sequential Java programs by Ayesha Sadiq et al
02-13-2019	Evolutionary Algorithms for the Chance-Constrained Knapsack Problem by Yue Xie et al
02-12-2019	Mesh: Compacting Memory Management for C/C++ Applications by Bobby Powers et al
02-12-2019	Computing the Yolk in Spatial Voting Games without Computing Median Lines by Joachim Gudmundsson et al
02-14-2019	Engineered Self-Organization for Resilient Robot Self-Assembly with Minimal Surprise by Tanja Katharina Kaiser et al
02-13-2019	Delog: A Privacy Preserving Log Filtering Framework for Online Compute Platforms by Amey Agrawal et al
02-13-2019	Vulnerability Prediction Based on Weighted Software Network for Secure Software Building by Shengjun Wei et al
02-13-2019	Explainable Text-Driven Neural Network for Stock Prediction by Linyi Yang et al
02-13-2019	Two-Dimensional Batch Linear Programming on the GPU by John Charlton et al
02-14-2019	Redundant Loads: A Software Inefficiency Indicator by Pengfei Su et al
02-14-2019	Change Actions: Models of Generalised Differentiation by Mario Alvarez-Picallo et al
02-14-2019	We should Stop Claiming Generality in our Domain-Specific Language Papers by Daco Harkes
02-13-2019	Optimization problems with low SWaP tactical Computing by Mee Seong Im et al
02-13-2019	A framework for synchronizing a team of aerial robots in communication-limited environments by J. M. Díaz-Báñez et al
02-14-2019	Phase field modeling of quasi-static and dynamic crack propagation: COMSOL implementation and case studies by Shuwei Zhou et al
02-12-2019	RTbust: Exploiting Temporal Patterns for Botnet Detection on Twitter by Michele Mazza et al
02-12-2019	A characterisation of S-box fitness landscapes in cryptography by Domagoj Jakobovic et al
02-14-2019	Breaking the Spatio-Angular Trade-off for Light Field Super-Resolution via LSTM Modelling on Epipolar Plane Images by Hao Zhu et al
02-14-2019	Strategy-Proof Approximation Algorithms for the Stable Marriage Problem with Ties and Incomplete Lists by Koki Hamada et al
02-14-2019	Can Intelligent Hyperparameter Selection Improve Resistance to Adversarial Examples? by Cody Burkard et al
02-13-2019	3D Robot Pose Estimation from 2D Images by Christoph Heindl et al
02-14-2019	Robotic-assisted Ultrasound for Fetal Imaging: Evolution from Single-arm to Dual-arm System by Shuangyi Wang et al
02-13-2019	Stable-Predictive Optimistic Counterfactual Regret Minimization by Gabriele Farina et al
02-14-2019	Procrastinating with Confidence: Near-Optimal, Anytime, Adaptive Algorithm Configuration by Robert Kleinberg et al
02-13-2019	Fast Parallel Integer Adder in Binary Representation by Duggirala Meher Krishna et al
02-12-2019	Partial and Conditional Expectations in Markov Decision Processes with Integer Weights by Jakob Piribauer et al
02-12-2019	Verification Code Recognition Based on Active and Deep Learning by Dongliang Xu et al
02-12-2019	Evolving Robots on Easy Mode: Towards a Variable Complexity Controller for Quadrupeds by Tønnes Frostad Nygaard et al
02-14-2019	Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version) by Aleksandar S. Dimovski et al
02-14-2019	Competing Bandits: The Perils of Exploration under Competition by Guy Aridor et al
02-14-2019	Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details by Lau Skorstengaard et al
02-13-2019	Enhanced Robot Speech Recognition Using Biomimetic Binaural Sound Source Localization by Jorge et al
02-13-2019	Federated Machine Learning: Concept and Applications by Qiang Yang et al
02-13-2019	Multi-views Embedding for Cattle Re-identification by Luca Bergamini et al
02-13-2019	Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks by R. Bradford et al
02-15-2019	Massively Parallel Path Space Filtering by Nikolaus Binder et al
02-15-2019	Privacy of Existence of Secrets: Introducing Steganographic DCOPs and Revisiting DCOP Frameworks by Viorel D. Silaghi et al
02-12-2019	Coloring in the Links: Capturing Social Ties as They are Perceived by Sebastian Deri et al
02-13-2019	Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic by Werner Damm et al
02-12-2019	Examining Adversarial Learning against Graph-based IoT Malware Detection Systems by Ahmed Abusnaina et al
02-12-2019	TensorSCONE: A Secure TensorFlow Framework using Intel SGX by Roland Kunkel et al
02-14-2019	GeoGAN: A Conditional GAN with Reconstruction and Style Loss to Generate Standard Layer of Maps from Satellite Images by Swetava Ganguli et al
02-15-2019	On Double-Sided QR-Codes by Alexey Tikhonov
02-15-2019	Shepherding Hordes of Markov Chains by MIlan Ceska et al
02-14-2019	Checking Observational Purity of Procedures by Himanshu Arora et al
02-12-2019	Predicting Food Security Outcomes Using Convolutional Neural Networks (CNNs) for Satellite Tasking by Swetava Ganguli et al
02-12-2019	Energy harvesting wireless networks with correlated energy sources by Mehdi Salehi Heydar Abad et al
02-14-2019	Unsupervised Visuomotor Control through Distributional Planning Networks by Tianhe Yu et al
02-14-2019	Learning to Control Self-Assembling Morphologies: A Study of Generalization via Modularity by Deepak Pathak et al
02-12-2019	Cross-Modal Music Retrieval and Applications: An Overview of Key Methodologies by Meinard Müller et al
02-13-2019	Arbitrary Pattern Formation by Asynchronous Opaque Robots by Kaustav Bose et al
02-13-2019	The artist libraries project by Félicie Faizand de Maupeou
02-12-2019	ACTRCE: Augmenting Experience via Teachers Advice For Multi-Goal Reinforcement Learning by Harris Chan et al
02-12-2019	Security-Aware Synthesis Using Delayed-Action Games by Mahmoud Elfar et al
02-14-2019	Distributed Processes and Scalability in Sub-networks of Large-Scale Networks by Abhinav Mishra
02-12-2019	Salus: Fine-Grained GPU Sharing Primitives for Deep Learning Applications by Peifeng Yu et al
02-15-2019	Deep Spiking Neural Network with Spike Count based Learning Rule by Jibin Wu et al
02-15-2019	Network Offloading Policies for Cloud Robotics: a Learning-based Approach by Sandeep Chinchali et al
02-14-2019	The AtLarge Vision on the Design of Distributed Systems and Ecosystems by Alexandru Iosup et al
02-12-2019	Interest-Related Item Similarity Model Based on Multimodal Data for Top-N Recommendation by Junmei Lv et al
02-12-2019	Puppet Dubbing by Ohad Fried et al
02-12-2019	A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version) by Ruggero Lanotte et al
02-12-2019	The Heat is On: Exploring User Behaviour in a Multisensory Virtual Environment for Fire Evacuation by Emily Shaw et al
02-15-2019	Robot Co-design: Beyond the Monotone Case by Luca Carlone et al
02-12-2019	Polynomial Invariant Generation for Non-deterministic Recursive Programs by Krishnendu Chatterjee et al
02-12-2019	Generalized Lineage-Aware Temporal Windows: Supporting Outer and Anti Joins in Temporal-Probabilistic Databases by Katerina Papaioannou Martin Theobald Michael Böhlen
02-12-2019	Time-aware Test Case Execution Scheduling for Cyber-Physical Systems by Morten Mossige et al
02-14-2019	Environmentally-friendly GR(1) Synthesis by Rupak Majumdar et al
02-12-2019	Value constrained model-free continuous control by Steven Bohez et al
02-13-2019	A Subject-Specific Four-Degree-of-Freedom Foot Interface to Control a Robot Arm by Yanpei Huang et al
02-15-2019	Two-Stage Transfer Learning for Heterogeneous Robot Detection and 3D Joint Position Estimation in a 2D Camera Image using CNN by Justinas Miseikis et al
02-15-2019	Generating Natural Language Explanations for Visual Question Answering using Scene Graphs and Visual Attention by Shalini Ghosh et al
02-12-2019	Reinforcement Learning to Optimize Long-term User Engagement in Recommender Systems by Lixin Zou et al
02-14-2019	A Scalable Framework for Distributed Object Tracking across a Many-camera Network by Aakash Khochare et al
02-13-2019	SoK: Transparent Dishonesty: front-running attacks on Blockchain by Shayan Eskandari et al
02-13-2019	Crowd Work on a CV? Understanding How AMT Fits into Turkers Career Goals and Professional Profiles by Anna Kasunic et al
02-14-2019	Introducing Yet Another REversible Language by Claudio Grandi et al
02-15-2019	Coalgebra Learning via Duality by Simone Barlocco et al
02-12-2019	Communication over a time correlated channel with an energy harvesting transmitter by Mehdi Salehi Heydar Abad et al
02-12-2019	Finite Horizon Throughput Maximization for a Wirelessly Powered Device over a Time Varying Channel by Mehdi Salehi Heydar Abad et al
02-12-2019	Wireless energy and information transfer in networks with hybrid ARQ by Mehdi Salehi Heydar Abad et al
02-12-2019	Asymptotic Performance Analysis of Blockchain Protocols by Durand Antoine et al
02-12-2019	Distributed and Application-aware Task Scheduling in Edge-clouds by Li Lin et al
02-13-2019	Manipulating Soft Tissues by Deep Reinforcement Learning for Autonomous Robotic Surgery by Ngoc Duy Nguyen et al
02-12-2019	Optimal Budget-Feasible Mechanisms for Additive Valuations by Nick Gravin et al
02-13-2019	Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time by Peixin Wang et al
02-13-2019	Session-based Sequential Skip Prediction via Recurrent Neural Networks by Lin Zhu et al
02-12-2019	CSPs with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations by Joshua Brakensiek et al