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

🗒Asymptotic maximal order statistic for SIR in $\kappa-\mu$ shadowed fading.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒Deep Generative Models in the Real-World: An Open Challenge from Medical Imaging.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒Low-rank geometric mean metric learning.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒Study of methods of resolved top quark reconstruction in semileptonic $t\bar{t}$ decay.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒Lagrangian theory of structure formation in relativistic cosmology. V. Irrotational fluids.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒Efficient Active Learning for Image Classification and Segmentation using a Sample Select...
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒Non-Gaussianity from Axion-Gauge Fields Interactions during Inflation.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python