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
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
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
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
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
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
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
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
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