5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
🗒 Cimple: Instruction and Memory Level Parallelism
👥 Vladimir Kiriansky, Haoran Xu, Martin Rinard, Saman Amarasinghe
📗 PDF
🗒 Multi-Stage JavaScript
👥 Anthony Savidis, Yannis Apostolidis, Yannis Lilis
📗 PDF
🗒 A Purely Functional Computer Algebra System Embedded in Haskell
👥 Hiromi Ishii
📗 PDF
🗒 Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
👥 Frédéric Blanqui, Giselle Reis
📗 PDF
🗒 A Semantics for Hybrid Iteration
👥 Sergey Goncharov, Julian Jakob, Renato Neves
📗 PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
🗒 Cimple: Instruction and Memory Level Parallelism
👥 Vladimir Kiriansky, Haoran Xu, Martin Rinard, Saman Amarasinghe
🗒 Multi-Stage JavaScript
👥 Anthony Savidis, Yannis Apostolidis, Yannis Lilis
🗒 A Purely Functional Computer Algebra System Embedded in Haskell
👥 Hiromi Ishii
🗒 Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
👥 Frédéric Blanqui, Giselle Reis
🗒 A Semantics for Hybrid Iteration
👥 Sergey Goncharov, Julian Jakob, Renato Neves
#ProgrammingLanguages
AI Python & arXiv Channel
5 of Latest Published Articles:
Robotics
#Robotics
🗒 Sensors, SLAM and Long-term Autonomy: A Review
👥 Mubariz Zaffar, Shoaib Ehsan, Rustam Stolkin, Klaus McDonald Maier
📗 PDF
🗒 Curiosity Driven Exploration of Learned Disentangled Goal Spaces
👥 Adrien Laversanne-Finot, Alexandre Péré, Pierre-Yves Oudeyer
📗 PDF
🗒 Tackling Occlusions & Limited Sensor Range with Set-based Safety Verification
👥 Piotr Franciszek Orzechowski, Annika Meyer, Martin Lauer
📗 PDF
🗒 Computationally-Robust and Efficient Prioritized Whole-Body Controller with Contact Constraints
👥 Donghyun Kim, Jaemin Lee, Orion Campbell, Hochul Hwang, Luis Sentis
📗 PDF
🗒 Deep Neural Object Analysis by Interactive Auditory Exploration with a Humanoid Robot
👥 Manfred Eppe, Matthias Kerzel, Erik Strahl, Stefan Wermter
📗 PDF
#Robotics
AI Python & arXiv Channel
Robotics
#Robotics
🗒 Sensors, SLAM and Long-term Autonomy: A Review
👥 Mubariz Zaffar, Shoaib Ehsan, Rustam Stolkin, Klaus McDonald Maier
🗒 Curiosity Driven Exploration of Learned Disentangled Goal Spaces
👥 Adrien Laversanne-Finot, Alexandre Péré, Pierre-Yves Oudeyer
🗒 Tackling Occlusions & Limited Sensor Range with Set-based Safety Verification
👥 Piotr Franciszek Orzechowski, Annika Meyer, Martin Lauer
🗒 Computationally-Robust and Efficient Prioritized Whole-Body Controller with Contact Constraints
👥 Donghyun Kim, Jaemin Lee, Orion Campbell, Hochul Hwang, Luis Sentis
🗒 Deep Neural Object Analysis by Interactive Auditory Exploration with a Humanoid Robot
👥 Manfred Eppe, Matthias Kerzel, Erik Strahl, Stefan Wermter
#Robotics
AI Python & arXiv Channel
5 of Latest Published Articles:
Symbolic Computation
#SymbolicComputation
🗒 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
🗒 A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations
👥 Yury A. Blinkov, Vladimir P. Gerdt, Dmitry A. Lyakhov, Dominik L. Michels
📗 PDF
🗒 Proof-of-work certificates that can be efficiently computed in the cloud
👥 Jean-Guillaume Dumas
📗 PDF
#SymbolicComputation
AI Python & arXiv Channel
Symbolic Computation
#SymbolicComputation
🗒 A Purely Functional Computer Algebra System Embedded in Haskell
👥 Hiromi Ishii
🗒 Interactive Certificates for Polynomial Matrices with Sub-Linear Communication
👥 David Lucas, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde
🗒 Fast Hermite interpolation and evaluation over finite fields of characteristic two
👥 Nicholas Coxon
🗒 A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations
👥 Yury A. Blinkov, Vladimir P. Gerdt, Dmitry A. Lyakhov, Dominik L. Michels
🗒 Proof-of-work certificates that can be efficiently computed in the cloud
👥 Jean-Guillaume Dumas
#SymbolicComputation
AI Python & arXiv Channel
5 of Latest Published Articles:
Sound
#Sound
🗒 Weakly Supervised Deep Recurrent Neural Networks for Basic Dance Step Generation
👥 Nelson Yalta, Shinji Watanabe, Kazuhiro Nakadai, Tetsuya Ogata
📗 PDF
🗒 Evaluating the Effects of Material Sonification in Tactile Devices
👥 Rodrigo Martín, Michael Weinmann, Matthias B. Hullin
📗 PDF
🗒 A Computational Study of the Role of Tonal Tension in Expressive Piano Performance
👥 Carlos Cancino-Chacón, Maarten Grachten
📗 PDF
🗒 Exploring End-to-End Techniques for Low-Resource Speech Recognition
👥 Vladimir Bataev, Maxim Korenevsky, Ivan Medennikov, Alexander Zatvornitskiy
📗 PDF
🗒 An energy-based generative sequence model for testing sensory theories of Western harmony
👥 Peter M. C. Harrison, Marcus T. Pearce
📗 PDF
#Sound
AI Python & arXiv Channel
Sound
#Sound
🗒 Weakly Supervised Deep Recurrent Neural Networks for Basic Dance Step Generation
👥 Nelson Yalta, Shinji Watanabe, Kazuhiro Nakadai, Tetsuya Ogata
🗒 Evaluating the Effects of Material Sonification in Tactile Devices
👥 Rodrigo Martín, Michael Weinmann, Matthias B. Hullin
🗒 A Computational Study of the Role of Tonal Tension in Expressive Piano Performance
👥 Carlos Cancino-Chacón, Maarten Grachten
🗒 Exploring End-to-End Techniques for Low-Resource Speech Recognition
👥 Vladimir Bataev, Maxim Korenevsky, Ivan Medennikov, Alexander Zatvornitskiy
🗒 An energy-based generative sequence model for testing sensory theories of Western harmony
👥 Peter M. C. Harrison, Marcus T. Pearce
#Sound
AI Python & arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
🗒 Teaching DevOps in Corporate Environments: An experience report
👥 Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
📗 PDF
🗒 Usability and Security Effects of Code Examples on Crypto APIs - CryptoExamples: A platform for free, minimal, complete and secure crypto examples
👥 Kai Mindermann, Stefan Wagner
📗 PDF
🗒 Implementing SCRUM to develop a connected robot
👥 Diego Armando Diaz Vargas, Rui Xue, Claude Baron, Philippe Esteban, Rob Vingerhoeds, Y Citlalih, Chao Liu
📗 PDF
🗒 Using mobile service for supply chain management : a survey and challenges
👥 Selwa Elfirdoussi
📗 PDF
🗒 App Store 2.0: From Crowd Information to Actionable Feedback in Mobile Ecosystems
👥 María Gómez, Bram Adams, Walid Maalej, Martin Monperrus, Romain Rouvoy
📗 PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
🗒 Teaching DevOps in Corporate Environments: An experience report
👥 Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
🗒 Usability and Security Effects of Code Examples on Crypto APIs - CryptoExamples: A platform for free, minimal, complete and secure crypto examples
👥 Kai Mindermann, Stefan Wagner
🗒 Implementing SCRUM to develop a connected robot
👥 Diego Armando Diaz Vargas, Rui Xue, Claude Baron, Philippe Esteban, Rob Vingerhoeds, Y Citlalih, Chao Liu
🗒 Using mobile service for supply chain management : a survey and challenges
👥 Selwa Elfirdoussi
🗒 App Store 2.0: From Crowd Information to Actionable Feedback in Mobile Ecosystems
👥 María Gómez, Bram Adams, Walid Maalej, Martin Monperrus, Romain Rouvoy
#SoftwareEngineering
AI Python & arXiv Channel
5 of Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks
🗒 Centrality-Friendship Paradoxes: When Our Friends Are More Important Than Us
👥 Desmond J. Higham
📗 PDF
🗒 Visualizing spreading phenomena on complex networks
👥 Christian Schulz
📗 PDF
🗒 Interactions and influence of world painters from the reduced Google matrix of Wikipedia networks
👥 Samer El Zant, Katia Jaffrès-Runser, Klaus M. Frahm, Dima L. Shepelyansky
📗 PDF
🗒 Opinion formation on dynamic networks: identifying conditions for the emergence of partisan echo chambers
👥 Tucker Evans, Feng Fu
📗 PDF
🗒 Link persistence and conditional distances in multiplex networks
👥 Fragkiskos Papadopoulos, Kaj-Kolja Kleineberg
📗 PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Social and Information Networks
#SocialandInformationNetworks
🗒 Centrality-Friendship Paradoxes: When Our Friends Are More Important Than Us
👥 Desmond J. Higham
🗒 Visualizing spreading phenomena on complex networks
👥 Christian Schulz
🗒 Interactions and influence of world painters from the reduced Google matrix of Wikipedia networks
👥 Samer El Zant, Katia Jaffrès-Runser, Klaus M. Frahm, Dima L. Shepelyansky
🗒 Opinion formation on dynamic networks: identifying conditions for the emergence of partisan echo chambers
👥 Tucker Evans, Feng Fu
🗒 Link persistence and conditional distances in multiplex networks
👥 Fragkiskos Papadopoulos, Kaj-Kolja Kleineberg
#SocialandInformationNetworks
AI Python & arXiv Channel
5 of Latest Published Articles:
Systems and Control
#SystemsandControl
🗒 Distributed Estimation Via a Roaming Token
👥 Lucas Balthazar, João Xavier, Bruno Sinopoli
📗 PDF
🗒 A Fixed-Point Iteration for Steady-State Analysis of Water Distribution Networks
👥 Mohammadhafez Bazrafshan, Nikolaos Gatsis, Marcio Giacomoni, Ahmad Taha
📗 PDF
🗒 Distributed resource allocation through utility design - Part II: applications to submodular, supermodular and set covering problems
👥 Dario Paccagnan, Jason R. Marden
📗 PDF
🗒 Distributed resource allocation through utility design - Part I: optimizing the performance certificates via the price of anarchy
👥 Dario Paccagnan, Rahul Chandan, Jason R. Marden
📗 PDF
🗒 A State-Space Modeling Framework for Engineering Blockchain-Enabled Economic Systems
👥 Michael Zargham, Zixuan Zhang, Victor Preciado
📗 PDF
#SystemsandControl
AI Python & arXiv Channel
Systems and Control
#SystemsandControl
🗒 Distributed Estimation Via a Roaming Token
👥 Lucas Balthazar, João Xavier, Bruno Sinopoli
🗒 A Fixed-Point Iteration for Steady-State Analysis of Water Distribution Networks
👥 Mohammadhafez Bazrafshan, Nikolaos Gatsis, Marcio Giacomoni, Ahmad Taha
🗒 Distributed resource allocation through utility design - Part II: applications to submodular, supermodular and set covering problems
👥 Dario Paccagnan, Jason R. Marden
🗒 Distributed resource allocation through utility design - Part I: optimizing the performance certificates via the price of anarchy
👥 Dario Paccagnan, Rahul Chandan, Jason R. Marden
🗒 A State-Space Modeling Framework for Engineering Blockchain-Enabled Economic Systems
👥 Michael Zargham, Zixuan Zhang, Victor Preciado
#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
📗 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