5 of Latest Published Articles:
Computer Science and Game Theory
#ComputerScienceandGameTheory
π Social Learning with Questions
π₯ Grant Schoenebeck, Shih-Tang Su, Vijay Subramanian
π PDF
π Deep Counterfactual Regret Minimization
π₯ Noam Brown, Adam Lerer, Sam Gross, Tuomas Sandholm
π PDF
π An Improved Algorithm for Computing Approximate Equilibria in Weighted Congestion Games
π₯ Yiannis Giannakopoulos, Georgy Noarov, Andreas S. Schulz
π PDF
π Evolutionarily Stable Preferences Against Multiple Mutations
π₯ Yu-Sung Tu, Wei-Torng Juang
π PDF
π Designing Refund Bonus Schemes for Provision Point Mechanism in Civic Crowdfunding
π₯ Sankarshan Damle, Moin Hussain Moti, Sujit Gujar, Praphul Chandra
π PDF
#ComputerScienceandGameTheory
AI Python & arXiv Channel
Computer Science and Game Theory
#ComputerScienceandGameTheory
π Social Learning with Questions
π₯ Grant Schoenebeck, Shih-Tang Su, Vijay Subramanian
π PDF
π Deep Counterfactual Regret Minimization
π₯ Noam Brown, Adam Lerer, Sam Gross, Tuomas Sandholm
π PDF
π An Improved Algorithm for Computing Approximate Equilibria in Weighted Congestion Games
π₯ Yiannis Giannakopoulos, Georgy Noarov, Andreas S. Schulz
π PDF
π Evolutionarily Stable Preferences Against Multiple Mutations
π₯ Yu-Sung Tu, Wei-Torng Juang
π PDF
π Designing Refund Bonus Schemes for Provision Point Mechanism in Civic Crowdfunding
π₯ Sankarshan Damle, Moin Hussain Moti, Sujit Gujar, Praphul Chandra
π PDF
#ComputerScienceandGameTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Human-Computer Interaction
#HumanComputerInteraction
π A Process-driven View on Summative Evaluation of Visual Analytics Solutions
π₯ Mosab Khayat, Arif Ghafoor
π PDF
π A speech-based driver assisting module for Intelligent Transport System
π₯ Himangshu Sarma, Navanath Saharia
π PDF
π Designing Informative Rating Systems for Online Platforms: Evidence from Two Experiments
π₯ Nikhil Garg, Ramesh Johari
π PDF
π Tabby: Explorable Design for 3D Printing Textures
π₯ Ryo Suzuki, Koji Yatani, Mark D. Gross, Tom Yeh
π PDF
π The Responsibility Quantification (ResQu) Model of Human Interaction with Automation
π₯ Nir Douer, Joachim Meyer
π PDF
#HumanComputerInteraction
AI Python & arXiv Channel
Human-Computer Interaction
#HumanComputerInteraction
π A Process-driven View on Summative Evaluation of Visual Analytics Solutions
π₯ Mosab Khayat, Arif Ghafoor
π PDF
π A speech-based driver assisting module for Intelligent Transport System
π₯ Himangshu Sarma, Navanath Saharia
π PDF
π Designing Informative Rating Systems for Online Platforms: Evidence from Two Experiments
π₯ Nikhil Garg, Ramesh Johari
π PDF
π Tabby: Explorable Design for 3D Printing Textures
π₯ Ryo Suzuki, Koji Yatani, Mark D. Gross, Tom Yeh
π PDF
π The Responsibility Quantification (ResQu) Model of Human Interaction with Automation
π₯ Nir Douer, Joachim Meyer
π PDF
#HumanComputerInteraction
AI Python & arXiv Channel
5 of Latest Published Articles:
Information Retrieval
#InformationRetrieval
π Clustered Monotone Transforms for Rating Factorization
π₯ Gaurush Hiranandani, Raghav Somani, Oluwasanmi Koyejo, Sreangsu Acharyya
π PDF
π SIEVE: Helping Developers Sift Wheat from Chaff via Cross-Platform Analysis
π₯ Agus Sulistya, Gede Artha Azriadi Prana, Abhishek Sharma, David Lo, Christoph Treude
π PDF
π Query Adaptive Late Fusion for Image Retrieval
π₯ Zhongdao Wang, Liang Zheng, Shengjin Wang
π PDF
π Quantum-inspired classical algorithms for principal component analysis and supervised clustering
π₯ Ewin Tang
π PDF
π NPRF: A Neural Pseudo Relevance Feedback Framework for Ad-hoc Information Retrieval
π₯ Canjia Li, Yingfei Sun, Ben He, Le Wang, Kai Hui, Andrew Yates, Le Sun, Jungang Xu
π PDF
#InformationRetrieval
AI Python & arXiv Channel
Information Retrieval
#InformationRetrieval
π Clustered Monotone Transforms for Rating Factorization
π₯ Gaurush Hiranandani, Raghav Somani, Oluwasanmi Koyejo, Sreangsu Acharyya
π PDF
π SIEVE: Helping Developers Sift Wheat from Chaff via Cross-Platform Analysis
π₯ Agus Sulistya, Gede Artha Azriadi Prana, Abhishek Sharma, David Lo, Christoph Treude
π PDF
π Query Adaptive Late Fusion for Image Retrieval
π₯ Zhongdao Wang, Liang Zheng, Shengjin Wang
π PDF
π Quantum-inspired classical algorithms for principal component analysis and supervised clustering
π₯ Ewin Tang
π PDF
π NPRF: A Neural Pseudo Relevance Feedback Framework for Ad-hoc Information Retrieval
π₯ Canjia Li, Yingfei Sun, Ben He, Le Wang, Kai Hui, Andrew Yates, Le Sun, Jungang Xu
π PDF
#InformationRetrieval
AI Python & arXiv Channel
5 of Latest Published Articles:
Information Theory
#InformationTheory
π The Effect of Diversity Combining on ISI in Massive MIMO
π₯ Arkady Molev Shteiman, Stefano Galli, Laurence Mailaender, Xiao Feng Qi
π PDF
π Optimal 1D Trajectory Design for UAV-Enabled Multiuser Wireless Power Transfer
π₯ Yulin Hu, Xiaopeng Yuan, Jie Xu, Anke Schmeink
π PDF
π Entropy versus variance for symmetric log-concave random variables and related problems
π₯ Mokshay Madiman, Piotr Nayar, Tomasz Tkocz
π PDF
π A Cascaded Channel-Power Allocation for D2D Underlaid Cellular Networks Using Matching Theory
π₯ Yiling Yuan, Tao Yang, Yuedong Xu, Hui Feng, Bo Hu
π PDF
π Semi-Finite Length Analysis for Information Theoretic Tasks
π₯ Masahito Hayashi
π PDF
#InformationTheory
AI Python & arXiv Channel
Information Theory
#InformationTheory
π The Effect of Diversity Combining on ISI in Massive MIMO
π₯ Arkady Molev Shteiman, Stefano Galli, Laurence Mailaender, Xiao Feng Qi
π PDF
π Optimal 1D Trajectory Design for UAV-Enabled Multiuser Wireless Power Transfer
π₯ Yulin Hu, Xiaopeng Yuan, Jie Xu, Anke Schmeink
π PDF
π Entropy versus variance for symmetric log-concave random variables and related problems
π₯ Mokshay Madiman, Piotr Nayar, Tomasz Tkocz
π PDF
π A Cascaded Channel-Power Allocation for D2D Underlaid Cellular Networks Using Matching Theory
π₯ Yiling Yuan, Tao Yang, Yuedong Xu, Hui Feng, Bo Hu
π PDF
π Semi-Finite Length Analysis for Information Theoretic Tasks
π₯ Masahito Hayashi
π PDF
#InformationTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Learning
#Learning
π Deep Structured Prediction with Nonlinear Output Transformations
π₯ Colin Graber, Ofer Meshi, Alexander Schwing
π PDF
π On the Geometry of Adversarial Examples
π₯ Marc Khoury, Dylan Hadfield-Menell
π PDF
π Minimizing Close-k Aggregate Loss Improves Classification
π₯ Bryan He, James Zou
π PDF
π The Natural Auditor: How To Tell If Someone Used Your Words To Train Their Model
π₯ Congzheng Song, Vitaly Shmatikov
π PDF
π Learning Beam Search Policies via Imitation Learning
π₯ Renato Negrinho, Matthew R. Gormley, Geoffrey J. Gordon
π PDF
#Learning
AI Python & arXiv Channel
Learning
#Learning
π Deep Structured Prediction with Nonlinear Output Transformations
π₯ Colin Graber, Ofer Meshi, Alexander Schwing
π PDF
π On the Geometry of Adversarial Examples
π₯ Marc Khoury, Dylan Hadfield-Menell
π PDF
π Minimizing Close-k Aggregate Loss Improves Classification
π₯ Bryan He, James Zou
π PDF
π The Natural Auditor: How To Tell If Someone Used Your Words To Train Their Model
π₯ Congzheng Song, Vitaly Shmatikov
π PDF
π Learning Beam Search Policies via Imitation Learning
π₯ Renato Negrinho, Matthew R. Gormley, Geoffrey J. Gordon
π PDF
#Learning
AI Python & arXiv Channel
5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Structured Parallel Programming Language Based on True Concurrency
π₯ Yong Wang
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Finite Relation Algebras with Normal Representations
π₯ Manuel Bodirsky
π PDF
π Bisimulation as path type for guarded recursive types
π₯ Rasmus Ejlers MΓΈgelberg, NiccolΓ² Veltri
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Structured Parallel Programming Language Based on True Concurrency
π₯ Yong Wang
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Finite Relation Algebras with Normal Representations
π₯ Manuel Bodirsky
π PDF
π Bisimulation as path type for guarded recursive types
π₯ Rasmus Ejlers MΓΈgelberg, NiccolΓ² Veltri
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Multiagent Systems
#MultiagentSystems
π On finite-time and fixed-time consensus algorithms for dynamic networks switching among disconnected digraphs
π₯ David GΓ³mez-GutiΓ©rrez, Carlos Renato VΓ‘zquez, Sergej ΔelikovskΓ½, Juan Diego SΓ‘nchez-Torres, Javier Ruiz LeΓ³n
π PDF
π A multi-agent system for managing the product lifecycle sustainability
π₯ Thtiya Manakitsirisuthi, Yacine Ouzrout, Abdelaziz Bouras
π PDF
π A Decision Support Framework for Manufacturing Improvement and Relocation Prevention in Thailand: Supply Chain Perspective
π₯ Napaporn Reeveerakul, Ridha Derrouiche, Nopasit Chakpitak, Yacine Ouzrout, Napat Harnpornchai, Abdelaziz Bouras
π PDF
π Infrastructure for the representation and electronic exchange of design knowledge
π₯ Laurent Buzon, Abdelaziz Bouras, Yacine Ouzrout
π PDF
π Multi-Layers Supply chain modelling based on Multi-Agent Approach
π₯ Samia Chehbi-Gamoura, Yacine Ouzrout, Abdelaziz Bouras
π PDF
#MultiagentSystems
AI Python & arXiv Channel
Multiagent Systems
#MultiagentSystems
π On finite-time and fixed-time consensus algorithms for dynamic networks switching among disconnected digraphs
π₯ David GΓ³mez-GutiΓ©rrez, Carlos Renato VΓ‘zquez, Sergej ΔelikovskΓ½, Juan Diego SΓ‘nchez-Torres, Javier Ruiz LeΓ³n
π PDF
π A multi-agent system for managing the product lifecycle sustainability
π₯ Thtiya Manakitsirisuthi, Yacine Ouzrout, Abdelaziz Bouras
π PDF
π A Decision Support Framework for Manufacturing Improvement and Relocation Prevention in Thailand: Supply Chain Perspective
π₯ Napaporn Reeveerakul, Ridha Derrouiche, Nopasit Chakpitak, Yacine Ouzrout, Napat Harnpornchai, Abdelaziz Bouras
π PDF
π Infrastructure for the representation and electronic exchange of design knowledge
π₯ Laurent Buzon, Abdelaziz Bouras, Yacine Ouzrout
π PDF
π Multi-Layers Supply chain modelling based on Multi-Agent Approach
π₯ Samia Chehbi-Gamoura, Yacine Ouzrout, Abdelaziz Bouras
π PDF
#MultiagentSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Multimedia
#Multimedia
π Referenceless Performance Evaluation of Audio Source Separation using Deep Neural Networks
π₯ Emad M. Grais, Hagen Wierstorf, Dominic Ward, Russell Mason, Mark D. Plumbley
π PDF
π Modeling Melodic Feature Dependency with Modularized Variational Auto-Encoder
π₯ Yu-An Wang, Yu-Kai Huang, Tzu-Chuan Lin, Shang-Yu Su, Yun-Nung Chen
π PDF
π Textual Relationship Modeling for Cross-Modal Information Retrieval
π₯ Jing Yu, Chenghao Yang, Zengchang Qin, Zhuoqian Yang, Yue Hu, Yanbing Liu
π PDF
π Nonlinear Prediction of Multidimensional Signals via Deep Regression with Applications to Image Coding
π₯ Xi Zhang, Xiaolin Wu
π PDF
π Random Temporal Skipping for Multirate Video Analysis
π₯ Yi Zhu, Shawn Newsam
π PDF
#Multimedia
AI Python & arXiv Channel
Multimedia
#Multimedia
π Referenceless Performance Evaluation of Audio Source Separation using Deep Neural Networks
π₯ Emad M. Grais, Hagen Wierstorf, Dominic Ward, Russell Mason, Mark D. Plumbley
π PDF
π Modeling Melodic Feature Dependency with Modularized Variational Auto-Encoder
π₯ Yu-An Wang, Yu-Kai Huang, Tzu-Chuan Lin, Shang-Yu Su, Yun-Nung Chen
π PDF
π Textual Relationship Modeling for Cross-Modal Information Retrieval
π₯ Jing Yu, Chenghao Yang, Zengchang Qin, Zhuoqian Yang, Yue Hu, Yanbing Liu
π PDF
π Nonlinear Prediction of Multidimensional Signals via Deep Regression with Applications to Image Coding
π₯ Xi Zhang, Xiaolin Wu
π PDF
π Random Temporal Skipping for Multirate Video Analysis
π₯ Yi Zhu, Shawn Newsam
π PDF
#Multimedia
AI Python & arXiv Channel
5 of Latest Published Articles:
Mathematical Software
#MathematicalSoftware
π CatBoost: gradient boosting with categorical features support
π₯ Anna Veronika Dorogush, Vasily Ershov, Andrey Gulin
π PDF
π Nonequispaced Fast Fourier Transform (NFFT) Interface for Julia
π₯ Michael Schmischke
π PDF
π ensmallen: a flexible C++ library for efficient function optimization
π₯ Shikhar Bhardwaj, Ryan R. Curtin, Marcus Edel, Yannis Mentekidis, Conrad Sanderson
π PDF
π The Ocean Tensor Package
π₯ Ewout van den Berg
π PDF
π Dynamic Automatic Differentiation of GPU Broadcast Kernels
π₯ Jarrett Revels, Tim Besard, Valentin Churavy, Bjorn De Sutter, Juan Pablo Vielma
π PDF
#MathematicalSoftware
AI Python & arXiv Channel
Mathematical Software
#MathematicalSoftware
π CatBoost: gradient boosting with categorical features support
π₯ Anna Veronika Dorogush, Vasily Ershov, Andrey Gulin
π PDF
π Nonequispaced Fast Fourier Transform (NFFT) Interface for Julia
π₯ Michael Schmischke
π PDF
π ensmallen: a flexible C++ library for efficient function optimization
π₯ Shikhar Bhardwaj, Ryan R. Curtin, Marcus Edel, Yannis Mentekidis, Conrad Sanderson
π PDF
π The Ocean Tensor Package
π₯ Ewout van den Berg
π PDF
π Dynamic Automatic Differentiation of GPU Broadcast Kernels
π₯ Jarrett Revels, Tim Besard, Valentin Churavy, Bjorn De Sutter, Juan Pablo Vielma
π PDF
#MathematicalSoftware
AI Python & arXiv Channel
5 of Latest Published Articles:
Numerical Analysis
#NumericalAnalysis
π AMPS: A Real-time Mesh Cutting Algorithm for Surgical Simulations
π₯ Yu-Hong Yeung, Alex Pothen, Jessica Crouch
π PDF
π Exact Expectation Analysis of the Deficient-Length LMS Algorithm
π₯ Pedro Lara, LuΓs D. T. J. Tarrataca, Diego B. Haddad
π PDF
π Uncertainty Quantification in Three Dimensional Natural Convection using Polynomial Chaos Expansion and Deep Neural Networks
π₯ Shantanu Shahane, Narayana R. Aluru, Surya Pratap Vanka
π PDF
π Accurate and efficient explicit approximations of the Colebrook flow friction equation based on the Wright-Omega function
π₯ Dejan Brkic, Pavel Praks
π PDF
π Fast Computation of Steady-State Response for Nonlinear Vibrations of High-Degree-of-Freedom Systems
π₯ Shobhit Jain, Thomas Breunung, George Haller
π PDF
#NumericalAnalysis
AI Python & arXiv Channel
Numerical Analysis
#NumericalAnalysis
π AMPS: A Real-time Mesh Cutting Algorithm for Surgical Simulations
π₯ Yu-Hong Yeung, Alex Pothen, Jessica Crouch
π PDF
π Exact Expectation Analysis of the Deficient-Length LMS Algorithm
π₯ Pedro Lara, LuΓs D. T. J. Tarrataca, Diego B. Haddad
π PDF
π Uncertainty Quantification in Three Dimensional Natural Convection using Polynomial Chaos Expansion and Deep Neural Networks
π₯ Shantanu Shahane, Narayana R. Aluru, Surya Pratap Vanka
π PDF
π Accurate and efficient explicit approximations of the Colebrook flow friction equation based on the Wright-Omega function
π₯ Dejan Brkic, Pavel Praks
π PDF
π Fast Computation of Steady-State Response for Nonlinear Vibrations of High-Degree-of-Freedom Systems
π₯ Shobhit Jain, Thomas Breunung, George Haller
π PDF
#NumericalAnalysis
AI Python & arXiv Channel
5 of Latest Published Articles:
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing
π Hybrid Pruning: Thinner Sparse Networks for Fast Inference on Edge Devices
π₯ Xiaofan Xu, Mi Sun Park, Cormac Brick
π PDF
π Taylor-based Optimized Recursive Extended Exponential Smoothed Neural Networks Forecasting Method
π₯ Emna Krichene, Wael Ouarda, Habib Chabchoub, Adel M. Alimi
π PDF
π Liquid Time-constant Recurrent Neural Networks as Universal Approximators
π₯ Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
π PDF
π Understanding Learning Dynamics Of Language Models with SVCCA
π₯ Naomi Saphra, Adam Lopez
π PDF
π MOHONE: Modeling Higher Order Network Effects in KnowledgeGraphs via Network Infused Embeddings
π₯ Hao Yu, Vivek Kulkarni, William Wang
π PDF
#NeuralandEvolutionaryComputing
AI Python & arXiv Channel
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing
π Hybrid Pruning: Thinner Sparse Networks for Fast Inference on Edge Devices
π₯ Xiaofan Xu, Mi Sun Park, Cormac Brick
π PDF
π Taylor-based Optimized Recursive Extended Exponential Smoothed Neural Networks Forecasting Method
π₯ Emna Krichene, Wael Ouarda, Habib Chabchoub, Adel M. Alimi
π PDF
π Liquid Time-constant Recurrent Neural Networks as Universal Approximators
π₯ Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
π PDF
π Understanding Learning Dynamics Of Language Models with SVCCA
π₯ Naomi Saphra, Adam Lopez
π PDF
π MOHONE: Modeling Higher Order Network Effects in KnowledgeGraphs via Network Infused Embeddings
π₯ Hao Yu, Vivek Kulkarni, William Wang
π PDF
#NeuralandEvolutionaryComputing
AI Python & arXiv Channel
5 of Latest Published Articles:
Networking and Internet Architecture
#NetworkingandInternetArchitecture
π Expander Datacenters: From Theory to Practice
π₯ Vipul Harsh, Sangeetha Abdu Jyothi, Inderdeep Singh, P. Brighten Godfrey
π PDF
π Meeting the traffic requirements of residential users in the next decade with current FTTH standards: how much? how long?
π₯ JosΓ© Alberto HernΓ‘ndez, Rafael SΓ‘nchez, Ignacio MartΓn, David Larrabeiti
π PDF
π Caching at the Wireless Edge: Design Aspects, Challenges and Future Directions
π₯ Dong Liu, Binqiang Chen, Chenyang Yang, Andreas F. Molisch
π PDF
π Analysis of Interference in Wireless Networks
π₯ Zeeshan Haider, Muhammad Saleem, T. Jamal
π PDF
π Coalitional Game Based Carpooling Algorithms for Quality of Experience
π₯ Jiale Huang, Jigang Wu, Long Chen
π PDF
#NetworkingandInternetArchitecture
AI Python & arXiv Channel
Networking and Internet Architecture
#NetworkingandInternetArchitecture
π Expander Datacenters: From Theory to Practice
π₯ Vipul Harsh, Sangeetha Abdu Jyothi, Inderdeep Singh, P. Brighten Godfrey
π PDF
π Meeting the traffic requirements of residential users in the next decade with current FTTH standards: how much? how long?
π₯ JosΓ© Alberto HernΓ‘ndez, Rafael SΓ‘nchez, Ignacio MartΓn, David Larrabeiti
π PDF
π Caching at the Wireless Edge: Design Aspects, Challenges and Future Directions
π₯ Dong Liu, Binqiang Chen, Chenyang Yang, Andreas F. Molisch
π PDF
π Analysis of Interference in Wireless Networks
π₯ Zeeshan Haider, Muhammad Saleem, T. Jamal
π PDF
π Coalitional Game Based Carpooling Algorithms for Quality of Experience
π₯ Jiale Huang, Jigang Wu, Long Chen
π PDF
#NetworkingandInternetArchitecture
AI Python & arXiv Channel
5 of Latest Published Articles:
Other Computer Science
#OtherComputerScience
π Early Routability Assessment in VLSI Floorplans: A Generalized Routing Model
π₯ Bapi Kar, Susmita Sur-Kolay, Chittaranjan Mandal
π PDF
π Estimating Traffic Conditions At Metropolitan Scale Using Traffic Flow Theory
π₯ Weizi Li, Meilei Jiang, Yaoyu Chen, Ming C. Lin
π PDF
π Waveform Signal Entropy and Compression Study of Whole-Building Energy Datasets
π₯ Thomas Kriechbaumer, Hans-Arno Jacobsen
π PDF
π STAIRoute: Early Global Routing using Monotone Staircases for Congestion Reduction
π₯ Bapi Kar, Susmita Sur-Kolay, Chittaranjan Mandal
π PDF
π Human-Competitive Awards 2018
π₯ W. B. Langdon
π PDF
#OtherComputerScience
AI Python & arXiv Channel
Other Computer Science
#OtherComputerScience
π Early Routability Assessment in VLSI Floorplans: A Generalized Routing Model
π₯ Bapi Kar, Susmita Sur-Kolay, Chittaranjan Mandal
π PDF
π Estimating Traffic Conditions At Metropolitan Scale Using Traffic Flow Theory
π₯ Weizi Li, Meilei Jiang, Yaoyu Chen, Ming C. Lin
π PDF
π Waveform Signal Entropy and Compression Study of Whole-Building Energy Datasets
π₯ Thomas Kriechbaumer, Hans-Arno Jacobsen
π PDF
π STAIRoute: Early Global Routing using Monotone Staircases for Congestion Reduction
π₯ Bapi Kar, Susmita Sur-Kolay, Chittaranjan Mandal
π PDF
π Human-Competitive Awards 2018
π₯ W. B. Langdon
π PDF
#OtherComputerScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Operating Systems
#OperatingSystems
π Compact NUMA-Aware Locks
π₯ Dave Dice, Alex Kogan
π PDF
π Time Protection: the Missing OS Abstraction
π₯ Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
π PDF
π T-Visor: A Hypervisor for Mixed Criticality Embedded Real-time System with Hardware Virtualization Support
π₯ Takumi Shimada, Takeshi Yashiro, Ken Sakamura
π PDF
π Revitalizing Copybacks in Modern SSDs: Why and How
π₯ Duwon Hong, Myungsuk Kim, Jisung Park, Myoungsoo Jung, Jihong Kim
π PDF
π Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32
π₯ Mihir Parang Mehta
π PDF
#OperatingSystems
AI Python & arXiv Channel
Operating Systems
#OperatingSystems
π Compact NUMA-Aware Locks
π₯ Dave Dice, Alex Kogan
π PDF
π Time Protection: the Missing OS Abstraction
π₯ Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
π PDF
π T-Visor: A Hypervisor for Mixed Criticality Embedded Real-time System with Hardware Virtualization Support
π₯ Takumi Shimada, Takeshi Yashiro, Ken Sakamura
π PDF
π Revitalizing Copybacks in Modern SSDs: Why and How
π₯ Duwon Hong, Myungsuk Kim, Jisung Park, Myoungsoo Jung, Jihong Kim
π PDF
π Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32
π₯ Mihir Parang Mehta
π PDF
#OperatingSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Performance
#Performance
π OpenCL Performance Prediction using Architecture-Independent Features
π₯ Beau Johnston, Greg Falzon, Josh Milthorpe
π PDF
π Randomized Work Stealing versus Sharing in Large-scale Systems with Non-exponential Job Sizes
π₯ Benny Van Houdt
π PDF
π Splitability Annotations: Optimizing Black-Box Function Composition in Existing Libraries
π₯ Shoumik Palkar, Matei Zaharia
π PDF
π A Comparative Measurement Study of Deep Learning as a Service Framework
π₯ Yanzhao Wu, Ling Liu, Calton Pu, Wenqi Cao, Semih Sahin, Wenqi Wei, Qi Zhang
π PDF
π On Coding for Reliable VNF Chaining in DCNs
π₯ Anna Engelmann, Admela Jukan, Rastin Pries
π PDF
#Performance
AI Python & arXiv Channel
Performance
#Performance
π OpenCL Performance Prediction using Architecture-Independent Features
π₯ Beau Johnston, Greg Falzon, Josh Milthorpe
π PDF
π Randomized Work Stealing versus Sharing in Large-scale Systems with Non-exponential Job Sizes
π₯ Benny Van Houdt
π PDF
π Splitability Annotations: Optimizing Black-Box Function Composition in Existing Libraries
π₯ Shoumik Palkar, Matei Zaharia
π PDF
π A Comparative Measurement Study of Deep Learning as a Service Framework
π₯ Yanzhao Wu, Ling Liu, Calton Pu, Wenqi Cao, Semih Sahin, Wenqi Wei, Qi Zhang
π PDF
π On Coding for Reliable VNF Chaining in DCNs
π₯ Anna Engelmann, Admela Jukan, Rastin Pries
π PDF
#Performance
AI Python & arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Making root cause analysis feasible for large code bases: a solution approach for a climate model
π₯ Daniel J. Milroy, Allison H. Baker, Dorit M. Hammerling, Youngsung Kim, Elizabeth R. Jessup, Thomas Hauser
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Dynamic Type Inference for Gradual Hindley--Milner Typing
π₯ Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
π PDF
π Trace Abstraction Modulo Probability
π₯ Calvin Smith, Justin Hsu, Aws Albarghouthi
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Making root cause analysis feasible for large code bases: a solution approach for a climate model
π₯ Daniel J. Milroy, Allison H. Baker, Dorit M. Hammerling, Youngsung Kim, Elizabeth R. Jessup, Thomas Hauser
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Dynamic Type Inference for Gradual Hindley--Milner Typing
π₯ Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
π PDF
π Trace Abstraction Modulo Probability
π₯ Calvin Smith, Justin Hsu, Aws Albarghouthi
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
5 of Latest Published Articles:
Robotics
#Robotics
π Improving the Modularity of AUV Control Systems using Behaviour Trees
π₯ Christopher Iliffe Sprague, Γzer Γzkahraman, Andrea Munafo, Rachel Marlow, Alexander Phillips, Petter Γgren
π PDF
π Survey on Vision-based Path Prediction
π₯ Tsubasa Hirakawa, Takayoshi Yamashita, Toru Tamaki, Hironobu Fujiyoshi
π PDF
π Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation
π₯ Matthew O'Kelly, Aman Sinha, Hongseok Namkoong, John Duchi, Russ Tedrake
π PDF
π Maintaining Grasps within Slipping Bound by Monitoring Incipient Slip
π₯ Siyuan Dong, Daolin Ma, Elliott Donlon, Alberto Rodriguez
π PDF
π Tilt estimator for 3D non-rigid pendulum based on a tri-axial accelerometer and gyrometer
π₯ Mehdi Benallegue, Abdelaziz Benallegue, Yacine Chitour
π PDF
#Robotics
AI Python & arXiv Channel
Robotics
#Robotics
π Improving the Modularity of AUV Control Systems using Behaviour Trees
π₯ Christopher Iliffe Sprague, Γzer Γzkahraman, Andrea Munafo, Rachel Marlow, Alexander Phillips, Petter Γgren
π PDF
π Survey on Vision-based Path Prediction
π₯ Tsubasa Hirakawa, Takayoshi Yamashita, Toru Tamaki, Hironobu Fujiyoshi
π PDF
π Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation
π₯ Matthew O'Kelly, Aman Sinha, Hongseok Namkoong, John Duchi, Russ Tedrake
π PDF
π Maintaining Grasps within Slipping Bound by Monitoring Incipient Slip
π₯ Siyuan Dong, Daolin Ma, Elliott Donlon, Alberto Rodriguez
π PDF
π Tilt estimator for 3D non-rigid pendulum based on a tri-axial accelerometer and gyrometer
π₯ Mehdi Benallegue, Abdelaziz Benallegue, Yacine Chitour
π PDF
#Robotics
AI Python & arXiv Channel
5 of Latest Published Articles:
Symbolic Computation
#SymbolicComputation
π A nearly optimal algorithm to decompose binary forms
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Ludovic Perret, Elias Tsigaridas
π PDF
π Learning Distributed Representations of Symbolic Structure Using Binding and Unbinding Operations
π₯ Shuai Tang, Paul Smolensky, Virginia R. de Sa
π PDF
π Reducing the complexity for class group computations using small defining polynomials
π₯ Alexandre GΓ©lin
π PDF
π On the complexity of class group computations for large degree number fields
π₯ Alexandre GΓ©lin
π PDF
π Counting points on hyperelliptic curves with explicit real multiplication in arbitrary genus
π₯ Simon Abelard
π PDF
#SymbolicComputation
AI Python & arXiv Channel
Symbolic Computation
#SymbolicComputation
π A nearly optimal algorithm to decompose binary forms
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Ludovic Perret, Elias Tsigaridas
π PDF
π Learning Distributed Representations of Symbolic Structure Using Binding and Unbinding Operations
π₯ Shuai Tang, Paul Smolensky, Virginia R. de Sa
π PDF
π Reducing the complexity for class group computations using small defining polynomials
π₯ Alexandre GΓ©lin
π PDF
π On the complexity of class group computations for large degree number fields
π₯ Alexandre GΓ©lin
π PDF
π Counting points on hyperelliptic curves with explicit real multiplication in arbitrary genus
π₯ Simon Abelard
π PDF
#SymbolicComputation
AI Python & arXiv Channel
5 of Latest Published Articles:
Sound
#Sound
π Referenceless Performance Evaluation of Audio Source Separation using Deep Neural Networks
π₯ Emad M. Grais, Hagen Wierstorf, Dominic Ward, Russell Mason, Mark D. Plumbley
π PDF
π Truly unsupervised acoustic word embeddings using weak top-down constraints in encoder-decoder models
π₯ Herman Kamper
π PDF
π End-to-end Models with auditory attention in Multi-channel Keyword Spotting
π₯ Haitong Zhang, Junbo Zhang, Yujun Wang
π PDF
π Sequence-to-sequence Models for Small-Footprint Keyword Spotting
π₯ Haitong Zhang, Junbo Zhang, Yujun Wang
π PDF
π Deep Learning for Tube Amplifier Emulation
π₯ Eero-Pekka DamskΓ€gg, Lauri Juvela, Etienne Thuillier, Vesa VΓ€limΓ€ki
π PDF
#Sound
AI Python & arXiv Channel
Sound
#Sound
π Referenceless Performance Evaluation of Audio Source Separation using Deep Neural Networks
π₯ Emad M. Grais, Hagen Wierstorf, Dominic Ward, Russell Mason, Mark D. Plumbley
π PDF
π Truly unsupervised acoustic word embeddings using weak top-down constraints in encoder-decoder models
π₯ Herman Kamper
π PDF
π End-to-end Models with auditory attention in Multi-channel Keyword Spotting
π₯ Haitong Zhang, Junbo Zhang, Yujun Wang
π PDF
π Sequence-to-sequence Models for Small-Footprint Keyword Spotting
π₯ Haitong Zhang, Junbo Zhang, Yujun Wang
π PDF
π Deep Learning for Tube Amplifier Emulation
π₯ Eero-Pekka DamskΓ€gg, Lauri Juvela, Etienne Thuillier, Vesa VΓ€limΓ€ki
π PDF
#Sound
AI Python & arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Learning to Represent Edits
π₯ Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
π PDF
π An Empirical Analysis of Vulnerabilities in Python Packages for Web Applications
π₯ Jukka Ruohonen
π PDF
π SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode
π₯ Martina VitovskΓ‘, Marek Chalupa, Jan StrejΔek
π PDF
π Key Stakeholders' Value Propositions for Feature Selection in Software-intensive Products: An Industrial Case Study
π₯ Pilar RodrΓguez, Emilia Mendes, Burak Turhan
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Learning to Represent Edits
π₯ Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
π PDF
π An Empirical Analysis of Vulnerabilities in Python Packages for Web Applications
π₯ Jukka Ruohonen
π PDF
π SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode
π₯ Martina VitovskΓ‘, Marek Chalupa, Jan StrejΔek
π PDF
π Key Stakeholders' Value Propositions for Feature Selection in Software-intensive Products: An Industrial Case Study
π₯ Pilar RodrΓguez, Emilia Mendes, Burak Turhan
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
5 of Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks
π GA Based Q-Attack on Community Detection
π₯ Jinyin Chen, Lihong Chen, Yixian Chen, Minghao Zhao, Shanqing Yu, Qi Xuan, Xiaoniu Yang
π PDF
π Social Learning with Questions
π₯ Grant Schoenebeck, Shih-Tang Su, Vijay Subramanian
π PDF
π Matching Graphs with Community Structure: A Concentration of Measure Approach
π₯ F. Shirani, S. Garg, E. Erkip
π PDF
π A Large-scale Study of Social Media Sources in News Articles
π₯ Md Main Uddin Rony, Mohammad Yousuf, Naeemul Hassan
π PDF
π Birds of a Feather Flock Together? A Study of Developers' Flocking and Migration Behavior in GitHub and Stack Overflow
π₯ Michael Mu Sun, Akash Ghosh, Rajesh Sharma, Sandeep Kaur Kuttal
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Social and Information Networks
#SocialandInformationNetworks
π GA Based Q-Attack on Community Detection
π₯ Jinyin Chen, Lihong Chen, Yixian Chen, Minghao Zhao, Shanqing Yu, Qi Xuan, Xiaoniu Yang
π PDF
π Social Learning with Questions
π₯ Grant Schoenebeck, Shih-Tang Su, Vijay Subramanian
π PDF
π Matching Graphs with Community Structure: A Concentration of Measure Approach
π₯ F. Shirani, S. Garg, E. Erkip
π PDF
π A Large-scale Study of Social Media Sources in News Articles
π₯ Md Main Uddin Rony, Mohammad Yousuf, Naeemul Hassan
π PDF
π Birds of a Feather Flock Together? A Study of Developers' Flocking and Migration Behavior in GitHub and Stack Overflow
π₯ Michael Mu Sun, Akash Ghosh, Rajesh Sharma, Sandeep Kaur Kuttal
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel