5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience


🗒 Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
👥 Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
📗 PDF


🗒 Undecidability of MSO+"ultimately periodic"
👥 Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith
📗 PDF


🗒 Simulation Algorithms for Symbolic Automata (Technical Report)
👥 Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
📗 PDF


🗒 Generating an ATL Model Checker using an Attribute Grammar
👥 Florin Stoica, Laura Florentina Stoica
📗 PDF


🗒 Robust Monitoring of Linear Temporal Properties
👥 Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
📗 PDF


#LogicinComputerScience
AI Python & arXiv Channel

5 of Latest Published Articles:
Multiagent Systems
#MultiagentSystems


🗒 Measuring collaborative emergent behavior in multi-agent reinforcement learning
👥 Sean L. Barton, Nicholas R. Waytowich, Erin Zaroukian, Derrik E. Asher
📗 PDF


🗒 Towards a Programmable Framework for Agent Game Playing
👥 Francis Lawlor, Rem Collier, Vivek Nallur
📗 PDF


🗒 Multisensor Management Algorithm for Airborne Sensors Using Frank-Wolfe Method
👥 Youngjoo Kim, Hyochoong Bang
📗 PDF


🗒 Mutual Influences in Interwoven Systems and their detection in the context of Organic Computing
👥 Neeraj Mumbuveetil Sasankan
📗 PDF


🗒 Decentralized Task Allocation in Multi-Robot Systems via Bipartite Graph Matching Augmented with Fuzzy Clustering
👥 Payam Ghassemi, Souma Chowdhury
📗 PDF


#MultiagentSystems
AI Python & arXiv Channel

5 of Latest Published Articles:
Multimedia
#Multimedia


🗒 Invisible Steganography via Generative Adversarial Network
👥 Shiqi Dong, Ru Zhang, Jianyi Liu
📗 PDF


🗒 Actor-Action Semantic Segmentation with Region Masks
👥 Kang Dang, Chunluan Zhou, Zhigang Tu, Michael Hoy, Justin Dauwels, Junsong Yuan
📗 PDF


🗒 A Convolutional Neural Networks Denoising Approach for Salt and Pepper Noise
👥 Bo Fu, Xiao-Yang Zhao, Yi Li, Xiang-Hai Wang, Yong-Gong Ren
📗 PDF


🗒 Twitter Sentiment Analysis via Bi-sense Emoji Embedding and Attention-based LSTM
👥 Yuxiao Chen, Jianbo Yuan, Quanzeng You, Jiebo Luo
📗 PDF


🗒 SoniControl - A Mobile Ultrasonic Firewall
👥 Matthias Zeppelzauer, Alexis Ringot, Florian Taurer
📗 PDF


#Multimedia
AI Python & arXiv Channel

5 of Latest Published Articles:
Mathematical Software
#MathematicalSoftware


🗒 Confederated Modular Differential Equation APIs for Accelerated Algorithm Development and Benchmarking
👥 Christopher Rackauckas, Qing Nie
📗 PDF


🗒 Physical-type correctness in scientific Python
👥 Marcus Foster, Sean Tregeagle
📗 PDF


🗒 The Dune Python Module
👥 Andreas Dedner, Martin Nolte
📗 PDF


🗒 Computational and applied topology, tutorial
👥 Paweł Dłotko
📗 PDF


🗒 Architecture and performance of Devito, a system for automated stencil computation
👥 Fabio Luporini, Michael Lange, Mathias Louboutin, Navjot Kukreja, Jan Hückelheim, Charles Yount, Philipp Witte, Paul H. J. Kelly, Gerard J. Gorman, Felix J. Herrmann
📗 PDF


#MathematicalSoftware
AI Python & arXiv Channel

5 of Latest Published Articles:
Numerical Analysis
#NumericalAnalysis


🗒 Ideal Preconditioners for Saddle Point Systems with a Rank-Deficient Leading Block
👥 Susanne Bradley
📗 PDF


🗒 Fast Matrix Inversion and Determinant Computation for Polarimetric Synthetic Aperture Radar
👥 D. F. G. Coelho, R. J. Cintra, A. C. Frery, V. S. Dimitrov
📗 PDF


🗒 Comparative study of Discrete Wavelet Transforms and Wavelet Tensor Train decomposition to feature extraction of FTIR data of medicinal plants
👥 Pavel Kharyuk, Dmitry Nazarenko, Ivan Oseledets
📗 PDF


🗒 From modelling of systems with constraints to generalized geometry and back to numerics
👥 Vladimir Salnikov, Aziz Hamdouni
📗 PDF


🗒 Optimization of the n-dimensional sliding window inter-channel correlation algorithm for multi-core architecture
👥 Alexey Poyda, Mikhail Zhizhin
📗 PDF


#NumericalAnalysis
AI Python & arXiv Channel

5 of Latest Published Articles:
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing


🗒 Towards Distributed Coevolutionary GANs
👥 Tom Schmiedlechner, Abdullah Al-Dujaili, Erik Hemberg, Una-May O'Reilly
📗 PDF


🗒 What is not where: the challenge of integrating spatial representations into deep learning architectures
👥 John D. Kelleher, Simon Dobnik
📗 PDF


🗒 Multi-criteria Evolution of Neural Network Topologies: Balancing Experience and Performance in Autonomous Systems
👥 Sharat Chidambaran, Amir Behjat, Souma Chowdhury
📗 PDF


🗒 Distance-based Kernels for Surrogate Model-based Neuroevolution
👥 Jörg Stork, Martin Zaefferer, Thomas Bartz-Beielstein
📗 PDF


🗒 Rapid Time Series Prediction with a Hardware-Based Reservoir Computer
👥 Daniel Canaday, Aaron Griffith, Daniel Gauthier
📗 PDF


#NeuralandEvolutionaryComputing
AI Python & arXiv Channel

5 of Latest Published Articles:
Networking and Internet Architecture
#NetworkingandInternetArchitecture


🗒 Joint Offloading and Resource Allocation in Vehicular Edge Computing and Networks
👥 Yueyue Dai, Du Xu, Sabita Maharjan, Yan Zhang
📗 PDF


🗒 Understanding the Modeling of Computer Network Delays using Neural Networks
👥 Albert Mestres, Eduard Alarcón, Yusheng Ji, Albert Cabellos-Aparicio
📗 PDF


🗒 Context-aware Group Buying in Ultra-dense Small Cell Networks: Unity is Strength
👥 Yuli Zhang, Yuhua Xu, Alagan Anpalagan, Qihui Wu, Yitao Xu, Youming Sun, Shuo Feng, Yunpeng Luo
📗 PDF


🗒 A Stackelberg Game Approach Towards Socially-Aware Incentive Mechanisms for Mobile Crowdsensing
👥 Jiangtian Nie, Jun Luo, Zehui Xiong, Dusit Niyato, Ping Wang
📗 PDF


🗒 Accelerated Structure-Aware Reinforcement Learning for Delay-Sensitive Energy Harvesting Wireless Sensors
👥 Nikhilesh Sharma, Nicholas Mastronarde, Jacob Chakareski
📗 PDF


#NetworkingandInternetArchitecture
AI Python & arXiv Channel

5 of Latest Published Articles:
Other Computer Science
#OtherComputerScience


🗒 Towards a Circular Economy via Intelligent Metamaterials
👥 Christos Liaskos, Ageliki Tsioliaridou, Sotiris Ioannidis
📗 PDF


🗒 Automatic streetlights that glow on detecting night and object using Arduino
👥 Zain Mumtaz, Saleem Ullah, Zeeshan Ilyas, Shuo Liu, Naila Aslam, Jehangir Arshad Meo, Hamza Ahmad Madni
📗 PDF


🗒 Design of TDC ASIC based on Temperature Compensation
👥 Yichao Ma, Xinyang Hong, Jian Zhuang, Zhijia Sun, Yafan Tao, Yongsheng Shi, Jianrong Zhou
📗 PDF


🗒 Design and Application of Data Aquistion Interface Circuit
👥 Hayder O. Alwan, Noor M. Farhan, Qais S- Al-Sabbagh
📗 PDF


🗒 A Framework for Detecting and Translating User Behavior from Smart Meter Data
👥 Egon Kidmose, Emad Ebeid, Rune Hylsberg Jacobsen
📗 PDF


#OtherComputerScience
AI Python & arXiv Channel

5 of Latest Published Articles:
Operating Systems
#OperatingSystems


🗒 TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines
👥 Jeremy Kepner, Ron Brightwell, Alan Edelman, Vijay Gadepally, Hayden Jananthan, Michael Jones, Sam Madden, Peter Michaleas, Hamed Okhravi, Kevin Pedretti, Albert Reuther, Thomas Sterling, Mike Stonebraker
📗 PDF


🗒 Parallel Architecture Hardware and General Purpose Operating System Co-design
👥 Oskar Schirmer
📗 PDF


🗒 Integrating Proactive Mode Changes in Mixed Criticality Systems
👥 Flavio R Massaro Jr., Paulo S. Martins, Edson L. Ursini
📗 PDF


🗒 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


#OperatingSystems
AI Python & arXiv Channel

5 of Latest Published Articles:
Performance
#Performance


🗒 Approximate Bayesian inference with queueing networks and coupled jump processes
👥 Iker Perez, Giuliano Casale
📗 PDF


🗒 A refined mean field approximation of synchronous discrete-time population models
👥 Nicolas Gast, Diego Latella, Mieke Massink
📗 PDF


🗒 A Queuing Model for CPU Functional Unit and Issue Queue Configuration
👥 Shane Carroll, Wei-Ming Ling
📗 PDF


🗒 Improving the Performance of WLANs by Reducing Unnecessary Active Scans
👥 Dheryta Jaisinghani, Vinayak Naik, Sanjit K. Kaul, Rajesh Balan, Sumit Roy
📗 PDF


🗒 Evaluation as a Service architecture and crowdsourced problems solving implemented in Optil.io platform
👥 Szymon Wasik, Maciej Antczak, Jan Badura, Artur Laskowski
📗 PDF


#Performance
AI Python & arXiv Channel

5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages


🗒 Constructive Galois Connections
👥 David Darais, David Van Horn
📗 PDF


🗒 Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness
👥 Patrick Rein, Stefan Ramson, Jens Lincke, Robert Hirschfeld, Tobias Pape
📗 PDF


🗒 Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
👥 Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
📗 PDF


🗒 Data Race Detection on Compressed Traces
👥 Dileep Kini, Umang Mathur, Mahesh Viswanathan
📗 PDF


🗒 Analysis of Logarithmic Amortised Complexity
👥 Martin Hofmann, Georg Moser
📗 PDF


#ProgrammingLanguages
AI Python & arXiv Channel

5 of Latest Published Articles:
Robotics
#Robotics


🗒 Unified Multi-Contact Fall Mitigation Planning for Humanoids via Contact Transition Tree Optimization
👥 Shihao Wang, Kris Hauser
📗 PDF


🗒 Dual Refinement Network for Single-Shot Object Detection
👥 Xingyu Chen, Zhengxing Wu, Junzhi Yu
📗 PDF


🗒 A Frequency-Domain Characterization of Optimal Error Covariance for the Kalman-Bucy Filter
👥 Song Fang, Hideaki Ishii, Jie Chen, Karl Henrik Johansson
📗 PDF


🗒 MVDepthNet: Real-time Multiview Depth Estimation Neural Network
👥 Kaixuan Wang, Shaojie Shen
📗 PDF


🗒 A Statistical Update of Grid Representations from Range Sensors
👥 Luis Roldao, Raoul De Charette, Anne Verroust-Blondet
📗 PDF


#Robotics
AI Python & arXiv Channel

5 of Latest Published Articles:
Symbolic Computation
#SymbolicComputation


🗒 What Can (and Can't) we Do with Sparse Polynomials?
👥 Daniel S. Roche
📗 PDF


🗒 Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
👥 Patrícia Monteiro, João Lourenço, António Ravara
📗 PDF


🗒 Fast transforms over finite fields of characteristic two
👥 Nicholas Coxon
📗 PDF


🗒 Orbits of monomials and factorization into products of linear forms
👥 Pascal Koiran, Nicolas Ressayre
📗 PDF


🗒 Multistationarity for Fewnomial Chemical Reaction Networks
👥 Elisenda Feliu, Martin Helmer
📗 PDF


#SymbolicComputation
AI Python & arXiv Channel

5 of Latest Published Articles:
Sound
#Sound


🗒 Auto-adaptive Resonance Equalization using Dilated Residual Networks
👥 Maarten Grachten, Emmanuel Deruty, Alexandre Tanguy
📗 PDF


🗒 Unified Hypersphere Embedding for Speaker Recognition
👥 Mahdi Hajibabaei, Dengxin Dai
📗 PDF


🗒 Multi-scale Alignment and Contextual History for Attention Mechanism in Sequence-to-sequence Model
👥 Andros Tjandra, Sakriani Sakti, Satoshi Nakamura
📗 PDF


🗒 Phonetic-and-Semantic Embedding of Spoken Words with Applications in Spoken Content Retrieval
👥 Yi-Chen Chen, Sung-Feng Huang, Chia-Hao Shen, Hung-yi Lee, Lin-shan Lee
📗 PDF


🗒 A Fully Convolutional Neural Network Approach to End-to-End Speech Enhancement
👥 Frank Longueira, Sam Keene
📗 PDF


#Sound
AI Python & arXiv Channel

5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering


🗒 Fault Localization for Declarative Models in Alloy
👥 Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
📗 PDF


🗒 {\em Crypto-Battleships} or How to play Battleships game over the Blockchain?
👥 Guy Barshap
📗 PDF


🗒 Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
👥 Patrícia Monteiro, João Lourenço, António Ravara
📗 PDF


🗒 Learning Inputs in Greybox Fuzzing
👥 Valentin Wüstholz, Maria Christakis
📗 PDF


🗒 Specification Mining for Smart Contracts with Automatic Abstraction Tuning
👥 Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller
📗 PDF


#SoftwareEngineering
AI Python & arXiv Channel

5 of Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks


🗒 Biases in the Facebook News Feed: a Case Study on the Italian Elections
👥 Eduardo Hargreaves, Claudio Agosti, Daniel Menasché, Giovanni Neglia, Alexandre Reiffers-Masson, Eitan Altman
📗 PDF


🗒 A Self-Organized Method for Computing the Epidemic Threshold in Computer Networks
👥 Franco Bagnoli, Emanuele Bellini, Emanuele Massaro
📗 PDF


🗒 Joint Nonnegative Matrix Factorization for Community Structures Detection in Signed Networks
👥 Chao Yan, Hui-Min Cheng, Xin Liu, Zhong-Yuan Zhang
📗 PDF


🗒 A Simple and Generic Paradigm for Creating Complex Networks Using the Strategy of Vertex Selecting-and-Pairing
👥 Shuangyan Wang, Gang Mei
📗 PDF


🗒 Complex Economic Activities Concentrate in Large Cities
👥 Pierre-Alexandre Balland, Cristian Jara-Figueroa, Sergio Petralia, Mathieu Steijn, David Rigby, Cesar A. Hidalgo
📗 PDF


#SocialandInformationNetworks
AI Python & arXiv Channel

5 of Latest Published Articles:
Systems and Control
#SystemsandControl


🗒 A Frequency-Domain Characterization of Optimal Error Covariance for the Kalman-Bucy Filter
👥 Song Fang, Hideaki Ishii, Jie Chen, Karl Henrik Johansson
📗 PDF


🗒 Optimal noise-canceling networks
👥 Henrik Ronellenfitsch, Jörn Dunkel, Michael Wilczek
📗 PDF


🗒 Analysis of the possibility for time-optimal control of the scanning system of the GREEN-WAKE's project lidar
👥 Borislav Penev
📗 PDF


🗒 Optimal Continuous State POMDP Planning with Semantic Observations: A Variational Approach
👥 Luke Burks, Ian Loefgren, Nisar Ahmed
📗 PDF


🗒 A recursive estimation approach to distributed identification of large-scale multi-input-single-output FIR systems
👥 Tom R. V. Steentjes, Mircea Lazar, Paul M. J. Van den Hof
📗 PDF


#SystemsandControl
AI Python & arXiv Channel

To access articles related to a category, touch the HashTag:

📗 Artificial Intelligence
👉 #ArtificialIntelligence 👈

📗 Hardware Architecture
👉 #HardwareArchitecture 👈

📗 Computational Complexity
👉 #ComputationalComplexity 👈

📗 Computational Engineering, Finance, and Science
👉 #ComputationalEngineeringFinanceandScience 👈

📗 Computational Geometry
👉 #ComputationalGeometry 👈

📗 Computation and Language
👉 #ComputationandLanguage 👈

📗 Cryptography and Security
👉 #CryptographyandSecurity 👈

📗 Computer Vision and Pattern Recognition
👉 #ComputerVisionandPatternRecognition 👈

📗 Computers and Society
👉 #ComputersandSociety 👈

📗 Databases
👉 #Databases 👈

📗 Distributed, Parallel, and Cluster Computing
👉 #DistributedParallelandClusterComputing 👈

📗 Digital Libraries
👉 #DigitalLibraries 👈

📗 Discrete Mathematics
👉 #DiscreteMathematics 👈

📗 Data Structures and Algorithms
👉 #DataStructuresandAlgorithms 👈

📗 Emerging Technologies
👉 #EmergingTechnologies 👈

📗 Formal Languages and Automata Theory
👉 #FormalLanguagesandAutomataTheory 👈

📗 General Literature
👉 #GeneralLiterature 👈

📗 Graphics
👉 #Graphics 👈

📗 Computer Science and Game Theory
👉 #ComputerScienceandGameTheory 👈

📗 Human-Computer Interaction
👉 #Human-ComputerInteraction 👈

📗 Information Retrieval
👉 #InformationRetrieval 👈

📗 Information Theory
👉 #InformationTheory 👈

📗 Learning
👉 #Learning 👈

📗 Logic in Computer Science
👉 #LogicinComputerScience 👈

📗 Multiagent Systems
👉 #MultiagentSystems 👈

📗 Multimedia
👉 #Multimedia 👈

📗 Mathematical Software
👉 #MathematicalSoftware 👈

📗 Numerical Analysis
👉 #NumericalAnalysis 👈

📗 Neural and Evolutionary Computing
👉 #NeuralandEvolutionaryComputing 👈

📗 Networking and Internet Architecture
👉 #NetworkingandInternetArchitecture 👈

📗 Other Computer Science
👉 #OtherComputerScience 👈

📗 Operating Systems
👉 #OperatingSystems 👈

📗 Performance
👉 #Performance 👈

📗 Programming Languages
👉 #ProgrammingLanguages 👈

📗 Robotics
👉 #Robotics 👈

📗 Symbolic Computation
👉 #SymbolicComputation 👈

📗 Sound
👉 #Sound 👈

📗 Software Engineering
👉 #SoftwareEngineering 👈

📗 Social and Information Networks
👉 #SocialandInformationNetworks 👈

📗 Systems and Control
👉 #SystemsandControl 👈

♨️ arXiv Channel

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

🗒Abstractive and Extractive Text Summarization using Document Context Vector and Recurrent...
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python

🗒SCARR: A Novel Scalable Runtime Remote Attestation.
#مقاله
#arXiv
🗣 @ai_python_arxiv
❇️ @ai_python