5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
π₯ Robert Atkey, Sam Lindley
π PDF
π A Formal Approach to Open Multiparty Interactions
π₯ Chiara Bodei, Linda Brodo, Roberto Bruni
π PDF
π Petri Net Reductions for Counting Markings
π₯ Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
π PDF
π Scaling-Up Reasoning and Advanced Analytics on BigData
π₯ Tyson Condie, Ariyam Das, Matteo Interlandi, Alexander Shkapsky, Mohan Yang, Carlo Zaniolo
π PDF
π Coalgebraic Tools for Randomness-Conserving Protocols
π₯ Dexter Kozen, Matvey Soloviev
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
π₯ Robert Atkey, Sam Lindley
π PDF
π A Formal Approach to Open Multiparty Interactions
π₯ Chiara Bodei, Linda Brodo, Roberto Bruni
π PDF
π Petri Net Reductions for Counting Markings
π₯ Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
π PDF
π Scaling-Up Reasoning and Advanced Analytics on BigData
π₯ Tyson Condie, Ariyam Das, Matteo Interlandi, Alexander Shkapsky, Mohan Yang, Carlo Zaniolo
π PDF
π Coalgebraic Tools for Randomness-Conserving Protocols
π₯ Dexter Kozen, Matvey Soloviev
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Multiagent Systems
#MultiagentSystems
π Ontology-based multi-agent system to support business users and management
π₯ Dejan LavbiΔ, Olegas Vasilecas, Rok Rupnik
π PDF
π The Recommendation System to SNS Community for Tourists by Using Altruistic Behaviors
π₯ Takumi Ichimura, Takuya Uemoto, Shin Kamada
π PDF
π Dynamics of Taxi-like Logistics Systems: Theory and Microscopic Simulations
π₯ Bo Yang, Qianxiao Li
π PDF
π Fair Task Allocation in Crowdsourced Delivery
π₯ Fuat Basik, Bugra Gedik, Hakan Ferhatosmanoglu, Kun-Lung Wu
π PDF
π QDDS: A Novel Quantum Swarm Algorithm Inspired by a Double Dirac Delta Potential
π₯ Saptarshi Sengupta, Sanchita Basak, Richard Alan Peters II
π PDF
#MultiagentSystems
AI Python & arXiv Channel
Multiagent Systems
#MultiagentSystems
π Ontology-based multi-agent system to support business users and management
π₯ Dejan LavbiΔ, Olegas Vasilecas, Rok Rupnik
π PDF
π The Recommendation System to SNS Community for Tourists by Using Altruistic Behaviors
π₯ Takumi Ichimura, Takuya Uemoto, Shin Kamada
π PDF
π Dynamics of Taxi-like Logistics Systems: Theory and Microscopic Simulations
π₯ Bo Yang, Qianxiao Li
π PDF
π Fair Task Allocation in Crowdsourced Delivery
π₯ Fuat Basik, Bugra Gedik, Hakan Ferhatosmanoglu, Kun-Lung Wu
π PDF
π QDDS: A Novel Quantum Swarm Algorithm Inspired by a Double Dirac Delta Potential
π₯ Saptarshi Sengupta, Sanchita Basak, Richard Alan Peters II
π PDF
#MultiagentSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Multimedia
#Multimedia
π Deep Co-Clustering for Unsupervised Audiovisual Learning
π₯ Di Hu, Feiping Nie, Xuelong Li
π PDF
π Deep Learning for Singing Processing: Achievements, Challenges and Impact on Singers and Listeners
π₯ Emilia GΓ³mez, Merlijn Blaauw, Jordi Bonada, Pritish Chandna, Helena Cuesta
π PDF
π A Filter of Minhash for Image Similarity Measures
π₯ Jun Long, Qunfeng Liu, Xinpan Yuan, Chengyuan Zhang, Junfeng Liu
π PDF
π Evaluating the Effects of Material Sonification in Tactile Devices
π₯ Rodrigo MartΓn, Michael Weinmann, Matthias B. Hullin
π PDF
π A JND-based Video Quality Assessment Model and Its Application
π₯ Haiqiang Wang, Xinfeng Zhang, Chao Yang, C. -C. Jay Kuo
π PDF
#Multimedia
AI Python & arXiv Channel
Multimedia
#Multimedia
π Deep Co-Clustering for Unsupervised Audiovisual Learning
π₯ Di Hu, Feiping Nie, Xuelong Li
π PDF
π Deep Learning for Singing Processing: Achievements, Challenges and Impact on Singers and Listeners
π₯ Emilia GΓ³mez, Merlijn Blaauw, Jordi Bonada, Pritish Chandna, Helena Cuesta
π PDF
π A Filter of Minhash for Image Similarity Measures
π₯ Jun Long, Qunfeng Liu, Xinpan Yuan, Chengyuan Zhang, Junfeng Liu
π PDF
π Evaluating the Effects of Material Sonification in Tactile Devices
π₯ Rodrigo MartΓn, Michael Weinmann, Matthias B. Hullin
π PDF
π A JND-based Video Quality Assessment Model and Its Application
π₯ Haiqiang Wang, Xinfeng Zhang, Chao Yang, C. -C. Jay Kuo
π PDF
#Multimedia
AI Python & arXiv Channel
5 of Latest Published Articles:
Mathematical Software
#MathematicalSoftware
π 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
π The Implementation of the Colored Abstract Simplicial Complex and its Application to Mesh Generation
π₯ C. T. Lee, J. B. Moody, R. E. Amaro, J. A. McCammon, M. Holst
π PDF
π FluidFFT: common API (C++ and Python) for Fast Fourier Transform HPC libraries
π₯ Ashwin Vishnu Mohanan, Cyrille Bonamy, Pierre Augier
π PDF
π A GPU-enabled finite volume solver for large shallow water simulations
π₯ Fabrice Zaoui
π PDF
π Implementation of a Near-Optimal Complex Root Clustering Algorithm
π₯ RΓ©mi Imbach, Victor Y. Pan, Chee Yap
π PDF
#MathematicalSoftware
AI Python & arXiv Channel
Mathematical Software
#MathematicalSoftware
π 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
π The Implementation of the Colored Abstract Simplicial Complex and its Application to Mesh Generation
π₯ C. T. Lee, J. B. Moody, R. E. Amaro, J. A. McCammon, M. Holst
π PDF
π FluidFFT: common API (C++ and Python) for Fast Fourier Transform HPC libraries
π₯ Ashwin Vishnu Mohanan, Cyrille Bonamy, Pierre Augier
π PDF
π A GPU-enabled finite volume solver for large shallow water simulations
π₯ Fabrice Zaoui
π PDF
π Implementation of a Near-Optimal Complex Root Clustering Algorithm
π₯ RΓ©mi Imbach, Victor Y. Pan, Chee Yap
π PDF
#MathematicalSoftware
AI Python & arXiv Channel
5 of Latest Published Articles:
Numerical Analysis
#NumericalAnalysis
π On Sparse Reflexive Generalized Inverses
π₯ Marcia Fampa, Jon Lee
π PDF
π RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for Solving PDEs on Surfaces
π₯ Varun Shankar, Akil Narayan, Robert M. Kirby
π PDF
π Tensor ring decomposition
π₯ Oscar Mickelin, Sertac Karaman
π PDF
π Improving the approximation of the first and second order statistics of the response process to the random Legendre differential equation
π₯ J. Calatayud, J. -C. CortΓ©s, M. Jornet
π PDF
π Meshless Methods for Large Deformation Elastodynamics
π₯ Matthias RΓΆthlin, Hagen Klippel, Konrad Wegener
π PDF
#NumericalAnalysis
AI Python & arXiv Channel
Numerical Analysis
#NumericalAnalysis
π On Sparse Reflexive Generalized Inverses
π₯ Marcia Fampa, Jon Lee
π PDF
π RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for Solving PDEs on Surfaces
π₯ Varun Shankar, Akil Narayan, Robert M. Kirby
π PDF
π Tensor ring decomposition
π₯ Oscar Mickelin, Sertac Karaman
π PDF
π Improving the approximation of the first and second order statistics of the response process to the random Legendre differential equation
π₯ J. Calatayud, J. -C. CortΓ©s, M. Jornet
π PDF
π Meshless Methods for Large Deformation Elastodynamics
π₯ Matthias RΓΆthlin, Hagen Klippel, Konrad Wegener
π PDF
#NumericalAnalysis
AI Python & arXiv Channel
5 of Latest Published Articles:
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing
π Recurrent Auto-Encoder Model for Large-Scale Industrial Sensor Signal Analysis
π₯ Timothy Wong, Zhiyuan Luo
π PDF
π DLOPT: Deep Learning Optimization Library
π₯ AndrΓ©s Camero, Jamal Toutouh, Enrique Alba
π PDF
π Significance-based Estimation-of-Distribution Algorithms
π₯ Benjamin Doerr, Martin Krejca
π PDF
π Fine Tuning Method by using Knowledge Acquisition from Deep Belief Network
π₯ Shin Kamada, Takumi Ichimura
π PDF
π An Adaptive Learning Method of Deep Belief Network by Layer Generation Algorithm
π₯ Shin Kamada, Takumi Ichimura
π PDF
#NeuralandEvolutionaryComputing
AI Python & arXiv Channel
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing
π Recurrent Auto-Encoder Model for Large-Scale Industrial Sensor Signal Analysis
π₯ Timothy Wong, Zhiyuan Luo
π PDF
π DLOPT: Deep Learning Optimization Library
π₯ AndrΓ©s Camero, Jamal Toutouh, Enrique Alba
π PDF
π Significance-based Estimation-of-Distribution Algorithms
π₯ Benjamin Doerr, Martin Krejca
π PDF
π Fine Tuning Method by using Knowledge Acquisition from Deep Belief Network
π₯ Shin Kamada, Takumi Ichimura
π PDF
π An Adaptive Learning Method of Deep Belief Network by Layer Generation Algorithm
π₯ Shin Kamada, Takumi Ichimura
π PDF
#NeuralandEvolutionaryComputing
AI Python & arXiv Channel
5 of Latest Published Articles:
Networking and Internet Architecture
#NetworkingandInternetArchitecture
π Social-Feature Enabled Communications among Devices towards Smart IoT Community
π₯ Qinghe Du, Houbing Song, Xuejie Zhu
π PDF
π Soft-TTL: Time-Varying Fractional Caching
π₯ Jasper Goseling, Osvaldo Simeone
π PDF
π Using Complex Network Theory for Temporal Locality in Network Traffic Flows
π₯ Jin-Fa Wang, Hai Zhao, Shuai-Zong Si, Hao Yu, Shuai Chao, Xuan He
π PDF
π Hybrid-Vehcloud: An Obstacle Shadowing Approach for VANETs in Urban Environment
π₯ Anirudh Paranjothi, Mohammad S Khan, Mohammed Atiquzzaman
π PDF
π A Novel IoT Architecture based on 5G-IoT and Next Generation Technologies
π₯ Hamed Rahimi, Ali Zibaeenejad, Ali Akbar Safavi
π PDF
#NetworkingandInternetArchitecture
AI Python & arXiv Channel
Networking and Internet Architecture
#NetworkingandInternetArchitecture
π Social-Feature Enabled Communications among Devices towards Smart IoT Community
π₯ Qinghe Du, Houbing Song, Xuejie Zhu
π PDF
π Soft-TTL: Time-Varying Fractional Caching
π₯ Jasper Goseling, Osvaldo Simeone
π PDF
π Using Complex Network Theory for Temporal Locality in Network Traffic Flows
π₯ Jin-Fa Wang, Hai Zhao, Shuai-Zong Si, Hao Yu, Shuai Chao, Xuan He
π PDF
π Hybrid-Vehcloud: An Obstacle Shadowing Approach for VANETs in Urban Environment
π₯ Anirudh Paranjothi, Mohammad S Khan, Mohammed Atiquzzaman
π PDF
π A Novel IoT Architecture based on 5G-IoT and Next Generation Technologies
π₯ Hamed Rahimi, Ali Zibaeenejad, Ali Akbar Safavi
π PDF
#NetworkingandInternetArchitecture
AI Python & arXiv Channel
5 of Latest Published Articles:
Other Computer Science
#OtherComputerScience
π 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
π Research on Artificial Intelligence Ethics Based on the Evolution of Population Knowledge Base
π₯ Feng Liu, Yong Shi
π PDF
#OtherComputerScience
AI Python & arXiv Channel
Other Computer Science
#OtherComputerScience
π 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
π Research on Artificial Intelligence Ethics Based on the Evolution of Population Knowledge Base
π₯ Feng Liu, Yong Shi
π PDF
#OtherComputerScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Operating Systems
#OperatingSystems
π 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
π Minimizing Event-Handling Latencies in Secure Virtual Machines
π₯ Janis Danisevskis, Michael Peter, Jan Nordholz
π PDF
#OperatingSystems
AI Python & arXiv Channel
Operating Systems
#OperatingSystems
π 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
π Minimizing Event-Handling Latencies in Secure Virtual Machines
π₯ Janis Danisevskis, Michael Peter, Jan Nordholz
π PDF
#OperatingSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Performance
#Performance
π A Comparative Study of Containers and Virtual Machines in Big Data Environment
π₯ Qi Zhang, Ling Liu, Calton Pu, Qiwei Dou, Liren Wu, Wei Zhou
π PDF
π Restructuring Batch Normalization to Accelerate CNN Training
π₯ Daejin Jung, Wonkyung Jung, and Byeongho Kim, Sunjung Lee, Wonjong Rhee, Jung Ho Ahn
π PDF
π Best-Effort FPGA Programming: A Few Steps Can Go a Long Way
π₯ Jason Cong, Zhenman Fang, Yuchen Hao, Peng Wei, Cody Hao Yu, Chen Zhang, Peipei Zhou
π PDF
π A Survey on Agent-based Simulation using Hardware Accelerators
π₯ Jiajian Xiao, Philipp Andelfinger, David Eckhoff, Wentong Cai, Alois Knoll
π PDF
π Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption
π₯ Ricardo Nobre, LuΓs Reis, JoΓ£o M. P. Cardoso
π PDF
#Performance
AI Python & arXiv Channel
Performance
#Performance
π A Comparative Study of Containers and Virtual Machines in Big Data Environment
π₯ Qi Zhang, Ling Liu, Calton Pu, Qiwei Dou, Liren Wu, Wei Zhou
π PDF
π Restructuring Batch Normalization to Accelerate CNN Training
π₯ Daejin Jung, Wonkyung Jung, and Byeongho Kim, Sunjung Lee, Wonjong Rhee, Jung Ho Ahn
π PDF
π Best-Effort FPGA Programming: A Few Steps Can Go a Long Way
π₯ Jason Cong, Zhenman Fang, Yuchen Hao, Peng Wei, Cody Hao Yu, Chen Zhang, Peipei Zhou
π PDF
π A Survey on Agent-based Simulation using Hardware Accelerators
π₯ Jiajian Xiao, Philipp Andelfinger, David Eckhoff, Wentong Cai, Alois Knoll
π PDF
π Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption
π₯ Ricardo Nobre, LuΓs Reis, JoΓ£o M. P. Cardoso
π PDF
#Performance
AI Python & arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π Datalog-based Scalable Semantic Diffing of Concurrent Programs
π₯ Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
π PDF
π Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
π₯ Robert Atkey, Sam Lindley
π PDF
π Competitive Parallelism: Getting Your Priorities Right
π₯ Stefan K. Muller, Umut A. Acar, Robert Harper
π PDF
π Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks
π₯ Martin Sulzmann, Kai Stadtmueller
π PDF
π A modelling language for the effective design of Java annotations
π₯ Irene CΓ³rdoba, Juan de Lara
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π Datalog-based Scalable Semantic Diffing of Concurrent Programs
π₯ Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
π PDF
π Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
π₯ Robert Atkey, Sam Lindley
π PDF
π Competitive Parallelism: Getting Your Priorities Right
π₯ Stefan K. Muller, Umut A. Acar, Robert Harper
π PDF
π Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks
π₯ Martin Sulzmann, Kai Stadtmueller
π PDF
π A modelling language for the effective design of Java annotations
π₯ Irene CΓ³rdoba, Juan de Lara
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
5 of Latest Published Articles:
Robotics
#Robotics
π CIRL: Controllable Imitative Reinforcement Learning for Vision-based Self-driving
π₯ Xiaodan Liang, Tairui Wang, Luona Yang, Eric Xing
π PDF
π Medical Technologies and Challenges of Robot Assisted Minimally Invasive Intervention and Diagnostics
π₯ Nabil Simaan, Rashid M. Yasin, Long Wang
π PDF
π Parallax Bundle Adjustment on Manifold with Convexified Initialization
π₯ Liyang Liu, Teng Zhang, Yi Liu, Brenton Leighton, Liang Zhao, Shoudong Huang, Gamini Dissanayake
π PDF
π A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving
π₯ Mayank K. Pal, Rupali Bhati, Anil Sharma, Sanjit K. Kaul, Saket Anand, P. B. Sujit
π PDF
π Neural Task Graphs: Generalizing to Unseen Tasks from a Single Video Demonstration
π₯ De-An Huang, Suraj Nair, Danfei Xu, Yuke Zhu, Animesh Garg, Li Fei-Fei, Silvio Savarese, Juan Carlos Niebles
π PDF
#Robotics
AI Python & arXiv Channel
Robotics
#Robotics
π CIRL: Controllable Imitative Reinforcement Learning for Vision-based Self-driving
π₯ Xiaodan Liang, Tairui Wang, Luona Yang, Eric Xing
π PDF
π Medical Technologies and Challenges of Robot Assisted Minimally Invasive Intervention and Diagnostics
π₯ Nabil Simaan, Rashid M. Yasin, Long Wang
π PDF
π Parallax Bundle Adjustment on Manifold with Convexified Initialization
π₯ Liyang Liu, Teng Zhang, Yi Liu, Brenton Leighton, Liang Zhao, Shoudong Huang, Gamini Dissanayake
π PDF
π A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving
π₯ Mayank K. Pal, Rupali Bhati, Anil Sharma, Sanjit K. Kaul, Saket Anand, P. B. Sujit
π PDF
π Neural Task Graphs: Generalizing to Unseen Tasks from a Single Video Demonstration
π₯ De-An Huang, Suraj Nair, Danfei Xu, Yuke Zhu, Animesh Garg, Li Fei-Fei, Silvio Savarese, Juan Carlos Niebles
π PDF
#Robotics
AI Python & arXiv Channel
5 of Latest Published Articles:
Symbolic Computation
#SymbolicComputation
π 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
π A Purely Functional Computer Algebra System Embedded in Haskell
π₯ Hiromi Ishii
π PDF
π Interactive Certificates for Polynomial Matrices with Sub-Linear Communication
π₯ David Lucas, Vincent Neiger, ClΓ©ment Pernet, Daniel S. Roche, Johan Rosenkilde
π PDF
π Fast Hermite interpolation and evaluation over finite fields of characteristic two
π₯ Nicholas Coxon
π PDF
#SymbolicComputation
AI Python & arXiv Channel
Symbolic Computation
#SymbolicComputation
π 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
π A Purely Functional Computer Algebra System Embedded in Haskell
π₯ Hiromi Ishii
π PDF
π Interactive Certificates for Polynomial Matrices with Sub-Linear Communication
π₯ David Lucas, Vincent Neiger, ClΓ©ment Pernet, Daniel S. Roche, Johan Rosenkilde
π PDF
π Fast Hermite interpolation and evaluation over finite fields of characteristic two
π₯ Nicholas Coxon
π PDF
#SymbolicComputation
AI Python & arXiv Channel
5 of Latest Published Articles:
Sound
#Sound
π Phase reconstruction from amplitude spectrograms based on von-Mises-distribution deep neural network
π₯ Shinnosuke Takamichi, Yuki Saito, Norihiro Takamune, Daichi Kitamura, Hiroshi Saruwatari
π PDF
π Interpreting and Explaining Deep Neural Networks for Classification of Audio Signals
π₯ SΓΆren Becker, Marcel Ackermann, Sebastian Lapuschkin, Klaus-Robert MΓΌller, Wojciech Samek
π PDF
π On Training Recurrent Networks with Truncated Backpropagation Through Time in Speech Recognition
π₯ Hao Tang, James Glass
π PDF
π Foreign English Accent Adjustment by Learning Phonetic Patterns
π₯ Fedor Kitashov, Elizaveta Svitanko, Debojyoti Dutta
π PDF
π Approximate k-space models and Deep Learning for fast photoacoustic reconstruction
π₯ Andreas Hauptmann, Ben Cox, Felix Lucka, Nam Huynh, Marta Betcke, Paul Beard, Simon Arridge
π PDF
#Sound
AI Python & arXiv Channel
Sound
#Sound
π Phase reconstruction from amplitude spectrograms based on von-Mises-distribution deep neural network
π₯ Shinnosuke Takamichi, Yuki Saito, Norihiro Takamune, Daichi Kitamura, Hiroshi Saruwatari
π PDF
π Interpreting and Explaining Deep Neural Networks for Classification of Audio Signals
π₯ SΓΆren Becker, Marcel Ackermann, Sebastian Lapuschkin, Klaus-Robert MΓΌller, Wojciech Samek
π PDF
π On Training Recurrent Networks with Truncated Backpropagation Through Time in Speech Recognition
π₯ Hao Tang, James Glass
π PDF
π Foreign English Accent Adjustment by Learning Phonetic Patterns
π₯ Fedor Kitashov, Elizaveta Svitanko, Debojyoti Dutta
π PDF
π Approximate k-space models and Deep Learning for fast photoacoustic reconstruction
π₯ Andreas Hauptmann, Ben Cox, Felix Lucka, Nam Huynh, Marta Betcke, Paul Beard, Simon Arridge
π PDF
#Sound
AI Python & arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Datalog-based Scalable Semantic Diffing of Concurrent Programs
π₯ Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
π PDF
π Rule- and context-based dynamic business process modelling and simulation
π₯ Olegas Vasilecas, Diana Kalibatiene, Dejan LavbiΔ
π PDF
π A modelling language for the effective design of Java annotations
π₯ Irene CΓ³rdoba, Juan de Lara
π PDF
π Practical Program Repair via Bytecode Mutation
π₯ Ali Ghanbari, Lingming Zhang
π PDF
π CANAL: A Cache Timing Analysis Framework via LLVM Transformation
π₯ Chungha Sung, Brandon Paulsen, Chao Wang
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Datalog-based Scalable Semantic Diffing of Concurrent Programs
π₯ Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
π PDF
π Rule- and context-based dynamic business process modelling and simulation
π₯ Olegas Vasilecas, Diana Kalibatiene, Dejan LavbiΔ
π PDF
π A modelling language for the effective design of Java annotations
π₯ Irene CΓ³rdoba, Juan de Lara
π PDF
π Practical Program Repair via Bytecode Mutation
π₯ Ali Ghanbari, Lingming Zhang
π PDF
π CANAL: A Cache Timing Analysis Framework via LLVM Transformation
π₯ Chungha Sung, Brandon Paulsen, Chao Wang
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
5 of Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks
π Network Classification in Temporal Networks Using Motifs
π₯ Kun Tu, Jian Li, Don Towsley, Dave Braines, Liam D. Turner
π PDF
π Inside the Right-Leaning Echo Chambers: Characterizing Gab, an Unmoderated Social System
π₯ Lucas Lima, Julio C. S. Reis, Philipe Melo, Fabricio Murai, Leandro AraΓΊjo, Pantelis Vikatos, FabrΓcio Benevenuto
π PDF
π Event Detection and Retrieval on Social Media
π₯ Manos Schinas, Symeon Papadopoulos, Yiannis Kompatsiaris, Pericles Mitkas
π PDF
π Threshold $q$-voter model
π₯ Allan R. Vieira, Celia Anteneodo
π PDF
π On a Class of Stochastic Multilayer Networks
π₯ Bo Jiang, Philippe Nain, Don Towsley, Saikat Guha
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Social and Information Networks
#SocialandInformationNetworks
π Network Classification in Temporal Networks Using Motifs
π₯ Kun Tu, Jian Li, Don Towsley, Dave Braines, Liam D. Turner
π PDF
π Inside the Right-Leaning Echo Chambers: Characterizing Gab, an Unmoderated Social System
π₯ Lucas Lima, Julio C. S. Reis, Philipe Melo, Fabricio Murai, Leandro AraΓΊjo, Pantelis Vikatos, FabrΓcio Benevenuto
π PDF
π Event Detection and Retrieval on Social Media
π₯ Manos Schinas, Symeon Papadopoulos, Yiannis Kompatsiaris, Pericles Mitkas
π PDF
π Threshold $q$-voter model
π₯ Allan R. Vieira, Celia Anteneodo
π PDF
π On a Class of Stochastic Multilayer Networks
π₯ Bo Jiang, Philippe Nain, Don Towsley, Saikat Guha
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
5 of Latest Published Articles:
Systems and Control
#SystemsandControl
π Kernel-Based Learning for Smart Inverter Control
π₯ Aditie Garg, Mana Jalali, Vassilis Kekatos, Nikolaos Gatsis
π PDF
π A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving
π₯ Mayank K. Pal, Rupali Bhati, Anil Sharma, Sanjit K. Kaul, Saket Anand, P. B. Sujit
π PDF
π On Controller Design for Systems on Manifolds in Euclidean Space
π₯ Dong Eui Chang
π PDF
π Effects of Load-Based Frequency Regulation on Distribution Network Operation
π₯ Stephanie C. Ross, Gabrielle Vuylsteke, Johanna L. Mathieu
π PDF
π Learning Functions in Large Networks requires Modularity and produces Multi-Agent Dynamics
π₯ C. H. Huck Yang, Rise Ooi, Tom Hiscock, Victor Eguiluz, Jesper Tegner
π PDF
#SystemsandControl
AI Python & arXiv Channel
Systems and Control
#SystemsandControl
π Kernel-Based Learning for Smart Inverter Control
π₯ Aditie Garg, Mana Jalali, Vassilis Kekatos, Nikolaos Gatsis
π PDF
π A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving
π₯ Mayank K. Pal, Rupali Bhati, Anil Sharma, Sanjit K. Kaul, Saket Anand, P. B. Sujit
π PDF
π On Controller Design for Systems on Manifolds in Euclidean Space
π₯ Dong Eui Chang
π PDF
π Effects of Load-Based Frequency Regulation on Distribution Network Operation
π₯ Stephanie C. Ross, Gabrielle Vuylsteke, Johanna L. Mathieu
π PDF
π Learning Functions in Large Networks requires Modularity and produces Multi-Agent Dynamics
π₯ C. H. Huck Yang, Rise Ooi, Tom Hiscock, Victor Eguiluz, Jesper Tegner
π PDF
#SystemsandControl
AI Python & arXiv Channel
Forwarded from arXiv
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
π 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