Latest Published Articles:
Other Computer Science
#OtherComputerScience
π Gamorithm
π₯ Moshe Sipper, Jason H. Moore
π PDF
π Neural Network-based exploration of construct validity for Russian version of the 10-item Big Five Inventory
π₯ Anastasia Sergeeva, Bogdan Kirillov, Alyona Dzhumagulova
π PDF
π An Integrated View on the Future of Logistics and Information Technology
π₯ Paul Grefen, Wout Hofman, Remco Dijkman, Albert Veenstra, Sander Peters
π PDF
π A Guide to the SPHERE 100 Homes Study Dataset
π₯ Atis Elsts, Tilo Burghardt, Dallan Byrne, Dima Damen, Xenofon Fafoutis, Sion Hannuna, Victor Ponce Lopez, Alessandro Masullo, Majid Mirmehdi, George Oikonomou, Robert Piechocki, Emma Tonkin, Antonis Vafeas, Przemyslaw Woznowski, Ian Craddock
π PDF
π DATA:SEARCH'18 -- Searching Data on the Web
π₯ Paul Groth, Laura Koesten, Philipp Mayr, Maarten de Rijke, Elena Simperl
π PDF
π Standard Cell Library Evaluation with Multiple lithography-compliant verification and Improved Synopsys Pin Access Checking Utility
π₯ Yongfu Li, Wan Chia Ang, Chin Hui Lee, Kok Peng Chua, Yoong Seang Jonathan Ong, Chiu Wing Colin Hui
π PDF
π Multiple-Lithography-Compliant Verification for Standard Cell Library Development Flow
π₯ Yongfu Li, Wan Chia Ang, Chin Hui Lee, Kok Peng Chua, Yoong Seang Jonathan Ong, Chiu Wing Colin Hui
π PDF
π IoT for Green Building Management
π₯ Wayes Tushar, Nipun Wijerathne, Wen-Tai Li, Chau Yuen, H. Vincent Poor, Tapan Kumar Saha, Kristin L. Wood
π PDF
π Advanced In-Design Auto-Fixing Flow for Cell Abutment Pattern Matching Weakpoints
π₯ Yongfu Li, Valerio Perez, I-Lun Tseng, Zhao Chuan Lee, Vikas Tripathi, Jason Khaw, Yoong Seang Jonathan Ong
π PDF
π In Design DFM Rule Scoring and Fixing Method using ICV
π₯ Vikas Tripathi, Yongfu Li, Zhao Chuan Lee, I-Lun Tseng, Jason Khaw, Jonathan Ong
π PDF
π Constraining the Synopsys Pin Access Checker Utility for Improved Standard Cells Library Verification Flow
π₯ Yongfu Li, Chin Hui Lee, Wan Chia Ang, Kok Peng Chua, Yoong Seang Jonathan Ong, Chiu Wing Colin Hui
π PDF
π Cost-Benefit Analysis of Data Intelligence -- Its Broader Interpretations
π₯ Min Chen
π PDF
π Fuel Economy and Emission Testing for Connected and Automated Vehicles Using Real-world Driving Datasets
π₯ Yan Chang, Weiqing Yang, Ding Zhao
π PDF
π Quantum Adiabatic Evolution for Global Optimization in Big Data
π₯ Sahil Imtiyaz
π PDF
π Autonomous Vehicle Scheduling At Intersections Based On Production Line Technique
π₯ Nasser Aloufi
π PDF
#OtherComputerScience
AI Python & arXiv Channel
Other Computer Science
#OtherComputerScience
π Gamorithm
π₯ Moshe Sipper, Jason H. Moore
π PDF
π Neural Network-based exploration of construct validity for Russian version of the 10-item Big Five Inventory
π₯ Anastasia Sergeeva, Bogdan Kirillov, Alyona Dzhumagulova
π PDF
π An Integrated View on the Future of Logistics and Information Technology
π₯ Paul Grefen, Wout Hofman, Remco Dijkman, Albert Veenstra, Sander Peters
π PDF
π A Guide to the SPHERE 100 Homes Study Dataset
π₯ Atis Elsts, Tilo Burghardt, Dallan Byrne, Dima Damen, Xenofon Fafoutis, Sion Hannuna, Victor Ponce Lopez, Alessandro Masullo, Majid Mirmehdi, George Oikonomou, Robert Piechocki, Emma Tonkin, Antonis Vafeas, Przemyslaw Woznowski, Ian Craddock
π PDF
π DATA:SEARCH'18 -- Searching Data on the Web
π₯ Paul Groth, Laura Koesten, Philipp Mayr, Maarten de Rijke, Elena Simperl
π PDF
π Standard Cell Library Evaluation with Multiple lithography-compliant verification and Improved Synopsys Pin Access Checking Utility
π₯ Yongfu Li, Wan Chia Ang, Chin Hui Lee, Kok Peng Chua, Yoong Seang Jonathan Ong, Chiu Wing Colin Hui
π PDF
π Multiple-Lithography-Compliant Verification for Standard Cell Library Development Flow
π₯ Yongfu Li, Wan Chia Ang, Chin Hui Lee, Kok Peng Chua, Yoong Seang Jonathan Ong, Chiu Wing Colin Hui
π PDF
π IoT for Green Building Management
π₯ Wayes Tushar, Nipun Wijerathne, Wen-Tai Li, Chau Yuen, H. Vincent Poor, Tapan Kumar Saha, Kristin L. Wood
π PDF
π Advanced In-Design Auto-Fixing Flow for Cell Abutment Pattern Matching Weakpoints
π₯ Yongfu Li, Valerio Perez, I-Lun Tseng, Zhao Chuan Lee, Vikas Tripathi, Jason Khaw, Yoong Seang Jonathan Ong
π PDF
π In Design DFM Rule Scoring and Fixing Method using ICV
π₯ Vikas Tripathi, Yongfu Li, Zhao Chuan Lee, I-Lun Tseng, Jason Khaw, Jonathan Ong
π PDF
π Constraining the Synopsys Pin Access Checker Utility for Improved Standard Cells Library Verification Flow
π₯ Yongfu Li, Chin Hui Lee, Wan Chia Ang, Kok Peng Chua, Yoong Seang Jonathan Ong, Chiu Wing Colin Hui
π PDF
π Cost-Benefit Analysis of Data Intelligence -- Its Broader Interpretations
π₯ Min Chen
π PDF
π Fuel Economy and Emission Testing for Connected and Automated Vehicles Using Real-world Driving Datasets
π₯ Yan Chang, Weiqing Yang, Ding Zhao
π PDF
π Quantum Adiabatic Evolution for Global Optimization in Big Data
π₯ Sahil Imtiyaz
π PDF
π Autonomous Vehicle Scheduling At Intersections Based On Production Line Technique
π₯ Nasser Aloufi
π PDF
#OtherComputerScience
AI Python & arXiv Channel
Latest Published Articles:
Operating Systems
#OperatingSystems
π 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
π Datacenter RPCs can be General and Fast
π₯ Anuj Kalia, Michael Kaminsky, David G. Andersen
π PDF
π An Operating System Level Data Migration Scheme in Hybrid DRAM-NVM Memory Architecture
π₯ Reza Salkhordeh, Hossein Asadi
π PDF
π Mosaic: An Application-Transparent Hardware-Software Cooperative Memory Manager for GPUs
π₯ Rachata Ausavarungnirun, Joshua Landgraf, Vance Miller, Saugata Ghose, Jayneel Gandhi, Christopher J. Rossbach, Onur Mutlu
π PDF
π iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
π₯ Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu
π PDF
π Reactive NaN Repair for Applying Approximate Memory to Numerical Applications
π₯ Shinsuke Hamada, Soramichi Akiyama, Mitaro Namiki
π PDF
π The Secure Machine: Efficient Secure Execution On Untrusted Platforms
π₯ Ofir Shwartz, Yitzhak Birk
π PDF
π Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems
π₯ Jian-Jia Chen, Georg von der BrΓΌggen, Niklas Ueter
π PDF
π A Reliable and Practical Approach to Kernel Attack Surface Reduction of Commodity OS
π₯ Zhi Zhang, Yueqiang Cheng, Surya Nepal, Dongxi Liu, Qingni Shen, Fethi Rabhi
π PDF
π End-to-end Analysis and Design of a Drone Flight Controller
π₯ Zhuoqun Cheng, Richard West, Craig Einstein
π PDF
π Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
π₯ Amr Alanwar, Fatima M. Anwar, Joao P Hespanha, Mani Srivastava
π PDF
π Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
π₯ Diego Didona, Willy Zwaenepoel
π PDF
π Representation Learning for Resource Usage Prediction
π₯ Florian Schmidt, Mathias Niepert, Felipe Huici
π PDF
π Virtual Breakpoints for x86/64
π₯ Gregory Michael Price
π PDF
#OperatingSystems
AI Python & arXiv Channel
Operating Systems
#OperatingSystems
π 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
π Datacenter RPCs can be General and Fast
π₯ Anuj Kalia, Michael Kaminsky, David G. Andersen
π PDF
π An Operating System Level Data Migration Scheme in Hybrid DRAM-NVM Memory Architecture
π₯ Reza Salkhordeh, Hossein Asadi
π PDF
π Mosaic: An Application-Transparent Hardware-Software Cooperative Memory Manager for GPUs
π₯ Rachata Ausavarungnirun, Joshua Landgraf, Vance Miller, Saugata Ghose, Jayneel Gandhi, Christopher J. Rossbach, Onur Mutlu
π PDF
π iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
π₯ Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu
π PDF
π Reactive NaN Repair for Applying Approximate Memory to Numerical Applications
π₯ Shinsuke Hamada, Soramichi Akiyama, Mitaro Namiki
π PDF
π The Secure Machine: Efficient Secure Execution On Untrusted Platforms
π₯ Ofir Shwartz, Yitzhak Birk
π PDF
π Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems
π₯ Jian-Jia Chen, Georg von der BrΓΌggen, Niklas Ueter
π PDF
π A Reliable and Practical Approach to Kernel Attack Surface Reduction of Commodity OS
π₯ Zhi Zhang, Yueqiang Cheng, Surya Nepal, Dongxi Liu, Qingni Shen, Fethi Rabhi
π PDF
π End-to-end Analysis and Design of a Drone Flight Controller
π₯ Zhuoqun Cheng, Richard West, Craig Einstein
π PDF
π Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
π₯ Amr Alanwar, Fatima M. Anwar, Joao P Hespanha, Mani Srivastava
π PDF
π Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
π₯ Diego Didona, Willy Zwaenepoel
π PDF
π Representation Learning for Resource Usage Prediction
π₯ Florian Schmidt, Mathias Niepert, Felipe Huici
π PDF
π Virtual Breakpoints for x86/64
π₯ Gregory Michael Price
π PDF
#OperatingSystems
AI Python & arXiv Channel
Latest Published Articles:
Performance
#Performance
π Scalable load balancing in networked systems: A survey of recent advances
π₯ Mark van der Boor, Sem C. Borst, Johan S. H. van Leeuwaarden, Debankur Mukherjee
π PDF
π Fast Distributed Deep Learning via Worker-adaptive Batch Sizing
π₯ Chen Chen, Qizhen Weng, Wei Wang, Baochun Li, Bo Li
π PDF
π Improving rewards in overloaded real-time systems
π₯ Sathish Gopalakrishnan
π PDF
π Confidence Interval Estimators for MOS Values
π₯ Tobias Hossfeld, Poul E. Heegaard, Martin Varela, Lea Skorin-Kapov
π PDF
π Maximizing Service Reward for Queues with Deadlines
π₯ Li-on Raviv, Amir Leshem
π PDF
π Evaluating Impact of Human Errors on the Availability of Data Storage Systems
π₯ Mostafa Kishani, Reza Eftekhari, Hossein Asadi
π PDF
π Modeling Impact of Human Errors on the Data Unavailability and Data Loss of Storage Systems
π₯ Mostafa Kishani, Hossein Asadi
π PDF
π PAM: When Overloaded, Push Your Neighbor Aside!
π₯ Zili Meng, Jun Bi, Chen Sun, Shuhe Wang, Minhu Wang, Hongxin Hu
π PDF
π An infinite-server queueing model MMAPkGk in semi-Markov random environment with marked MAP arrival and subject to catastrophes
π₯ K. Kerobyan, R. Covington, R. Kerobyan, K. Enakoutsa
π PDF
π Infinite-server queueing model with MAPkGk Markov arrival streams, random volume of customers in random environment subject to catastrophe
π₯ Khanik Kerobyan, Ruben Kerobyan, Koffi Enakoutsa
π PDF
π DRESS: Dynamic RESource-reservation Scheme for Congested Data-intensive Computing Platforms
π₯ Ying Mao, Victoria Green, Jiayin Wang, Haoyi Xiong, Zhishan Guo
π PDF
π Performance Reproduction and Prediction of Selected Dynamic Loop Scheduling Experiments
π₯ Ali Mohammed, Ahmed Eleliemy, Florina M. Ciorba
π PDF
π SRPT for Multiserver Systems
π₯ Isaac Grosof, Ziv Scully, Mor Harchol-Balter
π PDF
π Optimal Scheduling and Exact Response Time Analysis for Multistage Jobs
π₯ Ziv Scully, Mor Harchol-Balter, Alan Scheller-Wolf
π PDF
π Hierarchical Beamforming: Resource Allocation, Fairness and Flow Level Performance
π₯ Julien Floquet, Richard Combes, Zwi Altman
π PDF
#Performance
AI Python & arXiv Channel
Performance
#Performance
π Scalable load balancing in networked systems: A survey of recent advances
π₯ Mark van der Boor, Sem C. Borst, Johan S. H. van Leeuwaarden, Debankur Mukherjee
π PDF
π Fast Distributed Deep Learning via Worker-adaptive Batch Sizing
π₯ Chen Chen, Qizhen Weng, Wei Wang, Baochun Li, Bo Li
π PDF
π Improving rewards in overloaded real-time systems
π₯ Sathish Gopalakrishnan
π PDF
π Confidence Interval Estimators for MOS Values
π₯ Tobias Hossfeld, Poul E. Heegaard, Martin Varela, Lea Skorin-Kapov
π PDF
π Maximizing Service Reward for Queues with Deadlines
π₯ Li-on Raviv, Amir Leshem
π PDF
π Evaluating Impact of Human Errors on the Availability of Data Storage Systems
π₯ Mostafa Kishani, Reza Eftekhari, Hossein Asadi
π PDF
π Modeling Impact of Human Errors on the Data Unavailability and Data Loss of Storage Systems
π₯ Mostafa Kishani, Hossein Asadi
π PDF
π PAM: When Overloaded, Push Your Neighbor Aside!
π₯ Zili Meng, Jun Bi, Chen Sun, Shuhe Wang, Minhu Wang, Hongxin Hu
π PDF
π An infinite-server queueing model MMAPkGk in semi-Markov random environment with marked MAP arrival and subject to catastrophes
π₯ K. Kerobyan, R. Covington, R. Kerobyan, K. Enakoutsa
π PDF
π Infinite-server queueing model with MAPkGk Markov arrival streams, random volume of customers in random environment subject to catastrophe
π₯ Khanik Kerobyan, Ruben Kerobyan, Koffi Enakoutsa
π PDF
π DRESS: Dynamic RESource-reservation Scheme for Congested Data-intensive Computing Platforms
π₯ Ying Mao, Victoria Green, Jiayin Wang, Haoyi Xiong, Zhishan Guo
π PDF
π Performance Reproduction and Prediction of Selected Dynamic Loop Scheduling Experiments
π₯ Ali Mohammed, Ahmed Eleliemy, Florina M. Ciorba
π PDF
π SRPT for Multiserver Systems
π₯ Isaac Grosof, Ziv Scully, Mor Harchol-Balter
π PDF
π Optimal Scheduling and Exact Response Time Analysis for Multistage Jobs
π₯ Ziv Scully, Mor Harchol-Balter, Alan Scheller-Wolf
π PDF
π Hierarchical Beamforming: Resource Allocation, Fairness and Flow Level Performance
π₯ Julien Floquet, Richard Combes, Zwi Altman
π PDF
#Performance
AI Python & arXiv Channel
Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π How Usable are Rust Cryptography APIs?
π₯ Kai Mindermann, Philipp Keck, Stefan Wagner
π PDF
π Syntax and Semantics of Cedille
π₯ Aaron Stump
π PDF
π Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
π₯ Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
π PDF
π SoK: Sanitizing for Security
π₯ Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
π PDF
π Greybox fuzzing as a contextual bandits problem
π₯ Ketan Patil, Aditya Kanade
π PDF
π Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)
π₯ Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
π PDF
π Type variables in patterns
π₯ Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
π PDF
π Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
π₯ Fabian Kunze, Gert Smolka, Yannick Forster
π PDF
π Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
π₯ Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
π PDF
π Program Synthesis Through Reinforcement Learning Guided Tree Search
π₯ Riley Simmons-Edler, Anders Miltner, Sebastian Seung
π PDF
π Rust Distilled: An Expressive Tower of Languages
π₯ Aaron Weiss, Daniel Patterson, Amal Ahmed
π PDF
π Logic Programming as a Service
π₯ Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
π PDF
π Eliminating Timing Side-Channel Leaks using Program Repair
π₯ Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
π PDF
π Efficient Differentiable Programming in a Functional Array-Processing Language
π₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
π PDF
π Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms
π₯ Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon Du, Stuart Russell
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π How Usable are Rust Cryptography APIs?
π₯ Kai Mindermann, Philipp Keck, Stefan Wagner
π PDF
π Syntax and Semantics of Cedille
π₯ Aaron Stump
π PDF
π Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
π₯ Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
π PDF
π SoK: Sanitizing for Security
π₯ Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
π PDF
π Greybox fuzzing as a contextual bandits problem
π₯ Ketan Patil, Aditya Kanade
π PDF
π Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)
π₯ Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
π PDF
π Type variables in patterns
π₯ Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
π PDF
π Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
π₯ Fabian Kunze, Gert Smolka, Yannick Forster
π PDF
π Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
π₯ Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
π PDF
π Program Synthesis Through Reinforcement Learning Guided Tree Search
π₯ Riley Simmons-Edler, Anders Miltner, Sebastian Seung
π PDF
π Rust Distilled: An Expressive Tower of Languages
π₯ Aaron Weiss, Daniel Patterson, Amal Ahmed
π PDF
π Logic Programming as a Service
π₯ Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
π PDF
π Eliminating Timing Side-Channel Leaks using Program Repair
π₯ Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
π PDF
π Efficient Differentiable Programming in a Functional Array-Processing Language
π₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
π PDF
π Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms
π₯ Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon Du, Stuart Russell
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Latest Published Articles:
Robotics
#Robotics
π Online Self-supervised Scene Segmentation for Micro Aerial Vehicles
π₯ Shreyansh Daftry, Yashasvi Agrawal, Larry Matthies
π PDF
π Decentralized Ergodic Control: Distribution-Driven Sensing and Exploration for Multi-Agent Systems
π₯ Ian Abraham, Todd D. Murphey
π PDF
π Robot Design: Formalisms, Representations, and the Role of the Designer
π₯ Alexandra Q. Nilles, Dylan A. Shell, Jason M. O'Kane
π PDF
π Kinematics and Dynamic Modeling of a Planar Hydraulic Elastomer Actuator
π₯ Mahdi Momeni Kelageri, Mikko Heikkila, Jarno Jokinen, Matti Linjama, Reza Ghabcheloo
π PDF
π Design, Fabrication and Control of an Hydraulic Elastomer Actuator
π₯ Mahdi Momeni Kelageri, Mikko Heikkila, Minna Poikelispaa, Reza Ghabcheloo, Matti Linjama, Jyrki Vuorinen
π PDF
π In-Hand Object Stabilization by Independent Finger Control
π₯ Filipe Veiga, Benoni B. Edin, Jan Peters
π PDF
π PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments
π₯ Anirudha Majumdar, Maxwell Goldstein
π PDF
π Multi-Agent Path Finding with Deadlines
π₯ Hang Ma, Glenn Wagner, Ariel Felner, Jiaoyang Li, T. K. Satish Kumar, Sven Koenig
π PDF
π Introducing the Robot Security Framework (RSF), a standardized methodology to perform security assessments in robotics
π₯ VΓctor Mayoral Vilches, Laura Alzola Kirschgens, Asier Bilbao Calvo, Alejandro HernΓ‘ndez Cordero, Rodrigo Izquierdo PisΓ³n, David Mayoral Vilches, Aday MuΓ±iz Rosas, Gorka Olalde Mendia, Lander Usategi San Juan, Irati Zamalloa Ugarte, Endika Gil-Uriarte, Erik Tews, Andreas Peter
π PDF
π Self-Motion of the 3-PPPS Parallel Robot with Delta-Shaped Base
π₯ D Chablat, E Ottaviano, S Venkateswaran
π PDF
π A Multimodal Classifier Generative Adversarial Network for Carry and Place Tasks from Ambiguous Language Instructions
π₯ Aly Magassouba, Komei Sugiura, Hisashi Kawai
π PDF
π Interactive Visual Grounding of Referring Expressions for Human-Robot Interaction
π₯ Mohit Shridhar, David Hsu
π PDF
π Adaptive Intelligent Spider Robot
π₯ Rozita Teymourzadeh, Rahim Nakhli Mahal, Ng Keng Shen, Kok Wai Chan
π PDF
π The Impact of Humanoid Affect Expression on Human Behavior in a Game-Theoretic Setting
π₯ Aaron M. Roth, Umang Bhatt, Tamara Amin, Afsaneh Doryab, Fei Fang, Manuela Veloso
π PDF
π Learning Transferable UAV for Forest Visual Perception
π₯ Lyujie Chen, Wufan Wang, Jihong Zhu
π PDF
#Robotics
AI Python & arXiv Channel
Robotics
#Robotics
π Online Self-supervised Scene Segmentation for Micro Aerial Vehicles
π₯ Shreyansh Daftry, Yashasvi Agrawal, Larry Matthies
π PDF
π Decentralized Ergodic Control: Distribution-Driven Sensing and Exploration for Multi-Agent Systems
π₯ Ian Abraham, Todd D. Murphey
π PDF
π Robot Design: Formalisms, Representations, and the Role of the Designer
π₯ Alexandra Q. Nilles, Dylan A. Shell, Jason M. O'Kane
π PDF
π Kinematics and Dynamic Modeling of a Planar Hydraulic Elastomer Actuator
π₯ Mahdi Momeni Kelageri, Mikko Heikkila, Jarno Jokinen, Matti Linjama, Reza Ghabcheloo
π PDF
π Design, Fabrication and Control of an Hydraulic Elastomer Actuator
π₯ Mahdi Momeni Kelageri, Mikko Heikkila, Minna Poikelispaa, Reza Ghabcheloo, Matti Linjama, Jyrki Vuorinen
π PDF
π In-Hand Object Stabilization by Independent Finger Control
π₯ Filipe Veiga, Benoni B. Edin, Jan Peters
π PDF
π PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments
π₯ Anirudha Majumdar, Maxwell Goldstein
π PDF
π Multi-Agent Path Finding with Deadlines
π₯ Hang Ma, Glenn Wagner, Ariel Felner, Jiaoyang Li, T. K. Satish Kumar, Sven Koenig
π PDF
π Introducing the Robot Security Framework (RSF), a standardized methodology to perform security assessments in robotics
π₯ VΓctor Mayoral Vilches, Laura Alzola Kirschgens, Asier Bilbao Calvo, Alejandro HernΓ‘ndez Cordero, Rodrigo Izquierdo PisΓ³n, David Mayoral Vilches, Aday MuΓ±iz Rosas, Gorka Olalde Mendia, Lander Usategi San Juan, Irati Zamalloa Ugarte, Endika Gil-Uriarte, Erik Tews, Andreas Peter
π PDF
π Self-Motion of the 3-PPPS Parallel Robot with Delta-Shaped Base
π₯ D Chablat, E Ottaviano, S Venkateswaran
π PDF
π A Multimodal Classifier Generative Adversarial Network for Carry and Place Tasks from Ambiguous Language Instructions
π₯ Aly Magassouba, Komei Sugiura, Hisashi Kawai
π PDF
π Interactive Visual Grounding of Referring Expressions for Human-Robot Interaction
π₯ Mohit Shridhar, David Hsu
π PDF
π Adaptive Intelligent Spider Robot
π₯ Rozita Teymourzadeh, Rahim Nakhli Mahal, Ng Keng Shen, Kok Wai Chan
π PDF
π The Impact of Humanoid Affect Expression on Human Behavior in a Game-Theoretic Setting
π₯ Aaron M. Roth, Umang Bhatt, Tamara Amin, Afsaneh Doryab, Fei Fang, Manuela Veloso
π PDF
π Learning Transferable UAV for Forest Visual Perception
π₯ Lyujie Chen, Wufan Wang, Jihong Zhu
π PDF
#Robotics
AI Python & arXiv Channel
Latest Published Articles:
Symbolic Computation
#SymbolicComputation
π A fast algorithm for solving linearly recurrent sequences
π₯ Seung Gyu Hyun, Stephen Melczer, Catherine St-Pierre
π PDF
π Efficient Differentiable Programming in a Functional Array-Processing Language
π₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
π PDF
π In-depth comparison of the Berlekamp--Massey--Sakata and the Scalar-FGLM algorithms: the adaptive variants
π₯ JΓ©rΓ©my Berthomieu, Jean-Charles FaugΓ¨re
π PDF
π Monodromy Solver: Sequential and Parallel
π₯ Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars
π PDF
π Tritangents and Their Space Sextics
π₯ Turku Ozlum Celik, Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin
π PDF
π Towards Incremental Cylindrical Algebraic Decomposition in Maple
π₯ Alexander Imani Cowen-Rivers, Matthew England
π PDF
π A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
π₯ Manuel Kauers, Doron Zeilberger
π PDF
π On Affine Tropical F5 Algorithms
π₯ Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
π PDF
π Enumeration of Complex Golay Pairs via Programmatic SAT
π₯ Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh
π PDF
π Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Angelos Mantzaflaris, Elias Tsigaridas
π PDF
π Computing curves on real rational surfaces
π₯ Niels Lubbes
π PDF
π Towards Mixed Gr{ΓΆ}bner Basis Algorithms: the Multihomogeneous and Sparse Case
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Elias Tsigaridas
π PDF
π Computing basepoints of linear series in the plane
π₯ Niels Lubbes
π PDF
π Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
π₯ Alin Bostan, FrΓ©dΓ©ric Chyzak, Pierre Lairez, Bruno Salvy
π PDF
π Computing an LLL-reduced basis of the orthogonal lattice
π₯ Jingwei Chen, Damien StehlΓ©, Gilles Villard
π PDF
#SymbolicComputation
AI Python & arXiv Channel
Symbolic Computation
#SymbolicComputation
π A fast algorithm for solving linearly recurrent sequences
π₯ Seung Gyu Hyun, Stephen Melczer, Catherine St-Pierre
π PDF
π Efficient Differentiable Programming in a Functional Array-Processing Language
π₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
π PDF
π In-depth comparison of the Berlekamp--Massey--Sakata and the Scalar-FGLM algorithms: the adaptive variants
π₯ JΓ©rΓ©my Berthomieu, Jean-Charles FaugΓ¨re
π PDF
π Monodromy Solver: Sequential and Parallel
π₯ Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars
π PDF
π Tritangents and Their Space Sextics
π₯ Turku Ozlum Celik, Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin
π PDF
π Towards Incremental Cylindrical Algebraic Decomposition in Maple
π₯ Alexander Imani Cowen-Rivers, Matthew England
π PDF
π A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
π₯ Manuel Kauers, Doron Zeilberger
π PDF
π On Affine Tropical F5 Algorithms
π₯ Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
π PDF
π Enumeration of Complex Golay Pairs via Programmatic SAT
π₯ Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh
π PDF
π Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Angelos Mantzaflaris, Elias Tsigaridas
π PDF
π Computing curves on real rational surfaces
π₯ Niels Lubbes
π PDF
π Towards Mixed Gr{ΓΆ}bner Basis Algorithms: the Multihomogeneous and Sparse Case
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Elias Tsigaridas
π PDF
π Computing basepoints of linear series in the plane
π₯ Niels Lubbes
π PDF
π Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
π₯ Alin Bostan, FrΓ©dΓ©ric Chyzak, Pierre Lairez, Bruno Salvy
π PDF
π Computing an LLL-reduced basis of the orthogonal lattice
π₯ Jingwei Chen, Damien StehlΓ©, Gilles Villard
π PDF
#SymbolicComputation
AI Python & arXiv Channel
Latest Published Articles:
Sound
#Sound
π VoxCeleb2: Deep Speaker Recognition
π₯ Joon Son Chung, Arsha Nagrani, Andrew Zisserman
π PDF
π Multi-View Networks for Denoising of Arbitrary Numbers of Channels
π₯ Jonah Casebeer, Brian Luc, Paris Smaragdis
π PDF
π A data-driven approach to mid-level perceptual musical feature modeling
π₯ Anna Aljanaki, Mohammad Soleymani
π PDF
π Model-based Speech Enhancement for Intelligibility Improvement in Binaural Hearing Aids
π₯ Mathew Shaji Kavalekalam, Jesper K. Nielsen, Jesper B. Boldt, Mads G. Christensen
π PDF
π Unsupervised Adaptation with Interpretable Disentangled Representations for Distant Conversational Speech Recognition
π₯ Wei-Ning Hsu, Hao Tang, James Glass
π PDF
π A Study of Enhancement, Augmentation, and Autoencoder Methods for Domain Adaptation in Distant Speech Recognition
π₯ Hao Tang, Wei-Ning Hsu, Francois Grondin, James Glass
π PDF
π Capsule Routing for Sound Event Detection
π₯ Turab Iqbal, Yong Xu, Qiuqiang Kong, Wenwu Wang
π PDF
π Transfer Learning from Speaker Verification to Multispeaker Text-To-Speech Synthesis
π₯ Ye Jia, Yu Zhang, Ron J. Weiss, Quan Wang, Jonathan Shen, Fei Ren, Zhifeng Chen, Patrick Nguyen, Ruoming Pang, Ignacio Lopez Moreno, Yonghui Wu
π PDF
π Multilingual End-to-End Speech Recognition with A Single Transformer on Low-Resource Languages
π₯ Shiyu Zhou, Shuang Xu, Bo Xu
π PDF
π The NES Music Database: A multi-instrumental dataset with expressive performance attributes
π₯ Chris Donahue, Huanru Henry Mao, Julian McAuley
π PDF
π Autoencoders for music sound synthesis: a comparison of linear, shallow, deep and variational models
π₯ Fanny Roche, Thomas Hueber, Samuel Limier, Laurent Girin
π PDF
π Analysis of Length Normalization in End-to-End Speaker Verification System
π₯ Weicheng Cai, Jinkun Chen, Ming Li
π PDF
π Wave-U-Net: A Multi-Scale Neural Network for End-to-End Audio Source Separation
π₯ Daniel Stoller, Sebastian Ewert, Simon Dixon
π PDF
π On sound-based interpretation of neonatal EEG
π₯ Sergi Gomez, Mark O'Sullivan, Emanuel Popovici, Sean Mathieson, Geraldine Boylan, Andriy Temko
π PDF
π StarGAN-VC: Non-parallel many-to-many voice conversion with star generative adversarial networks
π₯ Hirokazu Kameoka, Takuhiro Kaneko, Kou Tanaka, Nobukatsu Hojo
π PDF
#Sound
AI Python & arXiv Channel
Sound
#Sound
π VoxCeleb2: Deep Speaker Recognition
π₯ Joon Son Chung, Arsha Nagrani, Andrew Zisserman
π PDF
π Multi-View Networks for Denoising of Arbitrary Numbers of Channels
π₯ Jonah Casebeer, Brian Luc, Paris Smaragdis
π PDF
π A data-driven approach to mid-level perceptual musical feature modeling
π₯ Anna Aljanaki, Mohammad Soleymani
π PDF
π Model-based Speech Enhancement for Intelligibility Improvement in Binaural Hearing Aids
π₯ Mathew Shaji Kavalekalam, Jesper K. Nielsen, Jesper B. Boldt, Mads G. Christensen
π PDF
π Unsupervised Adaptation with Interpretable Disentangled Representations for Distant Conversational Speech Recognition
π₯ Wei-Ning Hsu, Hao Tang, James Glass
π PDF
π A Study of Enhancement, Augmentation, and Autoencoder Methods for Domain Adaptation in Distant Speech Recognition
π₯ Hao Tang, Wei-Ning Hsu, Francois Grondin, James Glass
π PDF
π Capsule Routing for Sound Event Detection
π₯ Turab Iqbal, Yong Xu, Qiuqiang Kong, Wenwu Wang
π PDF
π Transfer Learning from Speaker Verification to Multispeaker Text-To-Speech Synthesis
π₯ Ye Jia, Yu Zhang, Ron J. Weiss, Quan Wang, Jonathan Shen, Fei Ren, Zhifeng Chen, Patrick Nguyen, Ruoming Pang, Ignacio Lopez Moreno, Yonghui Wu
π PDF
π Multilingual End-to-End Speech Recognition with A Single Transformer on Low-Resource Languages
π₯ Shiyu Zhou, Shuang Xu, Bo Xu
π PDF
π The NES Music Database: A multi-instrumental dataset with expressive performance attributes
π₯ Chris Donahue, Huanru Henry Mao, Julian McAuley
π PDF
π Autoencoders for music sound synthesis: a comparison of linear, shallow, deep and variational models
π₯ Fanny Roche, Thomas Hueber, Samuel Limier, Laurent Girin
π PDF
π Analysis of Length Normalization in End-to-End Speaker Verification System
π₯ Weicheng Cai, Jinkun Chen, Ming Li
π PDF
π Wave-U-Net: A Multi-Scale Neural Network for End-to-End Audio Source Separation
π₯ Daniel Stoller, Sebastian Ewert, Simon Dixon
π PDF
π On sound-based interpretation of neonatal EEG
π₯ Sergi Gomez, Mark O'Sullivan, Emanuel Popovici, Sean Mathieson, Geraldine Boylan, Andriy Temko
π PDF
π StarGAN-VC: Non-parallel many-to-many voice conversion with star generative adversarial networks
π₯ Hirokazu Kameoka, Takuhiro Kaneko, Kou Tanaka, Nobukatsu Hojo
π PDF
#Sound
AI Python & arXiv Channel
Latest Published Articles:
Software Engineering
#SoftwareEngineering
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
π A Graphical Interactive Debugger for Distributed Systems
π₯ Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
π PDF
π Detecting Speech Act Types in Developer Question/Answer Conversations During Bug Repair
π₯ Andrew Wood, Paige Rodeghero, Ameer Armaly, Collin McMillan
π PDF
π How Usable are Rust Cryptography APIs?
π₯ Kai Mindermann, Philipp Keck, Stefan Wagner
π PDF
π Model-Based Safety-Cases for Software-Intensive Systems
π₯ Peter Braun, Jan Philipps, Bernhard SchΓ€tz, Stefan Wagner
π PDF
π An Approximation-based Approach for the Random Exploration of Large Models
π₯ Julien Bernard, Pierre-Cyrille HΓ©am, Olga Kouchnarenko
π PDF
π When Regression Verification Meets CEGAR
π₯ Fei He, Qianshan Yu, Liming Cai
π PDF
π A Product Line Systems Engineering Process for Variability Identification and Reduction
π₯ Mole Li, Alan Grigg, Charles Dickerson, Lin Guan, Siyuan Ji
π PDF
π Deep Learning to Detect Redundant Method Comments
π₯ Annie Louis, Santanu Kumar Dash, Earl T. Barr, Charles Sutton
π PDF
π Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
π₯ Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
π PDF
π A Directed Acyclic Graph Approach to Online Log Parsing
π₯ Pinjia He, Jieming Zhu, Pengcheng Xu, Zibin Zheng, Michael R. Lyu
π PDF
π The History of Software Architecture - In the Eye of the Practitioner
π₯ Henry Muccini, Patricia Lago, Karthik Vaidyanathan, Francesco Osborne, Eltjo Poort
π PDF
π Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
π₯ Lawrence C Paulson
π PDF
π ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
π₯ Moussa Amrani, Levi LΓΊcio, Adrien Bibal
π PDF
π Engaging Millennials into Learning Formal Methods
π₯ NΓ©stor CataΓ±o
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
π A Graphical Interactive Debugger for Distributed Systems
π₯ Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
π PDF
π Detecting Speech Act Types in Developer Question/Answer Conversations During Bug Repair
π₯ Andrew Wood, Paige Rodeghero, Ameer Armaly, Collin McMillan
π PDF
π How Usable are Rust Cryptography APIs?
π₯ Kai Mindermann, Philipp Keck, Stefan Wagner
π PDF
π Model-Based Safety-Cases for Software-Intensive Systems
π₯ Peter Braun, Jan Philipps, Bernhard SchΓ€tz, Stefan Wagner
π PDF
π An Approximation-based Approach for the Random Exploration of Large Models
π₯ Julien Bernard, Pierre-Cyrille HΓ©am, Olga Kouchnarenko
π PDF
π When Regression Verification Meets CEGAR
π₯ Fei He, Qianshan Yu, Liming Cai
π PDF
π A Product Line Systems Engineering Process for Variability Identification and Reduction
π₯ Mole Li, Alan Grigg, Charles Dickerson, Lin Guan, Siyuan Ji
π PDF
π Deep Learning to Detect Redundant Method Comments
π₯ Annie Louis, Santanu Kumar Dash, Earl T. Barr, Charles Sutton
π PDF
π Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
π₯ Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
π PDF
π A Directed Acyclic Graph Approach to Online Log Parsing
π₯ Pinjia He, Jieming Zhu, Pengcheng Xu, Zibin Zheng, Michael R. Lyu
π PDF
π The History of Software Architecture - In the Eye of the Practitioner
π₯ Henry Muccini, Patricia Lago, Karthik Vaidyanathan, Francesco Osborne, Eltjo Poort
π PDF
π Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
π₯ Lawrence C Paulson
π PDF
π ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification
π₯ Moussa Amrani, Levi LΓΊcio, Adrien Bibal
π PDF
π Engaging Millennials into Learning Formal Methods
π₯ NΓ©stor CataΓ±o
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks
π Immunization of networks with non-overlapping community structure
π₯ Zakariya Ghalmane, Mohammed El Hassouni, Hocine Cherifi
π PDF
π Status maximization as a source of fairness in a networked dictator game
π₯ Jan E. Snellman, Gerardo IΓ±iguez, JΓ‘nos KertΓ©sz, R. A. Barrio, Kimmo K. Kaski
π PDF
π Improved Density-Based Spatio--Textual Clustering on Social Media
π₯ Minh D. Nguyen, Won-Yong Shin
π PDF
π A Retrospective Analysis of the Fake News Challenge Stance Detection Task
π₯ Andreas Hanselowski, Avinesh PVS, Benjamin Schiller, Felix Caspelherr, Debanjan Chaudhuri, Christian M. Meyer, Iryna Gurevych
π PDF
π SybilBlind: Detecting Fake Users in Online Social Networks without Manual Labels
π₯ Binghui Wang, Le Zhang, Neil Zhenqiang Gong
π PDF
π Social Networks through the Prism of Cognition
π₯ RadosΕaw Michalski, BolesΕaw K. SzymaΕski, PrzemysΕaw Kazienko, Christian Lebiere, Omar Lizardo, Marcin Kulisiewicz
π PDF
π Swarming for Faster Convergence in Stochastic Optimization
π₯ Shi Pu, Alfredo Garcia
π PDF
π Constructing Social Networks From Binary Data
π₯ Sirui Wang, Mei Wang
π PDF
π Detecting Statistically Significant Communities
π₯ Zengyou He, Hao Liang, Zheng Chen, Can Zhao
π PDF
π A Survey on Trust Modeling from a Bayesian Perspective
π₯ Bin Liu
π PDF
π Spatial social networks identified from urban group travel
π₯ Huijun Sun, Kangli Zhu, Jianjun Wu, Daqing Li, Ziyou Gao, Haodong Yin, Yunchao Qu, Xin Yang, Hao Liu
π PDF
π Noise-based control of social dynamics
π₯ Wei Su, Ge Chen
π PDF
π Collaboration Diversity and Scientific Impact
π₯ Yuxiao Dong, Hao Ma, Jie Tang, Kuansan Wang
π PDF
π Complex network representation through multi-dimensional node projection
π₯ Stanislav Sobolevsky
π PDF
π Data based reconstruction of complex cyberphysical networks
π₯ Chuang Ma, Han-Shuang Chen, Xiang Li, Ying-Cheng Lai, Hai-Feng Zhang
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Social and Information Networks
#SocialandInformationNetworks
π Immunization of networks with non-overlapping community structure
π₯ Zakariya Ghalmane, Mohammed El Hassouni, Hocine Cherifi
π PDF
π Status maximization as a source of fairness in a networked dictator game
π₯ Jan E. Snellman, Gerardo IΓ±iguez, JΓ‘nos KertΓ©sz, R. A. Barrio, Kimmo K. Kaski
π PDF
π Improved Density-Based Spatio--Textual Clustering on Social Media
π₯ Minh D. Nguyen, Won-Yong Shin
π PDF
π A Retrospective Analysis of the Fake News Challenge Stance Detection Task
π₯ Andreas Hanselowski, Avinesh PVS, Benjamin Schiller, Felix Caspelherr, Debanjan Chaudhuri, Christian M. Meyer, Iryna Gurevych
π PDF
π SybilBlind: Detecting Fake Users in Online Social Networks without Manual Labels
π₯ Binghui Wang, Le Zhang, Neil Zhenqiang Gong
π PDF
π Social Networks through the Prism of Cognition
π₯ RadosΕaw Michalski, BolesΕaw K. SzymaΕski, PrzemysΕaw Kazienko, Christian Lebiere, Omar Lizardo, Marcin Kulisiewicz
π PDF
π Swarming for Faster Convergence in Stochastic Optimization
π₯ Shi Pu, Alfredo Garcia
π PDF
π Constructing Social Networks From Binary Data
π₯ Sirui Wang, Mei Wang
π PDF
π Detecting Statistically Significant Communities
π₯ Zengyou He, Hao Liang, Zheng Chen, Can Zhao
π PDF
π A Survey on Trust Modeling from a Bayesian Perspective
π₯ Bin Liu
π PDF
π Spatial social networks identified from urban group travel
π₯ Huijun Sun, Kangli Zhu, Jianjun Wu, Daqing Li, Ziyou Gao, Haodong Yin, Yunchao Qu, Xin Yang, Hao Liu
π PDF
π Noise-based control of social dynamics
π₯ Wei Su, Ge Chen
π PDF
π Collaboration Diversity and Scientific Impact
π₯ Yuxiao Dong, Hao Ma, Jie Tang, Kuansan Wang
π PDF
π Complex network representation through multi-dimensional node projection
π₯ Stanislav Sobolevsky
π PDF
π Data based reconstruction of complex cyberphysical networks
π₯ Chuang Ma, Han-Shuang Chen, Xiang Li, Ying-Cheng Lai, Hai-Feng Zhang
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Latest Published Articles:
Systems and Control
#SystemsandControl
π Simultaneous Sensor and Actuator Selection/Placement through Output Feedback Control
π₯ Sebastian Nugroho, Ahmad F. Taha, Tyler Summers, Nikolaos Gatsis
π PDF
π Stabilization with a Specified External Gain for Linear MIMO Systems and Its Applications to Control of Networked Systems
π₯ Lijun Zhu, Zhiyong Chen, Xi Chen, David J. Hill
π PDF
π An Input-Delay Event-Triggered Control Design for Nonlinear Systems
π₯ Lijun Zhu, Zhiyong Chen, David J. Hill, Shengli Du
π PDF
π Decentralized Ergodic Control: Distribution-Driven Sensing and Exploration for Multi-Agent Systems
π₯ Ian Abraham, Todd D. Murphey
π PDF
π Recent Progress in Optimization of Multiband Electrical Filters
π₯ Andrei BogatyrΓ«v
π PDF
π Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies
π₯ Asad Ullah Awan, Majid Zamani
π PDF
π Maintenance of Smart Buildings using Fault Trees
π₯ Nathalie Cauchi, Khaza Anuaral Hoque, Marielle Stoelinga, Alessandro Abate
π PDF
π Speculative Thread Framework for Transient Management and Bumpless Transfer in Reconfigurable Digital Filters
π₯ Michael Giardino, Wayne Maxwell, Bonnie Ferri, Aldo Ferri
π PDF
π Tropical Abstractions of Max-Plus-Linear Systems
π₯ Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessndro Abate
π PDF
π On The Design of Nonlinear PID Controller for Nonlinear Quadrotor System
π₯ Aws Abdulsalam Najm, Ibraheem Kasim Ibraheem
π PDF
π Adaptive MPC for Autonomous Lane Keeping
π₯ Monimoy Bujarbaruah, Xiaojing Zhang, H. Eric Tseng, Francesco Borrelli
π PDF
π Unobservable False Data Injection Attacks against PMUs: Feasible Conditions and Multiplicative Attacks
π₯ Zhigang Chu, Jiazi Zhang, Oliver Kosut, Lalitha Sankar
π PDF
π PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments
π₯ Anirudha Majumdar, Maxwell Goldstein
π PDF
π Regions of Attraction Approximation Using Individual Invariance
π₯ Surour Alaraifi, Seddik Djouadi, Mohamed El-Moursi
π PDF
π Learning an Approximate Model Predictive Controller with Guarantees
π₯ Michael Hertneck, Johannes KΓΆhler, Sebastian Trimpe, Frank AllgΓΆwer
π PDF
#SystemsandControl
AI Python & arXiv Channel
Systems and Control
#SystemsandControl
π Simultaneous Sensor and Actuator Selection/Placement through Output Feedback Control
π₯ Sebastian Nugroho, Ahmad F. Taha, Tyler Summers, Nikolaos Gatsis
π PDF
π Stabilization with a Specified External Gain for Linear MIMO Systems and Its Applications to Control of Networked Systems
π₯ Lijun Zhu, Zhiyong Chen, Xi Chen, David J. Hill
π PDF
π An Input-Delay Event-Triggered Control Design for Nonlinear Systems
π₯ Lijun Zhu, Zhiyong Chen, David J. Hill, Shengli Du
π PDF
π Decentralized Ergodic Control: Distribution-Driven Sensing and Exploration for Multi-Agent Systems
π₯ Ian Abraham, Todd D. Murphey
π PDF
π Recent Progress in Optimization of Multiband Electrical Filters
π₯ Andrei BogatyrΓ«v
π PDF
π Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies
π₯ Asad Ullah Awan, Majid Zamani
π PDF
π Maintenance of Smart Buildings using Fault Trees
π₯ Nathalie Cauchi, Khaza Anuaral Hoque, Marielle Stoelinga, Alessandro Abate
π PDF
π Speculative Thread Framework for Transient Management and Bumpless Transfer in Reconfigurable Digital Filters
π₯ Michael Giardino, Wayne Maxwell, Bonnie Ferri, Aldo Ferri
π PDF
π Tropical Abstractions of Max-Plus-Linear Systems
π₯ Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessndro Abate
π PDF
π On The Design of Nonlinear PID Controller for Nonlinear Quadrotor System
π₯ Aws Abdulsalam Najm, Ibraheem Kasim Ibraheem
π PDF
π Adaptive MPC for Autonomous Lane Keeping
π₯ Monimoy Bujarbaruah, Xiaojing Zhang, H. Eric Tseng, Francesco Borrelli
π PDF
π Unobservable False Data Injection Attacks against PMUs: Feasible Conditions and Multiplicative Attacks
π₯ Zhigang Chu, Jiazi Zhang, Oliver Kosut, Lalitha Sankar
π PDF
π PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments
π₯ Anirudha Majumdar, Maxwell Goldstein
π PDF
π Regions of Attraction Approximation Using Individual Invariance
π₯ Surour Alaraifi, Seddik Djouadi, Mohamed El-Moursi
π PDF
π Learning an Approximate Model Predictive Controller with Guarantees
π₯ Michael Hertneck, Johannes KΓΆhler, Sebastian Trimpe, Frank AllgΓΆwer
π PDF
#SystemsandControl
AI Python & arXiv Channel