2020.02.17 CS papers

02-12-2020	Parameterized Complexity of Two-Interval Pattern Problem by Prosenjit Bose et al
02-12-2020	QPEP: A QUIC-Based Approach to Encrypted Performance Enhancing Proxies for High-Latency Satellite Broadband by James Pavur et al
02-12-2020	On the Effective Capacity of an Underwater Acoustic Channel under Impersonation Attack by Waqas Aman et al
02-12-2020	Compressive Learning of Generative Networks by Vincent Schellekens et al
02-12-2020	Regret Bounds for Noise-Free Bayesian Optimization by Sattar Vakili et al
02-12-2020	EncDBDB: Searchable Encrypted, Fast, Compressed, In-Memory Database using Enclaves by Benny Fuhry et al
02-12-2020	Semi-classical limit for the varying-mass Schr\odinger equation with random inhomogeneities by Shi Chen et al
02-12-2020	HypoML: Visual Analysis for Hypothesis-based Evaluation of Machine Learning Models by Qianwen Wang et al
02-17-2020	Text Perceptron: Towards End-to-End Arbitrary-Shaped Text Spotting by Liang Qiao et al
02-17-2020	Incorporating BERT into Neural Machine Translation by Jinhua Zhu et al
02-14-2020	Let Me At Least Learn What You Really Like: Dealing With Noisy Humans When Learning Preferences by Sriram Gopalakrishnan et al
02-14-2020	Higher order co-occurrence tensors for hypergraphs via face-splitting by Bryan Bischof
02-17-2020	Agnostic Q-learning with Function Approximation in Deterministic Systems: Tight Bounds on Approximation Error and Sample Complexity by Simon S. Du et al
02-14-2020	Disease State Prediction From Single-Cell Data Using Graph Attention Networks by Neal G. Ravindra et al
02-14-2020	An LSTM-Based Autonomous Driving Model Using Waymo Open Dataset by Zhicheng Li et al
02-14-2020	Stable Training of DNN for Speech Enhancement based on Perceptually-Motivated Black-Box Cost Function by Masaki Kawanaka et al
02-14-2020	Speech Enhancement using Self-Adaptation and Multi-Head Self-Attention by Yuma Koizumi et al
02-14-2020	Deep RL Agent for a Real-Time Action Strategy Game by Michal Warchalski et al
02-16-2020	Learning to Generate Multiple Style Transfer Outputs for an Input Sentence by Kevin Lin et al
02-16-2020	New Constructions of Cross Z-Complementary Pairs by Avik Ranjan Adhikary et al
02-16-2020	Combining high performance hardware, cloud computing, and deep learning frameworks to accelerate physical simulations: probing the Hopfield Network by Vaibhav Vavilala
02-14-2020	Loop estimator for discounted values in Markov reward processes by Falcon Z. Dai et al
02-14-2020	Extreme Classification via Adversarial Softmax Approximation by Robert Bamler et al
02-17-2020	Hierarchical Rule Induction Network for Abstract Visual Reasoning by Sheng Hu et al
02-16-2020	Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP by Shir Cohen et al
02-16-2020	From Matching with Diversity Constraints to Matching with Regional Quotas by Haris Aziz et al
02-16-2020	Unraveling Meta-Learning: Understanding Feature Representations for Few-Shot Tasks by Micah Goldblum et al
02-17-2020	A Fast Counting Method for 6-motifs with Low Connectivity by Taha Sevim et al
02-12-2020	Constructing a Highlight Classifier with an Attention Based LSTM Neural Network by Michael Kuehne et al
02-13-2020	Sensitivity of Wardrop Equilibria: Revisited by Mahdi Takalloo et al
02-14-2020	Consistency Analysis of Replication-Based Probabilistic Key-Value Stores by Ramy E. Ali
02-14-2020	Did JHotDraw respect the Law of Good Style? -- An exploratory deep dive into the nature of false positives of bad code smells by Daniel Speicher
02-13-2020	Simultaneous Energy Harvesting and Information Transmission in a MIMO Full-Duplex System: A Machine Learning-Based Design by Yasser Al-Eryani et al
02-13-2020	An implicit function learning approach for parametric modal regression by Yangchen Pan et al
02-13-2020	Effective AER Object Classification Using Segmented Probability-Maximization Learning in Spiking Neural Networks by Qianhui Liu et al
02-17-2020	In Search for a Linear Byzantine Agreement by Alexander Spiegelman
02-17-2020	Hypergraph Isomorphism for Groups with Restricted Composition Factors by Daniel Neuen
02-16-2020	Distributed Sketching Methods for Privacy Preserving Regression by Burak Bartan et al
02-12-2020	AlignNet: A Unifying Approach to Audio-Visual Alignment by Jianren Wang et al
02-12-2020	HushRelay: A Privacy-Preserving, Efficient, and Scalable Routing Algorithm for Off-Chain Payments by Subhra Mazumdar et al
02-12-2020	Structure-Property Maps with Kernel Principal Covariates Regression by Benjamin A. Helfrecht et al
02-12-2020	Resolving Spurious Correlations in Causal Models of Environments via Interventions by Sergei Volodin et al
02-12-2020	Estimating Uncertainty Intervals from Collaborating Networks by Tianhui Zhou et al
02-12-2020	Exponential Step Sizes for Non-Convex Optimization by Xiaoyu Li et al
02-17-2020	Controlling Computation versus Quality for Neural Sequence Models by Ankur Bapna et al
02-17-2020	Augmented Normalizing Flows: Bridging the Gap Between Generative Flows and Latent Variable Models by Chin-Wei Huang et al
02-13-2020	On the Edge Crossings of the Greedy Spanner by David Eppstein et al
02-13-2020	Deep S33PR: Simultaneous Source Separation and Phase Retrieval Using Deep Generative Models by Christopher A. Metzler et al
02-13-2020	Cooperative NOMA for Downlink Asymmetric Interference Cancellation by Weidong Mei et al
02-16-2020	Multi-Class Classification from Noisy-Similarity-Labeled Data by Songhua Wu et al
02-15-2020	Refined Belief Propagation Decoding of Sparse-Graph Quantum Codes by Kao-Yueh Kuo et al
02-15-2020	Convex Fairness Constrained Model Using Causal Effect Estimators by Hikaru Ogura et al
02-15-2020	A closer look at the approximation capabilities of neural networks by Kai Fong Ernest Chong
02-15-2020	Differentiable Top-k Operator with Optimal Transport by Yujia Xie et al
02-12-2020	FEAST Eigenvalue Solver v4.0 User Guide by Eric Polizzi
02-12-2020	Compressed Coding, AMP Based Decoding and Analog Spatial Coupling by Shansuo Liang et al
02-12-2020	Lookahead: a Far-Sighted Alternative of Magnitude-based Pruning by Sejun Park et al
02-16-2020	Last iterate convergence in no-regret learning: constrained min-max optimization for convex-concave landscapes by Qi Lei et al
02-16-2020	Evolutionary Bi-objective Optimization for the Dynamic Chance-Constrained Knapsack Problem Based on Tail Bound Objectives by Hirad Assimi et al
02-16-2020	Superpixel Segmentation via Convolutional Neural Networks with Regularized Information Maximization by Teppei Suzuki
02-16-2020	Computing Covers under Substring Consistent Equivalence Relations by Natsumi Kikuchi et al
02-16-2020	How fast can you update your MST? (Dynamic algorithms for cluster computing) by Seth Gilbert et al
02-16-2020	Hybrid Embedded Deep Stacked Sparse Autoencoder with w_LPPD SVM Ensemble by Yongming Li et al
02-13-2020	Classifying the classifier: dissecting the weight space of neural networks by Gabriel Eilertsen et al
02-13-2020	An almost optimal bound on the number of intersections of two simple polygons by Eyal Ackerman et al
02-13-2020	An Optimal Multistage Stochastic Gradient Method for Minimax Problems by Alireza Fallah et al
02-13-2020	Fractional Underdamped Langevin Dynamics: Retargeting SGD with Momentum under Heavy-Tailed Gradient Noise by Umut Şimşekli et al
02-13-2020	Tree-SNE: Hierarchical Clustering and Visualization Using t-SNE by Isaac Robinson et al
02-12-2020	Algorithmic Complexity of Isolate Secure Domination in Graphs by Jakkepalli Pavan Kumar et al
02-14-2020	Adversarial Distributional Training for Robust Deep Learning by Zhijie Deng et al
02-14-2020	Relationship of kk-Bend and Monotonic ℓℓ-Bend Edge Intersection Graphs of Paths on a Grid by Eranda Cela et al
02-14-2020	A kinetic traffic network model and its macroscopic limit: merging lanes by Raul Borsche et al
02-14-2020	Sound Event Localization based on Sound Intensity Vector Refined By DNN-Based Denoising and Source Separation by Masahiro Yasuda et al
02-14-2020	Skip Connections Matter: On the Transferability of Adversarial Examples Generated with ResNets by Dongxian Wu et al
02-17-2020	Convergent non complete interpolatory quadrature rules by U. Fidalgo et al
02-17-2020	The h index for research assessment: Simple and popular, but shown by mathematical analysis to be inconsistent and misleading by Ricardo Brito et al
02-17-2020	A Note on Arc-Disjoint Cycles in Bipartite Tournaments by Jasine Babu et al
02-12-2020	Quantum Boosting by Srinivasan Arunachalam et al
02-16-2020	Latent Normalizing Flows for Many-to-Many Cross-Domain Mappings by Shweta Mahajan et al
02-16-2020	AOL: Adaptive Online Learning for Human Trajectory Prediction in Dynamic Video Scenes by Manh Huynh et al
02-12-2020	Learning to Compare for Better Training and Evaluation of Open Domain Natural Language Generation Models by Wangchunshu Zhou et al
02-17-2020	Implementing Dynamic Answer Set Programming by Pedro Cabalar et al
02-12-2020	The structure of multigranular rough sets by Jouni Järvinen et al
02-12-2020	Complexity Analysis of General and Fractional Hypertree Decompositions by Georg Gottlob et al
02-12-2020	Efficient Cloud-based Secret Shuffling via Homomorphic Encryption by Kilian Becher et al
02-12-2020	Visualizing modular forms by David Lowry-Duda
02-12-2020	Image-to-Image Translation with Text Guidance by Bowen Li et al
02-14-2020	A Breezing Proof of the KMW Bound by Corinna Coupette et al
02-13-2020	PushdownDB: Accelerating a DBMS using S3 Computation by Xiangyao Yu et al
02-13-2020	Phase reconstruction based on recurrent phase unwrapping with deep neural networks by Yoshiki Masuyama et al
02-13-2020	Stable blow-up dynamics in the L2L2-critical and L2L2-supercritical generalized Hartree equation by Kai Yang et al
02-13-2020	Consistency-aware multi-channel speech enhancement using deep neural networks by Yoshiki Masuyama et al
02-13-2020	LinkedIns Audience Engagements API: A Privacy Preserving Data Analytics System at Scale by Ryan Rogers et al
02-14-2020	Building Networks for Image Segmentation using Particle Competition and Cooperation by Fabricio Breve
02-16-2020	Generalized Embedding Machines for Recommender Systems by Enneng Yang et al
02-17-2020	CAT: Customized Adversarial Training for Improved Robustness by Minhao Cheng et al
02-13-2020	Computing the Yield Limit in Three-dimensional Flows of a Yield Stress Fluid About a Settling Particle by José A. Iglesias et al
02-13-2020	Sparse and Structured Visual Attention by Pedro Henrique Martins et al
02-13-2020	PACOH: Bayes-Optimal Meta-Learning with PAC-Guarantees by Jonas Rothfuss et al
02-12-2020	Connectivity-driven Communication in Multi-agent Reinforcement Learning through Diffusion Processes on Graphs by Emanuele Pesce et al
02-12-2020	Towards Federated Learning: Robustness Analytics to Data Heterogeneity by Jia Qian et al
02-12-2020	x-vectors meet emotions: A study on dependencies between emotion and speaker recognition by Raghavendra Pappagari et al
02-12-2020	Dandelion Diagram: Aggregating Positioning and Orientation Data in the Visualization of Classroom Proxemics by Pengcheng An et al
02-12-2020	An Extensible Network Slicing Framework for Satellite Integration into 5G by Youssouf Drif et al
02-12-2020	Uniform Linked Lists Contraction by Yijie Han
02-12-2020	Complex contagion features without social reinforcement in a model of social information flow by Tyson Pond et al
02-12-2020	Active Learning for Sound Event Detection by Shuyang Zhao et al
02-14-2020	Layer-wise Pruning and Auto-tuning of Layer-wise Learning Rates in Fine-tuning of Deep Networks by Youngmin Ro et al
02-13-2020	Cutting out the Middle-Man: Training and Evaluating Energy-Based Models without Sampling by Will Grathwohl et al
02-14-2020	Constructions of quantum MDS codes by Hualu Liu et al
02-14-2020	Flexible Coinduction in Agda by Luca Ciccone
02-17-2020	Control Frequency Adaptation via Action Persistence in Batch Reinforcement Learning by Alberto Maria Metelli et al
02-13-2020	The PHOTON Wizard -- Towards Educational Machine Learning Code Generators by Ramona Leenings et al
02-17-2020	GDPR Compliance in the Context of Continuous Integration by Ze Shi Li et al
02-15-2020	Cell R-CNN V3: A Novel Panoptic Paradigm for Instance Segmentation in Biomedical Images by Dongnan Liu et al
02-17-2020	Subset Sampling For Progressive Neural Network Learning by Dat Thanh Tran et al
02-17-2020	Identifying the Development and Application of Artificial Intelligence in Scientific Text by James Dunham et al
02-13-2020	Optimal estimation of high-dimensional Gaussian mixtures by Natalie Doss et al
02-13-2020	RNA Secondary Structure Prediction By Learning Unrolled Algorithms by Xinshi Chen et al
02-13-2020	Hoplite: Efficient Collective Communication for Task-Based Distributed Systems by Siyuan Zhuang et al
02-13-2020	Clustering based on Point-Set Kernel by Kai Ming Ting et al
02-16-2020	Neural Machine Translation with Joint Representation by YanYang Li et al
02-14-2020	Convolutional Neural Networks for Sentiment Analysis in Persian Social Media by Morteza Rohanian et al
02-16-2020	Exploring Neural Models for Parsing Natural Language into First-Order Logic by Hrituraj Singh et al
02-14-2020	Semantic Relatedness and Taxonomic Word Embeddings by Magdalena Kacmajor et al
02-16-2020	Learning Not to Learn in the Presence of Noisy Labels by Liu Ziyin et al
02-16-2020	Distributed Averaging Methods for Randomized Second Order Optimization by Burak Bartan et al
02-14-2020	Boosted Locality Sensitive Hashing: Discriminative Binary Codes for Source Separation by Sunwoo Kim et al
02-14-2020	On State Variables, Bandit Problems and POMDPs by Warren B Powell
02-16-2020	Low-PMEPR Preamble Sequence Design for Dynamic Spectrum Allocation in OFDMA Systems by Yajing Zhou et al
02-16-2020	Learning Individually Fair Classifier with Causal-Effect Constraint by Yoichi Chikahara et al
02-16-2020	(Individual) Fairness for kk-Clustering by Sepideh Mahabadi et al
02-13-2020	Multiresolution Tensor Learning for Efficient and Interpretable Spatial Analysis by Jung Yeon Park et al
02-13-2020	Fast Convergence for Langevin Diffusion with Matrix Manifold Structure by Ankur Moitra et al
02-13-2020	A second order finite element method with mass lumping for Maxwells equations on tetrahedra by Herbert Egger et al
02-12-2020	Finiteness of fibers in matrix completion via Pl\ucker coordinates by Manolis C. Tsakiris
02-13-2020	Graph Deconvolutional Generation by Daniel Flam-Shepherd et al
02-17-2020	The Probabilistic Model Checker Storm by Christian Hensel et al
02-13-2020	PCSGAN: Perceptual Cyclic-Synthesized Generative Adversarial Networks for Thermal and NIR to Visible Image Transformation by Kancharagunta Kishan Babu et al
02-17-2020	4D Semantic Cardiac Magnetic Resonance Image Synthesis on XCAT Anatomical Model by Samaneh Abbasi-Sureshjani et al
02-17-2020	Query-Efficient Physical Hard-Label Attacks on Deep Learning Visual Classification by Ryan Feng et al
02-17-2020	A New Methodology for Information Security Risk Assessment for Medical Devices and Its Evaluation by Tom Mahler et al
02-16-2020	Generator From Edges: Reconstruction of Facial Images by Nao Takano et al
02-16-2020	The normalized algorithmic information distance can not be approximated by Bruno Bauwens et al
02-16-2020	R-MADDPG for Partially Observable Environments and Limited Communication by Rose E. Wang et al
02-12-2020	Hypergraphs: an introduction and review by Xavier Ouvrard
02-12-2020	Eigenvalues of non-hermitian matrices: a dynamical and an iterative approach. Application to a truncated Swanson model by Fabio Bagarello et al
02-12-2020	GRASPA 1.0: GRASPA is a Robot Arm graSping Performance benchmArk by Fabrizio Bottarel et al
02-14-2020	Eat4Thought: A Design of Food Journaling by Yixuan Zhang et al
02-13-2020	Multi-Vehicle Routing Problems with Soft Time Windows: A Multi-Agent Reinforcement Learning Approach by Ke Zhang et al
02-17-2020	Nearest ΩΩ-stable matrix via Riemannian optimization by Vanni Noferini et al

02-12-2020	Real or Not Real, that is the Question by Yuanbo Xiangli et al
02-14-2020	Electricity Theft Detection with self-attention by Paulo Finardi et al
02-14-2020	Lightweight Lexical Test Prioritization for Immediate Feedback by Toni Mattis et al
02-14-2020	Ensemble Slice Sampling by Minas Karamanis et al
02-14-2020	Resource Management in Wireless Networks via Multi-Agent Deep Reinforcement Learning by Navid Naderializadeh et al
02-12-2020	SegVoxelNet: Exploring Semantic Context and Depth-aware Features for 3D Vehicle Detection from Point Cloud by Hongwei Yi et al
02-16-2020	Entity Context and Relational Paths for Knowledge Graph Completion by Hongwei Wang et al
02-13-2020	Augmenting an Assisted Living Lab with Non-Intrusive Load Monitoring by Hafsa Bousbiat et al
02-13-2020	Engineering Faster Sorters for Small Sets of Items by Timo Bingmann et al
02-12-2020	An Optimal Decentralized (Δ+1)(Δ+1)-Coloring Algorithm by Daniel Bertschinger et al
02-12-2020	Multi-Agent Reinforcement Learning and Human Social Factors in Climate Change Mitigation by Kyle Tilbury et al
02-17-2020	Interpretable and Fair Comparison of Link Prediction or Entity Alignment Methods with Adjusted Mean Rank by Max Berrendorf et al
02-16-2020	Running a Pre-Exascale, Geographically Distributed, Multi-Cloud Scientific Simulation by Igor Sfiligoi et al
02-16-2020	PeelNet: Textured 3D reconstruction of human body using single view RGB image by Sai Sagar Jinka et al
02-16-2020	Over-parameterized Adversarial Training: An Analysis Overcoming the Curse of Dimensionality by Yi Zhang et al
02-16-2020	Exploring crossmodal perceptual enhancement and integration in a sequence-reproducing task with cognitive priming by Feng Feng et al
02-14-2020	Abstract rewriting internalized by Maxime Lucas
02-14-2020	Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning by Borja G. León et al
02-13-2020	Approximating Voting Rules from Truncated Ballots by Manel Ayadi et al
02-12-2020	A Provably Robust Multiple Rotation Averaging Scheme for SO(2) by Tyler Maunu et al
02-12-2020	Solution manifold and Its Statistical Applications by Yen-Chi Chen
02-12-2020	Cooperative Observation of Targets moving over a Planar Graph with Prediction of Positions by José E. B. Maia et al
02-12-2020	Exploiting the Matching Information in the Support Set for Few Shot Event Classification by Viet Dac Lai et al
02-12-2020	NN-PARS: A Parallelized Neural Network Based Circuit Simulation Framework by Mohammad Saeed Abrishami et al
02-12-2020	Improving Efficiency in Neural Network Accelerator Using Operands Hamming Distance optimization by Meng Li et al
02-12-2020	CSM-NN: Current Source Model Based Logic Circuit Simulation -- A Neural Network Approach by Mohammad Saeed Abrishami et al
02-15-2020	Handover Probability in Drone Cellular Networks by Morteza Banagar et al
02-14-2020	A Comparison of Pooling Methods on LSTM Models for Rare Acoustic Event Classification by Chieh-Chi Kao et al
02-14-2020	Algorithmic Recourse: from Counterfactual Explanations to Interventions by Amir-Hossein Karimi et al
02-14-2020	TwinBERT: Distilling Knowledge to Twin-Structured BERT Models for Efficient Retrieval by Wenhao Lu et al
02-14-2020	Single Unit Status in Deep Convolutional Neural Network Codes for Face Identification: Sparseness Redefined by Connor J. Parde et al
02-14-2020	A mean-field analysis of two-player zero-sum games by Carles Domingo-Enrich et al
02-14-2020	Trustworthy AI by Jeannette M. Wing
02-15-2020	Demystifying the Performance of HPC Scientific Applications on NVM-based Memory Systems by Ivy Peng et al
02-15-2020	Blind Adversarial Network Perturbations by Milad Nasr et al
02-12-2020	Improved Classical and Quantum Algorithms for Subset-Sum by Xavier Bonnetain et al
02-14-2020	Foundations of a live data exploration environment by Tomas Petricek
02-13-2020	Performance Analysis of Intelligent Reflective Surfaces for Wireless Communication by Dhanushka Kudathanthirige et al
02-13-2020	Pre-Training for Query Rewriting in A Spoken Language Understanding System by Zheng Chen et al
02-13-2020	Sentiment Analysis Using Averaged Weighted Word Vector Features by Ali Erkan et al
02-13-2020	Simulation Pipeline for Traffic Evacuation in Urban Areas and Emergency Traffic Management Policy Improvements by Yu Chen et al
02-17-2020	A Lightweight ISA Extension for AES and SM4 by Markku-Juhani O. Saarinen
02-17-2020	Lake Ice Detection from Sentinel-1 SAR with Deep Learning by Manu Tom et al
02-17-2020	Synthesis of Deceptive Strategies in Reachability Games with Action Misperception by Abhishek N. Kulkarni et al
02-12-2020	Object-based Metamorphic Testing through Image Structuring by Adrian Wildandyawan et al
02-17-2020	The monitoring problem for timed automata by Alejandro Grez et al
02-13-2020	Bit Allocation for Multi-Task Collaborative Intelligence by Saeed Ranjbar Alvar et al
02-17-2020	RapidLayout: Fast Hard Block Placement of FPGA-optimized Systolic Arrays using Evolutionary Algorithms by Niansong Zhang et al
02-17-2020	Learning Group Structure and Disentangled Representations of Dynamical Environments by Robin Quessard et al
02-16-2020	Towards Detection of Subjective Bias using Contextualized Word Embeddings by Tanvi Dadu et al
02-13-2020	Deep Reinforcement Learning Based Mode Selection and Resource Allocation for Cellular V2X Communications by Xinran Zhang et al
02-15-2020	Quantum Bandits by Balthazar Casalé et al
02-16-2020	BciPy: Brain-Computer Interface Software in Python by Tab Memmott et al
02-12-2020	Learning Flat Latent Manifolds with VAEs by Nutan Chen et al
02-12-2020	Cahn-Hilliard Navier-Stokes Simulations for Marine Free-Surface Flows by Niklas Kühl et al
02-12-2020	Toward Efficient Quantum Key Distribution Reconciliation by Nedra Benletaief et al
02-12-2020	Constrained Dominant sets and Its applications in computer vision by Alemu Leulseged Tesfaye
02-13-2020	Hodge and Podge: Hybrid Supervised Sound Event Detection with Multi-Hot MixMatch and Composition Consistence Training by Ziqiang Shi et al
02-12-2020	Inner Attention Supported Adaptive Cooperation for Heterogeneous Multi Robots Teaming based on Multi-agent Reinforcement Learning by Chao Huang et al
02-13-2020	Efficient And Scalable Neural Residual Waveform Coding With Collaborative Quantization by Kai Zhen et al
02-12-2020	Unveiling the research landscape of Sustainable Development Goals and their inclusion in Higher Education Institutions and Research Centers: major trends in 2000-2017 by Nuria Bautista-Puig et al
02-13-2020	A quasi-polynomial algorithm for well-spaced hyperbolic TSP by Sándor Kisfaludi-Bak
02-13-2020	Comparison of Turkish Word Representations Trained on Different Morphological Forms by Gökhan Güler et al
02-13-2020	Internet of Smart-Cameras for Traffic Lights Optimization in Smart Cities by Willy Carlos Tchuitcheu et al
02-13-2020	Comparison of user models based on GMM-UBM and i-vectors for speech, handwriting, and gait assessment of Parkinsons disease patients by J. C. Vasquez-Correa et al
02-13-2020	PHOTON -- A Python API for Rapid Machine Learning Model Development by Ramona Leenings et al
02-17-2020	Lifter Training and Sub-band Modeling for Computationally Efficient and High-Quality Voice Conversion Using Spectral Differentials by Takaaki Saeki et al
02-14-2020	Mapping Motor Cortex Stimulation to Muscle Responses: A Deep Neural Network Modeling Approach by Md Navid Akbar et al
02-14-2020	Big Data Staging with MPI-IO for Interactive X-ray Science by Justin M. Wozniak et al
02-14-2020	Applying Depth-Sensing to Automated Surgical Manipulation with a da Vinci Robot by Minho Hwang et al
02-12-2020	Computing Shapley Values for Mean Width in 3-D by Shuhao Tan
02-13-2020	XCS Classifier System with Experience Replay by Anthony Stein et al
02-13-2020	BiSample: Bidirectional Sampling for Handling Missing Data with Local Differential Privacy by Lin Sun et al
02-13-2020	Sampling and Update Frequencies in Proximal Variance Reduced Stochastic Gradient Methods by Martin Morin et al
02-12-2020	The Big Three: A Methodology to Increase Data Science ROI by Answering the Questions Companies Care About by Daniel K. Griffin
02-14-2020	An optimal scheduling architecture for accelerating batch algorithms on Neural Network processor architectures by Phani Kumar Nyshadham et al
02-17-2020	Learning Zero-Sum Simultaneous-Move Markov Games Using Function Approximation and Correlated Equilibrium by Qiaomin Xie et al
02-13-2020	Acoustic Scene Classification Using Bilinear Pooling on Time-liked and Frequency-liked Convolution Neural Network by Xing Yong Kek et al
02-14-2020	Biological Random Walks: integrating heterogeneous data in disease gene prioritization by Michele Gentili et al
02-12-2020	Efficient Structure-preserving Support Tensor Train Machine by Kirandeep Kour et al
02-16-2020	Modeling Citation Trajectories of Scientific Papers by Dattatreya Mohapatra et al
02-16-2020	Block Annotation: Better Image Annotation for Semantic Segmentation with Sub-Image Decomposition by Hubert Lin et al
02-12-2020	Solving Some Affine Equations over Finite Fields by Sihem Mesnager et al
02-12-2020	Ensemble of Sparse Gaussian Process Experts for Implicit Surface Mapping with Streaming Data by Johannes A. Stork et al
02-12-2020	Fast computation of optimal damping parameters for linear vibrational systems by N. Jakovcevic Stor et al
02-12-2020	On the I/O complexity of the k-nearest neighbor problem by Mayank Goswami et al
02-12-2020	Force-Sensor-Less Bilateral Teleoperation Control of Dissimilar Master-Slave System with Arbitrary Scaling by Santeri Lampinen et al
02-13-2020	Approximability of Monotone Submodular Function Maximization under Cardinality and Matroid Constraints in the Streaming Model by Chien-Chung Huang et al
02-14-2020	Deploying large fixed file datasets with SquashFS and Singularity by Pierre Rioux et al
02-14-2020	Degrees of Freedom of Cache-Aided Wireless Cellular Networks by Youlong Cao et al
02-14-2020	Liver Segmentation in Abdominal CT Images via Auto-Context Neural Network and Self-Supervised Contour Attention by Minyoung Chung et al
02-14-2020	Learning to rank for uplift modeling by Floris Devriendt et al
02-14-2020	Intelligent Reflecting Surface Assisted Massive MIMO Communications by Zhaorui Wang et al
02-13-2020	The Abstract Machinery of Interaction (Long Version) by Ugo Dal Lago et al
02-13-2020	Training Large Neural Networks with Constant Memory using a New Execution Algorithm by Bharadwaj Pudipeddi et al
02-13-2020	Adapting to Unseen Environments through Explicit Representation of Context by Cem C. Tutum et al
02-13-2020	On Two Measures of Distance between Fully-Labelled Trees by Giulia Bernardini et al
02-13-2020	Consumer Privacy Protection using Flexible Thermal Loads by Jun-Xing Chin et al
02-17-2020	Verification benchmarks for single-phase flow in three-dimensional fractured porous media by Inga Berre et al
02-17-2020	The Synthesizability of Molecules Proposed by Generative Models by Wenhao Gao et al
02-17-2020	A Newton Frank-Wolfe Method for Constrained Self-Concordant Minimization by Deyi Liu et al
02-17-2020	Jittering Samples using a kd-Tree Stratification by Alexandros D. Keros et al
02-12-2020	Attentional Speech Recognition Models Misbehave on Out-of-domain Utterances by Phillip Keung et al
02-15-2020	Neural Architecture Search over Decentralized Data by Mengwei Xu et al
02-15-2020	UniViLM: A Unified Video and Language Pre-Training Model for Multimodal Understanding and Generation by Huaishao Luo et al
02-16-2020	On Orthogonal Projections on the Space of Consistent Pairwise Comparisons Matrices by W. W. Koczkodaj et al
02-16-2020	Multidimensional Enrichment of Spatial RDF Data for SOLAP -- Full Version by Nurefsan Gür et al
02-16-2020	It is not just about the Melody: How Europe Votes for its Favorite Songs by Anej Svete et al
02-15-2020	Optimization-Based MCMC Methods for Nonlinear Hierarchical Statistical Inverse Problems by Johnathan Bardsley et al
02-15-2020	Autonomous Unknown-Application Filtering and Labeling for DL-based Traffic Classifier Update by Jielun Zhang et al
02-15-2020	Open Knowledge Enrichment for Long-tail Entities by Ermei Cao et al
02-15-2020	Recommendation of Move Method Refactoring Using Path-Based Representation of Code by Zarina Kurbatova et al
02-12-2020	Joint Embedding in Named Entity Linking on Sentence Level by Wei Shi et al
02-12-2020	Federated Clustering via Matrix Factorization Models: From Model Averaging to Gradient Sharing by Shuai Wang et al
02-12-2020	Towards Precise Intra-camera Supervised Person Re-identification by Menglin Wang et al
02-12-2020	Content Based Singing Voice Extraction From a Musical Mixture by Pritish Chandna et al
02-12-2020	Optical designs for realization of a set of schemes for quantum cryptography by Mitali Sisodia et al
02-12-2020	A Tensor Network Approach to Finite Markov Decision Processes by Edward Gillman et al
02-12-2020	The empirical duality gap of constrained statistical learning by Luiz F. O. Chamon et al
02-12-2020	Beyond single-shot fault-tolerant quantum error correction by Nicolas Delfosse et al
02-12-2020	Social and Child Care Provision in Kinship Networks: an Agent-Based Model by Umberto Gostoli et al
02-12-2020	Intrinsic Motivation for Encouraging Synergistic Behavior by Rohan Chitnis et al
02-12-2020	Adaptive Task Partitioning at Local Device or Remote Edge Server for Offloading in MEC by Jianhui Liu et al
02-12-2020	Service Selection using Predictive Models and Monte-Carlo Tree Search by Cliff Laschet et al
02-12-2020	Computation Resource Allocation for Heterogeneous Time-Critical IoT Services in MEC by Jianhui Liu et al
02-12-2020	The {0,1}-knapsack problem with qualitative levels by Luca E. Schäfer et al
02-12-2020	Deep Feature Embedding and Hierarchical Classification for Audio Scene Classification by Lam Pham et al
02-12-2020	Labelled calculi for quantified modal logics with definite descriptions by Eugenio Orlandelli
02-14-2020	Interleaved Sequence RNNs for Fraud Detection by Bernardo Branco et al
02-12-2020	Physical Accuracy of Deep Neural Networks for 2D and 3D Multi-Mineral Segmentation of Rock micro-CT Images by Ying Da Wang et al
02-13-2020	Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning by Arnab Bhattacharyya et al
02-13-2020	Tight Bounds for the Cover Times of Random Walks with Heterogeneous Step Lengths by Brieuc Guinard et al
02-13-2020	Deep Learning for Source Code Modeling and Generation: Models, Applications and Challenges by Triet H. M. Le et al
02-12-2020	Online Learning of the Kalman Filter with Logarithmic Regret by Anastasios Tsiamis et al
02-14-2020	Learning models of quantum systems from experiments by Antonio A. Gentile et al
02-14-2020	The Goal-Gradient Hypothesis in Stack Overflow by Nicholas Hoernle et al
02-14-2020	Cleaning Denial Constraint Violations through Relaxation by Stella Giannakopoulou et al
02-14-2020	Unsupervised Speaker Adaptation using Attention-based Speaker Memory for End-to-End ASR by Leda Sarı et al
02-14-2020	Bacat\a: Notebooks for DSLs, Almost for Free by Mauricio Verano Merino et al
02-13-2020	Genetic Algorithms for Redundancy in Interaction Testing by Ryan E. Dougherty
02-12-2020	On Rearrangement of Items Stored in Stacks by Mario Szegedy et al
02-17-2020	A Case for Data Centre Traffic Management on Software Programmable Ethernet Switches by Kamil Tokmakov et al
02-17-2020	Secure-by-synthesis network with active deception and temporal logic specifications by Jie Fu et al
02-17-2020	Causal Feature Discovery through Strategic Modification by Yahav Bechavod et al
02-17-2020	Fractional Types: Expressive and Safe Space Management for Ancilla Bits by Chao-Hong Chen et al
02-13-2020	A General Framework for Consistent Structured Prediction with Implicit Loss Embeddings by Carlo Ciliberto et al
02-17-2020	Low-Rank Bottleneck in Multi-head Attention Models by Srinadh Bhojanapalli et al
02-15-2020	An IoT-Based System: Big Urban Traffic Data Mining Through Airborne Pollutant Gases Analysis by Daniel. Firouzimagham et al
02-15-2020	Asymptotically optimal codebooks derived from generalised bent functions by Qiuyan Wang et al
02-15-2020	Multi-Task Multicriteria Hyperparameter Optimization by Kirill Akhmetzyanov et al
02-15-2020	Video Face Super-Resolution with Motion-Adaptive Feedback Cell by Jingwei Xin et al
02-12-2020	Towards Reliable UAV Swarm Communication in D2D-Enhanced Cellular Network by Yitao Han et al
02-12-2020	CROFT: A scalable three-dimensional parallel Fast Fourier Transform (FFT) implementation for High Performance Clusters by Vivek Gavane et al
02-13-2020	Improving Generalization of Reinforcement Learning with Minimax Distributional Soft Actor-Critic by Yangang Ren et al
02-12-2020	Distributed and Adaptive Fast Multipole Method In Three Dimensions by Jonathan Bull et al
02-14-2020	Artificial Intelligence, connected products, virtual reality: potential impacts on consumer safety in terms of their physical and psychological ability or well-being by Birgitta Dresp-Langley
02-14-2020	Bayesian Learning of Causal Relationships for System Reliability by Xuewen Yu et al
02-14-2020	Deciding the existence of quasi weak near unanimity terms in finite algebras by Alexandr Kazda
02-13-2020	On the Sensory Commutativity of Action Sequences for Embodied Agents by Hugo Caselles-Dupré et al
02-17-2020	Approximating Multistage Matching Problems by Markus Chimani et al
02-17-2020	A Robust Model-Based Biped Locomotion Framework Based on Three-Mass Model: From Planning to Control by Mohammadreza Kasaei et al
02-12-2020	Performance Analysis of Reversible Binding Receptor Based Decode-and-Forward Relay in Molecular Communication Systems by Shuo Yuan et al
02-12-2020	A pressure-robust embedded discontinuous Galerkin method for the Stokes problem by reconstruction operators by Philip L. Lederer et al
02-12-2020	Algebraic multigrid block preconditioning for multi-group radiation diffusion equations by Xiaoqiang Yue et al
02-13-2020	Looking Enhances Listening: Recovering Missing Speech Using Images by Tejas Srinivasan et al
02-16-2020	First Order Optimization in Policy Space for Constrained Deep Reinforcement Learning by Yiming Zhang et al
02-12-2020	LaProp: a Better Way to Combine Momentum with Adaptive Gradient by Liu Ziyin et al
02-12-2020	Analysis Of Multi Field Of View Cnn And Attention Cnn On H&E Stained Whole-slide Images On Hepatocellular Carcinoma by Mehmet Burak Sayıcı et al
02-12-2020	End-to-End Face Parsing via Interlinked Convolutional Neural Networks by Zi Yin et al
02-12-2020	Positive Semidefinite Programming: Mixed, Parallel, and Width-Independent by Arun Jambulapati et al
02-12-2020	Reward-rational (implicit) choice: A unifying formalism for reward learning by Hong Jun Jeon et al
02-13-2020	BADGR: An Autonomous Self-Supervised Learning-Based Navigation System by Gregory Kahn et al
02-12-2020	Adaptive Experimental Design for Efficient Treatment Effect Estimation: Randomized Allocation via Contextual Bandit Algorithm by Masahiro Kato et al
02-12-2020	Sharp Analysis of Epoch Stochastic Gradient Descent Ascent Methods for Min-Max Optimization by Yan Yan et al
02-12-2020	Predictive Power of Nearest Neighbors Algorithm under Random Perturbation by Yue Xing et al
02-12-2020	Interactive Multi-User 3D Visual Analytics in Augmented Reality by Wanze Xie et al
02-12-2020	Fog Computing on Constrained Devices: Paving the Way for the Future IoT by Flavia Pisani et al
02-13-2020	A Framework for End-to-End Learning on Semantic Tree-Structured Data by William Woof et al
02-15-2020	Manifold-based Test Generation for Image Classifiers by Taejoon Byun et al
02-14-2020	Online Process Monitoring Using Incremental State-Space Expansion: An Exact Algorithm by Daniel Schuster et al
02-15-2020	Posterior Ratio Estimation for Latent Variables by Yulong Zhang et al
02-15-2020	Memristive Properties of Mushrooms by Alexander E. Beasley et al
02-15-2020	Designing Interaction for Multi-agent Cooperative System in an Office Environment by Chao Wang et al
02-14-2020	Combining Visual and Textual Features for Semantic Segmentation of Historical Newspapers by Raphaël Barman et al
02-15-2020	Knowledge and Social Relatedness Shape Research Portfolio Diversification by Giorgio Tripodi et al
02-15-2020	A Note on Unbounded Polyhedra Derived from Convex Caps by Joseph O'Rourke
02-14-2020	Optimizing Non-Orthogonal Multiple Access in Random Access Networks by Ziru Chen et al
02-14-2020	Small energy masking for improved neural network training for end-to-end speech recognition by Chanwoo Kim et al
02-14-2020	Legion: Best-First Concolic Testing by Dongge Liu et al
02-12-2020	Measurement of Interpersonal Trust in Global Software Development: SLR Protocol by Sergio Zapata et al
02-12-2020	dtControl: Decision Tree Learning Algorithms for Controller Representation by Pranav Ashok et al
02-12-2020	Utilizing BERT Intermediate Layers for Aspect Based Sentiment Analysis and Natural Language Inference by Youwei Song et al
02-12-2020	Deep Multi-Task Augmented Feature Learning via Hierarchical Graph Neural Network by Pengxin Guo et al
02-12-2020	Multi-Objective Optimization for Token-Based Clone Detection by Yaroslav Golubev et al
02-12-2020	GLU Variants Improve Transformer by Noam Shazeer
02-12-2020	Self-explaining AI as an alternative to interpretable AI by Daniel C. Elton
02-12-2020	Modelling Fog Offloading Performance by Ayesha Abdul Majeed et al
02-12-2020	Deep Learning-based End-to-end Diagnosis System for Avascular Necrosis of Femoral Head by Yang Li et al
02-13-2020	Regularizing activations in neural networks via distribution matching with the Wasserstein metric by Taejong Joo et al

02-13-2020	Fast Reinforcement Learning for Anti-jamming Communications by Pei-Gen Ye et al
02-13-2020	Notes on Tree- and Path-chromatic Number by Tony Huynh et al
02-13-2020	Chaotic Phase Synchronization and Desynchronization in an Oscillator Network for Object Selection by Fabricio A Breve et al
02-13-2020	Effective Reinforcement Learning through Evolutionary Surrogate-Assisted Prescription by Olivier Francon et al
02-13-2020	Characterizing EOSIO Blockchain by Yuheng Huang et al
02-16-2020	Strong convergence and asymptotic stability of explicit numerical schemes for nonlinear stochastic differential equations by Xiaoyue Li et al
02-16-2020	Unifying Graph Convolutional Neural Networks and Label Propagation by Hongwei Wang et al
02-16-2020	Overlaid oriented Voronoi diagrams and the 1-Steiner tree problem by Michael S. Payne et al
02-14-2020	Pointfilter: Point Cloud Filtering via Encoder-Decoder Modeling by Dongbo Zhang et al
02-14-2020	Query2box: Reasoning over Knowledge Graphs in Vector Space using Box Embeddings by Hongyu Ren et al
02-14-2020	Context Conditional Variational Autoencoder for Predicting Multi-Path Trajectories in Mixed Traffic by Hao Cheng et al
02-14-2020	Integrating Discrete and Neural Features via Mixed-feature Trans-dimensional Random Field Language Models by Silin Gao et al
02-14-2020	Multi-Level Feature Fusion Mechanism for Single Image Super-Resolution by Jiawen Lyn
02-14-2020	Toward Agile Situated Visualization: An Exploratory User Study by Leonel Merino et al
02-15-2020	PDDLGym: Gym Environments from PDDL Problems by Tom Silver et al
02-15-2020	MRRC: Multiple Role Representation Crossover Interpretation for Image Captioning With R-CNN Feature Distribution Composition (FDC) by Chiranjib Sur
02-14-2020	VisMaker: a Question-Oriented Visualization Recommender System for Data Exploration by Raul de Araújo Lima et al
02-14-2020	A Low-Complexity Framework for Joint User Pairing and Power Control for Cooperative NOMA in 5G and Beyond Cellular Networks by Phuc Dinh et al
02-13-2020	Harvesting Ambient RF for Presence Detection Through Deep Learning by Yang Liu et al
02-13-2020	ACEnet: Anatomical Context-Encoding Network for Neuroanatomy Segmentation by Yuemeng Li et al
02-13-2020	A Unifying Network Architecture for Semi-Structured Deep Distributional Learning by David Rügamer et al
02-12-2020	Optimal Multiple Stopping Rule for Warm-Starting Sequential Selection by Mathilde Fekom et al
02-12-2020	A Combined Stochastic and Physical Framework for Modeling Indoor 5G Millimeter Wave Propagation by Georges Nassif et al
02-16-2020	TempLe: Learning Template of Transitions for Sample Efficient Multi-task RL by Yanchao Sun et al
02-15-2020	Latent Variable Modelling with Hyperbolic Normalizing Flows by Avishek Joey Bose et al
02-15-2020	Memristive oscillatory circuits for resolution of NP-complete logic puzzles: Sudoku case by Theodoros Panagiotis Chatzinikolaou et al
02-16-2020	Coresets for the Nearest-Neighbor Rule by Alejandro Flores Velazco et al
02-14-2020	Providing a Link Prediction Model based on Structural and Homophily Similarity in Social Networks by Alireza Eshaghpour et al
02-17-2020	Topology optimization of fluidic flows on two-dimensional manifolds by Yongbo Deng et al
02-13-2020	Multiple Metric Learning for Structured Data by Nicolo Colombo
02-16-2020	Nonlinear MPC with Motor Failure Identification and Recovery for Safe and Aggressive Multicopter Flight by Dimos Tzoumanikas et al
02-16-2020	Adaptively Informed Trees (AIT*): Fast Asymptotically Optimal Path Planning through Adaptive Heuristics by Marlin P. Strub et al
02-16-2020	Speech-to-Singing Conversion in an Encoder-Decoder Framework by Jayneel Parekh et al
02-16-2020	Analytic Marching: An Analytic Meshing Solution from Deep Implicit Surface Networks by Jiabao Lei et al
02-16-2020	Pipeline Interventions by Eshwar Ram Arunachaleswaran et al
02-12-2020	Real-Time Semantic Background Subtraction by Anthony Cioppa et al
02-12-2020	Connecting Dualities and Machine Learning by Philip Betzler et al
02-13-2020	Object Detection on Single Monocular Images through Canonical Correlation Analysis by Zifan Yu et al
02-12-2020	Quality Assessment of Online Automated Privacy Policy Generators: An Empirical Study by Ruoxi Sun et al
02-12-2020	Impact of Customer Reviews on Hotel Rating by J. Ahmad et al
02-12-2020	Continual Universal Object Detection by Xialei Liu et al
02-17-2020	Seeing Around Corners with Edge-Resolved Transient Imaging by Joshua Rapp et al
02-17-2020	An SMT-Based Concolic Testing Tool for Logic Programs by Sophie Fortz et al
02-14-2020	A Survey on 3D Skeleton-Based Action Recognition Using Learning Method by Bin Ren et al
02-14-2020	MAGNETO: Fingerprinting USB Flash Drives via Unintentional Magnetic Emissions by Omar Adel Ibrahim et al
02-14-2020	Understanding patient complaint characteristics using contextual clinical BERT embeddings by Budhaditya Saha et al
02-14-2020	Deep learning of dynamical attractors from time series measurements by William Gilpin
02-14-2020	Limits of Transmit and Receive Array Gain in Massive MIMO by Tobias Laas et al
02-15-2020	Data-Driven Variational Multiscale Reduced Order Models by Changhong Mou et al
02-15-2020	Symmetric Arithmetic Circuits by Anuj Dawar et al
02-15-2020	Supervised Phrase-boundary Embeddings by Manni Singh et al
02-15-2020	Channel Estimation for RIS-Aided mmWave MIMO Channels by Jiguang He et al
02-14-2020	Analyzing Differentiable Fuzzy Logic Operators by Emile van Krieken et al
02-13-2020	Remove Appearance Shift for Ultrasound Image Segmentation via Fast and Universal Style Transfer by Zhendong Liu et al
02-14-2020	Sparse Coresets for SVD on Infinite Streams by Vladimir Braverman et al
02-17-2020	Convergence of End-to-End Training in Deep Unsupervised Contrasitive Learning by Zixin Wen
02-12-2020	Measuring privacy in smart metering anonymized data by Santi Martínez et al
02-17-2020	Scalable Quantitative Verification For Deep Neural Networks by Teodora Baluta et al
02-17-2020	Large-scale biometry with interpretable neural network regression on UK Biobank body MRI by Taro Langner et al
02-16-2020	Topological Mapping for Manhattan-like Repetitive Environments by Sai Shubodh Puligilla et al
02-13-2020	MUST, SHOULD, DONT CARE: TCP Conformance in the Wild by Mike Kosek et al
02-13-2020	Keyphrase Extraction with Span-based Feature Representations by Funan Mu et al
02-13-2020	A User-centered Approach for Optimizing Information Visualizations by David Baum et al
02-12-2020	Rembrandts and Robots: Using Neural Networks to Explore Authorship in Painting by Steven J. Frank et al
02-12-2020	Component Analysis for Visual Question Answering Architectures by Camila Kolling et al
02-12-2020	Development of modeling and control strategies for an approximated Gaussian process by Shisheng Cui et al
02-12-2020	Fundamental Limits of Biometric Identification Systems with Strong Secrecy by Vamoua Yachongka et al
02-16-2020	Computing Boundary Cycle of a Pseudo-Triangle Polygon from its Visibility Graph by Hossein Boomari Soheila Farokhi
02-16-2020	Multi-layer Representation Fusion for Neural Machine Translation by Qiang Wang et al
02-17-2020	Computing in Covert Domain Using Data Hiding by Zhenxing Qian et al
02-17-2020	Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model by Steve Kommrusch et al
02-14-2020	Counting dense objects in remote sensing images by Guangshuai Gao et al
02-14-2020	SemI2I: Semantically Consistent Image-to-Image Translation for Domain Adaptation of Remote Sensing Data by Onur Tasar et al
02-15-2020	Correlated Adversarial Imitation Learning by Ari Azarafrooz
02-15-2020	Is Deadline Oblivious Scheduling Efficient for Controlling Real-Time Traffic in Cellular Downlink Systems? by Sherif ElAzzouni et al
02-15-2020	Universal Value Density Estimation for Imitation Learning and Goal-Conditioned Reinforcement Learning by Yannick Schroecker et al
02-15-2020	Pitfalls of In-Domain Uncertainty Estimation and Ensembling in Deep Learning by Arsenii Ashukha et al
02-15-2020	Learning to Group: A Bottom-Up Framework for 3D Part Discovery in Unseen Categories by Tiange Luo et al
02-16-2020	Reliable Trajectories for Dynamic Quadrupeds using Analytical Costs and Learned Initializations by Oliwier Melon et al
02-16-2020	To be Tough or Soft: Measuring the Impact of Counter-Ad-blocking Strategies on User Engagement by Shuai Zhao et al
02-17-2020	An Efficient Permissioned Blockchain Model with Provable Reputation Mechanism by Hongyin Chen et al
02-17-2020	HotelRec: a Novel Very Large-Scale Hotel Recommendation Dataset by Diego Antognini et al
02-16-2020	Untrue.News: A New Search Engine For Fake Stories by Vinicius Woloszyn et al
02-16-2020	Automated Labelling using an Attention model for Radiology reports of MRI scans (ALARM) by David A. Wood et al
02-16-2020	AMOUN: Asymmetric lightweight cryptographic scheme for wireless group communication by Ahmad Mansour et al
02-14-2020	Programming Paradigms, Turing Completeness and Computational Thinking by Greg Michaelson
02-12-2020	Eigenvector Component Calculation Speedup over NumPy for High-Performance Computing by Shrey Dabhi et al
02-12-2020	Hierarchical Auto-Regressive Model for Image Compression Incorporating Object Saliency and a Deep Perceptual Loss by Yash Patel et al
02-12-2020	A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub by Yaroslav Golubev et al
02-17-2020	Reinforcement learning for the manipulation of eye tracking data by Wolfgang Fuhl
02-17-2020	Polarization-adjusted Convolutional (PAC) Codes: Fano Decoding vs List Decoding by Mohammad Rowshan et al
02-17-2020	CQ-VQA: Visual Question Answering on Categorized Questions by Aakansha Mishra et al
02-16-2020	SBERT-WK: A Sentence Embedding Method by Dissecting BERT-based Word Models by Bin Wang et al
02-12-2020	Parameterizing Branch-and-Bound Search Trees to Learn Branching Policies by Giulia Zarpellon et al
02-12-2020	Patternless Adversarial Attacks on Video Recognition Networks by Itay Naeh et al
02-12-2020	Wi-Fi Channel Saturation as a Mechanism to Improve Passive Capture of Bluetooth Through Channel Usage Restriction by Ian Low et al
02-12-2020	Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees by Umut A. Acar et al
02-16-2020	Multiple Flat Projections for Cross-manifold Clustering by Lan Bai et al
02-16-2020	Automatic Frame Selection using CNN in Ultrasound Elastography by Abdelrahman Zayed et al
02-16-2020	SpotTheFake: An Initial Report on a New CNN-Enhanced Platform for Counterfeit Goods Detection by Alexandru Şerban et al
02-16-2020	Directional Deep Embedding and Appearance Learning for Fast Video Object Segmentation by Yingjie Yin et al
02-16-2020	Four-valued monitorability of ωω-regular languages by Zhe Chen et al
02-16-2020	A two-stage algorithm for aircraft conflict resolution with trajectory recovery by Fernando H. C. Dias et al
02-13-2020	Dynamic Role-Based Access Control for Decentralized Applications by Arnab Chatterjee et al
02-14-2020	Multi-variate Probabilistic Time Series Forecasting via Conditioned Normalizing Flows by Kashif Rasul et al
02-15-2020	On the Search for Tight Frames of Low Coherence by Xuemei Chen et al
02-13-2020	SpotNet: Self-Attention Multi-Task Network for Object Detection by Hughes Perreault et al
02-13-2020	Ressource Efficient Stabilization for Local Tasks despite Unknown Capacity Links by Lélia Blin et al
02-13-2020	Recurrent Attention Model with Log-Polar Mapping is Robust against Adversarial Attacks by Taro Kiritani et al
02-12-2020	Solving Missing-Annotation Object Detection with Background Recalibration Loss by Han Zhang et al
02-17-2020	DeepDualMapper: A Gated Fusion Network for Automatic Map Extraction using Aerial Images and Trajectories by Hao Wu et al
02-14-2020	The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence by Gary Marcus
02-14-2020	Improving accuracy of the fifth-order WENO scheme by using the exponential approximation space by Youngsoo Ha et al
02-16-2020	Predicting trends in the quality of state-of-the-art neural networks without access to training or testing data by Charles H. Martin et al
02-13-2020	Self-Distillation Amplifies Regularization in Hilbert Space by Hossein Mobahi et al
02-12-2020	Leveraging Affect Transfer Learning for Behavior Prediction in an Intelligent Tutoring System by Nataniel Ruiz et al
02-13-2020	Age of Information with Gilbert-Elliot Servers and Samplers by Baturalp Buyukates et al
02-16-2020	BatchEnsemble: an Alternative Approach to Efficient Ensemble and Lifelong Learning by Yeming Wen et al
02-13-2020	Multi-objective Ranking via Constrained Optimization by Michinari Momma et al
02-16-2020	Robustness Verification for Transformers by Zhouxing Shi et al
02-16-2020	A gradient system approach for Hankel structured low-rank approximation by Antonio Fazzi et al
02-13-2020	Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles by Maximilian Kloock et al
02-16-2020	Active Bayesian Assessment for Black-Box Classifiers by Disi Ji et al
02-16-2020	An optimal mechanism charging for priority in a queue by Moshe Haviv et al
02-16-2020	On the Feasibility of Sybil Attacks in Shard-Based Permissionless Blockchains by Tayebeh Rajab et al
02-14-2020	3D Dynamic Scene Graphs: Actionable Spatial Perception with Places, Objects, and Humans by Antoni Rosinol et al
02-17-2020	Large-Scale Evaluation of Shape-Aware Neighborhood Weights & Neighborhood Sizes by Martin Skrodzki et al
02-14-2020	Leveraging Coupled BBR and Adaptive Packet Scheduling to Boost MPTCP by Jiangping Han et al
02-14-2020	Non-asymptotic Convergence of Adam-type Reinforcement Learning Algorithms under Markovian Sampling by Huaqing Xiong et al
02-14-2020	I-nteract: A cyber-physical system for real-time interaction with physical and virtual objects using mixed reality technologies for additive manufacturing by Ammar Malik et al
02-14-2020	Accurate Stress Assessment based on functional Near Infrared Spectroscopy using Deep Learning Approach by Mahya Mirbagheri et al
02-16-2020	Interactive Text-to-Speech via Semi-supervised Style Transfer Learning by Yang Gao et al
02-13-2020	Replacing Mobile Camera ISP with a Single Deep Learning Model by Andrey Ignatov et al
02-13-2020	Understanding individual behaviour: from virtual to physical patterns by Marco De Nadai et al
02-13-2020	The universal pre-Lie-Rinehart algebras of aromatic trees by Gunnar Fløystad et al
02-16-2020	Tensor denoising and completion based on ordinal observations by Chanwoo Lee et al
02-12-2020	Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics by Merlin Carl
02-12-2020	A Matching Mechanism with Anticipatory Tolls for Congestion Pricing by J Ceasar Aguma et al
02-17-2020	Unique key Horn functions by Kristóf Bérczi et al
02-17-2020	Pandoras Box Problem with Order Constraints by Shant Boodaghians et al
02-16-2020	Advanced BIT* (ABIT*): Sampling-Based Planning with Advanced Graph-Search Techniques by Marlin P. Strub et al
02-17-2020	Precision Gating: Improving Neural Network Efficiency with Dynamic Dual-Precision Activations by Yichi Zhang et al
02-17-2020	Pass-Efficient Randomized LU Algorithms for Computing Low-Rank Matrix Approximation by Bolong Zhang et al
02-13-2020	DSCEP: An Infrastructure for Distributed Semantic Complex Event Processing by Vitor Pinheiro de Almeida et al
02-13-2020	AoI-Delay Tradeoff in Mobile Edge Caching with Freshness-Aware Content Refreshing by Shan Zhang et al
02-13-2020	Transformers as Soft Reasoners over Language by Peter Clark et al
02-16-2020	Congestion Attacks in Payment Channel Networks by Ayelet Mizrahi et al
02-16-2020	A Real-Time Deep Network for Crowd Counting by Xiaowen Shi et al
02-16-2020	BinaryDuo: Reducing Gradient Mismatch in Binary Activation Network by Coupling Binary Activations by Hyungjun Kim et al
02-16-2020	Privaros: A Framework for Privacy-Compliant Drones by Rakesh Rajan Beck et al
02-16-2020	Facial Attribute Capsules for Noise Face Super Resolution by Jingwei Xin et al
02-17-2020	Byzantine Lattice Agreement in Asynchronous Systems by Xiong Zheng et al
02-16-2020	Unsupervised Image-generation Enhanced Adaptation for Object Detection in Thermal images by Wanyi Li et al
02-17-2020	Differentiable Bandit Exploration by Craig Boutilier et al
02-17-2020	Residual Continual Learning by Janghyeon Lee et al
02-17-2020	How to 0wn NAS in Your Spare Time by Sanghyun Hong et al
02-13-2020	Differentially Private Call Auctions and Market Impact by Emily Diana et al
02-13-2020	Neuromorphologicaly-preserving Volumetric data encoding using VQ-VAE by Petru-Daniel Tudosiu et al
02-13-2020	Conditional Disclosure of Secrets: A Noise and Signal Alignment Approach by Zhou Li et al
02-16-2020	Predicting event attendance exploring social influence by Fatemeh Salehi Rizi et al
02-17-2020	Graded Algebraic Theories by Satoshi Kura
02-17-2020	DAWGs for parameterized matching: online construction and related indexing structures by Katsuhito Nakashima et al
02-16-2020	Reinforced active learning for image segmentation by Arantxa Casanova et al
02-14-2020	A Hybrid 3DCNN and 3DC-LSTM based model for 4D Spatio-temporal fMRI data: An ABIDE Autism Classification study by Ahmed El-Gazzar et al
02-14-2020	Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars by Johannes Mey et al
02-14-2020	Robust Contract Evolution in a TypeSafe MicroServices Architecture by João Costa Seco et al
02-14-2020	Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala by Pascal Weisenburger et al
02-14-2020	Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System by Jeff Smits et al
02-14-2020	Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use by Steven Costiou et al
02-14-2020	Stochasticity of Deterministic Gradient Descent: Large Learning Rate for Multiscale Objective Function by Lingkai Kong et al
02-14-2020	Gavial: Programming the web with multi-tier FRP by Bob Reynders et al
02-17-2020	A Sparse Deep Factorization Machine for Efficient CTR prediction by Wei Deng et al
02-12-2020	Recreating Bat Behavior on Quad-rotor UAVs-A Simulation Approach by M. Hassan Tanveer et al
02-12-2020	A Bayesian Approach to Conversational Recommendation Systems by Francesca Mangili et al
02-12-2020	On Termination of Transactions over Semantic Document Models by Andrei Mantsivoda et al
02-12-2020	Fast Generation of High Fidelity RGB-D Images by Deep-Learning with Adaptive Convolution by Chuhua Xian et al
02-12-2020	Complexity of Combinatorial Matrix Completion With Diameter Constraints by Tomohiro Koana et al
02-12-2020	Explainable Deep Modeling of Tabular Data using TableGraphNet by Gabriel Terejanu et al
02-12-2020	Deep compositional robotic planners that follow natural language commands by Yen-Ling Kuo et al
02-12-2020	LOGAN: High-Performance GPU-Based X-Drop Long-Read Alignment by Alberto Zeni et al
02-17-2020	Handling Missing Annotations in Supervised Learning Data by Alaa E. Abdel-Hakim et al
02-17-2020	Targeted Forgetting and False Memory Formation in Continual Learners through Adversarial Backdoor Attacks by Muhammad Umer et al
02-17-2020	On the Power and Limits of Dynamic Pricing in Combinatorial Markets by Ben Berger et al
02-13-2020	Real-time speech enhancement using equilibriated RNN by Daiki Takeuchi et al
02-13-2020	Graph Prolongation Convolutional Networks: Explicitly Multiscale Machine Learning on Graphs, with Applications to Modeling of Biological Systems by C. B. Scott et al
02-13-2020	Sound Event Detection by Multitask Learning of Sound Events and Scenes with Soft Scene Labels by Keisuke Imoto et al
02-14-2020	eSPICE: Probabilistic Load Shedding from Input Event Streams in Complex Event Processing by Ahmad Slo et al
02-17-2020	Simulating Performance of ML Systems with Offline Profiling by Hongming Huang et al
02-17-2020	Detecting kk-(Sub-)Cadences and Equidistant Subsequence Occurrences by Mitsuru Funakoshi et al
02-13-2020	Superpixel Image Classification with Graph Attention Networks by Pedro H. C. Avelar et al
02-12-2020	Conditional Path Analysis in Singly-Connected Path Diagrams by Jose M. Peña
02-17-2020	Citation Recommendation: Approaches and Datasets by Michael Färber et al
02-17-2020	Computing rank-revealing factorizations of matrices stored out-of-core by Nathan Heavner et al
02-17-2020	Learning Architectures for Binary Networks by Kunal Pratap Singh et al
02-17-2020	Investigating the Compositional Structure Of Deep Neural Networks by Francesco Craighero et al
02-17-2020	CoBeam: Beamforming-based Spectrum Sharing With Zero Cross-Technology Signaling for 5G Wireless Networks by Lorenzo Bertizzolo et al
02-12-2020	Fridges on the Highway: Road Traffic Poisoning of Navigation Apps by Simone Raponi et al
02-16-2020	A posteriori error estimates of finite element methods by preconditioning by Yuwen Li et al
02-12-2020	Detect and Correct Bias in Multi-Site Neuroimaging Datasets by Christian Wachinger et al
02-12-2020	Intra-Camera Supervised Person Re-Identification by Xiangping Zhu et al
02-12-2020	Data Efficient Training for Reinforcement Learning with Adaptive Behavior Policy Sharing by Ge Liu et al

02-12-2020	Variational Autoencoders with Riemannian Brownian Motion Priors by Dimitris Kalatzis et al
02-12-2020	Deep Multi-Task Learning via Generalized Tensor Trace Norm by Yi Zhang et al
02-13-2020	A New Exocentric Metaphor for Complex Path Following to Control a UAV Using Mixed Reality by Baptiste Wojtkowski et al
02-13-2020	An Inductive Bias for Distances: Neural Nets that Respect the Triangle Inequality by Silviu Pitis et al
02-13-2020	Statistical Learning with Conditional Value at Risk by Tasuku Soma et al
02-13-2020	Minimax Theorem for Latent Games or: How I Learned to Stop Worrying about Mixed-Nash and Love Neural Nets by Gauthier Gidel et al
02-13-2020	Frequency-based Search-control in Dyna by Yangchen Pan et al
02-13-2020	HULK: An Energy Efficiency Benchmark Platform for Responsible Natural Language Processing by Xiyou Zhou et al
02-14-2020	Speaker Diarization with Region Proposal Network by Zili Huang et al
02-14-2020	Wind speed prediction using a hybrid model of the multi-layer perceptron and whale optimization algorithm by Saeed Samadianfard et al
02-14-2020	Top-K Training of GANs: Improving Generators by Making Critics Less Critical by Samarth Sinha et al
02-14-2020	Spectrum Translation for Cross-Spectral Ocular Matching by Kevin Hernandez Diaz et al
02-14-2020	Space-Time Collocation Method: Loop Quantum Hamiltonian Constraints by Alec Yonika et al
02-17-2020	GameWikiSum: a Novel Large Multi-Document Summarization Dataset by Diego Antognini et al
02-17-2020	Intelligent Reflecting Surface Aided Multiple Access: Capacity Region and Deployment Strategy by Shuowen Zhang et al
02-17-2020	Effective Capacity of NOMA with Finite Blocklength for Low-Latency Communications by Muhammad Amjad et al
02-12-2020	A Zero-Shot based Fingerprint Presentation Attack Detection System by Haozhe Liu et al
02-12-2020	LUCID: A Practical, Lightweight Deep Learning Solution for DDoS Attack Detection by Roberto Doriguzzi-Corin et al
02-17-2020	Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner (p,q)(p,q)-theorem by Justin Dallant et al
02-17-2020	Adaptive Experience Selection for Policy Gradient by Saad Mohamad et al
02-17-2020	Deep Learning for Massive MIMO Channel State Acquisition and Feedback by Mahdi Boloursaz Mashhadi et al
02-12-2020	Learning light field synthesis with Multi-Plane Images: scene encoding as a recurrent segmentation task by Tomás Völker et al
02-12-2020	Task-based, GPU-accelerated and Robust Library for Solving Dense Nonsymmetric Eigenvalue Problems by Mirko Myllykoski et al
02-13-2020	Disentangling Overlapping Beliefs by Structured Matrix Factorization by Chaoqi Yang et al
02-13-2020	AnyHLS: High-Level Synthesis with Partial Evaluation by M. Akif Özkan et al
02-13-2020	An Improved Wrist Kinematic Model for Human-Robot Interaction by Ningbo Yu et al
02-17-2020	t-viSNE: Interactive Assessment and Interpretation of t-SNE Projections by Angelos Chatzimparmpas et al
02-17-2020	An ASP semantics for Constraints involving Conditional Aggregates by Pedro Cabalar et al
02-17-2020	Adaptive local minimax Galerkin methods for variational problems by Pascal Heid et al
02-13-2020	DeepSurf: A surface-based deep learning approach for the prediction of ligand binding sites on proteins by Stelios K. Mylonas et al
02-16-2020	Performative Prediction by Juan C. Perdomo et al
02-13-2020	Variational Conditional-Dependence Hidden Markov Models for Human Action Recognition by Konstantinos P. Panousis et al
02-13-2020	On Learning Meaningful Assert Statements for Unit Test Cases by Cody Watson et al
02-16-2020	Fair Principal Component Analysis and Filter Design by Gad Zalcberg et al
02-13-2020	Coherent and Archimedean choice in general Banach spaces by Gert de Cooman
02-15-2020	Attentive Item2Vec: Neural Attentive User Representations by Oren Barkan et al
02-15-2020	Topology-free immersed boundary method for incompressible turbulence flows: An aerodynamic simulation for dirty CAD geometry by Keiji Onishi et al
02-14-2020	Fast Fair Regression via Efficient Approximations of Mutual Information by Daniel Steinberg et al
02-13-2020	Extended Target Tracking and Classification Using Neural Networks by Barkın Tuncer et al
02-13-2020	Compensation of Linear Attacks to Cyber Physical Systems through ARX System Identification by Soheila Barchinezhad et al
02-13-2020	Simple and Accurate Uncertainty Quantification from Bias-Variance Decomposition by Shi Hu et al
02-13-2020	Asynchronous Tracking-by-Detection on Adaptive Time Surfaces for Event-based Object Tracking by Haosheng Chen et al
02-13-2020	Drawing Graphs as Spanners by Oswin Aichholzer et al
02-13-2020	Explainable Queries over Event Logs by Sylvain Hallé
02-17-2020	Discernible Compressed Images via Deep Perception Consistency by Zhaohui Yang et al
02-17-2020	Patient-Specific Finetuning of Deep Learning Models for Adaptive Radiotherapy in Prostate CT by Mohamed S. Elmahdy et al
02-17-2020	Semantics of negative sequential patterns by Philippe Besnard et al
02-17-2020	Serial Speakers: a Dataset of TV Series by Xavier Bost et al
02-12-2020	On parameter identification problems for elliptic boundary value problems in divergence form, Part I: An abstract framework by Heiko Hoffmann et al
02-14-2020	FQuAD: French Question Answering Dataset by Martin d'Hoffschmidt et al
02-14-2020	Active set expansion strategies in MPRGP algorithm by J. Kruzik et al
02-14-2020	ARMS: Automated rules management system for fraud detection by David Aparício et al
02-14-2020	On the complexity of finding large odd induced subgraphs and odd colorings by Rémy Belmonte et al
02-14-2020	Zero-Resource Cross-Domain Named Entity Recognition by Zihan Liu et al
02-13-2020	Learn to Expect the Unexpected: Probably Approximately Correct Domain Generalization by Vikas K. Garg et al
02-12-2020	HAN-ECG: An Interpretable Atrial Fibrillation Detection Model Using Hierarchical Attention Networks by Sajad Mousavi et al
02-14-2020	Optimally weighted loss functions for solving PDEs with Neural Networks by Remco van der Meer et al
02-14-2020	Layered Embeddings for Amodal Instance Segmentation by Yanfeng Liu et al
02-14-2020	On Extensions of Maximal Repeats in Compressed Strings by Julian Pape-Lange
02-14-2020	Why Do Deep Residual Networks Generalize Better than Deep Feedforward Networks? -- A Neural Tangent Kernel Perspective by Kaixuan Huang et al
02-14-2020	Why Do Line Drawings Work? A Realism Hypothesis by Aaron Hertzmann
02-14-2020	Stress Test Evaluation of Transformer-based Models in Natural Language Understanding Tasks by Carlos Aspillaga et al
02-15-2020	Convex Optimization on Functionals of Probability Densities by Tomohiro Nishiyama
02-15-2020	Learning Adaptive Loss for Robust Learning with Noisy Labels by Jun Shu et al
02-15-2020	Face Recognition: Too Bias, or Not Too Bias? by Joseph P Robinson et al
02-15-2020	Maxmin Q-learning: Controlling the Estimation Bias of Q-learning by Qingfeng Lan et al
02-15-2020	A Multimodal Dialogue System for Conversational Image Editing by Tzu-Hsiang Lin et al
02-14-2020	High-Performance High-Order Stencil Computation on FPGAs Using OpenCL by Hamid Reza Zohouri et al
02-13-2020	Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints by Steven Carr et al
02-17-2020	Concurrent Reference Counting and Resource Management in Wait-free Constant Time by Guy E. Blelloch et al
02-12-2020	Retrain or not retrain? -- efficient pruning methods of deep CNN networks by Marcin Pietron et al
02-17-2020	When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems by Pierre Gillibert et al
02-17-2020	ππVAE: Encoding stochastic process priors with variational autoencoders by Swapnil Mishra et al
02-16-2020	The Utility of General Domain Transfer Learning for Medical Language Tasks by Daniel Ranti et al
02-16-2020	Speech Corpus of Ainu Folklore and End-to-end Speech Recognition for Ainu Language by Kohei Matsuura et al
02-13-2020	Scalable and Practical Natural Gradient for Large-Scale Deep Learning by Kazuki Osawa et al
02-13-2020	DNN-Based Distributed Multichannel Mask Estimation for Speech Enhancement in Microphone Arrays by Nicolas Furnon et al
02-14-2020	Dialogue history integration into end-to-end signal-to-concept spoken language understanding systems by Natalia Tomashenko et al
02-13-2020	A Retrodirective Wireless Power Transfer Scheme for Ambient Backscatter Systems by Sahar Idrees et al
02-13-2020	A Prompt Report on the Performance of Intel Optane DC Persistent Memory Module by Takahiro Hirofuchi et al
02-12-2020	Multiscale Non-stationary Stochastic Bandits by Qin Ding et al
02-17-2020	Performance Analysis of Load Balancing Policies with Memory by Tim Hellemans et al
02-12-2020	Geom-GCN: Geometric Graph Convolutional Networks by Hongbin Pei et al
02-12-2020	Stabilizing Differentiable Architecture Search via Perturbation-based Regularization by Xiangning Chen et al
02-12-2020	A Bounded Measure for Estimating the Benefit of Visualization by Min Chen et al
02-12-2020	Energy Efficiency Optimization for Downlink Massive MIMO With Statistical CSIT by Li You et al
02-12-2020	Performance analysis of Volna-OP2 -- massively parallel code for tsunami modelling by Daniel Giles et al
02-13-2020	Deep Reinforcement Learning-Based Beam Tracking for Low-Latency Services in Vehicular Networks by Yan Liu et al
02-16-2020	Two-dimensional Multi-fiber Spectrum Image Correction Based on Machine Learning Techniques by Jiali Xu et al
02-16-2020	Gaussian Smoothen Semantic Features (GSSF) -- Exploring the Linguistic Aspects of Visual Captioning in Indian Languages (Bengali) Using MSCOCO Framework by Chiranjib Sur
02-16-2020	MDInference: Balancing Inference Accuracy andLatency for Mobile Applications by Samuel S. Ogden et al
02-16-2020	Key Points Estimation and Point Instance Segmentation Approach for Lane Detection by Yeongmin Ko et al
02-16-2020	Simple, Credible, and Approximately-Optimal Auctions by Constantinos Daskalakis et al
02-14-2020	Sthread: In-Vivo Model Checking of Multithreaded Programs by Gene Cooperman et al
02-14-2020	Social-WaGDAT: Interaction-aware Trajectory Prediction via Wasserstein Graph Double-Attention Network by Jiachen Li et al
02-14-2020	Tensor train construction from tensor actions, with application to compression of large high order derivative tensors by Nick Alger et al
02-14-2020	Robust Policies For Proactive ICU Transfers by Julien Grand-Clement et al
02-12-2020	Maximin Fairness with Mixed Divisible and Indivisible Goods by Xiaohui Bei et al
02-13-2020	AGATHA: Automatic Graph-mining And Transformer based Hypothesis generation Approach by Justin Sybrandt et al
02-13-2020	Machines Learn Appearance Bias in Face Recognition by Ryan Steed et al
02-13-2020	CBAG: Conditional Biomedical Abstract Generation by Justin Sybrandt et al
02-13-2020	Learning Halfspaces with Massart Noise Under Structured Distributions by Ilias Diakonikolas et al
02-13-2020	Generalized LDPC Codes with Convolutional Code Constraints by Muhammad Umar Farooq et al
02-13-2020	GANILLA: Generative Adversarial Networks for Image to Illustration Translation by Samet Hicsonmez et al
02-14-2020	Scalable Dyadic Independence Models with Local and Global Constraints by Florian Adriaens et al
02-16-2020	Directed Graph Hashing by Caleb Helbling
02-16-2020	Concurrent Crossmodal Feedback Assists Target-searching: Displaying Distance Information Through Visual, Auditory and Haptic Modalities by Feng Feng et al
02-15-2020	Analyzing CNN Based Behavioural Malware Detection Techniques on Cloud IaaS by Andrew McDole et al
02-15-2020	Automatic lesion segmentation and Pathological Myopia classification in fundus images by Cefas Rodrigues Freire et al
02-14-2020	Benchmarking Knowledge Graphs on the Web by Michael Röder et al
02-14-2020	Never Give Up: Learning Directed Exploration Strategies by Adrià Puigdomènech Badia et al
02-14-2020	A Simple 1-1/e Approximation for Oblivious Bipartite Matching by Zhihao Gavin Tang et al
02-14-2020	A comparison of different types of Niching Genetic Algorithms for variable selection in solar radiation estimation by Jorge Bustos et al
02-14-2020	Deep Speaker Embeddings for Far-Field Speaker Recognition on Short Utterances by Aleksei Gusev et al
02-12-2020	Convex Density Constraints for Computing Plausible Counterfactual Explanations by André Artelt et al
02-12-2020	Energy Efficient Algorithms based on VM Consolidation for Cloud Computing: Comparisons and Evaluations by Qiheng Zhou et al
02-12-2020	Training Two-Layer ReLU Networks with Gradient Descent is Inconsistent by David Holzmüller et al
02-12-2020	Bi-Directional Generation for Unsupervised Domain Adaptation by Guanglei Yang et al
02-13-2020	ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description) by Jan Jakubův et al
02-13-2020	The Power of Graph Convolutional Networks to Distinguish Random Graph Models: Short Version by Abram Magner et al
02-13-2020	Metric-Free Individual Fairness in Online Learning by Yahav Bechavod et al
02-13-2020	Summarizing the performances of a background subtraction algorithm measured on several videos by Sébastien Piérard et al
02-13-2020	Functionally Effective Conscious AI Without Suffering by Aman Agarwal et al
02-13-2020	An Ontology-driven Treatment Article Retrieval System for Precision Oncology by Zheng Chen et al
02-17-2020	Finding All Global Minimum Cuts In Practice by Monika Henzinger et al
02-12-2020	Abnormal respiratory patterns classifier may contribute to large-scale screening of people infected with COVID-19 in an accurate and unobtrusive manner by Yunlu Wang et al
02-17-2020	Learning to Prove Theorems by Learning to Generate Theorems by Mingzhe Wang et al
02-17-2020	Meta-learning Extractors for Music Source Separation by David Samuel et al
02-17-2020	Learning Robust Representations via Multi-View Information Bottleneck by Marco Federici et al
02-17-2020	An Experimental Study of ILP Formulations for the Longest Induced Path Problem by Markus Chimani et al
02-16-2020	Can rhythm be touched? An evaluation of rhythmic sketch performance with augmented multimodal feedback by Feng Feng et al
02-13-2020	EndoL2H: Deep Super-Resolution for Capsule Endoscopy by Yasin Almalioglu et al
02-16-2020	Real-time binaural speech separation with preserved spatial cues by Cong Han et al
02-12-2020	Scheduling Observers Over a Shared Channel with Hard Delivery Deadlines by Rebal Jurdi et al
02-12-2020	Particle Competition and Cooperation for Semi-Supervised Learning with Label Noise by Fabricio Aparecido Breve et al
02-12-2020	A diagonal sweeping domain decomposition method with source transfer for the Helmholtz equation by Wei Leng et al
02-12-2020	Weighted Sum-Rate Maximization for Multi-IRS Aided Cooperative Transmission by Zhengfeng Li et al
02-12-2020	Building Reliable Cloud Services Using P# (Experience Report) by Pantazis Deligiannis et al
02-12-2020	Branch-and-Bound Method for Just-in-Time Optimization of Radar Search Patterns by Yann Briheche et al
02-12-2020	Efficient active learning of sparse halfspaces with arbitrary bounded noise by Chicheng Zhang et al
02-12-2020	Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete by Uli Schlachter et al
02-13-2020	Convergence of a Stochastic Gradient Method with Momentum for Nonsmooth Nonconvex Optimization by Vien V. Mai et al
02-13-2020	Identifying Audio Adversarial Examples via Anomalous Pattern Detection by Victor Akinwande et al
02-14-2020	How to cluster nearest unique nodes from different classes using JJCluster in Wisp application? by Jimut Bahan Pal
02-14-2020	Performance Modeling of Epidemic Routing in Mobile Social Networks with Emphasis on Scalability by Leila Rashidi et al
02-14-2020	Gender Genetic Algorithm in the Dynamic Optimization Problem by P. A. Golovinski et al
02-14-2020	Generating a Generic Fluent API in Java by Tomoki Nakamaru et al
02-14-2020	Transformer on a Diet by Chenguang Wang et al
02-14-2020	Functional Programming in Pattern-Match-Oriented Programming Style by Satoshi Egi et al
02-12-2020	AI safety: state of the field through quantitative lens by Mislav Juric et al
02-13-2020	Stochastic Approximate Gradient Descent via the Langevin Algorithm by Yixuan Qiu et al
02-12-2020	Fully convolutional networks for structural health monitoring through multivariate time series classification by Luca Rosafalco et al
02-14-2020	Towards an Appropriate Query, Key, and Value Computation for Knowledge Tracing by Youngduck Choi et al
02-13-2020	Back-and-Forth prediction for deep tensor compression by Hyomin Choi et al
02-14-2020	Optimal Pricing of Internet of Things: A Machine Learning Approach by Mohammad Abu Alsheikh et al
02-13-2020	Analysis and Evaluation of Handwriting in Patients with Parkinsons Disease Using kinematic, Geometrical, and Non-linear Features by C. D. Rios-Urrego et al
02-15-2020	Learning Pregrasp Manipulation of Objects from Ungraspable Poses by Zhaole Sun et al
02-15-2020	Hold me tight! Influence of discriminative features on deep network boundaries by Guillermo Ortiz-Jimenez et al
02-16-2020	CRL: Class Representative Learning for Image Classification by Mayanka Chandrashekar et al
02-16-2020	Collaborative RF and Lightwave Power Transfer for Next-Generation Wireless Networks by Ha-Vu Tran et al
02-12-2020	Robust Vision-based Obstacle Avoidance for Micro Aerial Vehicles in Dynamic Environments by Jiahao Lin et al
02-12-2020	Beyond UCB: Optimal and Efficient Contextual Bandits with Regression Oracles by Dylan J. Foster et al
02-12-2020	Synaptic Integration of Spatiotemporal Features with a Dynamic Neuromorphic Processor by Mattias Nilsson et al
02-12-2020	Vision, Requirements, and Technology Trend of 6G: How to Tackle the Challenges of System Coverage, Capacity,User Data-Rate and Movement Speed by Shanzhi Chen et al
02-12-2020	Archimedean Choice Functions: an Axiomatic Foundation for Imprecise Decision Making by Jasper De Bock
02-12-2020	Signaling in Bayesian Network Congestion Games: the Subtle Power of Symmetry by Matteo Castiglioni et al
02-12-2020	A Hierarchy of Limitations in Machine Learning by Momin M. Malik
02-12-2020	Towards a more robust algorithm for computing the restricted singular value decomposition by Ian N. Zwaan
02-12-2020	Uniform Interpolation Constrained Geodesic Learning on Data Manifold by Cong Geng et al
02-12-2020	Approximate MMAP by Marginal Search by Alessandro Antonucci et al
02-12-2020	New analysis of Galerkin-mixed FEMs for incompressible miscible flow in porous media by Weiwei Sun et al
02-12-2020	Deep-HR: Fast Heart Rate Estimation from Face Video Under Realistic Conditions by Mohammad Sabokrou et al
02-16-2020	Shifted Lanczos method for quadratic forms with Hermitian matrix resolvents by Keiichi Morikuni
02-16-2020	Text-based Question Answering from Information Retrieval and Deep Neural Network Perspectives: A Survey by Zahra Abbasiyantaeb et al
02-16-2020	Controlled time series generation for automotive software-in-the-loop testing using GANs by Dhasarathy Parthasarathy et al
02-12-2020	Distributed Collaborative 3D-Deployment of UAV Base Stations for On-Demand Coverage by Tatsuaki Kimura et al
02-13-2020	Emotion Recognition for In-the-wild Videos by Hanyu Liu et al
02-12-2020	NP Reasoning in the Monotone μμ-Calculus by Daniel Hausmann et al
02-13-2020	CEB Improves Model Robustness by Ian Fischer et al
02-13-2020	Functional Failure Rate Due to Single-Event Transients in Clock Distribution Networks by Thomas Lange et al
02-15-2020	Analysis on Computation-Intensive Status Update in Mobile Edge Computing by Qiaobin Kuang et al
02-15-2020	HybridCite: A Hybrid Model for Context-Aware Citation Recommendation by Michael Färber et al
02-15-2020	On the dimension of ideals in group algebras, and group codes by Elias Javier Garcia Claro et al
02-15-2020	A divide-and-conquer algorithm for computing Gr\obner bases of syzygies in finite dimension by Simone Naldi et al
02-14-2020	Generalization and Representational Limits of Graph Neural Networks by Vikas K. Garg et al
02-13-2020	A Simple Framework for Contrastive Learning of Visual Representations by Ting Chen et al

02-13-2020	Online Algorithms for Multi-shop Ski Rental with Machine Learned Predictions by Shufan Wang et al
02-14-2020	Traffic Modelling and Prediction via Symbolic Regression on Road Sensor Data by Alina Patelli et al
02-14-2020	Mobile Communications, Computing and Caching Resources Optimization for Coded Caching with Device Computing by Yingjiao Li et al
02-14-2020	Docking Haptics: Extending the Reach of Haptics by Dynamic Combinations of Grounded and Worn Devices by Anthony Steed et al
02-12-2020	Improving automated segmentation of radio shows with audio embeddings by Oberon Berlage et al
02-17-2020	Amplifying The Uncanny by Terence Broad et al
02-12-2020	Predictions of 2019-nCoV Transmission Ending via Comprehensive Methods by Tianyu Zeng et al
02-12-2020	Learning Graph Influence from Social Interactions by Vincenzo Matta et al
02-12-2020	Fast Planning Over Roadmaps via Selective Densification by Brad Saund et al
02-12-2020	Machine Learning in Python: Main developments and technology trends in data science, machine learning, and artificial intelligence by Sebastian Raschka et al
02-12-2020	Topologically Densified Distributions by Christoph D. Hofer et al
02-12-2020	The Unreasonable Effectiveness of Deep Learning in Artificial Intelligence by Terrence J. Sejnowski
02-12-2020	The Quantum Entropy Cone of Hypergraphs by Ning Bao et al
02-12-2020	Self-supervised learning for audio-visual speaker diarization by Yifan Ding et al
02-12-2020	Beyond No-Regret: Competitive Control via Online Optimization with Memory by Guanya Shi et al
02-17-2020	Deep Domain Adaptive Object Detection: a Survey by Wanyi Li et al
02-14-2020	Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics by Marianna Girlando et al
02-14-2020	Revisiting Underapproximate Reachability for Multipushdown Systems by S. Akshay et al
02-14-2020	A Data Efficient End-To-End Spoken Language Understanding Architecture by Marco Dinarelli et al
02-14-2020	Learning Functionally Decomposed Hierarchies for Continuous Control Tasks by Lukas Jendele et al
02-15-2020	Deeper Task-Specificity Improves Joint Entity and Relation Extraction by Phil Crone
02-14-2020	RL agents Implicitly Learning Human Preferences by Nevan Wichers
02-15-2020	Polytopic Discontinuous Galerkin methods for the numerical modelling of flow in porous media with networks of intersecting fractures by Paola Francesca Antonietti et al
02-15-2020	Kruskal-based approximation algorithm for the multi-level Steiner tree problem by Reyan Ahmed et al
02-15-2020	Scale-Invariant Multi-Oriented Text Detection in Wild Scene Images by Kinjal Dasgupta et al
02-15-2020	An End-to-End Framework for Unsupervised Pose Estimation of Occluded Pedestrians by Sudip Das et al
02-14-2020	HDG and CG methods for the Indefinite Time-Harmonic Maxwells Equations under minimal regularity by Gang Chen et al
02-13-2020	The Efficiency of Human Cognition Reflects Planned Information Processing by Mark K. Ho et al
02-13-2020	An Exploratory Study of Code Smells in Web Games by Vartika Agrahari et al
02-13-2020	Unconventional Bio-Inspired Model for Design of Logic Gates by Theofanis Floros et al
02-16-2020	Global and Local Feature Learning for Ego-Network Analysis by Fatemeh Salehi Rizi et al
02-14-2020	How to democratize Internet of Things devices. A participatory design study to improve digital literacy by Matteo Zallio et al
02-14-2020	Fine-Tuning Pretrained Language Models: Weight Initializations, Data Orders, and Early Stopping by Jesse Dodge et al
02-14-2020	Jelly Bean World: A Testbed for Never-Ending Learning by Emmanouil Antonios Platanios et al
02-14-2020	Historical Document Processing: Historical Document Processing: A Survey of Techniques, Tools, and Trends by James P. Philips et al
02-14-2020	Recognizing Families In the Wild (RFIW): The 4th Edition by Joseph P. Robinson et al
02-12-2020	MLFcGAN: Multi-level Feature Fusion based Conditional GAN for Underwater Image Color Correction by Xiaodong Liu et al
02-12-2020	Generalised Hermite functions and their applications in Spectral Approximations by Sheng Changtao et al
02-12-2020	A generalization of the K\H{o}v\{a}ri-S\{o}s-Tur\{a}n theorem by Jesse Geneson
02-12-2020	Power Scaling Laws and Near-Field Behaviors of Massive MIMO and Intelligent Reflecting Surfaces by Emil Björnson et al
02-14-2020	Robust Reinforcement Learning via Adversarial training with Langevin Dynamics by Parameswaran Kamalaruban et al
02-12-2020	Wireless Federated Learning with Local Differential Privacy by Mohamed Seif et al
02-12-2020	Efficient Policy Learning from Surrogate-Loss Classification Reductions by Andrew Bennett et al
02-12-2020	A General Framework to Analyze Stochastic Linear Bandit by Nima Hamidi et al
02-12-2020	Learnable Bernoulli Dropout for Bayesian Deep Learning by Shahin Boluki et al
02-12-2020	Public Bayesian Persuasion: Being Almost Optimal and Almost Persuasive by Matteo Castiglioni et al
02-12-2020	Graph Similarity Using PageRank and Persistent Homology by Mustafa Hajij et al
02-13-2020	Geometric Systems of Unbiased Representatives by Aritra Banik et al
02-13-2020	End-to-end semantic segmentation of personalized deep brain structures for non-invasive brain stimulation by Essam A. Rashed et al
02-13-2020	Air-to-Air Communications Beyond 5G: A Novel 3D CoMP Transmission Scheme by Yan Li et al
02-13-2020	MODRL/D-AM: Multiobjective Deep Reinforcement Learning Algorithm Using Decomposition and Attention Model for Multiobjective Optimization by Hong Wu et al
02-13-2020	High Performance Logistic Regression for Privacy-Preserving Genome Analysis by Martine De Cock et al
02-13-2020	Distributed Graph Realizations by John Augustine et al
02-13-2020	Gradient tracking and variance reduction for decentralized optimization and machine learning by Ran Xin et al
02-13-2020	The Conditional Entropy Bottleneck by Ian Fischer
02-14-2020	Algebraic Structure of Blockchains: A Group-Theoretical Primer by Dongfang Zhao
02-14-2020	A network perspective on intermedia agenda-setting by Samuel Stern et al
02-15-2020	Measuring Abuse in Web Push Advertising by Karthika Subramani et al
02-15-2020	Presenting and Evaluating the Impact of Experiential Learning in Computing Accessibility Education by Weishi Shi et al
02-15-2020	Monotonic Cardinality Estimation of Similarity Selection: A Deep Learning Approach by Yaoshu Wang et al
02-14-2020	Scalable Neural Methods for Reasoning With a Symbolic Knowledge Base by William W. Cohen et al
02-15-2020	Federated Learning with Matched Averaging by Hongyi Wang et al
02-16-2020	REST: Performance Improvement of a Black Box Model via RL-based Spatial Transformation by Jae Myung Kim et al
02-17-2020	Class-Imbalanced Semi-Supervised Learning by Minsung Hyun et al
02-17-2020	Addressing the confounds of accompaniments in singer identification by Tsung-Han Hsieh et al
02-17-2020	On the Similarity of Deep Learning Representations Across Didactic and Adversarial Examples by Pamela K. Douglas et al
02-17-2020	Approximate Distance Oracles Subject to Multiple Vertex Failures by Ran Duan et al
02-15-2020	When to Limit Market Entry under Mandatory Purchase by Meryem Essaidi et al
02-14-2020	Map-less Navigation: A Single DRL-based Controller for Robots with Varied Dimensions by Wei Zhang et al
02-15-2020	Optimal Mechanism Design for Single-Minded Agents by Nikhil Devanur et al
02-15-2020	Many-to-Many Voice Conversion using Conditional Cycle-Consistent Adversarial Networks by Shindong Lee et al
02-14-2020	Combining Parametric Land Surface Models with Machine Learning by Craig Pelissier et al
02-17-2020	The Minimum Hybrid Contract (MHC): Combining legal and blockchain smart contracts by Jørgen Svennevik Notland et al
02-16-2020	Superpower Glass: Delivering Unobtrusive Real-time Social Cues in Wearable Systems by Catalin Voss et al
02-16-2020	Non-additivity in classical-quantum wiretap channels by Arkin Tikku et al
02-17-2020	Flexible goal-oriented space-time adaptivity for coupled Stokes flow and convection-dominated transport by Markus Bause et al
02-17-2020	Data and Model Dependencies of Membership Inference Attack by Shakila Mahjabin Tonni et al
02-12-2020	C-D Ratio in multi-display environments by Travis Gesslein et al
02-15-2020	Extension of δ−zitiδ−ziti method in the unit ball: Numerical integration, resolution of Poissons problem and Heat transfer by Rajae Malek et al
02-12-2020	Sparse Recovery With Non-Linear Fourier Features by Ayca Ozcelikkale
02-12-2020	Regret Bounds for Discounted MDPs by Shuang Liu et al
02-13-2020	Adaptivity of Stochastic Gradient Methods for Nonconvex Optimization by Samuel Horváth et al
02-13-2020	Hypergraph Optimization for Multi-structural Geometric Model Fitting by Shuyuan Lin et al
02-13-2020	Ensemble neural network forecasts with singular value decomposition by Sebastian Scher et al
02-13-2020	Tight Lower Bounds for Combinatorial Multi-Armed Bandits by Nadav Merlis et al
02-16-2020	Relativity of Depth and Sophistication by Charles Alexandre Bédard
02-14-2020	Coordinated Passive Beamforming for Distributed Intelligent Reflecting Surfaces Network by Jinglian He et al
02-14-2020	End-to-end Learning of Object Motion Estimation from Retinal Events for Event-based Object Tracking by Haosheng Chen et al
02-14-2020	Kinetic Geodesic Voronoi Diagrams in a Simple Polygon by Matias Korman et al
02-14-2020	Resource-Aware Control via Dynamic Pricing for Congestion Game with Finite-Time Guarantees by Ezra Tampubolon et al
02-12-2020	Weighted Empirical Risk Minimization: Sample Selection Bias Correction based on Importance Sampling by Robin Vogel et al
02-15-2020	HighRes-net: Recursive Fusion for Multi-Frame Super-Resolution of Satellite Imagery by Michel Deudon et al
02-15-2020	Security of HyperLogLog (HLL) Cardinality Estimation: Vulnerabilities and Protection by Pedro Reviriego et al
02-15-2020	Information-Flow Interfaces by Ezio Bartocci et al
02-15-2020	A Multiple Decoder CNN for Inverse Consistent 3D Image Registration by Abdullah Nazib et al
02-15-2020	On Coresets for Support Vector Machines by Murad Tukan et al
02-16-2020	The HPIM-DM Multicast Routing Protocol by Pedro Oliveira et al
02-17-2020	What is Trending on Wikipedia? Capturing Trends and Language Biases Across Wikipedia Editions by Volodymyr Miz et al
02-12-2020	The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems by Katja Bercic et al
02-12-2020	The Multiplayer Colonel Blotto Game by Enric Boix-Adserà et al
02-13-2020	Automatically Discovering and Learning New Visual Categories with Ranking Statistics by Kai Han et al
02-13-2020	Cross-Iteration Batch Normalization by Zhuliang Yao et al
02-12-2020	Change actions: from incremental computation to discrete derivatives by Mario Alvarez-Picallo
02-13-2020	Work-efficient Batch-incremental Minimum Spanning Trees with Applications to the Sliding Window Model by Daniel Anderson et al
02-15-2020	Bitcoins Blockchain Data Analytics: A Graph Theoretic Perspective by Aman Sharma et al
02-17-2020	On sensing-aware model predictive path-following control for a reversing general 2-trailer with a car-like tractor by Oskar Ljungqvist et al
02-12-2020	On the Performance Analysis of Epidemic Routing in Non-Sparse Delay Tolerant Networks by Leila Rashidi et al
02-12-2020	EFX Exists for Three Agents by Bhaskar Ray Chaudhury et al
02-16-2020	Investigating Simple Object Representations in Model-Free Deep Reinforcement Learning by Guy Davidson et al
02-16-2020	Stochastic Normalizing Flows by Hao Wu et al
02-14-2020	Human Perception of Intrinsically Motivated Autonomy in Human-Robot Interaction by Marcus M. Scheunemann et al
02-14-2020	Finite volume discretisation of fracture deformation in thermo-poroelastic media by Ivar Stefansson et al
02-14-2020	Approximation Bounds for Random Neural Networks and Reservoir Systems by Lukas Gonon et al
02-14-2020	Estimating Gradients for Discrete Random Variables by Sampling without Replacement by Wouter Kool et al
02-17-2020	Enhancing Video Streaming in Vehicular Networks via Resource Slicing by Hamza Khan et al
02-16-2020	Structures of Spurious Local Minima in kk-means by Wei Qian et al
02-13-2020	Simple Interactive Image Segmentation using Label Propagation through kNN graphs by Fabricio Aparecido Breve
02-12-2020	Fully Differentiable Procedural Content Generation through Generative Playing Networks by Philip Bontrager et al
02-13-2020	Generative-based Airway and Vessel Morphology Quantification on Chest CT Images by Pietro Nardelli et al
02-12-2020	Shortest path distance approximation using deep learning techniques by Fatemeh Salehi Rizi et al
02-13-2020	Sequential Cooperative Bayesian Inference by Junqi Wang et al
02-12-2020	Breaking limitation of quantum annealer in solving optimization problems under constraints by Masayuki Ohzeki
02-12-2020	Assortment Optimization with Repeated Exposures and Product-dependent Patience Cost by Shaojie Tang
02-14-2020	Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints by Franz Baader et al
02-17-2020	Tools and Techniques for Malware Detection and Analysis by Sajedul Talukder
02-12-2020	Provably Convergent Policy Gradient Methods for Model-Agnostic Meta-Reinforcement Learning by Alireza Fallah et al
02-12-2020	Recursed is not Recursive: A Jarring Result by Erik Demaine et al
02-12-2020	List-Decodable Subspace Recovery via Sum-of-Squares by Ainesh Bakshi et al
02-16-2020	Reward Design for Driver Repositioning Using Multi-Agent Reinforcement Learning by Zhenyu Shou et al
02-16-2020	Generating clause sequences of a CNF formula by Kristóf Bérczi et al
02-16-2020	On the Approximability of Weighted Model Integration on DNF Structures by Ralph Abboud et al
02-13-2020	Near-Optimal Interference Exploitation 1-Bit Massive MIMO Precoding via Partial Branch-and-Bound by Ang Li et al
02-13-2020	A latent variable approach to heat load prediction in thermal grids by Johan Simonsson et al