2022.1.3 CS papers

12-31-2021	A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More by Iddo Drori et al
12-29-2021	StyleGAN-V: A Continuous Video Generator with the Price, Image Quality and Perks of StyleGAN2 by Ivan Skorokhodov et al
12-28-2021	A Survey on Gender Bias in Natural Language Processing by Karolina Stanczak et al
12-30-2021	Persformer: A Transformer Architecture for Topological Machine Learning by Raphael Reinauer et al
12-31-2021	Training and Generating Neural Networks in Compressed Weight Space by Kazuki Irie et al
12-31-2021	InfoNeRF: Ray Entropy Minimization for Few-Shot Neural Volume Rendering by Mijeong Kim et al
12-29-2021	MetaGraspNet: A Large-Scale Benchmark Dataset for Vision-driven Robotic Grasping via Physics-based Metaverse Synthesis by Yuhao Chen et al
12-30-2021	Towards Robustness of Neural Networks by Steven Basart
12-30-2021	On the Role of Neural Collapse in Transfer Learning by Tomer Galanti et al
12-28-2021	AdaFocus V2: End-to-End Training of Spatial Dynamic Networks for Video Recognition by Yulin Wang et al
12-28-2021	Pale Transformer: A General Vision Transformer Backbone with Pale-Shaped Attention by Sitong Wu et al
12-29-2021	A Simple Baseline for Zero-shot Semantic Segmentation with Pre-trained Vision-language Model by Mengde Xu et al
12-29-2021	Physical Layer Security Techniques for Future Wireless Networks by Weiping Shi et al
12-30-2021	ERNIE-ViLG: Unified Generative Pre-training for Bidirectional Vision-Language Generation by Han Zhang et al
12-31-2021	Social Neuro AI: Social Interaction as the dark matter of AI by Samuele Bolotta et al
12-28-2021	Constrained Gradient Descent: A Powerful and Principled Evasion Attack Against Neural Networks by Weiran Lin et al
12-29-2021	Nonconvex Stochastic Scaled-Gradient Descent and Generalized Eigenvector Problems by Chris Junchi Li et al
12-31-2021	On Distinctive Properties of Universal Perturbations by Sung Min Park et al
12-28-2021	Robust Security Analysis Based on Random Geometry Theory for Satellite-Terrestrial-Vehicle Network by Xudong Li et al
12-31-2021	Sufficient Statistic Memory AMP by Lei Liu et al
12-30-2021	Stochastic Layers in Vision Transformers by Nikola Popovic et al
12-28-2021	DeepHAM: A Global Solution Method for Heterogeneous Agent Models with Aggregate Shocks by Jiequn Han et al
12-29-2021	Data-Driven Computational Methods for the Domain of Attraction and Zubovs Equation by Wei Kang et al
12-29-2021	On the Instability of Relative Pose Estimation and RANSACs Role by Hongyi Fan et al
12-29-2021	Sequential Episodic Control by Ismael T. Freire et al
12-29-2021	Frequency-Aware Contrastive Learning for Neural Machine Translation by Tong Zhang et al
12-28-2021	DeepAdversaries: Examining the Robustness of Deep Learning Models for Galaxy Morphology Classification by Aleksandra Ćiprijanović et al
12-28-2021	Reduced order modeling with time-dependent bases for PDEs with stochastic boundary conditions by Prerna Patil et al
12-29-2021	Neumann Series in GMRES and Algebraic Multigrid Smoothers by Stephen Thomas et al
12-28-2021	Fake or Genuine? Contextualised Text Representation for Fake Review Detection by Rami Mohawesh et al
12-28-2021	It is better to be semi-regular when you have a low degree by Theodore Kolokolnikov
12-29-2021	IoT Security Challenges and Mitigations: An Introduction by Stuart Millar
12-28-2021	Dense-to-Sparse Gate for Mixture-of-Experts by Xiaonan Nie et al
12-28-2021	Mirror Matching: Document Matching Approach in Seed-driven Document Ranking for Medical Systematic Reviews by Grace E. Lee et al
12-30-2021	Accelerated Primal-Dual Gradient Method for Smooth and Convex-Concave Saddle-Point Problems with Bilinear Coupling by Dmitry Kovalev et al
12-29-2021	Monte Carlo EM for Deep Time Series Anomaly Detection by François-Xavier Aubet et al
12-30-2021	What is Event Knowledge Graph: A Survey by Saiping Guan et al
12-29-2021	Sets of Low Correlation Sequences from Cyclotomy by Jonathan M. Castello et al
12-29-2021	Disentanglement and Generalization Under Correlation Shifts by Christina M. Funke et al
12-28-2021	PowerTCP: Pushing the Performance Limits of Datacenter Networks by Vamsi Addanki et al
12-29-2021	Polyak-Ruppert Averaged Q-Leaning is Statistically Efficient by Xiang Li et al
12-29-2021	Explainability Is in the Mind of the Beholder: Establishing the Foundations of Explainable Artificial Intelligence by Kacper Sokol et al
12-28-2021	Training Time Minimization for Federated Edge Learning with Optimized Gradient Quantization and Bandwidth Allocation by Peixi Liu et al
12-31-2021	Statistical Device Activity Detection for OFDM-based Massive Grant-Free Access by Yuhang Jia et al
12-29-2021	Exact quantum query complexity of computing Hamming weight modulo powers of two and three by Arjan Cornelissen et al
12-30-2021	Discrete LQR and ILQR methods based on high order Runge-Kutta methods by Zuodi Xie et al
12-31-2021	SplitBrain: Hybrid Data and Model Parallel Deep Learning by Farley Lai et al
12-28-2021	Variational Learning for the Inverted Beta-Liouville Mixture Model and Its Application to Text Categorization by Yongfa Ling et al
12-28-2021	Empowering Base Stations with Co-Site Intelligent Reflecting Surfaces: User Association, Channel Estimation and Reflection Optimization by Yuwei Huang et al
12-28-2021	Robust Sparse Recovery with Sparse Bernoulli matrices via Expanders by Pedro Abdalla
12-28-2021	Towards continual task learning in artificial neural networks: current approaches and insights from neuroscience by David McCaffary
12-28-2021	Unsourced Random Massive Access with Beam-Space Tree Decoding by Jingze Che et al
12-28-2021	A Finite Sample Theorem for Longitudinal Causal Inference with Machine Learning: Long Term, Dynamic, and Mediated Effects by Rahul Singh
12-28-2021	Harmonic Grassmannian codes by Matthew Fickus et al
12-28-2021	Performance of Refined Isogeometric Analysis in Solving Quadratic Eigenvalue Problems by Ali Hashemian et al
12-29-2021	Res2NetFuse: A Fusion Method for Infrared and Visible Images by Xu Song et al
12-29-2021	A New Method of Construction of Permutation Trinomials with Coefficients 1 by Hua Guo et al
12-31-2021	Notes on the Boussinesq-Full dispersion systems for internal waves: Numerical solution and solitary waves by V. A. Dougalis et al
12-29-2021	Fine-Tuning Transformers: Vocabulary Transfer by Igor Samenko et al
12-29-2021	Gendered Differences in Face Recognition Accuracy Explained by Hairstyles, Makeup, and Facial Morphology by Vítor Albiero et al
12-29-2021	Overcoming Mode Collapse with Adaptive Multi Adversarial Training by Karttikeya Mangalam et al
12-28-2021	Processing M.A. Castr\ens Materials: Multilingual Typed and Handwritten Manuscripts by Niko Partanen et al
12-30-2021	Distributed Random Reshuffling over Networks by Kun Huang et al
12-30-2021	Domain Adaptation with Category Attention Network for Deep Sentiment Analysis by Dongbo Xi et al
12-28-2021	Non-Convex Joint Community Detection and Group Synchronization via Generalized Power Method by Sijin Chen et al
12-30-2021	Decentralized Optimization Over the Stiefel Manifold by an Approximate Augmented Lagrangian Function by Lei Wang et al
12-29-2021	Altitude Optimization of UAV Base Stations from Satellite Images Using Deep Neural Network by Ibrahim Shoer et al
12-29-2021	Active Learning of Quantum System Hamiltonians yields Query Advantage by Arkopal Dutt et al
12-31-2021	Using Graph-Aware Reinforcement Learning to Identify Winning Strategies in Diplomacy Games (Student Abstract) by Hansin Ahuja et al
12-28-2021	Simple, Interpretable and Stable Method for Detecting Words with Usage Change across Corpora by Hila Gonen et al
12-28-2021	Do Not Forget the Past: A Buffer-Aided Framework for Relay Based Key Generation by Rusni Kima Mangang et al
12-29-2021	EiFFFeL: Enforcing Fairness in Forests by Flipping Leaves by Seyum Assefa Abebe et al
12-29-2021	DP-FP: Differentially Private Forward Propagation for Large Models by Jian Du et al
12-29-2021	Deep adaptive basis Galerkin method for high-dimensional evolution equations with oscillatory solutions by Yiqi Gu et al
12-28-2021	On a regularization approach for solving the inverse Cauchy Stokes problem by A. Chakib et al
12-30-2021	Utilizing Wordnets for Cognate Detection among Indian Languages by Diptesh Kanojia et al
12-28-2021	Joint Activity and Blind Information Detection for UAV-Assisted Massive IoT Access by Li Qiao et al
12-28-2021	A survey on product codes and 2-D codes by Amajit Sarma
12-30-2021	When are Iterative Gaussian Processes Reliably Accurate? by Wesley J. Maddox et al
12-29-2021	On Local Convergence of Iterative Hard Thresholding for Matrix Completion by Trung Vu et al
12-28-2021	Financial Vision Based Differential Privacy Applications by Jun-Hao Chen et al
12-30-2021	Efficient Channel Estimation for RIS-Aided MIMO Communications with Unitary Approximate Message Passing by Yabo Guo et al
12-30-2021	Weak approximations of nonlinear SDEs with non-globally Lipschitz continuous coefficients by Xiaojie Wang et al
12-28-2021	Super-Efficient Super Resolution for Fast Adversarial Defense at the Edge by Kartikeya Bhardwaj et al
12-31-2021	Deconfounded Visual Grounding by Jianqiang Huang et al
12-29-2021	Differentially-Private Clustering of Easy Instances by Edith Cohen et al
12-31-2021	Channel Estimation for Hybrid Massive MIMO Systems with Adaptive-Resolution ADCs by Yalin Wang et al
12-29-2021	Machine Learning Methods for Spectral Efficiency Prediction in Massive MIMO Systems by Evgeny Bobrov et al
12-29-2021	Implementation of Convolutional Neural Network Architecture on 3D Multiparametric Magnetic Resonance Imaging for Prostate Cancer Diagnosis by Ping-Chang Lin et al
12-30-2021	Radiology Report Generation with a Learned Knowledge Base and Multi-modal Alignment by Shuxin Yang et al
12-28-2021	DAS: A deep adaptive sampling method for solving partial differential equations by Kejun Tang et al
12-28-2021	Closer Look at the Transferability of Adversarial Examples: How They Fool Different Models Differently by Futa Waseda et al
12-29-2021	Control Theoretic Analysis of Temporal Difference Learning by Donghwan Lee
12-31-2021	Machine Learning Trivializing Maps: A First Step Towards Understanding How Flow-Based Samplers Scale Up by Luigi Del Debbio et al
12-29-2021	Spatial Distribution Patterns of Clownfish in Recirculating Aquaculture Systems by Fahad Aljehani et al
12-31-2021	Computing the dominant eigenpair of an essentially nonnegative tensor via a homotopy method by Xingbang Cui et al
12-29-2021	On the Poisson Stability to Study a Fourth-Order Dynamical System with Quadratic Nonlinearities by Alexander N. Pchelintsev
12-29-2021	Semantic Feature Extraction for Generalized Zero-shot Learning by Junhan Kim et al
12-28-2021	Background-aware Classification Activation Map for Weakly Supervised Object Localization by Lei Zhu et al
12-30-2021	Massively Parallelized Interpolated Factored Green Function Method by Christoph Bauinger et al
12-28-2021	Inhomogeneous spatial patterns in diffusive predator-prey system with spatial memory and predator-taxis by Yehu Lv
12-29-2021	Distance-Aware Precoding for Near-Field Capacity Improvement in XL-MIMO by Zidong Wu et al
12-28-2021	Reliability of Event Timing in Silicon Neurons by Tai Miyazaki Kirby et al
12-30-2021	Simulation of the Geometrically Exact Nonlinear String via Energy Quadratisation by Michele Ducceschi et al
12-28-2021	Towards Relatable Explainable AI with the Perceptual Process by Wencan Zhang et al
12-29-2021	QEMind: Alibabas Submission to the WMT21 Quality Estimation Shared Task by Jiayi Wang et al
12-29-2021	LeSICiN: A Heterogeneous Graph-based Approach for Automatic Legal Statute Identification from Indian Legal Documents by Shounak Paul et al
12-28-2021	A Correctly Rounded Newton Step for the Reciprocal Square Root by Carlos F. Borges
12-28-2021	Self-Supervised Robustifying Guidance for Monocular 3D Face Reconstruction by Hitika Tiwari et al
12-31-2021	Human and Machine Type Communications can Coexist in Uplink Massive MIMO Systems by Kamil Senel et al
12-29-2021	A Color Image Steganography Based on Frequency Sub-band Selection by Hai Su et al
12-29-2021	Multivariate Trend Filtering for Lattice Data by Veeranjaneyulu Sadhanala et al
12-30-2021	Knowledge Matters: Radiology Report Generation with General and Specific Knowledge by Shuxin Yang et al
12-31-2021	InverseMV: Composing Piano Scores with a Convolutional Video-Music Transformer by Chin-Tung Lin et al
12-29-2021	Materialized Knowledge Bases from Commonsense Transformers by Tuan-Phong Nguyen et al
12-28-2021	Time-Incremental Learning from Data Using Temporal Logics by Erfan Aasi et al
12-29-2021	Invertible Image Dataset Protection by Kejiang Chen et al
12-29-2021	Universal Online Learning with Bounded Loss: Reduction to Binary Classification by Moïse Blanchard et al
12-30-2021	Weakly imposed Dirichlet boundary conditions for 2D and 3D Virtual Elements by Silvia Bertoluzza et al
12-28-2021	Continuity of the roots of a nonmonic polynomial and applications in multivariate stability theory by Anthony Stefan et al
12-30-2021	Pose Estimation of Specific Rigid Objects by Tomas Hodan
12-30-2021	Data-Free Knowledge Transfer: A Survey by Yuang Liu et al
12-30-2021	ViNMT: Neural Machine Translation Tookit by Nguyen Hoang Quan et al
12-29-2021	Deep neural network approximation theory for high-dimensional functions by Pierfrancesco Beneventano et al
12-29-2021	Adaptively Sketched Bregman Projection Methods for Linear Systems by Ziyang Yuan et al
12-31-2021	Revisiting Experience Replay: Continual Learning by Adaptively Tuning Task-wise Relationship by Quanziang Wang et al
12-28-2021	Perceptive Mobile Network with Distributed Target Monitoring Terminals: Leaking Communication Energy for Sensing by Lei Xie et al
12-28-2021	Stochastic Coded Caching with Optimized Shared-Cache Sizes and Reduced Subpacketization by Adeel Malik et al
12-28-2021	On the Overlooked Significance of Underutilized Contextual Features in Recent News Recommendation Models by Sungmin Cho et al
12-31-2021	OpenQA: Hybrid QA System Relying on Structured Knowledge Base as well as Non-structured Data by Gaochen Wu et al
12-31-2021	Bayesian Optimization of Function Networks by Raul Astudillo et al
12-30-2021	Entropy Regularized Optimal Transport Independence Criterion by Lang Liu et al
12-30-2021	Does QA-based intermediate training help fine-tuning language models for text classification? by Shiwei Zhang et al
12-29-2021	HPRN: Holistic Prior-embedded Relation Network for Spectral Super-Resolution by Chaoxiong Wu et al
12-29-2021	Learning Higher-Order Programs without Meta-Interpretive Learning by Stanisław J. Purgał et al
12-28-2021	Embodied Learning for Lifelong Visual Perception by David Nilsson et al
12-30-2021	Two Instances of Interpretable Neural Network for Universal Approximations by Erico Tjoa et al

12-28-2021	A New First Order Taylor-like Theorem With An Optimized Reduced Remainder by Joel Chaskalovic et al
12-28-2021	Radiative Transfer in a Fluid by Francois Golse et al
12-31-2021	Polynomial-Time Key Recovery Attack on the Lau-Tan Cryptosystem Based on Gabidulin Codes by Wenshuo Guo et al
12-28-2021	Robust Convergence in Federated Learning through Label-wise Clustering by Hunmin Lee et al
12-29-2021	Two-phase training mitigates class imbalance for camera trap image classification with CNNs by Farjad Malik et al
12-28-2021	Gaussian quadrature rules for composite highly oscillatory integrals by Menghan Wu et al
12-28-2021	COTReg:Coupled Optimal Transport based Point Cloud Registration by Guofeng Mei et al
12-31-2021	Calibrated Hyperspectral Image Reconstruction via Graph-based Self-Tuning Network by Jiamian Wang et al
12-31-2021	Centralized and Distributed Power Allocation for Max-Min Fairness in Cell-Free Massive MIMO by Sucharita Chakraborty et al
12-31-2021	Efficient Multi-Beam Training For Terahertz Wireless communications by Songjie Yang et al
12-31-2021	Infinite wide (finite depth) Neural Networks benefit from multi-task learning unlike shallow Gaussian Processes -- an exact quantitative macroscopic characterization by Jakob Heiss et al
12-28-2021	Multi-Head Deep Metric Learning Using Global and Local Representations by Mohammad K. Ebrahimpour et al
12-29-2021	Local Quadratic Convergence of Stochastic Gradient Descent with Adaptive Step Size by Adityanarayanan Radhakrishnan et al
12-29-2021	A transfer learning enhanced the physics-informed neural network model for vortex-induced vibration by Hesheng Tang et al
12-29-2021	Dynamic programming with partial information to overcome navigational uncertainty in a nautical environment by Chris Beeler et al
12-31-2021	Fast Graph Subset Selection Based on G-optimal Design by Zhengpin Li et al
12-28-2021	Continuous limits of residual neural networks in case of large input data by M. Herty et al
12-31-2021	PCACE: A Statistical Approach to Ranking Neurons for CNN Interpretability by Sílvia Casacuberta et al
12-30-2021	Measuring and Sampling: A Metric-guided Subgraph Learning Framework for Graph Neural Network by Jiyang Bai et al
12-29-2021	ACDNet: Adaptively Combined Dilated Convolution for Monocular Panorama Depth Estimation by Chuanqing Zhuang et al
12-30-2021	Benign Overfitting in Adversarially Robust Linear Classification by Jinghui Chen et al
12-30-2021	First order linear logic and tensor type calculus for categorial grammars by Sergey Slavnov
12-28-2021	Beta-VAE Reproducibility: Challenges and Extensions by Miroslav Fil et al
12-30-2021	TextRGNN: Residual Graph Neural Networks for Text Classification by Jiayuan Chen et al
12-28-2021	Determining kernels in linear viscoelasticity by Barbara Kaltenbacher et al
12-28-2021	A Near-Optimal Finite Approximation Approach for Computing Stationary Distribution and Performance Measures of Continuous-State Markov Chains by Shukai Li et al
12-30-2021	Quantum Operads by Noemie Combe et al
12-30-2021	Fast algorithms for interpolation with L-splines for differential operators L of order 4 with constant coefficients by Ognyan Kounchev et al
12-30-2021	KIND: an Italian Multi-Domain Dataset for Named Entity Recognition by Teresa Paccosi et al
12-30-2021	Verification and generation of unrefinable partitions by Riccardo Aragona et al
12-30-2021	Aim in Climate Change and City Pollution by Pablo Torres et al
12-29-2021	DeePN22: A deep learning-based non-Newtonian hydrodynamic model by Lidong Fang et al
12-28-2021	Federated Learning for Cross-block Oil-water Layer Identification by Bingyang Chena et al
12-28-2021	Geometric Decompositions of Div-Conforming Finite Element Tensors by Long Chen et al
12-31-2021	Improved Algorithm for the Network Alignment Problem with Application to Binary Diffing by Elie Mengin et al
12-31-2021	Binary Diffing as a Network Alignment Problem via Belief Propagation by Elie Mengin et al
12-29-2021	Application of Hierarchical Temporal Memory Theory for Document Categorization by Deven Shah et al
12-29-2021	Few-shot Backdoor Defense Using Shapley Estimation by Jiyang Guan et al
12-28-2021	360{\deg} Optical Flow using Tangent Images by Mingze Yuan et al
12-29-2021	Universal Transformer Hawkes Process with Adaptive Recursive Iteration by Lu-ning Zhang et al
12-29-2021	Temporal Attention Augmented Transformer Hawkes Process by Lu-ning Zhang et al
12-29-2021	Bayesian Neural Hawkes Process for Event Uncertainty Prediction by Manisha Dubey et al
12-31-2021	Transfer learning for cancer diagnosis in histopathological images by Sandhya Aneja et al
12-28-2021	FRIDA -- Generative Feature Replay for Incremental Domain Adaptation by Sayan Rakshit et al
12-28-2021	On the Complexity of Realizability for Safety LTL and Related Subfragments by Noel Arteche et al
12-29-2021	The Levy Flight of Cities: Analyzing Social-Economical Trajectories with Auto-Embedding by Linfang Tian et al
12-29-2021	Deformable Graph Convolutional Networks by Jinyoung Park et al
12-31-2021	on the effectiveness of generative adversarial network on anomaly detection by Laya Rafiee Sevyeri et al
12-29-2021	Parallel Network Flow Allocation in Repeated Routing Games via LQR Optimal Control by Marsalis Gibson et al
12-28-2021	Multi-Band Wi-Fi Sensing with Matched Feature Granularity by Jianyuan Yu et al
12-28-2021	TAGPerson: A Target-Aware Generation Pipeline for Person Re-identification by Kai Chen et al
12-31-2021	Quaternary linear codes and related binary subfield codes by Yansheng Wu et al
12-28-2021	Conforming virtual element approximations of the two-dimensional Stokes problem by Gianmarco Manzini et al
12-29-2021	Designing the Topology of Graph Neural Networks: A Novel Feature Fusion Perspective by Lanning Wei et al
12-31-2021	MRT-based Joint Unicast and Multigroup Multicast Transmission in Massive MIMO Systems by Meysam Sadeghi et al
12-31-2021	Machine learning based disease diagnosis: A comprehensive review by Md Manjurul Ahsan et al
12-30-2021	Bayesian Inference for Fluid Dynamics: A Case Study for the Stochastic Rotating Shallow Water Model by Peter Jan van Leeuwen et al
12-30-2021	Deconfounded Training for Graph Neural Networks by Yongduo Sui et al
12-28-2021	The complete weight enumerator of the Reed-Solomon code with dimension two or three by Canze Zhu et al
12-28-2021	Investigating Shifts in GAN Output-Distributions by Ricard Durall et al
12-28-2021	Skin feature point tracking using deep feature encodings by Jose Ramon Chang et al
12-29-2021	The impact of students behaviour, their approach, emotions and problem difficulty level on the performance prediction, evaluation and overall learning process during online coding activities by Dr. Hardik Patel et al
12-31-2021	Hypers at ComMA@ICON: Modelling Aggressiveness, Gender Bias and Communal Bias Identification by Sean Benhur et al
12-30-2021	Continually Learning Self-Supervised Representations with Projected Functional Regularization by Alex Gomez-Villa et al
12-31-2021	Separation of scales and a thermodynamic description of feature learning in some CNNs by Inbar Seroussi et al
12-29-2021	Shallow decision trees for explainable kk-means clustering by Eduardo Laber et al
12-31-2021	A Strongly Monotonic Polygonal Euler Scheme by Tim Johnston et al
12-31-2021	Triangular Flows for Generative Modeling: Statistical Consistency, Smoothness Classes, and Fast Rates by Nicholas J. Irons et al
12-28-2021	Cross-Domain Empirical Risk Minimization for Unbiased Long-tailed Classification by Beier Zhu et al
12-28-2021	Feature-context driven Federated Meta-Learning for Rare Disease Prediction by Bingyang Chen et al
12-28-2021	Adaptivity and Non-stationarity: Problem-dependent Dynamic Regret for Online Convex Optimization by Peng Zhao et al
12-28-2021	Exponential Family Model-Based Reinforcement Learning via Score Matching by Gene Li et al
12-30-2021	Automatic Mixed-Precision Quantization Search of BERT by Changsheng Zhao et al
12-30-2021	Learning Agent State Online with Recurrent Generate-and-Test by Amir Samani et al
12-29-2021	Active Learning-Based Optimization of Scientific Experimental Design by Ruoyu Wang
12-30-2021	YACLC: A Chinese Learner Corpus with Multidimensional Annotation by Yingying Wang et al
12-30-2021	SimSR: Simple Distance-based State Representation for Deep Reinforcement Learning by Hongyu Zang et al
12-30-2021	BP-Net: Cuff-less, Calibration-free, and Non-invasive Blood Pressure Estimation via a Generic Deep Convolutional Architecture by Soheil Zabihi et al
12-29-2021	Baihe: SysML Framework for AI-driven Databases by Andreas Pfadler et al
12-29-2021	An additive graphical model for discrete data by Jun Tao et al
12-29-2021	Private Rank Aggregation in Central and Local Models by Daniel Alabi et al
12-31-2021	Disjoint Contrastive Regression Learning for Multi-Sourced Annotations by Xiaoqian Ruan et al
12-31-2021	Non-Linear Age of Information: An Energy Efficient Receiver-Centric Approach by Nikolaos I. Miridakis et al
12-31-2021	Improving Baselines in the Wild by Kazuki Irie et al
12-28-2021	Deep neural networks for solving forward and inverse problems of (2+1)-dimensional nonlinear wave equations with rational solitons by Zijian Zhou et al
12-29-2021	Bayesian Compressive Channel Estimation for Hybrid Full-Dimensional MIMO Communications by Hongqing Huang et al
12-28-2021	The full rank condition for sparse random matrices by Amin Coja-Oghlan et al
12-31-2021	Single-Shot Pruning for Offline Reinforcement Learning by Samin Yeasar Arnob et al
12-29-2021	An a posteriori error estimator for isogeometric analysis on trimmed geometries by Annalisa Buffa et al
12-29-2021	A high-order unfitted finite element method for moving interface problems by Chuwen Ma et al
12-28-2021	Recursive Least-Squares Estimator-Aided Online Learning for Visual Tracking by Jin Gao et al
12-29-2021	GPS: A Policy-driven Sampling Approach for Graph Representation Learning by Tiehua Zhang et al
12-29-2021	Isotuning With Applications To Scale-Free Online Learning by Laurent Orseau et al
12-28-2021	Multimodal perception for dexterous manipulation by Guanqun Cao et al
12-28-2021	Improving Prediction of Cognitive Performance using Deep Neural Networks in Sparse Data by Sharath Koorathota et al
12-29-2021	Attention-based Bidirectional LSTM for Deceptive Opinion Spam Classification by Ashish Salunkhe
12-29-2021	Onsite Non-Line-of-Sight Imaging via Online Calibrations by Zhengqing Pan et al
12-28-2021	Socially-Optimal Mechanism Design for Incentivized Online Learning by Zhiyuan Wang et al
12-30-2021	Exploring the pattern of Emotion in children with ASD as an early biomarker through Recurring-Convolution Neural Network (R-CNN) by Abirami S P et al
12-29-2021	Signal and Image Reconstruction with Tight Frames via Unconstrained ℓ1−αℓ2ℓ1−αℓ2-Analysis Minimizations by Peng Li et al
12-30-2021	Finding the Task-Optimal Low-Bit Sub-Distribution in Deep Neural Networks by Runpei Dong et al
12-30-2021	Resource-Efficient Deep Learning: A Survey on Model-, Arithmetic-, and Implementation-Level Techniques by JunKyu Lee et al
12-30-2021	Investigating Pose Representations and Motion Contexts Modeling for 3D Motion Prediction by Zhenguang Liu et al
12-29-2021	Deep Learning meets Liveness Detection: Recent Advancements and Challenges by Arian Sabaghi et al
12-31-2021	Clustering Vietnamese Conversations From Facebook Page To Build Training Dataset For Chatbot by Trieu Hai Nguyen et al
12-28-2021	Efficient Quantum Voting with Information-Theoretic Security by Emil T. Khabiboulline et al
12-29-2021	PINNs for the Solution of the Hyperbolic Buckley-Leverett Problem with a Non-convex Flux Function by Waleed Diab et al
12-30-2021	Self Reward Design with Fine-grained Interpretability by Erico Tjoa et al
12-28-2021	Adaptive Client Sampling in Federated Learning via Online Learning with Bandit Feedback by Boxin Zhao et al
12-31-2021	A Critical Review of Inductive Logic Programming Techniques for Explainable AI by Zheng Zhang et al
12-29-2021	AutoFITS: Automatic Feature Engineering for Irregular Time Series by Pedro Costa et al
12-28-2021	GuidedMix-Net: Semi-supervised Semantic Segmentation by Using Labeled Images as Reference by Peng Tu et al
12-28-2021	Semi-supervised Salient Object Detection with Effective Confidence Estimation by Jiawei Liu et al
12-30-2021	Learned Coarse Models for Efficient Turbulence Simulation by Kimberly Stachenfeld et al
12-29-2021	DDPG car-following model with real-world human driving experience in CARLA by Dianzhao Li et al
12-30-2021	Modelling of Bi-directional Spatio-Temporal Dependence and Users Dynamic Preferences for Missing POI Check-in Identification by Dongbo Xi et al
12-28-2021	Analysis of Longitudinal Changes in Privacy Behavior of Android Applications by Alexander Yu et al
12-29-2021	Feature Generation and Hypothesis Verification for Reliable Face Anti-Spoofing by Shice Liu et al
12-29-2021	A sampling-based approach for efficient clustering in large datasets by Georgios Exarchakis et al
12-28-2021	Multilayer Graph Contrastive Clustering Network by Liang Liu et al
12-29-2021	A fully discrete plates complex on polygonal meshes with application to the Kirchhoff-Love problem by Daniele A. Di Pietro et al
12-30-2021	Visual and Object Geo-localization: A Comprehensive Survey by Daniel Wilson et al
12-31-2021	Scalable Deep Graph Clustering with Random-walk based Self-supervised Learning by Xiang Li et al
12-31-2021	Deep Facial Synthesis: A New Challenge by Deng-Ping Fan et al
12-30-2021	ChunkFormer: Learning Long Time Series with Multi-stage Chunked Transformer by Yue Ju et al
12-30-2021	RheFrameDetect: A Text Classification System for Automatic Detection of Rhetorical Frames in AI from Open Sources by Saurav Ghosh et al
12-28-2021	Brain Tumor Classification by Cascaded Multiscale Multitask Learning Framework Based on Feature Aggregation by Zahra Sobhaninia et al
12-30-2021	Studying the Interplay between Information Loss and Operation Loss in Representations for Classification by Jorge F. Silva et al
12-31-2021	Efficient Single Image Super-Resolution Using Dual Path Connections with Multiple Scale Learning by Bin-Cheng Yang et al
12-31-2021	Robust Entropy-regularized Markov Decision Processes by Tien Mai et al
12-30-2021	Colour alignment for relative colour constancy via non-standard references by Yunfeng Zhao et al
12-28-2021	Deep Graph Clustering via Dual Correlation Reduction by Yue Liu et al
12-30-2021	DPG methods for a fourth-order div problem by Thomas Führer et al
12-30-2021	Multi-Agent Reinforcement Learning via Adaptive Kalman Temporal Difference and Successor Representation by Mohammad Salimibeni et al
12-31-2021	C1C1-VEM for some variants of the Cahn-Hilliard equation: a numerical exploration by Paola F. Antonietti et al
12-31-2021	NOMA Versus Massive MIMO in Rayleigh Fading by Kamil Senel et al
12-29-2021	A Unified and Constructive Framework for the Universality of Neural Networks by Tan Bui-Thanh
12-30-2021	A Resolution Enhancement Plug-in for Deformable Registration of Medical Images by Kaicong Sun et al
12-28-2021	A Generalization of Cyclic Code and Applications to Public Key Cryptosystems by Zhiyong Zheng et al
12-31-2021	Settling the Bias and Variance of Meta-Gradient Estimation for Meta-Reinforcement Learning by Bo Liu et al
12-31-2021	An Unsupervised Domain Adaptation Model based on Dual-module Adversarial Training by Yiju Yang et al
12-31-2021	Importance of Empirical Sample Complexity Analysis for Offline Reinforcement Learning by Samin Yeasar Arnob et al
12-30-2021	CSformer: Bridging Convolution and Transformer for Compressive Sensing by Dongjie Ye et al
12-30-2021	Neural Hierarchical Factorization Machines for Users Event Sequence Analysis by Dongbo Xi et al
12-29-2021	Advanced Smart Drone Swarm Security Network by Using Strategic Alliance for Blockchain Governance Game by Song-Kyoo Kim
12-28-2021	An Error Analysis Framework for Neural Network Modeling of Dynamical Systems by Shunpei Terakawa et al
12-28-2021	Solving time dependent Fokker-Planck equations via temporal normalizing flow by Xiaodong Feng et al
12-31-2021	Representation Learning via Consistent Assignment of Views to Clusters by Thalles Silva et al
12-28-2021	Blockchain Meets AI for Resilient and Intelligent Internet of Vehicles by Pranav Kumar Singh et al
12-30-2021	Benchmarking Chinese Text Recognition: Datasets, Baselines, and an Empirical Study by Jingye Chen et al
12-30-2021	Bayesian Algorithms Learn to Stabilize Unknown Continuous-Time Systems by Mohamad Kazem Shirani Faradonbeh et al
12-30-2021	Leveraging in-domain supervision for unsupervised image-to-image translation tasks via multi-stream generators by Dvir Yerushalmi et al
12-31-2021	Shift-Equivariant Similarity-Preserving Hypervector Representations of Sequences by Dmitri A. Rachkovskij
12-30-2021	THE Benchmark: Transferable Representation Learning for Monocular Height Estimation by Zhitong Xiong et al
12-31-2021	Sparse LiDAR Assisted Self-supervised Stereo Disparity Estimation by Xiaoming Zhao et al
12-31-2021	Learning to Predict 3D Lane Shape and Camera Pose from a Single Image via Geometry Constraints by Ruijin Liu et al
12-31-2021	Conditional Generative Data-Free Knowledge Distillation based on Attention Transfer by Xinyi YU et al
12-31-2021	Actor Loss of Soft Actor Critic Explained by Thibault Lahire
12-28-2021	Private Private Information by Kevin He et al
12-31-2021	3-D Material Style Transfer for Reconstructing Unknown Appearance in Complex Natural Materials by Shashank Ranjan et al
12-29-2021	Learning Inception Attention for Image Synthesis and Image Recognition by Jianghao Shen et al
12-29-2021	ADAPQUEST: A Software for Web-Based Adaptive Questionnaires based on Bayesian Networks by Claudio Bonesana et al
12-28-2021	Quantum Merkle Trees by Lijie Chen et al

12-29-2021	A Unified DRO View of Multi-class Loss Functions with top-N Consistency by Dixian Zhu et al
12-28-2021	Fostering the Robustness of White-Box Deep Neural Network Watermarks by Neuron Alignment by Fang-Qi Li et al
12-31-2021	Scene-Adaptive Attention Network for Crowd Counting by Xing Wei et al
12-31-2021	Inferring perceptual decision making parameters from behavior in production and reproduction tasks by Nils Neupärtl et al
12-29-2021	Efficient Algorithms for Maximal k-Biplex Enumeration by Kaiqiang Yu et al
12-29-2021	Towards a Shapley Value Graph Framework for Medical peer-influence by Jamie Duell et al
12-28-2021	APRIL: Finding the Achilles Heel on Privacy for Vision Transformers by Jiahao Lu et al
12-28-2021	Synchronized Audio-Visual Frames with Fractional Positional Encoding for Transformers in Video-to-Text Translation by Philipp Harzig et al
12-31-2021	In Lieu of Privacy: Anonymous Contact Tracing by Rohit Bhat et al
12-29-2021	On some Foundational Aspects of Human-Centered Artificial Intelligence by Luciano Serafini et al
12-30-2021	Digital Rock Typing DRT Algorithm Formulation with Optimal Supervised Semantic Segmentation by Omar Alfarisi et al
12-28-2021	The Devil is in the Task: Exploiting Reciprocal Appearance-Localization Features for Monocular 3D Object Detection by Zhikang Zou et al
12-28-2021	Delving into Probabilistic Uncertainty for Unsupervised Domain Adaptive Person Re-Identification by Jian Han et al
12-28-2021	An AGM Approach to Revising Preferences by Adrian Haret et al
12-29-2021	A Boolean Algebra for Genetic Variants by Jonathan K. Vis et al
12-28-2021	Learning in Repeated Interactions on Networks by Wanying Huang et al
12-29-2021	A Survey of Deep Learning Techniques for Dynamic Branch Prediction by Rinu Joseph
12-30-2021	Feature Extraction and Prediction for Hand Hygiene Gestures with KNN Algorithm by Rashmi Bakshi
12-28-2021	Robustness and risk management via distributional dynamic programming by Mastane Achab et al
12-30-2021	Dense Depth Estimation from Multiple 360-degree Images Using Virtual Depth by Seongyeop Yang et al
12-30-2021	Are we really making much progress? Revisiting, benchmarking, and refining heterogeneous graph neural networks by Qingsong Lv et al
12-30-2021	SFU-HW-Tracks-v1: Object Tracking Dataset on Raw Video Sequences by Takehiro Tanaka et al
12-31-2021	PiFeNet: Pillar-Feature Network for Real-Time 3D Pedestrian Detection from Point Cloud by Duy-Tho Le et al
12-31-2021	Processing Images from Multiple IACTs in the TAIGA Experiment with Convolutional Neural Networks by Stanislav Polyakov et al
12-30-2021	Investigations of Smart Health Reliability by Sharlet Claros et al
12-28-2021	Efficient Performance Bounds for Primal-Dual Reinforcement Learning from Demonstrations by Angeliki Kamoutsi et al
12-31-2021	Weakly Supervised Change Detection Using Guided Anisotropic Difusion by Rodrigo Caye Daudt et al
12-30-2021	Soundness in Object-centric Workflow Petri Nets by Irina A. Lomazova et al
12-31-2021	Training Recurrent Neural Networks by Sequential Least Squares and the Alternating Direction Method of Multipliers by Alberto Bemporad
12-31-2021	P2P-Loc: Point to Point Tiny Person Localization by Xuehui Yu et al
12-30-2021	Development of a face mask detection pipeline for mask-wearing monitoring in the era of the COVID-19 pandemic: A modular approach by Benjaphan Sommana et al
12-30-2021	Machine Learning Application Development: Practitioners Insights by Md Saidur Rahman et al
12-29-2021	Learning nonlinear dynamics in synchronization of knowledge-based leader-following networks by Shimin Wang et al
12-30-2021	Contrastive Learning of Semantic and Visual Representations for Text Tracking by Zhuang Li et al
12-30-2021	Contrastive Fine-grained Class Clustering via Generative Adversarial Networks by Yunji Kim et al
12-29-2021	Reversible Upper Confidence Bound Algorithm to Generate Diverse Optimized Candidates by Bin Chong et al
12-31-2021	Fast Learning of MNL Model from General Partial Rankings with Application to Network Formation Modeling by Jiaqi Ma et al
12-29-2021	Challenges and approaches for mitigating byzantine attacks in federated learning by Shengshan Hu et al
12-30-2021	Deep Transfer-Learning for patient specific model re-calibration: Application to sEMG-Classification by Stephan Johann Lehmler et al
12-29-2021	Uniqueness Theorem for Tomographic Phase Retrieval with Few Diffraction Patterns by Albert Fannjiang
12-30-2021	Weaving patterns inspired by the pentagon snub subdivision scheme by Henriette Lipschütz et al
12-29-2021	Motif Graph Neural Network by Xuexin Chen et al
12-28-2021	Extended Self-Critical Pipeline for Transforming Videos to Text (TRECVID-VTT Task 2021) -- Team: MMCUniAugsburg by Philipp Harzig et al
12-28-2021	Unsupervised Domain Adaptation for Constraining Star Formation Histories by Sankalp Gilda et al
12-29-2021	Retrieving Black-box Optimal Images from External Databases by Ryoma Sato
12-28-2021	DetarNet: Decoupling Translation and Rotation by Siamese Network for Point Cloud Registration by Zhi Chen et al
12-30-2021	Triads of Conics Associated with a Triangle by Ronaldo Garcia et al
12-30-2021	A General Traffic Shaping Protocol in E-Commerce by Chenlin Shen et al
12-30-2021	A general technique for the estimation of farm animal body part weights from CT scans and its applications in a rabbit breeding program by Ádám Csóka et al
12-30-2021	A Novel Generator with Auxiliary Branch for Improving GAN Performance by Seung Park et al
12-30-2021	Audio-to-symbolic Arrangement via Cross-modal Music Representation Learning by Ziyu Wang et al
12-28-2021	Speedup deep learning models on GPU by taking advantage of efficient unstructured pruning and bit-width reduction by Marcin Pietroń et al
12-30-2021	Deniable Encryption in a Quantum World by Andrea Coladangelo et al
12-29-2021	Graph Neural Networks for Communication Networks: Context, Use Cases and Opportunities by José Suárez-Varela et al
12-29-2021	On the Number of Incidences when Avoiding the Klan by Sariel Har-Peled
12-29-2021	Anomaly Detection in Cyber-Physical Systems: Reconstruction of a Prediction Error Feature Space by Nuno Oliveira et al
12-28-2021	Adoption of Industry 4.0 technologies in airports -- A systematic literature review by Jia Hao Tan et al
12-29-2021	Modeling Prejudice and Its Effect on Societal Prosperity by Deep Inder Mohan et al
12-30-2021	From Behavioral Theories to Econometrics: Inferring Preferences of Human Agents from Data on Repeated Interactions by Gali Noti
12-28-2021	Towards Low Light Enhancement with RAW Images by Haofeng Huang et al
12-29-2021	The SAMME.C2 algorithm for severely imbalanced multi-class classification by Banghee So et al
12-28-2021	SECP-Net: SE-Connection Pyramid Network of Organ At Risk Segmentation for Nasopharyngeal Carcinoma by Zexi Huang et al
12-29-2021	On the Relational Translation Method for Propositional Modal Logics by Jian Zhang
12-31-2021	OWLOOP: A Modular API to Describe OWL Axioms in OOP Objects Hierarchies by Luca Buoncompagni et al
12-30-2021	Constructing a Good Behavior Basis for Transfer using Generalized Policy Updates by Safa Alver et al
12-30-2021	VisQA: Quantifying Information Visualisation Recallability via Question Answering by Yao Wang et al
12-29-2021	Online Starvation Mitigation to Balance Average Flow Time and Fairness by Tung-Wei Kuo
12-29-2021	XLPN: Efficient and Scalable Cross-Ledger Protocols for the Topological Consortium of Permissioned Blockchains by Dongfang Zhao
12-30-2021	Chatbot for fitness management using IBM Watson by Sai Rugved Lola et al
12-30-2021	Constraint Sampling Reinforcement Learning: Incorporating Expertise For Faster Learning by Tong Mu et al
12-30-2021	GenShare: Sharing Accurate Differentially-Private Statistics for Genomic Datasets with Dependent Tuples by Nour Almadhoun Alserr et al
12-28-2021	Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities by Behkish Nassirzadeh et al
12-28-2021	Proceedings of the 13th International Conference on Automated Deduction in Geometry by Predrag Janičić et al
12-29-2021	Working mechanism of Eternalblue and its application in ransomworm by Zian Liu
12-31-2021	An overview of the quantitative causality analysis and causal graph reconstruction based on a rigorous formalism of information flow by X. San Liang
12-29-2021	A Hardware-Software Stack for Serverless Edge Swarms by Liam Patterson et al
12-31-2021	An Efficient and Robust Committee Structure for Sharding Blockchain by Mengqian Zhang et al
12-28-2021	A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory by Eric Finster et al
12-28-2021	Inductive and Coinductive Predicate Liftings for Effectful Programs by Niccolò Veltri et al
12-30-2021	BatchLens: A Visualization Approach for Analyzing Batch Jobs in Cloud Systems by Shaolun Ruan et al
12-29-2021	Effects of Plasticity Functions on Neural Assemblies by Christodoulos Constantinides et al
12-28-2021	Ensemble Recognition in Reproducing Kernel Hilbert Spaces through Aggregated Measurements by Wei Miao et al
12-29-2021	Efficient Belief Space Planning in High-Dimensional State Spaces using PIVOT: Predictive Incremental Variable Ordering Tactic by Khen Elimelech et al
12-29-2021	Optimal Weighted Load Balancing in TCAMs by Yaniv Sadeh et al
12-30-2021	A Survey of fault mitigation techniques for multi-core architectures by Shashikiran Venkatesha et al
12-30-2021	Dimensionality reduction for prediction: Application to Bitcoin and Ethereum by Hugo Inzirillo et al
12-28-2021	Learning Across Bandits in High Dimension via Robust Statistics by Kan Xu et al
12-31-2021	Transfer learning of phase transitions in percolation and directed percolation by Jianmin Shen et al
12-30-2021	Deep Learning Models for Knowledge Tracing: Review and Empirical Evaluation by Sami Sarsa et al
12-30-2021	A Braided Lambda Calculus by Masahito Hasegawa
12-28-2021	To Supervise or Not: How to Effectively Learn Wireless Interference Management Models? by Bingqing Song et al
12-30-2021	An empirical user-study of text-based nonverbal annotation systems for human-human conversations by Joshua Y. Kim et al
12-28-2021	A Compositional Approach to Parity Games by Kazuki Watanabe et al
12-29-2021	Industry 4.0: Challenges and success factors for adopting digital technologies in airports by Jia Hao Tan et al
12-30-2021	Super Exponentials in Linear Logic by Esaïe Bauer et al
12-31-2021	Large-scale focusing joint inversion of gravity and magnetic data with Gramian constraint by Saeed Vatankhah et al
12-30-2021	Quantum secure direct communication with private dense coding using general preshared quantum state by Jiawei Wu et al
12-30-2021	An Intelligent Self-driving Truck System For Highway Transportation by Dawei Wang et al
12-31-2021	A Research Agenda for Artificial Intelligence in the Field of Flexible Production Systems by Aljosha Köcher et al
12-29-2021	ReSplit: Improving the Structure of Jupyter Notebooks by Re-Splitting Their Cells by Sergey Titov et al
12-29-2021	Exact Post-selection Inference For Tracking S&P500 by Farshad Noravesh et al
12-28-2021	GANISP: a GAN-assisted Importance SPlitting Probability Estimator by Malik Hassanaly et al
12-28-2021	Implicit relaxed all Mach number schemes for gases and compressible materials by Andrea Thomann et al
12-31-2021	Structural Liveness of Immediate Observation Petri Nets by Jiri Valusek et al
12-28-2021	Fast Changeset-based Bug Localization with BERT by Agnieszka Ciborowska et al
12-31-2021	SOK: On the Analysis of Web Browser Security by Jungwon Lim et al
12-28-2021	Adversarial Learning for Incentive Optimization in Mobile Payment Marketing by Xuanying Chen et al
12-30-2021	Circuit-Free General-Purpose Multi-Party Computation via Co-Utile Unlinkable Outsourcing by Josep Domingo-Ferrer et al
12-31-2021	BTS: An Accelerator for Bootstrappable Fully Homomorphic Encryption by Sangpyo Kim et al
12-29-2021	UCoDe: Unified Community Detection with Graph Convolutional Networks by Atefeh Moradan et al
12-30-2021	Feature extraction with mel scale separation method on noise audio recordings by Roy Rudolf Huizen et al
12-30-2021	An Empirical Study of Security Practices for Microservices Systems by Ali Rezaei Nasab et al
12-30-2021	An Automatically Verified Prototype of a Landing Gear System by Maximiliano Cristiá et al
12-28-2021	Multinomial and Hypergeometric Distributions in Markov Categories by Bart Jacobs
12-29-2021	Distance-Aware Private Set Intersection by Anrin Chakraborti et al
12-28-2021	A General Glivenko-G\odel Theorem for Nuclei by Giulio Fellin et al
12-28-2021	Monads for Measurable Queries in Probabilistic Databases by Swaraj Dash et al
12-30-2021	Tiansuan Constellation: An Open Research Platform by Shangguang Wang et al
12-29-2021	Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies by Milos Ojdanic et al
12-31-2021	Making AI Smart: Bridging AI and Cognitive Science by Madhav Agarwal
12-30-2021	Expressive power versus decidability by Reijo Jaakkola
12-30-2021	Feferman-Vaught Decompositions for Prefix Classes of First Order Logic by Abhisekh Sankaran
12-28-2021	Multi-Adversarial Safety Analysis for Autonomous Vehicles by Gilbert Bahati et al
12-31-2021	Towards a Domain Ontology for the Analysis of Ancient Fabrics The SILKNOW Project and the Case of European Silk Heritage by Marie Puren et al
12-28-2021	QUIC Throughput and Fairness over Dual Connectivity (extended) by David Hasselquist et al
12-29-2021	Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework by Florian Kammüller
12-28-2021	A proof system for graph (non)-isomorphism verification by Milan Banković et al
12-28-2021	State Compression and Quantitative Assessment Model for Assessing Security Risks in the Oil and Gas Transmission Systems by Hisham A. Kholidy
12-28-2021	Learning from Whats Right and Learning from Whats Wrong by Bart Jacobs
12-29-2021	Concurrent Realizability on Conjunctive Structures by Emmanuel Beffara et al
12-28-2021	Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications by Ugo Dal Lago et al
12-28-2021	Bipartite Graph Matching Algorithms for Entity Resolution: An Empirical Evaluation by George Papadakis et al
12-28-2021	Uniform-in-Phase-Space Data Selection with Iterative Normalizing Flows by Malik Hassanaly et al
12-28-2021	Mythological Medical Machine Learning: Boosting the Performance of a Deep Learning Medical Data Classifier Using Realistic Physiological Models by Ismail Sadiq et al
12-28-2021	From Semantics to Types: the Case of the Imperative lambda-Calculus by Ugo de'Liguoro et al
12-28-2021	Sharp Elements and Apartness in Domains by Tom de Jong
12-28-2021	Syntactic Regions for Concurrent Programs by Samuel Mimram et al
12-28-2021	Two Guarded Recursive Powerdomains for Applicative Simulation by Rasmus Ejlers Møgelberg et al
12-30-2021	PPRviz: Effective and Efficient Graph Visualization based on Personalized PageRank by Shiqi Zhang et al
12-28-2021	Inferring Symbolic Automata by Dana Fisman et al
12-30-2021	Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces by Christian Retoré
12-30-2021	Exponentially Handsome Proof Nets and Their Normalization by Matteo Acclavio
12-30-2021	A Deep Inference System for Differential Linear Logic by Matteo Acclavio et al
12-30-2021	Harmony in the Light of Computational Ludics by Alberto Naibo et al
12-28-2021	Recruiting credible participants for field studies in software engineering research by Austen Rainer et al
12-31-2021	Intention Adaptive Graph Neural Network for Category-aware Session-based Recommendation by Chuan Cui et al
12-29-2021	Source Detection via Contact Tracing in the Presence of Asymptomatic Patients by Gergely Ódor et al
12-31-2021	A Markov Decision Process Framework for Efficient and Implementable Contact Tracing and Isolation by George Li et al
12-29-2021	How Powerful are Interest Diffusion on Purchasing Prediction: A Case Study of Taocode by Xuanwen Huang et al
12-30-2021	Efficiently Enumerating Scaled Copies of Point Set Patterns by Aya Bernstine et al
12-29-2021	Using word clouds for fast identification of papers subject domain and reviewers competences by Yordan Kalmukov
12-28-2021	A Metamodel and Prototype for Fluid Document Formats by Ahmed A. O. Tayeh et al
12-29-2021	Fully Distributed Informative Planning for Environmental Learning with Multi-Robot Systems by Dohyun Jang et al
12-31-2021	Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT by Alessandro Cilardo et al
12-28-2021	Enhanced Wi-Fi RTT Ranging: A Sensor-Aided Learning Approach by Jeongsik Choi
12-29-2021	Accurate Automotive Radar Based Metric Localization with Explicit Doppler Compensation by Pengen Gao et al
12-30-2021	Energy-Aware Multi-Robot Task Allocation in Persistent Tasks by Ehsan Latif et al
12-28-2021	Robotic Hand Rehabilitation System by Dineshkumar et al
12-30-2021	Frequency Selection for Platoon Communications in Secondary Spectrum Using Radio Environment Maps by Marcin Hoffmann et al
12-30-2021	V2V-Based Task Offloading and Resource Allocation in Vehicular Edge Computing Networks by Junjin He et al
12-28-2021	Heterogenous Networks: From small cells to 5G NR-U by Vanlin Sathya et al
12-31-2021	REST API Fuzzing by Coverage Level Guided Blackbox Testing by Chung-Hsuan Tsai et al
12-29-2021	Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions by Shakiba Yaghoubi et al
12-29-2021	INTCP: Information-centric TCP for Satellite Network by Jinyu Yin et al
12-28-2021	The Impacts of Low/No-Code Development on Digital Transformation and Software Development by Zhaohang Yan
12-29-2021	A Test Bench For Evaluating Exoskeletons For Upper Limb Rehabilitation by Clautilde Nguiadem et al
12-30-2021	Set membership with two classical and quantum bit probes by Shyam Dhamapurkar et al
12-30-2021	Adaptive Gaussian Process based Stochastic Trajectory Optimization for Motion Planning by Feng Yichang et al
12-30-2021	A Benchmark Dataset for Micro-video Thumbnail Selection by Liu Bo
12-31-2021	Temporal aware Multi-Interest Graph Neural Network For Session-based Recommendation by Qi Shen et al
12-29-2021	Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution by Milos Ojdanic et al
12-31-2021	Preference Swaps for the Stable Matching Problem by Eduard Eiben et al
12-30-2021	SIM-SITU: A Framework for the Faithful Simulation of in-situ Workflows by Valentin Honoré et al
12-28-2021	Reachability Analysis for FollowerStopper: Safety Analysis and Experimental Results by Fang-Chieh Chou et al
12-28-2021	Casper: Accelerating Stencil Computation using Near-cache Processing by Alain Denzler et al
12-31-2021	Complex contraction on trees without proof of correlation decay by Liang Li et al
12-31-2021	Distributed Hybrid CPU and GPU training for Graph Neural Networks on Billion-Scale Graphs by Da Zheng et al
12-29-2021	The link between countries economic and scientific wealth has a complex dependence on technological activity and research policy by Alonso Rodriguez-Navarro et al
12-30-2021	Towards Automated Sample Collection and Return in Extreme Underwater Environments by Gideon Billings et al
12-28-2021	Fast Subspace Identification Method Based on Containerised Cloud Workflow Processing System by Runze Gao et al
12-28-2021	Session-based Recommendation with Hypergraph Attention Networks by Jianling Wang et al
12-29-2021	Broadcasting on Adversarial Multiple Access Channels by Bader A. Aldawsari et al
12-29-2021	Analytical Models for Motifs in Temporal Networks: Discovering Trends and Anomalies by Alexandra Porter et al
12-30-2021	Echo state graph neural networks with analogue random resistor arrays by Shaocong Wang et al
12-29-2021	Forking Around: Correlation of forking practices with the success of a project by Anurag Dhasmana et al
12-29-2021	Literature Review of the Pioneering Approaches in Cloud-based Search Engines Powered by LETOR Techniques by Gizem Gezici
12-29-2021	Managing Home Routers with NETCONF over TLS and NETCONF Call Home by Vaibhav Bajpai et al
12-28-2021	Environmental migration? An overview of the literature by Maria Cipollina et al
12-28-2021	Cerebro: Static Subsuming Mutant Selection by Aayush Garg et al
12-31-2021	Statistical scalability and approximate inference in distributed computing environments by Aritra Chakravorty et al
12-28-2021	Common Privacy Weaknesses and Vulnerabilities in Software Applications by Pattaraporn Sangaroonsilp et al
12-28-2021	An interface-enriched generalized finite element formulation for locking-free coupling of non-conforming discretizations and contact by Dongyu Liu et al
12-28-2021	Social Sensors in Epidemiological Networks via Graph Eigenvectors by Shubhajit Sen et al
12-30-2021	Elimination (a,b)-trees with fast, durable updates by Anubhav Srivastava et al
12-28-2021	FPGA Based Accelerator for Neural Networks Computation with Flexible Pipelining by Qingyang Yi et al
12-28-2021	Reducing Minor Page Fault Overheads through Enhanced Page Walker by Chandrahas Tirumalasetty et al
12-28-2021	Query Suggestion for Click-Absent Queries in Enterprise Search by Gizem Gezici
12-29-2021	Stochastic dynamic matching: A mixed graph-theory and linear-algebra approach by Céline Comte et al
12-28-2021	Intelligent Document Processing -- Methods and Tools in the real world by Graham A. Cutting et al
12-30-2021	Space-Efficient FPT Algorithms by Arindam Biswas et al
12-30-2021	AntiCopyPaster: Extracting Code Duplicates As Soon As They Are Introduced in the IDE by Anton Ivanov et al
12-30-2021	AutoCast: Scalable Infrastructure-less Cooperative Perception for Distributed Collaborative Driving by Hang Qiu et al
12-30-2021	Close Friends, Popular Peers, Team formation and Leadership in Group Projects by Deekshajyothi S et al
12-30-2021	Comparing different solutions for testing resistive defects in low-power SRAMs by Nunzio Mirabella et al
12-30-2021	Deriving Distributive Laws for Graded Linear Types by Jack Hughes et al
12-28-2021	Robotic Perception of Object Properties using Tactile Sensing by Jiaqi Jiang et al
12-31-2021	Subresultant of several univariate polynomials by Hoon Hong et al