Latest Published Articles:
Numerical Analysis
#NumericalAnalysis


🗒 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


🗒 A parallel algorithm for Gaussian elimination over finite fields
👥 Stephen Linton, Gabriele Nebe, Alice Niemeyer, Richard Parker, Jon Thackray
📗 PDF


🗒 A Deep Neural Network Surrogate for High-Dimensional Random Partial Differential Equations
👥 Mohammad Amin Nabian, Hadi Meidani
📗 PDF


🗒 A Generalized Matrix Splitting Algorithm
👥 Ganzhao Yuan, Wei-Shi Zheng, Li Shen, Bernard Ghanem
📗 PDF


🗒 A Projection Method for Metric-Constrained Optimization
👥 Nate Veldt, David Gleich, Anthony Wirth, James Saunderson
📗 PDF


🗒 RG Smoothing Algorithm Which Makes Data Compression
👥 Anna Sinelnikova
📗 PDF


🗒 A FORTRAN Package for Efficient Multi-Accuracy Computations of the Faddeyeva Function and Related Functions of Complex Arguments
👥 Mofreh R Zaghloul
📗 PDF


🗒 Numerical Integration as an Initial Value Problem
👥 Daniel Gebremedhin, Charles Weatherford
📗 PDF


🗒 A Robust Iterative Scheme for Symmetric Indefinite Systems
👥 Murat Manguoglu, Volker Mehrmann
📗 PDF


🗒 Polynomial Factorization Is Simple and Helpful -- More So Than It Seems to Be
👥 Victor Y. Pan
📗 PDF


#NumericalAnalysis
AI Python & arXiv Channel

Latest Published Articles:
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing


🗒 Theory of Estimation-of-Distribution Algorithms
👥 Martin S. Krejca, Carsten Witt
📗 PDF


🗒 Parameter Learning and Change Detection Using a Particle Filter With Accelerated Adaptation
👥 Karol Gellert, Erik Schlögl
📗 PDF


🗒 Apuntes de Redes Neuronales Artificiales
👥 J. C. Cuevas-Tello
📗 PDF


🗒 Manifold Mixup: Encouraging Meaningful On-Manifold Interpolation as a Regularizer
👥 Vikas Verma, Alex Lamb, Christopher Beckham, Aaron Courville, Ioannis Mitliagkis, Yoshua Bengio
📗 PDF


🗒 Exploiting Inherent Error-Resiliency of Neuromorphic Computing to achieve Extreme Energy-Efficiency through Mixed-Signal Neurons
👥 Baibhab Chatterjee, Priyadarshini Panda, Shovan Maity, Ayan Biswas, Kaushik Roy, Shreyas Sen
📗 PDF


🗒 A Probabilistic U-Net for Segmentation of Ambiguous Images
👥 Simon A. A. Kohl, Bernardino Romera-Paredes, Clemens Meyer, Jeffrey De Fauw, Joseph R. Ledsam, Klaus H. Maier-Hein, S. M. Ali Eslami, Danilo Jimenez Rezende, Olaf Ronneberger
📗 PDF


🗒 Reservoir Computing Hardware with Cellular Automata
👥 Alejandro Morán, Christiam F. Frasser, Josep L. Rosselló
📗 PDF


🗒 Unsupervised Adaptation with Interpretable Disentangled Representations for Distant Conversational Speech Recognition
👥 Wei-Ning Hsu, Hao Tang, James Glass
📗 PDF


🗒 Adversarial Attacks on Variational Autoencoders
👥 George Gondim-Ribeiro, Pedro Tabacof, Eduardo Valle
📗 PDF


🗒 Predicting Citation Counts with a Neural Network
👥 Tobias Mistele, Tom Price, Sabine Hossenfelder
📗 PDF


🗒 Benchmarking Evolutionary Algorithms For Real-valued Constrained Optimization - A Critical Review
👥 Michael Hellwig, Hans-Georg Beyer
📗 PDF


🗒 Combining Model-Free Q-Ensembles and Model-Based Approaches for Informed Exploration
👥 Sreecharan Sankaranarayanan, Raghuram Mandyam Annasamy, Katia Sycara, Carolyn Penstein Rosé
📗 PDF


🗒 Online Parallel Portfolio Selection with Heterogeneous Island Model
👥 Štěpán Balcar, Martin Pilát
📗 PDF


🗒 Using Chaos in Grey Wolf Optimizer and Application to Prime Factorization
👥 Harshit Mehrotra, Dr. Saibal K. Pal
📗 PDF


🗒 Optimizing Variational Quantum Circuits using Evolution Strategies
👥 Johannes S. Otterbach
📗 PDF


#NeuralandEvolutionaryComputing
AI Python & arXiv Channel

Latest Published Articles:
Networking and Internet Architecture
#NetworkingandInternetArchitecture


🗒 Micro Congestion Control: Every Flow Deserves a Second Chance
👥 Kefan Chen, Fengyuan Ren
📗 PDF


🗒 Performance of Caching-Based D2D Video Distribution with Measured Popularity Distributions
👥 Ming-Chun Lee, Mingyue Ji, Andreas F. Molisch, Nishanth Sastry
📗 PDF


🗒 A Hybrid RF-VLC System for Energy Efficient Wireless Access
👥 Abdallah Khreishah, Sihua Shao, Ammar Gharaibeh, Moussa Ayyash, Hany Elgala, Nirwan Ansari
📗 PDF


🗒 An Analytical Model for Wireless Mesh Networks with Collision-Free TDMA and Finite Queues
👥 Florian Kauer, Volker Turau
📗 PDF


🗒 A City-Scale ITS-G5 Network for Next-Generation Intelligent Transportation Systems: Design Insights and Challenges
👥 Ioannis Mavromatis, Andrea Tassi, Robert J. Piechocki, Andrew Nix
📗 PDF


🗒 Next generation portal for federated testbeds MySlice v2: from prototype to production
👥 Loïc Baron, Radomir Klacza, Pauline Gaudet-Chardonnet, Amira Bradai, Ciro Scognamiglio, Serge Fdida
📗 PDF


🗒 Rate Control under Finite Blocklength for Downlink Cellular Networks with Reliability Constraints
👥 Onel L. Alcaraz Lopez, Hirley Alves, Matti Latva-aho
📗 PDF


🗒 P4CEP: Towards In-Network Complex Event Processing
👥 Thomas Kohler, Ruben Mayer, Frank Dürr, Marius Maaß, Sukanya Bhowmik, Kurt Rothermel
📗 PDF


🗒 Blockchain Enabled Enhanced IoT Ecosystem Security
👥 Mahdi H. Miraz, Maaruf Ali
📗 PDF


🗒 Opportunistic Edge Computing: Concepts, Opportunities and Research Challenges
👥 Richard Olaniyan, Olamilekan Fadahunsi, Muthucumaru Maheswaran, Mohamed Faten Zhani
📗 PDF


🗒 Stochastic Geometric Coverage Analysis in mmWave Cellular Networks with Realistic Channel and Antenna Radiation Models
👥 Mattia Rebato, Jihong Park, Petar Popovski, Elisabeth De Carvalho, Michele Zorzi
📗 PDF


🗒 An Efficient Flow-based Multi-level Hybrid Intrusion Detection System for Software-Defined Networks
👥 Majd Latah, Levent Toker
📗 PDF


🗒 Air-Ground Integrated Vehicular Network Slicing with Content Pushing and Caching
👥 Shan Zhang, Wei Quan, Junling Li, Weisen Shi, Peng Yang, Xuemin Shen
📗 PDF


🗒 Multi-User Preemptive Scheduling for Critical Low Latency Communications in 5G Networks
👥 Ali A. Esswie, Klaus I. Pedersen
📗 PDF


🗒 LPOS: Location Privacy for Optimal Sensing in Cognitive Radio Networks
👥 Mohamed Grissa, Attila Yavuz, Bechir Hamdaoui
📗 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


🗒 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


🗒 Autonomous Vehicle Scheduling At Intersections Based On Production Line Technique
👥 Nasser Aloufi
📗 PDF


#OtherComputerScience
AI Python & arXiv Channel

🗒Ranking Recovery from Limited Comparisons using Low-Rank Matrix Completion.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

Latest Published Articles:
Operating Systems
#OperatingSystems


🗒 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


🗒 Virtual Breakpoints for x86/64
👥 Gregory Michael Price
📗 PDF


#OperatingSystems
AI Python & arXiv Channel

Latest Published Articles:
Performance
#Performance


🗒 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


🗒 SRPT for Multiserver Systems
👥 Isaac Grosof, Ziv Scully, Mor Harchol-Balter
📗 PDF


🗒 Optimal Scheduling and Exact Response Time Analysis for Multistage Jobs
👥 Ziv Scully, Mor Harchol-Balter, Alan Scheller-Wolf
📗 PDF


🗒 Hierarchical Beamforming: Resource Allocation, Fairness and Flow Level Performance
👥 Julien Floquet, Richard Combes, Zwi Altman
📗 PDF


#Performance
AI Python & arXiv Channel

Latest Published Articles:
Programming Languages
#ProgrammingLanguages


🗒 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


🗒 Type variables in patterns
👥 Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
📗 PDF


🗒 Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
👥 Fabian Kunze, Gert Smolka, Yannick Forster
📗 PDF


🗒 Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
👥 Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
📗 PDF


🗒 Program Synthesis Through Reinforcement Learning Guided Tree Search
👥 Riley Simmons-Edler, Anders Miltner, Sebastian Seung
📗 PDF


🗒 Rust Distilled: An Expressive Tower of Languages
👥 Aaron Weiss, Daniel Patterson, Amal Ahmed
📗 PDF


🗒 Logic Programming as a Service
👥 Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
📗 PDF


🗒 Eliminating Timing Side-Channel Leaks using Program Repair
👥 Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
📗 PDF


🗒 Efficient Differentiable Programming in a Functional Array-Processing Language
👥 Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
📗 PDF


🗒 Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms
👥 Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon Du, Stuart Russell
📗 PDF


#ProgrammingLanguages
AI Python & arXiv Channel

Latest Published Articles:
Robotics
#Robotics


🗒 Online Self-supervised Scene Segmentation for Micro Aerial Vehicles
👥 Shreyansh Daftry, Yashasvi Agrawal, Larry Matthies
📗 PDF


🗒 Decentralized Ergodic Control: Distribution-Driven Sensing and Exploration for Multi-Agent Systems
👥 Ian Abraham, Todd D. Murphey
📗 PDF


🗒 Robot Design: Formalisms, Representations, and the Role of the Designer
👥 Alexandra Q. Nilles, Dylan A. Shell, Jason M. O'Kane
📗 PDF


🗒 Kinematics and Dynamic Modeling of a Planar Hydraulic Elastomer Actuator
👥 Mahdi Momeni Kelageri, Mikko Heikkila, Jarno Jokinen, Matti Linjama, Reza Ghabcheloo
📗 PDF


🗒 Design, Fabrication and Control of an Hydraulic Elastomer Actuator
👥 Mahdi Momeni Kelageri, Mikko Heikkila, Minna Poikelispaa, Reza Ghabcheloo, Matti Linjama, Jyrki Vuorinen
📗 PDF


🗒 In-Hand Object Stabilization by Independent Finger Control
👥 Filipe Veiga, Benoni B. Edin, Jan Peters
📗 PDF


🗒 PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments
👥 Anirudha Majumdar, Maxwell Goldstein
📗 PDF


🗒 Multi-Agent Path Finding with Deadlines
👥 Hang Ma, Glenn Wagner, Ariel Felner, Jiaoyang Li, T. K. Satish Kumar, Sven Koenig
📗 PDF


🗒 Introducing the Robot Security Framework (RSF), a standardized methodology to perform security assessments in robotics
👥 Víctor Mayoral Vilches, Laura Alzola Kirschgens, Asier Bilbao Calvo, Alejandro Hernández Cordero, Rodrigo Izquierdo Pisón, David Mayoral Vilches, Aday Muñiz Rosas, Gorka Olalde Mendia, Lander Usategi San Juan, Irati Zamalloa Ugarte, Endika Gil-Uriarte, Erik Tews, Andreas Peter
📗 PDF


🗒 Self-Motion of the 3-PPPS Parallel Robot with Delta-Shaped Base
👥 D Chablat, E Ottaviano, S Venkateswaran
📗 PDF


🗒 A Multimodal Classifier Generative Adversarial Network for Carry and Place Tasks from Ambiguous Language Instructions
👥 Aly Magassouba, Komei Sugiura, Hisashi Kawai
📗 PDF


🗒 Interactive Visual Grounding of Referring Expressions for Human-Robot Interaction
👥 Mohit Shridhar, David Hsu
📗 PDF


🗒 Adaptive Intelligent Spider Robot
👥 Rozita Teymourzadeh, Rahim Nakhli Mahal, Ng Keng Shen, Kok Wai Chan
📗 PDF


🗒 The Impact of Humanoid Affect Expression on Human Behavior in a Game-Theoretic Setting
👥 Aaron M. Roth, Umang Bhatt, Tamara Amin, Afsaneh Doryab, Fei Fang, Manuela Veloso
📗 PDF


🗒 Learning Transferable UAV for Forest Visual Perception
👥 Lyujie Chen, Wufan Wang, Jihong Zhu
📗 PDF


#Robotics
AI Python & arXiv Channel

Latest Published Articles:
Symbolic Computation
#SymbolicComputation


🗒 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


🗒 Towards Mixed Gr{ö}bner Basis Algorithms: the Multihomogeneous and Sparse Case
👥 Matías Bender, Jean-Charles Faugère, Elias Tsigaridas
📗 PDF


🗒 Computing basepoints of linear series in the plane
👥 Niels Lubbes
📗 PDF


🗒 Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
👥 Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
📗 PDF


🗒 Computing an LLL-reduced basis of the orthogonal lattice
👥 Jingwei Chen, Damien Stehlé, Gilles Villard
📗 PDF


#SymbolicComputation
AI Python & arXiv Channel

Latest Published Articles:
Sound
#Sound


🗒 VoxCeleb2: Deep Speaker Recognition
👥 Joon Son Chung, Arsha Nagrani, Andrew Zisserman
📗 PDF


🗒 Multi-View Networks for Denoising of Arbitrary Numbers of Channels
👥 Jonah Casebeer, Brian Luc, Paris Smaragdis
📗 PDF


🗒 A data-driven approach to mid-level perceptual musical feature modeling
👥 Anna Aljanaki, Mohammad Soleymani
📗 PDF


🗒 Model-based Speech Enhancement for Intelligibility Improvement in Binaural Hearing Aids
👥 Mathew Shaji Kavalekalam, Jesper K. Nielsen, Jesper B. Boldt, Mads G. Christensen
📗 PDF


🗒 Unsupervised Adaptation with Interpretable Disentangled Representations for Distant Conversational Speech Recognition
👥 Wei-Ning Hsu, Hao Tang, James Glass
📗 PDF


🗒 A Study of Enhancement, Augmentation, and Autoencoder Methods for Domain Adaptation in Distant Speech Recognition
👥 Hao Tang, Wei-Ning Hsu, Francois Grondin, James Glass
📗 PDF


🗒 Capsule Routing for Sound Event Detection
👥 Turab Iqbal, Yong Xu, Qiuqiang Kong, Wenwu Wang
📗 PDF


🗒 Transfer Learning from Speaker Verification to Multispeaker Text-To-Speech Synthesis
👥 Ye Jia, Yu Zhang, Ron J. Weiss, Quan Wang, Jonathan Shen, Fei Ren, Zhifeng Chen, Patrick Nguyen, Ruoming Pang, Ignacio Lopez Moreno, Yonghui Wu
📗 PDF


🗒 Multilingual End-to-End Speech Recognition with A Single Transformer on Low-Resource Languages
👥 Shiyu Zhou, Shuang Xu, Bo Xu
📗 PDF


🗒 The NES Music Database: A multi-instrumental dataset with expressive performance attributes
👥 Chris Donahue, Huanru Henry Mao, Julian McAuley
📗 PDF


🗒 Autoencoders for music sound synthesis: a comparison of linear, shallow, deep and variational models
👥 Fanny Roche, Thomas Hueber, Samuel Limier, Laurent Girin
📗 PDF


🗒 Analysis of Length Normalization in End-to-End Speaker Verification System
👥 Weicheng Cai, Jinkun Chen, Ming Li
📗 PDF


🗒 Wave-U-Net: A Multi-Scale Neural Network for End-to-End Audio Source Separation
👥 Daniel Stoller, Sebastian Ewert, Simon Dixon
📗 PDF


🗒 On sound-based interpretation of neonatal EEG
👥 Sergi Gomez, Mark O'Sullivan, Emanuel Popovici, Sean Mathieson, Geraldine Boylan, Andriy Temko
📗 PDF


🗒 StarGAN-VC: Non-parallel many-to-many voice conversion with star generative adversarial networks
👥 Hirokazu Kameoka, Takuhiro Kaneko, Kou Tanaka, Nobukatsu Hojo
📗 PDF


#Sound
AI Python & arXiv Channel

🗒Selfless Sequential Learning.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

Latest Published Articles:
Software Engineering
#SoftwareEngineering


🗒 ServeNet: A Deep Neural Network for Web Service Classification
👥 Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
📗 PDF


🗒 A Graphical Interactive Debugger for Distributed Systems
👥 Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
📗 PDF


🗒 Detecting Speech Act Types in Developer Question/Answer Conversations During Bug Repair
👥 Andrew Wood, Paige Rodeghero, Ameer Armaly, Collin McMillan
📗 PDF


🗒 How Usable are Rust Cryptography APIs?
👥 Kai Mindermann, Philipp Keck, Stefan Wagner
📗 PDF


🗒 Model-Based Safety-Cases for Software-Intensive Systems
👥 Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
📗 PDF


🗒 An Approximation-based Approach for the Random Exploration of Large Models
👥 Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
📗 PDF


🗒 When Regression Verification Meets CEGAR
👥 Fei He, Qianshan Yu, Liming Cai
📗 PDF


🗒 A Product Line Systems Engineering Process for Variability Identification and Reduction
👥 Mole Li, Alan Grigg, Charles Dickerson, Lin Guan, Siyuan Ji
📗 PDF


🗒 Deep Learning to Detect Redundant Method Comments
👥 Annie Louis, Santanu Kumar Dash, Earl T. Barr, Charles Sutton
📗 PDF


🗒 Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
👥 Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
📗 PDF


🗒 A Directed Acyclic Graph Approach to Online Log Parsing
👥 Pinjia He, Jieming Zhu, Pengcheng Xu, Zibin Zheng, Michael R. Lyu
📗 PDF


🗒 The History of Software Architecture - In the Eye of the Practitioner
👥 Henry Muccini, Patricia Lago, Karthik Vaidyanathan, Francesco Osborne, Eltjo Poort
📗 PDF


🗒 Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
👥 Lawrence C Paulson
📗 PDF


🗒 ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
👥 Moussa Amrani, Levi Lúcio, Adrien Bibal
📗 PDF


🗒 Engaging Millennials into Learning Formal Methods
👥 Néstor Cataño
📗 PDF


#SoftwareEngineering
AI Python & arXiv Channel

Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks


🗒 Immunization of networks with non-overlapping community structure
👥 Zakariya Ghalmane, Mohammed El Hassouni, Hocine Cherifi
📗 PDF


🗒 Status maximization as a source of fairness in a networked dictator game
👥 Jan E. Snellman, Gerardo Iñiguez, János Kertész, R. A. Barrio, Kimmo K. Kaski
📗 PDF


🗒 Improved Density-Based Spatio--Textual Clustering on Social Media
👥 Minh D. Nguyen, Won-Yong Shin
📗 PDF


🗒 A Retrospective Analysis of the Fake News Challenge Stance Detection Task
👥 Andreas Hanselowski, Avinesh PVS, Benjamin Schiller, Felix Caspelherr, Debanjan Chaudhuri, Christian M. Meyer, Iryna Gurevych
📗 PDF


🗒 SybilBlind: Detecting Fake Users in Online Social Networks without Manual Labels
👥 Binghui Wang, Le Zhang, Neil Zhenqiang Gong
📗 PDF


🗒 Social Networks through the Prism of Cognition
👥 Radosław Michalski, Bolesław K. Szymański, Przemysław Kazienko, Christian Lebiere, Omar Lizardo, Marcin Kulisiewicz
📗 PDF


🗒 Swarming for Faster Convergence in Stochastic Optimization
👥 Shi Pu, Alfredo Garcia
📗 PDF


🗒 Constructing Social Networks From Binary Data
👥 Sirui Wang, Mei Wang
📗 PDF


🗒 Detecting Statistically Significant Communities
👥 Zengyou He, Hao Liang, Zheng Chen, Can Zhao
📗 PDF


🗒 A Survey on Trust Modeling from a Bayesian Perspective
👥 Bin Liu
📗 PDF


🗒 Spatial social networks identified from urban group travel
👥 Huijun Sun, Kangli Zhu, Jianjun Wu, Daqing Li, Ziyou Gao, Haodong Yin, Yunchao Qu, Xin Yang, Hao Liu
📗 PDF


🗒 Noise-based control of social dynamics
👥 Wei Su, Ge Chen
📗 PDF


🗒 Collaboration Diversity and Scientific Impact
👥 Yuxiao Dong, Hao Ma, Jie Tang, Kuansan Wang
📗 PDF


🗒 Complex network representation through multi-dimensional node projection
👥 Stanislav Sobolevsky
📗 PDF


🗒 Data based reconstruction of complex cyberphysical networks
👥 Chuang Ma, Han-Shuang Chen, Xiang Li, Ying-Cheng Lai, Hai-Feng Zhang
📗 PDF


#SocialandInformationNetworks
AI Python & arXiv Channel

Latest Published Articles:
Systems and Control
#SystemsandControl


🗒 Simultaneous Sensor and Actuator Selection/Placement through Output Feedback Control
👥 Sebastian Nugroho, Ahmad F. Taha, Tyler Summers, Nikolaos Gatsis
📗 PDF


🗒 Stabilization with a Specified External Gain for Linear MIMO Systems and Its Applications to Control of Networked Systems
👥 Lijun Zhu, Zhiyong Chen, Xi Chen, David J. Hill
📗 PDF


🗒 An Input-Delay Event-Triggered Control Design for Nonlinear Systems
👥 Lijun Zhu, Zhiyong Chen, David J. Hill, Shengli Du
📗 PDF


🗒 Decentralized Ergodic Control: Distribution-Driven Sensing and Exploration for Multi-Agent Systems
👥 Ian Abraham, Todd D. Murphey
📗 PDF


🗒 Recent Progress in Optimization of Multiband Electrical Filters
👥 Andrei Bogatyrëv
📗 PDF


🗒 Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies
👥 Asad Ullah Awan, Majid Zamani
📗 PDF


🗒 Maintenance of Smart Buildings using Fault Trees
👥 Nathalie Cauchi, Khaza Anuaral Hoque, Marielle Stoelinga, Alessandro Abate
📗 PDF


🗒 Speculative Thread Framework for Transient Management and Bumpless Transfer in Reconfigurable Digital Filters
👥 Michael Giardino, Wayne Maxwell, Bonnie Ferri, Aldo Ferri
📗 PDF


🗒 Tropical Abstractions of Max-Plus-Linear Systems
👥 Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessndro Abate
📗 PDF


🗒 On The Design of Nonlinear PID Controller for Nonlinear Quadrotor System
👥 Aws Abdulsalam Najm, Ibraheem Kasim Ibraheem
📗 PDF


🗒 Adaptive MPC for Autonomous Lane Keeping
👥 Monimoy Bujarbaruah, Xiaojing Zhang, H. Eric Tseng, Francesco Borrelli
📗 PDF


🗒 Unobservable False Data Injection Attacks against PMUs: Feasible Conditions and Multiplicative Attacks
👥 Zhigang Chu, Jiazi Zhang, Oliver Kosut, Lalitha Sankar
📗 PDF


🗒 PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments
👥 Anirudha Majumdar, Maxwell Goldstein
📗 PDF


🗒 Regions of Attraction Approximation Using Individual Invariance
👥 Surour Alaraifi, Seddik Djouadi, Mohamed El-Moursi
📗 PDF


🗒 Learning an Approximate Model Predictive Controller with Guarantees
👥 Michael Hertneck, Johannes Köhler, Sebastian Trimpe, Frank Allgöwer
📗 PDF


#SystemsandControl
AI Python & arXiv Channel

🗒Sequential Bayesian inference for spatio-temporal models of temperature and humidity data.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒How to design browser security and privacy alerts.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒Improving precipitation forecast using extreme quantile regression.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒ServeNet: A Deep Neural Network for Web Service Classification.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒Stochastic Gradient Descent with Exponential Convergence Rates of Expected Classification...
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒Lensing observables: Massless dyonic vis-\`a-vis Ellis wormhole.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python