1.73K subscribers
15.5K photos
10 videos
16 files
8.38K links
ArXiv Papers Related to Computer Science, AI, Deep Learning, Computer Vision, NLP, etc

Admins:
@ffarzaddh
Download Telegram
Latest Published Articles:
Multimedia
#Multimedia


πŸ—’ Towards Commodity, Web-Based Augmented Reality Applications for Research and Education in Chemistry and Structural Biology
πŸ‘₯ Luciano A. Abriata
πŸ“— PDF


πŸ—’ Edge Intelligence: On-Demand Deep Learning Model Co-Inference with Device-Edge Synergy
πŸ‘₯ En Li, Zhi Zhou, Xu Chen
πŸ“— PDF


πŸ—’ A Group Variational Transformation Neural Network for Fractional Interpolation of Video Coding
πŸ‘₯ Sifeng Xia, Wenhan Yang, Yueyu Hu, Siwei Ma, Jiaying Liu
πŸ“— PDF


πŸ—’ Source Printer Classification using Printer Specific Local Texture Descriptor
πŸ‘₯ Sharad Joshi, Nitin Khanna
πŸ“— PDF


πŸ—’ StegNet: Mega Image Steganography Capacity with Deep Convolutional Network
πŸ‘₯ Pin Wu, Yang Yang, Xiaoqiang Li
πŸ“— PDF


πŸ—’ A Survey of Automatic Facial Micro-expression Analysis: Databases, Methods and Challenges
πŸ‘₯ Yee-Hui Oh, John See, Anh Cat Le Ngo, Raphael Chung-Wei Phan, Vishnu Monn Baskaran
πŸ“— PDF


πŸ—’ Cross-modal Hallucination for Few-shot Fine-grained Recognition
πŸ‘₯ Frederik Pahde, Patrick JΓ€hnichen, Tassilo Klein, Moin Nabi
πŸ“— PDF


πŸ—’ iParaphrasing: Extracting Visually Grounded Paraphrases via an Image
πŸ‘₯ Chenhui Chu, Mayu Otani, Yuta Nakashima
πŸ“— PDF


πŸ—’ Grayscale-based Block Scrambling Image Encryption for Social Networking Services
πŸ‘₯ Warit Sirichotedumrong, Tatsuya Chuman, Shoko Imaizumi, Hitoshi Kiya
πŸ“— PDF


πŸ—’ Hierarchical Information Quadtree: Efficient Spatial Temporal Image Search for Multimedia Stream
πŸ‘₯ Chengyuan Zhang, Ruipeng Chen, Lei Zhu, Anfeng Liu, Yunwu Lin, Fang Huang
πŸ“— PDF


πŸ—’ Hierarchy of GANs for learning embodied self-awareness model
πŸ‘₯ Mahdyar Ravanbakhsh, Mohamad Baydoun, Damian Campo, Pablo Marin, David Martin, Lucio Marcenaro, Carlo S. Regazzoni
πŸ“— PDF


πŸ—’ Convolutional Video Steganography with Temporal Residual Modeling
πŸ‘₯ Xinyu Weng, Yongzhi Li, Lu Chi, Yadong Mu
πŸ“— PDF


πŸ—’ FastScan: Robust Low-Complexity Rate Adaptation Algorithm for Video Streaming over HTTP
πŸ‘₯ Anis Elgabli, Vaneet Aggarwal
πŸ“— PDF


πŸ—’ Double JPEG Compression Detection by Exploring the Correlations in DCT Domain
πŸ‘₯ Pengpeng Yang, Rongrong Ni, Yao Zhao
πŸ“— PDF


πŸ—’ Revisiting Singing Voice Detection: a Quantitative Review and the Future Outlook
πŸ‘₯ Kyungyun Lee, Keunwoo Choi, Juhan Nam
πŸ“— PDF


#Multimedia
AI Python & arXiv Channel
Latest Published Articles:
Mathematical Software
#MathematicalSoftware


πŸ—’ Optimising finite-difference methods for PDEs through parameterised time-tiling in Devito
πŸ‘₯ Nicholas Sim
πŸ“— PDF


πŸ—’ Topological Data Analysis Made Easy with the Topology ToolKit
πŸ‘₯ Guillaume Favelier, Charles Gueunet, Attila Gyulassy, Julien Kitware, Joshua Levine, Jonas Lukasczyk, Daisuke Sakurai, Maxime Soler, Julien Tierny, Will Usher, Qi Wu
πŸ“— PDF


πŸ—’ Enclave Tasking for Discontinuous Galerkin Methods on Dynamically Adaptive Meshes
πŸ‘₯ Dominic E. Charrier, Benjamin Hazelwood, Tobias Weinzierl
πŸ“— PDF


πŸ—’ Parallel Nonnegative CP Decomposition of Dense Tensors
πŸ‘₯ Grey Ballard, Koby Hayashi, Ramakrishnan Kannan
πŸ“— PDF


πŸ—’ A model-driven approach for a new generation of adaptive libraries
πŸ‘₯ Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
πŸ“— PDF


πŸ—’ Numerical Evaluation of Elliptic Functions, Elliptic Integrals and Modular Forms
πŸ‘₯ Fredrik Johansson
πŸ“— PDF


πŸ—’ Tensor-Tensor Product Toolbox
πŸ‘₯ Canyi Lu
πŸ“— PDF


πŸ—’ Far-HO: A Bilevel Programming Package for Hyperparameter Optimization and Meta-Learning
πŸ‘₯ Luca Franceschi, Riccardo Grazzi, Massimiliano Pontil, Saverio Salzo, Paolo Frasconi
πŸ“— PDF


πŸ—’ SIMD Vectorization for the Lennard-Jones Potential with AVX2 and AVX-512 instructions
πŸ‘₯ Hiroshi Watanabe, Koh M. Nakagawa
πŸ“— PDF


πŸ—’ Generalized Polylogarithms in Maple
πŸ‘₯ Hjalte Frellesvig
πŸ“— PDF


πŸ—’ Efficient Differentiable Programming in a Functional Array-Processing Language
πŸ‘₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
πŸ“— PDF


πŸ—’ A FORTRAN Package for Efficient Multi-Accuracy Computations of the Faddeyeva Function and Related Functions of Complex Arguments
πŸ‘₯ Mofreh R Zaghloul
πŸ“— PDF


πŸ—’ Optimizing Sparse Matrix-Vector Multiplication on Emerging Many-Core Architectures
πŸ‘₯ Shizhao Chen, Jianbin Fang, Donglin Chen, Chuanfu Xu, Zheng Wang
πŸ“— PDF


πŸ—’ Particle-based simulations of reaction-diffusion processes with Aboria
πŸ‘₯ Maria Bruna, Philip K. Maini, Martin Robinson
πŸ“— PDF


πŸ—’ COREclust: a new package for a robust and scalable analysis of complex data
πŸ‘₯ Camille Champion, Anne-Claire Brunet, Jean-Michel Loubes, Laurent Risser
πŸ“— PDF


#MathematicalSoftware
AI Python & arXiv Channel
Latest Published Articles:
Numerical Analysis
#NumericalAnalysis


πŸ—’ A numerical study on the softening process of iron ore particles in the cohesive zone of an experimental blast furnace using a coupled CFD-DEM method
πŸ‘₯ Mehdi Baniasadi, Maryam Baniasadi, Gabriele Pozzetti, Bernhard Peters
πŸ“— PDF


πŸ—’ Radial Basis Function Approximations: Comparison and Applications
πŸ‘₯ Zuzana Majdisova, Vaclav Skala
πŸ“— PDF


πŸ—’ An Improved Formula for Jacobi Rotations
πŸ‘₯ Carlos F. Borges
πŸ“— PDF


πŸ—’ Parallel Nonnegative CP Decomposition of Dense Tensors
πŸ‘₯ Grey Ballard, Koby Hayashi, Ramakrishnan Kannan
πŸ“— PDF


πŸ—’ Numerical Evaluation of Elliptic Functions, Elliptic Integrals and Modular Forms
πŸ‘₯ Fredrik Johansson
πŸ“— PDF


πŸ—’ Gradient Descent-based D-optimal Design for the Least-Squares Polynomial Approximation
πŸ‘₯ V. P. Zankin, G. V. Ryzhakov, I. V. Oseledets
πŸ“— PDF


πŸ—’ GRPF: Global Complex Roots and Poles Finding Algorithm Based on Phase Analysis
πŸ‘₯ Piotr Kowalczyk
πŸ“— PDF


πŸ—’ Generalizations of the Durand-Kerner method
πŸ‘₯ Dmitry I. Khomovsky
πŸ“— PDF


πŸ—’ Multilevel preconditioning for Ridge Regression
πŸ‘₯ Joris Tavernier, Jaak Simm, Karl Meerbergen, Yves Moreau
πŸ“— PDF


πŸ—’ Ranking Recovery from Limited Comparisons using Low-Rank Matrix Completion
πŸ‘₯ Tal Levy, Alireza Vahid, Raja Giryes
πŸ“— PDF


πŸ—’ Solutions of New Potential Integral Equations Using MLFMA Based on the Approximate Stable Diagonalization
πŸ‘₯ Ugur Meric Gur, Ozgur Ergul
πŸ“— PDF


πŸ—’ FESTUNG: A MATLAB /GNU Octave toolbox for the discontinuous Galerkin method. Part IV: Generic problem framework and model-coupling interface
πŸ‘₯ Balthasar Reuter, Andreas Rupp, Vadym Aizinger, Florian Frank, Peter Knabner
πŸ“— PDF


πŸ—’ Adaptive MCMC via Combining Local Samplers
πŸ‘₯ Kiarash Shaloudegi, AndrΓ‘s GyΓΆrgy
πŸ“— PDF


πŸ—’ Hyperviscosity-Based Stabilization for Radial Basis Function-Finite Difference (RBF-FD) Discretizations of Advection-Diffusion Equations
πŸ‘₯ Varun Shankar, Aaron L. Fogelson
πŸ“— PDF


πŸ—’ A Stein variational Newton method
πŸ‘₯ Gianluca Detommaso, Tiangang Cui, Youssef Marzouk, Robert Scheichl, Alessio Spantini
πŸ“— PDF


#NumericalAnalysis
AI Python & arXiv Channel
Latest Published Articles:
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing


πŸ—’ Lamarckian Evolution of Convolutional Neural Networks
πŸ‘₯ Jonas Prellberg, Oliver Kramer
πŸ“— PDF


#NeuralandEvolutionaryComputing
AI Python & arXiv Channel
Latest Published Articles:
Networking and Internet Architecture
#NetworkingandInternetArchitecture


πŸ—’ Impact Zone Analysis of p-Cycle
πŸ‘₯ Pallavi Athe, Yatindra Nath Singh
πŸ“— PDF


πŸ—’ Transparent Recovery of Dynamic States on Constrained Nodes through Deep Packet Inspection
πŸ‘₯ Girum Ketema Teklemariam, Floris Van den Abeele, Ingrid Moerman, Jeroen Hoebeke
πŸ“— PDF


πŸ—’ Revisiting Network Support for RDMA
πŸ‘₯ Radhika Mittal, Alexander Shpiner, Aurojit Panda, Eitan Zahavi, Arvind Krishnamurthy, Sylvia Ratnasamy, Scott Shenker
πŸ“— PDF


πŸ—’ Distribution Power Network Reconfiguration in the Smart Grid
πŸ‘₯ Eonassis O. Santos, Joberto S. B. Martins
πŸ“— PDF


πŸ—’ Edge Intelligence: On-Demand Deep Learning Model Co-Inference with Device-Edge Synergy
πŸ‘₯ En Li, Zhi Zhou, Xu Chen
πŸ“— PDF


πŸ—’ Low Delay Rate Allocation in WLANs Using Aggregation
πŸ‘₯ Franceso Gringoli, Douglas J. Leith
πŸ“— PDF


πŸ—’ A Survey on the Security of Pervasive Online Social Networks (POSNs)
πŸ‘₯ Takshi Gupta, Gaurav Choudhary, Vishal Sharma
πŸ“— PDF


πŸ—’ CommunityWatch: The Swiss-Army Knife of BGP Anomaly Detection
πŸ‘₯ Vasileios Giotsas
πŸ“— PDF


πŸ—’ Stochastic Geometry Analysis of Interference Coordination in NOMA-based Heterogeneous Networks
πŸ‘₯ Can Altay, Mutlu Koca
πŸ“— PDF


πŸ—’ Movement-efficient Sensor Deployment in Wireless Sensor Networks with Limited Communication Range
πŸ‘₯ Jun Guo, Hamid Jafarkhani
πŸ“— PDF


πŸ—’ NFV and SDN - Key Technology Enablers for 5G Networks
πŸ‘₯ Faqir Zarrar Yousaf, Michael Bredel, Sibylle Schaller, Fabian Schneider
πŸ“— PDF


πŸ—’ Trust Anchors in Software Defined Networks
πŸ‘₯ Nicolae Paladi, Linus Karlsson, Khalid Elbashir
πŸ“— PDF


πŸ—’ G-BAM: A Generalized Bandwidth Allocation Model for IP/MPLS/DS-TE Networks
πŸ‘₯ Rafael Freitas Reale, Romildo Martins da S. Bezerra, Joberto S. B. Martins
πŸ“— PDF


πŸ—’ When Is the Achievable Rate Region Convex in Two-User Massive MIMO Systems?
πŸ‘₯ Zheng Chen, Emil BjΓΆrnson, Erik G. Larsson
πŸ“— PDF


πŸ—’ You, the Web and Your Device: Longitudinal Characterization of Browsing Habits
πŸ‘₯ Luca Vassio, Idilio Drago, Marco Mellia, Zied Ben Houidi, Mohamed Lamine Lamali
πŸ“— PDF


#NetworkingandInternetArchitecture
AI Python & arXiv Channel
Latest Published Articles:
Other Computer Science
#OtherComputerScience


πŸ—’ Gamorithm
πŸ‘₯ Moshe Sipper, Jason H. Moore
πŸ“— PDF


πŸ—’ Neural Network-based exploration of construct validity for Russian version of the 10-item Big Five Inventory
πŸ‘₯ Anastasia Sergeeva, Bogdan Kirillov, Alyona Dzhumagulova
πŸ“— PDF


πŸ—’ An Integrated View on the Future of Logistics and Information Technology
πŸ‘₯ Paul Grefen, Wout Hofman, Remco Dijkman, Albert Veenstra, Sander Peters
πŸ“— PDF


πŸ—’ A Guide to the SPHERE 100 Homes Study Dataset
πŸ‘₯ Atis Elsts, Tilo Burghardt, Dallan Byrne, Dima Damen, Xenofon Fafoutis, Sion Hannuna, Victor Ponce Lopez, Alessandro Masullo, Majid Mirmehdi, George Oikonomou, Robert Piechocki, Emma Tonkin, Antonis Vafeas, Przemyslaw Woznowski, Ian Craddock
πŸ“— PDF


πŸ—’ DATA:SEARCH'18 -- Searching Data on the Web
πŸ‘₯ Paul Groth, Laura Koesten, Philipp Mayr, Maarten de Rijke, Elena Simperl
πŸ“— PDF


πŸ—’ Standard Cell Library Evaluation with Multiple lithography-compliant verification and Improved Synopsys Pin Access Checking Utility
πŸ‘₯ Yongfu Li, Wan Chia Ang, Chin Hui Lee, Kok Peng Chua, Yoong Seang Jonathan Ong, Chiu Wing Colin Hui
πŸ“— PDF


πŸ—’ Multiple-Lithography-Compliant Verification for Standard Cell Library Development Flow
πŸ‘₯ Yongfu Li, Wan Chia Ang, Chin Hui Lee, Kok Peng Chua, Yoong Seang Jonathan Ong, Chiu Wing Colin Hui
πŸ“— PDF


πŸ—’ IoT for Green Building Management
πŸ‘₯ Wayes Tushar, Nipun Wijerathne, Wen-Tai Li, Chau Yuen, H. Vincent Poor, Tapan Kumar Saha, Kristin L. Wood
πŸ“— PDF


πŸ—’ Advanced In-Design Auto-Fixing Flow for Cell Abutment Pattern Matching Weakpoints
πŸ‘₯ Yongfu Li, Valerio Perez, I-Lun Tseng, Zhao Chuan Lee, Vikas Tripathi, Jason Khaw, Yoong Seang Jonathan Ong
πŸ“— PDF


πŸ—’ In Design DFM Rule Scoring and Fixing Method using ICV
πŸ‘₯ Vikas Tripathi, Yongfu Li, Zhao Chuan Lee, I-Lun Tseng, Jason Khaw, Jonathan Ong
πŸ“— PDF


πŸ—’ Constraining the Synopsys Pin Access Checker Utility for Improved Standard Cells Library Verification Flow
πŸ‘₯ Yongfu Li, Chin Hui Lee, Wan Chia Ang, Kok Peng Chua, Yoong Seang Jonathan Ong, Chiu Wing Colin Hui
πŸ“— PDF


πŸ—’ Distributed Optimization Strategy for Multi Area Economic Dispatch Based on Electro Search Optimization Algorithm
πŸ‘₯ Mina Yazdandoost, Peyman Khazaei, Salar Saadatian, Rahim Kamali
πŸ“— PDF


πŸ—’ Cost-Benefit Analysis of Data Intelligence -- Its Broader Interpretations
πŸ‘₯ Min Chen
πŸ“— PDF


πŸ—’ Fuel Economy and Emission Testing for Connected and Automated Vehicles Using Real-world Driving Datasets
πŸ‘₯ Yan Chang, Weiqing Yang, Ding Zhao
πŸ“— PDF


πŸ—’ Quantum Adiabatic Evolution for Global Optimization in Big Data
πŸ‘₯ Sahil Imtiyaz
πŸ“— PDF


#OtherComputerScience
AI Python & arXiv Channel
Latest Published Articles:
Operating Systems
#OperatingSystems


πŸ—’ LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
πŸ‘₯ Julian Stecklina, Thomas Prescher
πŸ“— PDF


πŸ—’ Blocking time under basic priority inheritance: Polynomial bound and exact computation
πŸ‘₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
πŸ“— PDF


πŸ—’ Minimizing Event-Handling Latencies in Secure Virtual Machines
πŸ‘₯ Janis Danisevskis, Michael Peter, Jan Nordholz
πŸ“— PDF


πŸ—’ Datacenter RPCs can be General and Fast
πŸ‘₯ Anuj Kalia, Michael Kaminsky, David G. Andersen
πŸ“— PDF


πŸ—’ An Operating System Level Data Migration Scheme in Hybrid DRAM-NVM Memory Architecture
πŸ‘₯ Reza Salkhordeh, Hossein Asadi
πŸ“— PDF


πŸ—’ Mosaic: An Application-Transparent Hardware-Software Cooperative Memory Manager for GPUs
πŸ‘₯ Rachata Ausavarungnirun, Joshua Landgraf, Vance Miller, Saugata Ghose, Jayneel Gandhi, Christopher J. Rossbach, Onur Mutlu
πŸ“— PDF


πŸ—’ iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
πŸ‘₯ Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu
πŸ“— PDF


πŸ—’ Reactive NaN Repair for Applying Approximate Memory to Numerical Applications
πŸ‘₯ Shinsuke Hamada, Soramichi Akiyama, Mitaro Namiki
πŸ“— PDF


πŸ—’ The Secure Machine: Efficient Secure Execution On Untrusted Platforms
πŸ‘₯ Ofir Shwartz, Yitzhak Birk
πŸ“— PDF


πŸ—’ Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems
πŸ‘₯ Jian-Jia Chen, Georg von der BrΓΌggen, Niklas Ueter
πŸ“— PDF


πŸ—’ A Reliable and Practical Approach to Kernel Attack Surface Reduction of Commodity OS
πŸ‘₯ Zhi Zhang, Yueqiang Cheng, Surya Nepal, Dongxi Liu, Qingni Shen, Fethi Rabhi
πŸ“— PDF


πŸ—’ End-to-end Analysis and Design of a Drone Flight Controller
πŸ‘₯ Zhuoqun Cheng, Richard West, Craig Einstein
πŸ“— PDF


πŸ—’ Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
πŸ‘₯ Amr Alanwar, Fatima M. Anwar, Joao P Hespanha, Mani Srivastava
πŸ“— PDF


πŸ—’ Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
πŸ‘₯ Diego Didona, Willy Zwaenepoel
πŸ“— PDF


πŸ—’ Representation Learning for Resource Usage Prediction
πŸ‘₯ Florian Schmidt, Mathias Niepert, Felipe Huici
πŸ“— PDF


#OperatingSystems
AI Python & arXiv Channel
Latest Published Articles:
Performance
#Performance


πŸ—’ Optimising finite-difference methods for PDEs through parameterised time-tiling in Devito
πŸ‘₯ Nicholas Sim
πŸ“— PDF


πŸ—’ Forest Packing: Fast, Parallel Decision Forests
πŸ‘₯ James Browne, Tyler Tomita, Disa Mhembere, Randal Burns, Joshua Vogelstein
πŸ“— PDF


πŸ—’ A model-driven approach for a new generation of adaptive libraries
πŸ‘₯ Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
πŸ“— PDF


πŸ—’ Scalable load balancing in networked systems: A survey of recent advances
πŸ‘₯ Mark van der Boor, Sem C. Borst, Johan S. H. van Leeuwaarden, Debankur Mukherjee
πŸ“— PDF


πŸ—’ Fast Distributed Deep Learning via Worker-adaptive Batch Sizing
πŸ‘₯ Chen Chen, Qizhen Weng, Wei Wang, Baochun Li, Bo Li
πŸ“— PDF


πŸ—’ Improving rewards in overloaded real-time systems
πŸ‘₯ Sathish Gopalakrishnan
πŸ“— PDF


πŸ—’ Confidence Interval Estimators for MOS Values
πŸ‘₯ Tobias Hossfeld, Poul E. Heegaard, Martin Varela, Lea Skorin-Kapov
πŸ“— PDF


πŸ—’ Maximizing Service Reward for Queues with Deadlines
πŸ‘₯ Li-on Raviv, Amir Leshem
πŸ“— PDF


πŸ—’ Evaluating Impact of Human Errors on the Availability of Data Storage Systems
πŸ‘₯ Mostafa Kishani, Reza Eftekhari, Hossein Asadi
πŸ“— PDF


πŸ—’ Modeling Impact of Human Errors on the Data Unavailability and Data Loss of Storage Systems
πŸ‘₯ Mostafa Kishani, Hossein Asadi
πŸ“— PDF


πŸ—’ PAM: When Overloaded, Push Your Neighbor Aside!
πŸ‘₯ Zili Meng, Jun Bi, Chen Sun, Shuhe Wang, Minhu Wang, Hongxin Hu
πŸ“— PDF


πŸ—’ An infinite-server queueing model MMAPkGk in semi-Markov random environment with marked MAP arrival and subject to catastrophes
πŸ‘₯ K. Kerobyan, R. Covington, R. Kerobyan, K. Enakoutsa
πŸ“— PDF


πŸ—’ Infinite-server queueing model with MAPkGk Markov arrival streams, random volume of customers in random environment subject to catastrophe
πŸ‘₯ Khanik Kerobyan, Ruben Kerobyan, Koffi Enakoutsa
πŸ“— PDF


πŸ—’ DRESS: Dynamic RESource-reservation Scheme for Congested Data-intensive Computing Platforms
πŸ‘₯ Ying Mao, Victoria Green, Jiayin Wang, Haoyi Xiong, Zhishan Guo
πŸ“— PDF


πŸ—’ Performance Reproduction and Prediction of Selected Dynamic Loop Scheduling Experiments
πŸ‘₯ Ali Mohammed, Ahmed Eleliemy, Florina M. Ciorba
πŸ“— PDF


#Performance
AI Python & arXiv Channel
Latest Published Articles:
Programming Languages
#ProgrammingLanguages


πŸ—’ Strict Linearizability and Abstract Atomicity
πŸ‘₯ Tangliu Wen
πŸ“— PDF


πŸ—’ An Application of Computable Distributions to the Semantics of Probabilistic Programs
πŸ‘₯ Daniel Huang, Greg Morrisett, Bas Spitters
πŸ“— PDF


πŸ—’ Parallelization of XPath Queries using Modern XQuery Processors
πŸ‘₯ Shigeyuki Sato, Wei Hao, Kiminori Matsuzaki
πŸ“— PDF


πŸ—’ Schematic Polymorphism in the Abella Proof Assistant
πŸ‘₯ Gopalan Nadathur, Yuting Wang
πŸ“— PDF


πŸ—’ Augmenting Source Code Lines with Sample Variable Values
πŸ‘₯ MatΓΊΕ‘ SulΓ­r, Jaroslav PorubΓ€n
πŸ“— PDF


πŸ—’ Neural Code Comprehension: A Learnable Representation of Code Semantics
πŸ‘₯ Tal Ben-Nun, Alice Shoshana Jakobovits, Torsten Hoefler
πŸ“— PDF


πŸ—’ A Theory of Reversibility for Erlang
πŸ‘₯ Ivan Lanese, Naoki Nishida, AdriΓ‘n Palacios, GermΓ‘n Vidal
πŸ“— PDF


πŸ—’ Reasoning about Polymorphic Manifest Contracts
πŸ‘₯ Taro Sekiyama, Atsushi Igarashi
πŸ“— PDF


πŸ—’ Dependently Typed Folds for Nested Data Types
πŸ‘₯ Peng Fu, Peter Selinger
πŸ“— PDF


πŸ—’ How Usable are Rust Cryptography APIs?
πŸ‘₯ Kai Mindermann, Philipp Keck, Stefan Wagner
πŸ“— PDF


πŸ—’ Syntax and Semantics of Cedille
πŸ‘₯ Aaron Stump
πŸ“— PDF


πŸ—’ Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
πŸ‘₯ Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
πŸ“— PDF


πŸ—’ SoK: Sanitizing for Security
πŸ‘₯ Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
πŸ“— PDF


πŸ—’ Greybox fuzzing as a contextual bandits problem
πŸ‘₯ Ketan Patil, Aditya Kanade
πŸ“— PDF


πŸ—’ Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)
πŸ‘₯ Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
πŸ“— PDF


#ProgrammingLanguages
AI Python & arXiv Channel
Latest Published Articles:
Robotics
#Robotics


πŸ—’ Learning Instance Segmentation by Interaction
πŸ‘₯ Deepak Pathak, Yide Shentu, Dian Chen, Pulkit Agrawal, Trevor Darrell, Sergey Levine, Jitendra Malik
πŸ“— PDF


πŸ—’ Monocular Trail Detection and Tracking Aided by Visual SLAM for Small Unmanned Aerial Vehicles
πŸ‘₯ AndrΓ© Silva, Ricardo MendonΓ§a, Pedro Santana
πŸ“— PDF


πŸ—’ Beyond Basins of Attraction: Evaluating Robustness of Natural Dynamics
πŸ‘₯ Steve Heim, Alexander SprΓΆwitz
πŸ“— PDF


πŸ—’ Learning what is above and what is below: horizon approach to monocular obstacle detection
πŸ‘₯ Guido de Croon, Christophe De Wagter
πŸ“— PDF


πŸ—’ Sim-to-Real Reinforcement Learning for Deformable Object Manipulation
πŸ‘₯ Jan Matas, Stephen James, Andrew J. Davison
πŸ“— PDF


πŸ—’ A Look at Motion Planning for Autonomous Vehicles at an Intersection
πŸ‘₯ Shravan K, Govind Aadithya R, Rahul Ramakrishnan, Vijay Arvindh, Sivanathan K
πŸ“— PDF


πŸ—’ Learning Neural Parsers with Deterministic Differentiable Imitation Learning
πŸ‘₯ Tanmay Shankar, Nicholas Rhinehart, Katharina Muelling, Kris M. Kitani
πŸ“— PDF


πŸ—’ iCLAP: Shape Recognition by Combining Proprioception and Touch Sensing
πŸ‘₯ Shan Luo, Wenxuan Mou, Kaspar Althoefer, Hongbin Liu
πŸ“— PDF


πŸ—’ Fast, Anytime Motion Planning for Prehensile Manipulation in Clutter
πŸ‘₯ Andrew Kimmel, Rahul Shome, Zakary Littlefield, Kostas Bekris
πŸ“— PDF


πŸ—’ Motion planning in high-dimensional spaces
πŸ‘₯ Luka Petrovic
πŸ“— PDF


πŸ—’ Automatic Design of Task-specific Robotic Arms
πŸ‘₯ Ruta Desai, Margarita Safonova, Katharina Muelling, Stelian Coros
πŸ“— PDF


πŸ—’ Motion Planning for a Humanoid Mobile Manipulator System
πŸ‘₯ Yan Wei, Wei Jiang, Ahmed Rahmani, Qiang Zhan
πŸ“— PDF


πŸ—’ Multi-agent Gaussian Process Motion Planning via Probabilistic Inference
πŸ‘₯ Luka PetroviΔ‡, Ivan MarkoviΔ‡, Marija Seder
πŸ“— PDF


πŸ—’ ConFusion: Sensor Fusion for Complex Robotic Systems using Nonlinear Optimization
πŸ‘₯ Timothy Sandy, Simon Kerscher, Jonas Buchli
πŸ“— PDF


πŸ—’ Experiments in Fast, Autonomous, GPS-Denied Quadrotor Flight
πŸ‘₯ Kartik Mohta, Ke Sun, Sikang Liu, Michael Watterson, Bernd Pfrommer, James Svacha, Yash Mulgaonkar, Camillo Jose Taylor, Vijay Kumar
πŸ“— PDF


#Robotics
AI Python & arXiv Channel
Latest Published Articles:
Symbolic Computation
#SymbolicComputation


πŸ—’ Real root finding for equivariant semi-algebraic systems
πŸ‘₯ Cordian Riener, Mohab Safey El Din
πŸ“— PDF


πŸ—’ Effective Intersection Theory
πŸ‘₯ Corey Harris, Martin Helmer
πŸ“— PDF


πŸ—’ Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic
πŸ‘₯ Alin Bostan, Xavier Caruso, Gilles Christol, Philippe Dumas
πŸ“— PDF


πŸ—’ Counting points on genus-3 hyperelliptic curves with explicit real multiplication
πŸ‘₯ Simon Abelard, Pierrick Gaudry, Pierre-Jean Spaenlehauer
πŸ“— PDF


πŸ—’ A fast algorithm for solving linearly recurrent sequences
πŸ‘₯ Seung Gyu Hyun, Stephen Melczer, Catherine St-Pierre
πŸ“— PDF


πŸ—’ Efficient Differentiable Programming in a Functional Array-Processing Language
πŸ‘₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
πŸ“— PDF


πŸ—’ In-depth comparison of the Berlekamp--Massey--Sakata and the Scalar-FGLM algorithms: the adaptive variants
πŸ‘₯ JΓ©rΓ©my Berthomieu, Jean-Charles FaugΓ¨re
πŸ“— PDF


πŸ—’ Monodromy Solver: Sequential and Parallel
πŸ‘₯ Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars
πŸ“— PDF


πŸ—’ Tritangents and Their Space Sextics
πŸ‘₯ Turku Ozlum Celik, Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin
πŸ“— PDF


πŸ—’ Towards Incremental Cylindrical Algebraic Decomposition in Maple
πŸ‘₯ Alexander Imani Cowen-Rivers, Matthew England
πŸ“— PDF


πŸ—’ A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
πŸ‘₯ Manuel Kauers, Doron Zeilberger
πŸ“— PDF


πŸ—’ On Affine Tropical F5 Algorithms
πŸ‘₯ Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
πŸ“— PDF


πŸ—’ Enumeration of Complex Golay Pairs via Programmatic SAT
πŸ‘₯ Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh
πŸ“— PDF


πŸ—’ Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
πŸ‘₯ MatΓ­as Bender, Jean-Charles FaugΓ¨re, Angelos Mantzaflaris, Elias Tsigaridas
πŸ“— PDF


πŸ—’ Computing curves on real rational surfaces
πŸ‘₯ Niels Lubbes
πŸ“— PDF


#SymbolicComputation
AI Python & arXiv Channel
Latest Published Articles:
Sound
#Sound


πŸ—’ Learning Transposition-Invariant Interval Features from Symbolic Music and Audio
πŸ‘₯ Stefan Lattner, Maarten Grachten, Gerhard Widmer
πŸ“— PDF


πŸ—’ Towards Automated Single Channel Source Separation using Neural Networks
πŸ‘₯ Arpita Gang, Pravesh Biyani, Akshay Soni
πŸ“— PDF


πŸ—’ Synthesizing Diverse, High-Quality Audio Textures
πŸ‘₯ Joseph Antognini, Matt Hoffman, Ron J. Weiss
πŸ“— PDF


πŸ—’ Quaternion Convolutional Neural Networks for End-to-End Automatic Speech Recognition
πŸ‘₯ Titouan Parcollet, Ying Zhang, Mohamed Morchid, Chiheb Trabelsi, Georges LinarΓ¨s, Renato De Mori, Yoshua Bengio
πŸ“— PDF


πŸ—’ A Simple Fusion of Deep and Shallow Learning for Acoustic Scene Classification
πŸ‘₯ Eduardo Fonseca, Rong Gong, Xavier Serra
πŸ“— PDF


πŸ—’ Speaker Adapted Beamforming for Multi-Channel Automatic Speech Recognition
πŸ‘₯ Tobias Menne, Ralf SchlΓΌter, Hermann Ney
πŸ“— PDF


πŸ—’ End-to-End Speech Recognition From the Raw Waveform
πŸ‘₯ Neil Zeghidour, Nicolas Usunier, Gabriel Synnaeve, Ronan Collobert, Emmanuel Dupoux
πŸ“— PDF


πŸ—’ Frequency domain variants of velvet noise and their application to speech processing and synthesis: with appendices
πŸ‘₯ Hideki Kawahara, Ken-Ichi Sakakibara, Masanori Morise, Hideki Banno, Tomoki Toda, Toshio Irino
πŸ“— PDF


πŸ—’ A Weighted Superposition of Functional Contours Model for Modelling Contextual Prominence of Elementary Prosodic Contours
πŸ‘₯ Branislav Gerazov, GΓ©rard Bailly, Yi Xu
πŸ“— PDF


πŸ—’ Towards an efficient deep learning model for musical onset detection
πŸ‘₯ Rong Gong, Xavier Serra
πŸ“— PDF


πŸ—’ Towards multi-instrument drum transcription
πŸ‘₯ Richard Vogl, Gerhard Widmer, Peter Knees
πŸ“— PDF


πŸ—’ Cover Song Synthesis by Analogy
πŸ‘₯ Christopher J. Tralie
πŸ“— PDF


πŸ—’ Extending Recurrent Neural Aligner for Streaming End-to-End Speech Recognition in Mandarin
πŸ‘₯ Linhao Dong, Shiyu Zhou, Wei Chen, Bo Xu
πŸ“— PDF


πŸ—’ A 5-Dimensional Tonnetz for Nearly Symmetric Hexachords
πŸ‘₯ Vaibhav Mohanty
πŸ“— PDF


πŸ—’ Monaural source enhancement maximizing source-to-distortion ratio via automatic differentiation
πŸ‘₯ Hiroaki Nakajima, Yu Takahashi, Kazunobu Kondo, Yuji Hisaminato
πŸ“— PDF


#Sound
AI Python & arXiv Channel
Latest Published Articles:
Software Engineering
#SoftwareEngineering


πŸ—’ Examining key features and platforms of IoT
πŸ‘₯ Rena Bakhshi, Mary Hester, Jeroen Schot
πŸ“— PDF


πŸ—’ Proving Linearizability Using Reduction
πŸ‘₯ Tangliu Wen
πŸ“— PDF


πŸ—’ Awareness and Experience of Developers to Outdated and License-Violating Code on Stack Overflow: An Online Survey
πŸ‘₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Rocco Oliveto
πŸ“— PDF


πŸ—’ Strict Linearizability and Abstract Atomicity
πŸ‘₯ Tangliu Wen
πŸ“— PDF


πŸ—’ Data-Driven Application Maintenance: Views from the Trenches
πŸ‘₯ Janardan Misra, Shubhashis Sengupta, Divya Rawat, Milind Savagaonkar, Sanjay Podder
πŸ“— PDF


πŸ—’ The Impact of IR-based Classifier Configuration on the Performance and the Effort of Method-Level Bug Localization
πŸ‘₯ Chakkrit Tantithamthavorn, Surafel Lemma Abebe, Ahmed E. Hassan, Akinori Ihara, Kenichi Matsumoto
πŸ“— PDF


πŸ—’ Combinatorial Testing for Deep Learning Systems
πŸ‘₯ Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang
πŸ“— PDF


πŸ—’ Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
πŸ‘₯ Eun-Young Kang, Li Huang
πŸ“— PDF


πŸ—’ Toxic Code Snippets on Stack Overflow
πŸ‘₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Matheus Paixao, Giuseppe Bianco, Rocco Oliveto
πŸ“— PDF


πŸ—’ A Large-Scale Study on Source Code Reviewer Recommendation
πŸ‘₯ Jakub Lipcak, Bruno Rossi
πŸ“— PDF


πŸ—’ Augmenting Source Code Lines with Sample Variable Values
πŸ‘₯ MatΓΊΕ‘ SulΓ­r, Jaroslav PorubΓ€n
πŸ“— PDF


πŸ—’ NISQ circuit compilers: search space structure and heuristics
πŸ‘₯ Alexandru Paler, Alwin Zulehner, Robert Wille
πŸ“— PDF


πŸ—’ Blockchain in the Eyes of Developers
πŸ‘₯ He Jiang, Dong Liu, Zhilei Ren, Tao Zhang
πŸ“— PDF


πŸ—’ A model-driven approach for a new generation of adaptive libraries
πŸ‘₯ Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
πŸ“— PDF


πŸ—’ On Challenges of Cloud Monitoring
πŸ‘₯ William Pourmajidi, John Steinbacher, Tony Erwin, Andriy Miranskyy
πŸ“— PDF


#SoftwareEngineering
AI Python & arXiv Channel
Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks


πŸ—’ Online Petitioning Through Data Exploration and What We Found There: A Dataset of Petitions from Avaaz.org
πŸ‘₯ Pablo AragΓ³n, Diego SΓ‘ez-Trumper, Miriam Redi, Scott A. Hale, VicenΓ§ GΓ³mez, Andreas Kaltenbrunner
πŸ“— PDF


πŸ—’ Dynamic Network 3 -- 0 FIFA Rankings: Replacing an inaccurate, biased, and exploitable football ranking system
πŸ‘₯ Sam Abernethy
πŸ“— PDF


πŸ—’ Using Core-Periphery Structure to Predict High Centrality Nodes in Time-Varying Networks
πŸ‘₯ Soumya Sarkar, Sandipan Sikdar, Animesh Mukherjee, Sanjukta Bhowmick
πŸ“— PDF


πŸ—’ Learning Emoji Embeddings using Emoji Co-occurrence Network Graph
πŸ‘₯ Anurag Illendula, Manish Reddy Yedulla
πŸ“— PDF


πŸ—’ Mean Field Analysis of Personalized PageRank with Implications for Local Graph Clustering
πŸ‘₯ Konstantin Avrachenkov, Arun Kadavankandy, Nelly Litvak
πŸ“— PDF


πŸ—’ Extracting News Events from Microblogs
πŸ‘₯ Øystein Repp, Heri Ramampiaro
πŸ“— PDF


πŸ—’ A Survey on the Security of Pervasive Online Social Networks (POSNs)
πŸ‘₯ Takshi Gupta, Gaurav Choudhary, Vishal Sharma
πŸ“— PDF


πŸ—’ The Rise of Guardians: Fact-checking URL Recommendation to Combat Fake News
πŸ‘₯ Nguyen Vo, Kyumin Lee
πŸ“— PDF


πŸ—’ Weight Thresholding on Complex Networks
πŸ‘₯ Xiaoran Yan, Lucas G. S. Jeub, Alessandro Flammini, Filippo Radicchi, Santo Fortunato
πŸ“— PDF


πŸ—’ Average individuals tweet more often during extreme events: An ideal mechanism for social contagion
πŸ‘₯ Meredith T. Niles, Benjamin F. Emery, Andrew J. Reagan, Peter Sheridan Dodds, Christopher M. Danforth
πŸ“— PDF


πŸ—’ How to Maximize the Spread of Social Influence: A Survey
πŸ‘₯ Giuseppe De Nittis, Nicola Gatti
πŸ“— PDF


πŸ—’ Canonical Tensor Decomposition for Knowledge Base Completion
πŸ‘₯ TimothΓ©e Lacroix, Nicolas Usunier, Guillaume Obozinski
πŸ“— PDF


πŸ—’ Optimizing Leader Influence in Networks through Selection of Direct Followers
πŸ‘₯ Van Sy Mai, Eyad H. Abed
πŸ“— PDF


πŸ—’ Thermodynamics of the Minimum Description Length on Community Detection
πŸ‘₯ Juan Ignacio Perotti, Claudio Juan Tessone, Aaron Clauset, Guido Caldarelli
πŸ“— PDF


πŸ—’ "What's ur type?" Contextualized Classification of User Types in Marijuana-related Communications using Compositional Multiview Embedding
πŸ‘₯ Ugur Kursuncu, Manas Gaur, Usha Lokala, Anurag Illendula, Krishnaprasad Thirunarayan, Raminta Daniulaityte, Amit Sheth, I. Budak Arpinar
πŸ“— PDF


#SocialandInformationNetworks
AI Python & arXiv Channel
Latest Published Articles:
Systems and Control
#SystemsandControl


πŸ—’ Stability of Kalman Filtering with a Random Measurement Equation: Application to Sensor Scheduling with Intermittent Observations
πŸ‘₯ DamiΓ‘n Marelli, Tianju Sui, Eduardo Rohr, Minyue Fu
πŸ“— PDF


πŸ—’ Expanding the Active Inference Landscape: More Intrinsic Motivations in the Perception-Action Loop
πŸ‘₯ Martin Biehl, Christian Guckelsberger, Christoph Salge, SimΓ³n C. Smith, Daniel Polani
πŸ“— PDF


πŸ—’ A Convex Formulation of the $H_\infty$-Optimal Controller Synthesis Problem for Multi-Delay Systems
πŸ‘₯ Matthew M. Peet
πŸ“— PDF


πŸ—’ Beyond the Waterbed Effect: Development of Robust Fractional Order Reset Control
πŸ‘₯ Linda Chen, Niranjan Saikumar, S. Hassan HosseinNia
πŸ“— PDF


πŸ—’ Large-Scale Demonstration of Precise Demand Response Provided by Residential Heating Systems
πŸ‘₯ Fabian L. MΓΌller, Bernhard Jansen
πŸ“— PDF


πŸ—’ Unlocking the Potential of Flexible Energy Resources to Help Balance the Power Grid
πŸ‘₯ Fabian L. MΓΌller, Stefan Woerner, John Lygeros
πŸ“— PDF


πŸ—’ Smallest Ellipsoid Containing $p$-Sum of Ellipsoids with Application to Reachability Analysis
πŸ‘₯ Abhishek Halder
πŸ“— PDF


πŸ—’ An Input-Output Approach to Structured Stochastic Uncertainty
πŸ‘₯ Bassam Bamieh, Maurice Filo
πŸ“— PDF


πŸ—’ Hybrid Coordination and Control for Multiagent Systems with Input Constraints
πŸ‘₯ Kunal Garg, Dimitra Panagou
πŸ“— PDF


πŸ—’ Unsupervised Imitation Learning
πŸ‘₯ Sebastian Curi, Kfir Y. Levy, Andreas Krause
πŸ“— PDF


πŸ—’ Stable Gaussian Process based Tracking Control of Euler-Lagrange Systems
πŸ‘₯ Thomas Beckers, Dana KuliΔ‡, Sandra Hirche
πŸ“— PDF


πŸ—’ ConFusion: Sensor Fusion for Complex Robotic Systems using Nonlinear Optimization
πŸ‘₯ Timothy Sandy, Simon Kerscher, Jonas Buchli
πŸ“— PDF


πŸ—’ Some remarks on the bias distribution analysis of discrete-time identification algorithms based on pseudo-linear regressions
πŸ‘₯ Bernard Vau, Henri BourlΓ¨s
πŸ“— PDF


πŸ—’ Online Absolute Ranking with Partial Information: A Bipartite Graph Matching Approach
πŸ‘₯ Sinho Chewi, Forest Yang, Avishek Ghosh, Abhay Parekh, Kannan Ramchandran
πŸ“— PDF


πŸ—’ Towards Manipulability of Interactive Lagrangian Systems
πŸ‘₯ Hanlei Wang
πŸ“— PDF


#SystemsandControl
AI Python & arXiv Channel