Latest Published Articles:
Human-Computer Interaction
#HumanComputerInteraction
π Interactive Classification for Deep Learning Interpretation
π₯ Angel Cabrera, Fred Hohman, Jason Lin, Duen Horng Chau
π PDF
π How to design browser security and privacy alerts
π₯ Lynsay A. Shepherd, Karen Renaud
π PDF
π Towards Semantically Enhanced Data Understanding
π₯ Markus SchrΓΆder, Christian Jilek, JΓΆrn Hees, Andreas Dengel
π PDF
π Real-time on-device nod and shake recognition
π₯ Elmar H. Langholz, Reuben Brasher
π PDF
π Colwell's Castle Defence: A Custom Game Using Dynamic Difficulty Adjustment to Increase Player Enjoyment
π₯ Anthony M. Colwell, Frank G. Glavin
π PDF
π Collective Story Writing through Linking Images
π₯ Auroshikha Mandal, Mehul Agarwal, Malay Bhattacharyya
π PDF
π "AIded with emotions" - a new design approach towards affective computer systems
π₯ Barbara GiΕΌycka, Grzegorz J. Nalepa, PaweΕ JemioΕo
π PDF
π How Curiosity can be modeled for a Clickbait Detector
π₯ Lasya Venneti, Aniket Alam
π PDF
π Prosody Modifications for Question-Answering in Voice-Only Settings
π₯ Aleksandr Chuklin, Aliaksei Severyn, Johanne Trippas, Enrique Alfonseca, Hanna Silen, Damiano Spina
π PDF
π Potential of Augmented Reality for Intelligent Transportation Systems
π₯ Adnan Mahmood, Bernard Butler, Brendan Jennings
π 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
π An Industrial Social Network for Sharing Knowledge Among Operators
π₯ Valeria Villani, Lorenzo Sabattini, Alessio Levratti, Cesare Fantuzzi
π PDF
π Whether Moving or Not: Modeling and Predicting Error Rates in Pointing Regardless of Target Motion
π₯ Eunji Park, Hyunju Kim, Injung Lee, Byungjoo Lee
π PDF
π Assessing the impact of machine intelligence on human behaviour: an interdisciplinary endeavour
π₯ Emilia GΓ³mez, Carlos Castillo, Vicky Charisi, VerΓ³nica Dahl, Gustavo Deco, Blagoj Delipetrev, Nicole Dewandre, Miguel Γngel GonzΓ‘lez-Ballester, Fabien Gouyon, JosΓ© HernΓ‘ndez-Orallo, Perfecto Herrera, Anders Jonsson, Ansgar Koene, Martha Larson, RamΓ³n LΓ³pez de MΓ‘ntaras, Bertin Martens, Marius Miron, RubΓ©n Moreno-Bote, Nuria Oliver, Antonio Puertas Gallardo, Heike Schweitzer, Nuria Sebastian, Xavier Serra, Joan SerrΓ , SongΓΌl Tolan, Karina Vold
π PDF
π Anchored in a Data Storm: How Anchoring Bias Can Affect User Strategy, Confidence, and Decisions in Visual Analytics
π₯ Ryan Wesslen, Sashank Santhanam, Alireza Karduni, Isaac Cho, Samira Shaikh, Wenwen Dou
π PDF
#HumanComputerInteraction
AI Python & arXiv Channel
Human-Computer Interaction
#HumanComputerInteraction
π Interactive Classification for Deep Learning Interpretation
π₯ Angel Cabrera, Fred Hohman, Jason Lin, Duen Horng Chau
π PDF
π How to design browser security and privacy alerts
π₯ Lynsay A. Shepherd, Karen Renaud
π PDF
π Towards Semantically Enhanced Data Understanding
π₯ Markus SchrΓΆder, Christian Jilek, JΓΆrn Hees, Andreas Dengel
π PDF
π Real-time on-device nod and shake recognition
π₯ Elmar H. Langholz, Reuben Brasher
π PDF
π Colwell's Castle Defence: A Custom Game Using Dynamic Difficulty Adjustment to Increase Player Enjoyment
π₯ Anthony M. Colwell, Frank G. Glavin
π PDF
π Collective Story Writing through Linking Images
π₯ Auroshikha Mandal, Mehul Agarwal, Malay Bhattacharyya
π PDF
π "AIded with emotions" - a new design approach towards affective computer systems
π₯ Barbara GiΕΌycka, Grzegorz J. Nalepa, PaweΕ JemioΕo
π PDF
π How Curiosity can be modeled for a Clickbait Detector
π₯ Lasya Venneti, Aniket Alam
π PDF
π Prosody Modifications for Question-Answering in Voice-Only Settings
π₯ Aleksandr Chuklin, Aliaksei Severyn, Johanne Trippas, Enrique Alfonseca, Hanna Silen, Damiano Spina
π PDF
π Potential of Augmented Reality for Intelligent Transportation Systems
π₯ Adnan Mahmood, Bernard Butler, Brendan Jennings
π 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
π An Industrial Social Network for Sharing Knowledge Among Operators
π₯ Valeria Villani, Lorenzo Sabattini, Alessio Levratti, Cesare Fantuzzi
π PDF
π Whether Moving or Not: Modeling and Predicting Error Rates in Pointing Regardless of Target Motion
π₯ Eunji Park, Hyunju Kim, Injung Lee, Byungjoo Lee
π PDF
π Assessing the impact of machine intelligence on human behaviour: an interdisciplinary endeavour
π₯ Emilia GΓ³mez, Carlos Castillo, Vicky Charisi, VerΓ³nica Dahl, Gustavo Deco, Blagoj Delipetrev, Nicole Dewandre, Miguel Γngel GonzΓ‘lez-Ballester, Fabien Gouyon, JosΓ© HernΓ‘ndez-Orallo, Perfecto Herrera, Anders Jonsson, Ansgar Koene, Martha Larson, RamΓ³n LΓ³pez de MΓ‘ntaras, Bertin Martens, Marius Miron, RubΓ©n Moreno-Bote, Nuria Oliver, Antonio Puertas Gallardo, Heike Schweitzer, Nuria Sebastian, Xavier Serra, Joan SerrΓ , SongΓΌl Tolan, Karina Vold
π PDF
π Anchored in a Data Storm: How Anchoring Bias Can Affect User Strategy, Confidence, and Decisions in Visual Analytics
π₯ Ryan Wesslen, Sashank Santhanam, Alireza Karduni, Isaac Cho, Samira Shaikh, Wenwen Dou
π PDF
#HumanComputerInteraction
AI Python & arXiv Channel
Latest Published Articles:
Information Retrieval
#InformationRetrieval
π Improved Density-Based Spatio--Textual Clustering on Social Media
π₯ Minh D. Nguyen, Won-Yong Shin
π PDF
π Automatic Language Identification for Romance Languages using Stop Words and Diacritics
π₯ Ciprian-Octavian TruicΔ, Julien Velcin, Alexandru Boicea
π PDF
π A Game Theoretic Approach to Learning and Dynamics in Information Retrieval
π₯ Omer Ben-Porat, Itay Rosenberg, Moshe Tennenholtz
π PDF
π Analysis of Search Stratagem Utilisation
π₯ Ameni Kacem, Philipp Mayr
π 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
π Explainable Agreement through Simulation for Tasks with Subjective Labels
π₯ John Foley
π PDF
π Towards Theoretical Understanding of Weak Supervision for Information Retrieval
π₯ Hamed Zamani, W. Bruce Croft
π PDF
π Information Retrieval in African Languages
π₯ Hussein Suleman
π PDF
π Are My EHRs Private Enough? -Event-level Privacy Protection
π₯ Chengsheng Mao, Yuan Zhao, Mengxin Sun, Yuan Luo
π PDF
π Ranking Robustness Under Adversarial Document Manipulations
π₯ Gregory Goren, Oren Kurland, Moshe Tennenholtz, Fiana Raiber
π PDF
π Named Entity Recognition with Extremely Limited Data
π₯ John Foley, Sheikh Muhammad Sarwar, James Allan
π PDF
π Indexed Dynamic Programming to boost Edit Distance and LCSS Computation
π₯ JΓ©rΓ©my Barbay, AndrΓ©s Olivares
π PDF
π PubMed Labs: An experimental platform for improving biomedical literature search
π₯ Nicolas Fiorini, Kathi Canese, Rostyslav Bryzgunov, Ievgeniia Radetska, Asta Gindulyte, Martin Latterner, Vadim Miller, Maxim Osipov, Michael Kholodov, Grisha Starchenko, Evgeny Kireev, Zhiyong Lu
π PDF
π Distributed Evaluations: Ending Neural Point Metrics
π₯ Daniel Cohen, Scott M. Jordan, W. Bruce Croft
π PDF
π Context Tree for Adaptive Session-based Recommendation
π₯ Fei Mi, Boi Faltings
π PDF
#InformationRetrieval
AI Python & arXiv Channel
Information Retrieval
#InformationRetrieval
π Improved Density-Based Spatio--Textual Clustering on Social Media
π₯ Minh D. Nguyen, Won-Yong Shin
π PDF
π Automatic Language Identification for Romance Languages using Stop Words and Diacritics
π₯ Ciprian-Octavian TruicΔ, Julien Velcin, Alexandru Boicea
π PDF
π A Game Theoretic Approach to Learning and Dynamics in Information Retrieval
π₯ Omer Ben-Porat, Itay Rosenberg, Moshe Tennenholtz
π PDF
π Analysis of Search Stratagem Utilisation
π₯ Ameni Kacem, Philipp Mayr
π 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
π Explainable Agreement through Simulation for Tasks with Subjective Labels
π₯ John Foley
π PDF
π Towards Theoretical Understanding of Weak Supervision for Information Retrieval
π₯ Hamed Zamani, W. Bruce Croft
π PDF
π Information Retrieval in African Languages
π₯ Hussein Suleman
π PDF
π Are My EHRs Private Enough? -Event-level Privacy Protection
π₯ Chengsheng Mao, Yuan Zhao, Mengxin Sun, Yuan Luo
π PDF
π Ranking Robustness Under Adversarial Document Manipulations
π₯ Gregory Goren, Oren Kurland, Moshe Tennenholtz, Fiana Raiber
π PDF
π Named Entity Recognition with Extremely Limited Data
π₯ John Foley, Sheikh Muhammad Sarwar, James Allan
π PDF
π Indexed Dynamic Programming to boost Edit Distance and LCSS Computation
π₯ JΓ©rΓ©my Barbay, AndrΓ©s Olivares
π PDF
π PubMed Labs: An experimental platform for improving biomedical literature search
π₯ Nicolas Fiorini, Kathi Canese, Rostyslav Bryzgunov, Ievgeniia Radetska, Asta Gindulyte, Martin Latterner, Vadim Miller, Maxim Osipov, Michael Kholodov, Grisha Starchenko, Evgeny Kireev, Zhiyong Lu
π PDF
π Distributed Evaluations: Ending Neural Point Metrics
π₯ Daniel Cohen, Scott M. Jordan, W. Bruce Croft
π PDF
π Context Tree for Adaptive Session-based Recommendation
π₯ Fei Mi, Boi Faltings
π PDF
#InformationRetrieval
AI Python & arXiv Channel
Latest Published Articles:
Information Theory
#InformationTheory
π Anonymous Information Delivery
π₯ Hua Sun
π PDF
π Inducing information stability and applications thereof to obtaining information theoretic necessary conditions directly from operational requirements
π₯ Eric Graves, Tan F. Wong
π PDF
π Distributed Hypothesis Testing based on Unequal-Error Protection Codes
π₯ Sadaf Salehkalaibar, Michele Wigger
π PDF
π Fast Decoding of Low Density Lattice Codes
π₯ Shuiyin Liu, Yi Hong, Emanuele Viterbo, Alessia Marelli, Rino Micheloni
π PDF
π Asymptotic maximal order statistic for SIR in $ΞΊ-ΞΌ$ shadowed fading
π₯ Athira Subhash, Muralikrishnan Srinivasan, Sheetal Kalyani
π PDF
π Maximum weight spectrum codes with reduced length
π₯ Gerard D Cohen, Ludo Tolhuizen
π PDF
π Identifying the Fake Base Station: A Location Based Approach
π₯ Ke-Wen Huang, Hui-Ming Wang
π PDF
π Base Station Cooperation in Millimeter Wave Cellular Networks: Performance Enhancement of Cell-Edge Users
π₯ Hui-Ming Wang, Ke-Wen Huang, Theodoros A. Tsiftsis
π PDF
π Rate-Splitting Robustness in Multi-Pair Massive MIMO Relay Systems
π₯ Anastasios Papazafeiropoulos, Tharmalingam Ratnarajah
π PDF
π Quasi-tight Framelets with Directionality or High Vanishing Moments Derived from Arbitrary Refinable Functions
π₯ Chenzhe Diao, Bin Han
π PDF
π Learning to Communicate in UAV-aided Wireless Networks: Map-based Approaches
π₯ Omid Esrafilian, Rajeev Gangula, David Gesbert
π PDF
π An Information Theoretic Converse for the "Consecutive Complete--$S$" PICOD Problem
π₯ Tang Liu, Daniela Tuninetti
π PDF
π Adaptive Path Interpolation for Sparse Systems: Application to a Simple Censored Block Model
π₯ Jean Barbier, Chun Lam Chan, Nicolas Macris
π PDF
π Failure Analysis of the Interval-Passing Algorithm for Compressed Sensing
π₯ Yauhen Yakimenka, Eirik Rosnes
π PDF
π Proactive Resource Allocation with Predictable Channel Statistics
π₯ L. Srikar Muppirisetty, John Tadrous, Atilla Eryilmaz, Henk Wymeersch
π PDF
#InformationTheory
AI Python & arXiv Channel
Information Theory
#InformationTheory
π Anonymous Information Delivery
π₯ Hua Sun
π PDF
π Inducing information stability and applications thereof to obtaining information theoretic necessary conditions directly from operational requirements
π₯ Eric Graves, Tan F. Wong
π PDF
π Distributed Hypothesis Testing based on Unequal-Error Protection Codes
π₯ Sadaf Salehkalaibar, Michele Wigger
π PDF
π Fast Decoding of Low Density Lattice Codes
π₯ Shuiyin Liu, Yi Hong, Emanuele Viterbo, Alessia Marelli, Rino Micheloni
π PDF
π Asymptotic maximal order statistic for SIR in $ΞΊ-ΞΌ$ shadowed fading
π₯ Athira Subhash, Muralikrishnan Srinivasan, Sheetal Kalyani
π PDF
π Maximum weight spectrum codes with reduced length
π₯ Gerard D Cohen, Ludo Tolhuizen
π PDF
π Identifying the Fake Base Station: A Location Based Approach
π₯ Ke-Wen Huang, Hui-Ming Wang
π PDF
π Base Station Cooperation in Millimeter Wave Cellular Networks: Performance Enhancement of Cell-Edge Users
π₯ Hui-Ming Wang, Ke-Wen Huang, Theodoros A. Tsiftsis
π PDF
π Rate-Splitting Robustness in Multi-Pair Massive MIMO Relay Systems
π₯ Anastasios Papazafeiropoulos, Tharmalingam Ratnarajah
π PDF
π Quasi-tight Framelets with Directionality or High Vanishing Moments Derived from Arbitrary Refinable Functions
π₯ Chenzhe Diao, Bin Han
π PDF
π Learning to Communicate in UAV-aided Wireless Networks: Map-based Approaches
π₯ Omid Esrafilian, Rajeev Gangula, David Gesbert
π PDF
π An Information Theoretic Converse for the "Consecutive Complete--$S$" PICOD Problem
π₯ Tang Liu, Daniela Tuninetti
π PDF
π Adaptive Path Interpolation for Sparse Systems: Application to a Simple Censored Block Model
π₯ Jean Barbier, Chun Lam Chan, Nicolas Macris
π PDF
π Failure Analysis of the Interval-Passing Algorithm for Compressed Sensing
π₯ Yauhen Yakimenka, Eirik Rosnes
π PDF
π Proactive Resource Allocation with Predictable Channel Statistics
π₯ L. Srikar Muppirisetty, John Tadrous, Atilla Eryilmaz, Henk Wymeersch
π PDF
#InformationTheory
AI Python & arXiv Channel
Latest Published Articles:
Learning
#Learning
π GLoMo: Unsupervisedly Learned Relational Graphs as Transferable Representations
π₯ Zhilin Yang, Jake, Zhao, Bhuwan Dhingra, Kaiming He, William W. Cohen, Ruslan Salakhutdinov, Yann LeCun
π PDF
π Self-Imitation Learning
π₯ Junhyuk Oh, Yijie Guo, Satinder Singh, Honglak Lee
π PDF
π Learning in POMDPs with Monte Carlo Tree Search
π₯ Sammie Katt, Frans A. Oliehoek, Christopher Amato
π PDF
π Stochastic Variance-Reduced Policy Gradient
π₯ Matteo Papini, Damiano Binaghi, Giuseppe Canonaco, Matteo Pirotta, Marcello Restelli
π PDF
π Improving Consistency-Based Semi-Supervised Learning with Weight Averaging
π₯ Ben Athiwaratkun, Marc Finzi, Pavel Izmailov, Andrew Gordon Wilson
π PDF
π Autoregressive Quantile Networks for Generative Modeling
π₯ Georg Ostrovski, Will Dabney, RΓ©mi Munos
π PDF
π Improved Density-Based Spatio--Textual Clustering on Social Media
π₯ Minh D. Nguyen, Won-Yong Shin
π PDF
π The Exact Equivalence of Distance and Kernel Methods for Hypothesis Testing
π₯ Cencheng Shen, Joshua T. Vogelstein
π PDF
π NetScore: Towards Universal Metrics for Large-scale Performance Analysis of Deep Neural Networks for Practical Usage
π₯ Alexander Wong
π PDF
π Neural Stethoscopes: Unifying Analytic, Auxiliary and Adversarial Network Probing
π₯ Fabian B. Fuchs, Oliver Groth, Adam R. Kosoriek, Alex Bewley, Markus Wulfmeier, Andrea Vedaldi, Ingmar Posner
π PDF
π Inference in Deep Gaussian Processes using Stochastic Gradient Hamiltonian Monte Carlo
π₯ Marton Havasi, JosΓ© Miguel HernΓ‘ndez Lobato, Juan JosΓ© Murillo Fuentes
π PDF
π Low-rank geometric mean metric learning
π₯ Mukul Bhutani, Pratik Jawanpuria, Hiroyuki Kasai, Bamdev Mishra
π PDF
π The committee machine: Computational to statistical gaps in learning a two-layers neural network
π₯ Benjamin Aubin, Antoine Maillard, Jean Barbier, Florent Krzakala, Nicolas Macris, Lenka ZdeborovΓ‘
π PDF
π Stochastic Gradient Descent with Exponential Convergence Rates of Expected Classification Errors
π₯ Atsushi Nitanda, Taiji Suzuki
π PDF
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
#Learning
AI Python & arXiv Channel
Learning
#Learning
π GLoMo: Unsupervisedly Learned Relational Graphs as Transferable Representations
π₯ Zhilin Yang, Jake, Zhao, Bhuwan Dhingra, Kaiming He, William W. Cohen, Ruslan Salakhutdinov, Yann LeCun
π PDF
π Self-Imitation Learning
π₯ Junhyuk Oh, Yijie Guo, Satinder Singh, Honglak Lee
π PDF
π Learning in POMDPs with Monte Carlo Tree Search
π₯ Sammie Katt, Frans A. Oliehoek, Christopher Amato
π PDF
π Stochastic Variance-Reduced Policy Gradient
π₯ Matteo Papini, Damiano Binaghi, Giuseppe Canonaco, Matteo Pirotta, Marcello Restelli
π PDF
π Improving Consistency-Based Semi-Supervised Learning with Weight Averaging
π₯ Ben Athiwaratkun, Marc Finzi, Pavel Izmailov, Andrew Gordon Wilson
π PDF
π Autoregressive Quantile Networks for Generative Modeling
π₯ Georg Ostrovski, Will Dabney, RΓ©mi Munos
π PDF
π Improved Density-Based Spatio--Textual Clustering on Social Media
π₯ Minh D. Nguyen, Won-Yong Shin
π PDF
π The Exact Equivalence of Distance and Kernel Methods for Hypothesis Testing
π₯ Cencheng Shen, Joshua T. Vogelstein
π PDF
π NetScore: Towards Universal Metrics for Large-scale Performance Analysis of Deep Neural Networks for Practical Usage
π₯ Alexander Wong
π PDF
π Neural Stethoscopes: Unifying Analytic, Auxiliary and Adversarial Network Probing
π₯ Fabian B. Fuchs, Oliver Groth, Adam R. Kosoriek, Alex Bewley, Markus Wulfmeier, Andrea Vedaldi, Ingmar Posner
π PDF
π Inference in Deep Gaussian Processes using Stochastic Gradient Hamiltonian Monte Carlo
π₯ Marton Havasi, JosΓ© Miguel HernΓ‘ndez Lobato, Juan JosΓ© Murillo Fuentes
π PDF
π Low-rank geometric mean metric learning
π₯ Mukul Bhutani, Pratik Jawanpuria, Hiroyuki Kasai, Bamdev Mishra
π PDF
π The committee machine: Computational to statistical gaps in learning a two-layers neural network
π₯ Benjamin Aubin, Antoine Maillard, Jean Barbier, Florent Krzakala, Nicolas Macris, Lenka ZdeborovΓ‘
π PDF
π Stochastic Gradient Descent with Exponential Convergence Rates of Expected Classification Errors
π₯ Atsushi Nitanda, Taiji Suzuki
π PDF
π ServeNet: A Deep Neural Network for Web Service Classification
π₯ Yilong Yang, Peng Liu, Lianchao Ding, Bingqing Shen, Weiru Wang
π PDF
#Learning
AI Python & arXiv Channel
Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience
π Dependently Typed Folds for Nested Data Types
π₯ Peng Fu, Peter Selinger
π PDF
π Parameter-Independent Strategies for pMDPs via POMDPs
π₯ Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
π PDF
π TTT2 with Termination Templates for Teaching
π₯ Jonas SchΓΆpf, Christian Sternagel
π PDF
π Subspace-Invariant AC$^0$ Formulas
π₯ Benjamin Rossman
π PDF
π Goal-Oriented Conjecturing for Isabelle/HOL
π₯ Yutaka Nagashima, Julian Parsert
π PDF
π Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
π₯ Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
π PDF
π Learning Linear Temporal Properties
π₯ Daniel Neider, Ivan Gavran
π PDF
π Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
π₯ Fabian Kunze, Gert Smolka, Yannick Forster
π PDF
π Formalization of Lerch's Theorem using HOL Light
π₯ Adnan Rashid, Osman Hasan
π PDF
π Maximizing the Number of Satisfied L-clauses
π₯ Mohamed El Halaby, Areeg Abdalla
π PDF
π Specification of State and Time Constraints for Runtime Verification of Functions
π₯ Joshua Heneage Dawes, Giles Reger
π PDF
π Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
π₯ Kuldeep S. Meel
π PDF
π Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
π₯ Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
π PDF
π Dynamic Ordered Weighted Averaging Functions for Complete Lattices
π₯ Antonio Diego S. Farias, Regivan H. N. Santiago, BenjamΓn Bedregal
π PDF
π A New Style of Mathematical Proof
π₯ William M. Farmer
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Logic in Computer Science
#LogicinComputerScience
π Dependently Typed Folds for Nested Data Types
π₯ Peng Fu, Peter Selinger
π PDF
π Parameter-Independent Strategies for pMDPs via POMDPs
π₯ Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
π PDF
π TTT2 with Termination Templates for Teaching
π₯ Jonas SchΓΆpf, Christian Sternagel
π PDF
π Subspace-Invariant AC$^0$ Formulas
π₯ Benjamin Rossman
π PDF
π Goal-Oriented Conjecturing for Isabelle/HOL
π₯ Yutaka Nagashima, Julian Parsert
π PDF
π Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
π₯ Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
π PDF
π Learning Linear Temporal Properties
π₯ Daniel Neider, Ivan Gavran
π PDF
π Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
π₯ Fabian Kunze, Gert Smolka, Yannick Forster
π PDF
π Formalization of Lerch's Theorem using HOL Light
π₯ Adnan Rashid, Osman Hasan
π PDF
π Maximizing the Number of Satisfied L-clauses
π₯ Mohamed El Halaby, Areeg Abdalla
π PDF
π Specification of State and Time Constraints for Runtime Verification of Functions
π₯ Joshua Heneage Dawes, Giles Reger
π PDF
π Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
π₯ Kuldeep S. Meel
π PDF
π Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
π₯ Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
π PDF
π Dynamic Ordered Weighted Averaging Functions for Complete Lattices
π₯ Antonio Diego S. Farias, Regivan H. N. Santiago, BenjamΓn Bedregal
π PDF
π A New Style of Mathematical Proof
π₯ William M. Farmer
π PDF
#LogicinComputerScience
AI Python & arXiv Channel
Latest Published Articles:
Multiagent Systems
#MultiagentSystems
π 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
π Partial Replanning for Decentralized Dynamic Task Allocation
π₯ Noam Buckman, Han-Lim Choi, Jonathan P. How
π PDF
π Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
π₯ Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
π PDF
π Multi-Agent Path Finding with Deadlines
π₯ Hang Ma, Glenn Wagner, Ariel Felner, Jiaoyang Li, T. K. Satish Kumar, Sven Koenig
π PDF
π Swarming for Faster Convergence in Stochastic Optimization
π₯ Shi Pu, Alfredo Garcia
π PDF
π Noise-based control of social dynamics
π₯ Wei Su, Ge Chen
π PDF
π Using Social Network Information in Bayesian Truth Discovery
π₯ Jielong Yang, Junshan Wang, Wee Peng Tay
π PDF
π Investigating Spatiotemporal Dynamics and Synchrony of Influenza Epidemics in Australia: An Agent-Based Modelling Approach
π₯ Oliver M. Cliff, Nathan Harding, Mahendra Piraveenan, E. Yagmur Erten, Manoj Gambhir, Mikhail Prokopenko
π PDF
π Adversarial Regression with Multiple Learners
π₯ Liang Tong, Sixie Yu, Scott Alfeld, Yevgeniy Vorobeychik
π PDF
π Decentralized Connectivity-Preserving Deployment of Large-Scale Robot Swarms
π₯ Nathalie Majcherczyk, Adhavan Jayabalan, Giovanni Beltrame, Carlo Pinciroli
π PDF
π An Ontology to Support Collective Intelligence in Decentralised Multi-Robot Systems
π₯ Pragna Das, Vincent Hilaire, Lluis Ribas-Xirgo
π PDF
π Learning Under Distributed Features
π₯ Bicheng Ying, Kun Yuan, Ali H. Sayed
π PDF
π Tangramob: an agent-based simulation framework for validating urban smart mobility solutions
π₯ Carlo Castagnari, Flavio Corradini, Francesco De Angelis, Jacopo de Berardinis, Giorgio Forcina, Andrea Polini
π PDF
π Analyzing Traffic Delay at Unmanaged Intersections
π₯ Changliu Liu, Mykel J. Kochenderfer
π PDF
π Reconciling complexities: for a stronger integration of approaches to complex socio-technical systems
π₯ Juste Raimbault
π PDF
#MultiagentSystems
AI Python & arXiv Channel
Multiagent Systems
#MultiagentSystems
π 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
π Partial Replanning for Decentralized Dynamic Task Allocation
π₯ Noam Buckman, Han-Lim Choi, Jonathan P. How
π PDF
π Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
π₯ Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
π PDF
π Multi-Agent Path Finding with Deadlines
π₯ Hang Ma, Glenn Wagner, Ariel Felner, Jiaoyang Li, T. K. Satish Kumar, Sven Koenig
π PDF
π Swarming for Faster Convergence in Stochastic Optimization
π₯ Shi Pu, Alfredo Garcia
π PDF
π Noise-based control of social dynamics
π₯ Wei Su, Ge Chen
π PDF
π Using Social Network Information in Bayesian Truth Discovery
π₯ Jielong Yang, Junshan Wang, Wee Peng Tay
π PDF
π Investigating Spatiotemporal Dynamics and Synchrony of Influenza Epidemics in Australia: An Agent-Based Modelling Approach
π₯ Oliver M. Cliff, Nathan Harding, Mahendra Piraveenan, E. Yagmur Erten, Manoj Gambhir, Mikhail Prokopenko
π PDF
π Adversarial Regression with Multiple Learners
π₯ Liang Tong, Sixie Yu, Scott Alfeld, Yevgeniy Vorobeychik
π PDF
π Decentralized Connectivity-Preserving Deployment of Large-Scale Robot Swarms
π₯ Nathalie Majcherczyk, Adhavan Jayabalan, Giovanni Beltrame, Carlo Pinciroli
π PDF
π An Ontology to Support Collective Intelligence in Decentralised Multi-Robot Systems
π₯ Pragna Das, Vincent Hilaire, Lluis Ribas-Xirgo
π PDF
π Learning Under Distributed Features
π₯ Bicheng Ying, Kun Yuan, Ali H. Sayed
π PDF
π Tangramob: an agent-based simulation framework for validating urban smart mobility solutions
π₯ Carlo Castagnari, Flavio Corradini, Francesco De Angelis, Jacopo de Berardinis, Giorgio Forcina, Andrea Polini
π PDF
π Analyzing Traffic Delay at Unmanaged Intersections
π₯ Changliu Liu, Mykel J. Kochenderfer
π PDF
π Reconciling complexities: for a stronger integration of approaches to complex socio-technical systems
π₯ Juste Raimbault
π PDF
#MultiagentSystems
AI Python & arXiv Channel
Latest Published Articles:
Multimedia
#Multimedia
π Cross-modal Hallucination for Few-shot Fine-grained Recognition
π₯ Frederik Pahde, Patrick JΓ€hnichen, Tassilo Klein, Moin Nabi
π PDF
π iParaphrasing: Extracting Visually Grounded Paraphrases via an Image
π₯ Chenhui Chu, Mayu Otani, Yuta Nakashima
π PDF
π Grayscale-based Block Scrambling Image Encryption for Social Networking Services
π₯ Warit Sirichotedumrong, Tatsuya Chuman, Shoko Imaizumi, Hitoshi Kiya
π PDF
π Hierarchical Information Quadtree: Efficient Spatial Temporal Image Search for Multimedia Stream
π₯ Chengyuan Zhang, Ruipeng Chen, Lei Zhu, Anfeng Liu, Yunwu Lin, Fang Huang
π PDF
π Hierarchy of GANs for learning embodied self-awareness model
π₯ Mahdyar Ravanbakhsh, Mohamad Baydoun, Damian Campo, Pablo Marin, David Martin, Lucio Marcenaro, Carlo S. Regazzoni
π PDF
π Convolutional Video Steganography with Temporal Residual Modeling
π₯ Xinyu Weng, Yongzhi Li, Lu Chi, Yadong Mu
π PDF
π FastScan: Robust Low-Complexity Rate Adaptation Algorithm for Video Streaming over HTTP
π₯ Anis Elgabli, Vaneet Aggarwal
π PDF
π Double JPEG Compression Detection by Exploring the Correlations in DCT Domain
π₯ Pengpeng Yang, Rongrong Ni, Yao Zhao
π PDF
π Revisiting Singing Voice Detection: a Quantitative Review and the Future Outlook
π₯ Kyungyun Lee, Keunwoo Choi, Juhan Nam
π PDF
π Confidence Interval Estimators for MOS Values
π₯ Tobias Hossfeld, Poul E. Heegaard, Martin Varela, Lea Skorin-Kapov
π PDF
π Sloth Search System at the Video Browser Showdown 2018 - Final Notes
π₯ Nattachai Watcharapinchai, Sitapa Rujikietgumjorn, Sanparith Marukatat
π PDF
π Patch-Based Image Hallucination for Super Resolution with Detail Reconstruction from Similar Sample Images
π₯ Chieh-Chi Kao, Yuxiang Wang, Jonathan Waltman, Pradeep Sen
π PDF
π Efficient Interactive Search for Geo-tagged Multimedia Data
π₯ Jun Long, Lei Zhu, Chengyuan Zhang, Zhan Yang, Yunwu Lin, Ruipeng Chen
π PDF
π A Revision Control System for Image Editing in Collaborative Multimedia Design
π₯ Fabio Calefato, Giovanna Castellano, Veronica Rossano
π PDF
π Synchronous Prediction of Arousal and Valence Using LSTM Network for Affective Video Content Analysis
π₯ Ligang Zhang, Jiulong Zhang
π PDF
#Multimedia
AI Python & arXiv Channel
Multimedia
#Multimedia
π Cross-modal Hallucination for Few-shot Fine-grained Recognition
π₯ Frederik Pahde, Patrick JΓ€hnichen, Tassilo Klein, Moin Nabi
π PDF
π iParaphrasing: Extracting Visually Grounded Paraphrases via an Image
π₯ Chenhui Chu, Mayu Otani, Yuta Nakashima
π PDF
π Grayscale-based Block Scrambling Image Encryption for Social Networking Services
π₯ Warit Sirichotedumrong, Tatsuya Chuman, Shoko Imaizumi, Hitoshi Kiya
π PDF
π Hierarchical Information Quadtree: Efficient Spatial Temporal Image Search for Multimedia Stream
π₯ Chengyuan Zhang, Ruipeng Chen, Lei Zhu, Anfeng Liu, Yunwu Lin, Fang Huang
π PDF
π Hierarchy of GANs for learning embodied self-awareness model
π₯ Mahdyar Ravanbakhsh, Mohamad Baydoun, Damian Campo, Pablo Marin, David Martin, Lucio Marcenaro, Carlo S. Regazzoni
π PDF
π Convolutional Video Steganography with Temporal Residual Modeling
π₯ Xinyu Weng, Yongzhi Li, Lu Chi, Yadong Mu
π PDF
π FastScan: Robust Low-Complexity Rate Adaptation Algorithm for Video Streaming over HTTP
π₯ Anis Elgabli, Vaneet Aggarwal
π PDF
π Double JPEG Compression Detection by Exploring the Correlations in DCT Domain
π₯ Pengpeng Yang, Rongrong Ni, Yao Zhao
π PDF
π Revisiting Singing Voice Detection: a Quantitative Review and the Future Outlook
π₯ Kyungyun Lee, Keunwoo Choi, Juhan Nam
π PDF
π Confidence Interval Estimators for MOS Values
π₯ Tobias Hossfeld, Poul E. Heegaard, Martin Varela, Lea Skorin-Kapov
π PDF
π Sloth Search System at the Video Browser Showdown 2018 - Final Notes
π₯ Nattachai Watcharapinchai, Sitapa Rujikietgumjorn, Sanparith Marukatat
π PDF
π Patch-Based Image Hallucination for Super Resolution with Detail Reconstruction from Similar Sample Images
π₯ Chieh-Chi Kao, Yuxiang Wang, Jonathan Waltman, Pradeep Sen
π PDF
π Efficient Interactive Search for Geo-tagged Multimedia Data
π₯ Jun Long, Lei Zhu, Chengyuan Zhang, Zhan Yang, Yunwu Lin, Ruipeng Chen
π PDF
π A Revision Control System for Image Editing in Collaborative Multimedia Design
π₯ Fabio Calefato, Giovanna Castellano, Veronica Rossano
π PDF
π Synchronous Prediction of Arousal and Valence Using LSTM Network for Affective Video Content Analysis
π₯ Ligang Zhang, Jiulong Zhang
π PDF
#Multimedia
AI Python & arXiv Channel
Latest Published Articles:
Mathematical Software
#MathematicalSoftware
π Far-HO: A Bilevel Programming Package for Hyperparameter Optimization and Meta-Learning
π₯ Luca Franceschi, Riccardo Grazzi, Massimiliano Pontil, Saverio Salzo, Paolo Frasconi
π PDF
π Generalized Polylogarithms in Maple
π₯ Hjalte Frellesvig
π PDF
π Efficient Differentiable Programming in a Functional Array-Processing Language
π₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
π PDF
π A FORTRAN Package for Efficient Multi-Accuracy Computations of the Faddeyeva Function and Related Functions of Complex Arguments
π₯ Mofreh R Zaghloul
π PDF
π Optimizing Sparse Matrix-Vector Multiplication on Emerging Many-Core Architectures
π₯ Shizhao Chen, Jianbin Fang, Donglin Chen, Chuanfu Xu, Zheng Wang
π PDF
π Particle-based simulations of reaction-diffusion processes with Aboria
π₯ Maria Bruna, Philip K. Maini, Martin Robinson
π PDF
π COREclust: a new package for a robust and scalable analysis of complex data
π₯ Camille Champion, Anne-Claire Brunet, Jean-Michel Loubes, Laurent Risser
π PDF
π A Scalable and Modular Software Architecture for Finite Elements on Hierarchical Hybrid Grids
π₯ Nils Kohl, Dominik ThΓΆnnes, Daniel Drzisga, Dominik Bartuschat, Ulrich RΓΌde
π PDF
π ChASE: Chebyshev Accelerated Subspace iteration Eigensolver for sequences of Hermitian eigenvalue problems
π₯ Jan Winkelmann, Paul Springer, Edoardo Di Napoli
π PDF
π geomstats: a Python Package for Riemannian Geometry in Machine Learning
π₯ Nina Miolane, Johan Mathe, Claire Donnat, Mikael Jorda, Xavier Pennec
π PDF
π CUDACLAW: A high-performance programmable GPU framework for the solution of hyperbolic PDEs
π₯ H. Gorune Ohannessian, George Turkiyyah, Aron Ahmadia, David Ketcheson
π PDF
π The EPFL Logic Synthesis Libraries
π₯ Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli
π PDF
π Program Generation for Small-Scale Linear Algebra Applications
π₯ Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, Markus Pueschel
π PDF
π MPI+X: task-based parallelization and dynamic load balance of finite element assembly
π₯ Marta Garcia-Gasulla, Guillaume Houzeaux, Roger Ferrer, Antoni Artigues, Victor LΓ³pez, JesΓΊs Labarta, Mariano VΓ‘zquez
π PDF
π A User-Friendly Hybrid Sparse Matrix Class in C++
π₯ Conrad Sanderson, Ryan Curtin
π PDF
#MathematicalSoftware
AI Python & arXiv Channel
Mathematical Software
#MathematicalSoftware
π Far-HO: A Bilevel Programming Package for Hyperparameter Optimization and Meta-Learning
π₯ Luca Franceschi, Riccardo Grazzi, Massimiliano Pontil, Saverio Salzo, Paolo Frasconi
π PDF
π Generalized Polylogarithms in Maple
π₯ Hjalte Frellesvig
π PDF
π Efficient Differentiable Programming in a Functional Array-Processing Language
π₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
π PDF
π A FORTRAN Package for Efficient Multi-Accuracy Computations of the Faddeyeva Function and Related Functions of Complex Arguments
π₯ Mofreh R Zaghloul
π PDF
π Optimizing Sparse Matrix-Vector Multiplication on Emerging Many-Core Architectures
π₯ Shizhao Chen, Jianbin Fang, Donglin Chen, Chuanfu Xu, Zheng Wang
π PDF
π Particle-based simulations of reaction-diffusion processes with Aboria
π₯ Maria Bruna, Philip K. Maini, Martin Robinson
π PDF
π COREclust: a new package for a robust and scalable analysis of complex data
π₯ Camille Champion, Anne-Claire Brunet, Jean-Michel Loubes, Laurent Risser
π PDF
π A Scalable and Modular Software Architecture for Finite Elements on Hierarchical Hybrid Grids
π₯ Nils Kohl, Dominik ThΓΆnnes, Daniel Drzisga, Dominik Bartuschat, Ulrich RΓΌde
π PDF
π ChASE: Chebyshev Accelerated Subspace iteration Eigensolver for sequences of Hermitian eigenvalue problems
π₯ Jan Winkelmann, Paul Springer, Edoardo Di Napoli
π PDF
π geomstats: a Python Package for Riemannian Geometry in Machine Learning
π₯ Nina Miolane, Johan Mathe, Claire Donnat, Mikael Jorda, Xavier Pennec
π PDF
π CUDACLAW: A high-performance programmable GPU framework for the solution of hyperbolic PDEs
π₯ H. Gorune Ohannessian, George Turkiyyah, Aron Ahmadia, David Ketcheson
π PDF
π The EPFL Logic Synthesis Libraries
π₯ Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli
π PDF
π Program Generation for Small-Scale Linear Algebra Applications
π₯ Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, Markus Pueschel
π PDF
π MPI+X: task-based parallelization and dynamic load balance of finite element assembly
π₯ Marta Garcia-Gasulla, Guillaume Houzeaux, Roger Ferrer, Antoni Artigues, Victor LΓ³pez, JesΓΊs Labarta, Mariano VΓ‘zquez
π PDF
π A User-Friendly Hybrid Sparse Matrix Class in C++
π₯ Conrad Sanderson, Ryan Curtin
π PDF
#MathematicalSoftware
AI Python & arXiv Channel
Latest Published Articles:
Numerical Analysis
#NumericalAnalysis
π Ranking Recovery from Limited Comparisons using Low-Rank Matrix Completion
π₯ Tal Levy, Alireza Vahid, Raja Giryes
π PDF
π Solutions of New Potential Integral Equations Using MLFMA Based on the Approximate Stable Diagonalization
π₯ Ugur Meric Gur, Ozgur Ergul
π PDF
π FESTUNG: A MATLAB /GNU Octave toolbox for the discontinuous Galerkin method. Part IV: Generic problem framework and model-coupling interface
π₯ Balthasar Reuter, Andreas Rupp, Vadym Aizinger, Florian Frank, Peter Knabner
π PDF
π Adaptive MCMC via Combining Local Samplers
π₯ Kiarash Shaloudegi, AndrΓ‘s GyΓΆrgy
π PDF
π Hyperviscosity-Based Stabilization for Radial Basis Function-Finite Difference (RBF-FD) Discretizations of Advection-Diffusion Equations
π₯ Varun Shankar, Aaron L. Fogelson
π PDF
π A Stein variational Newton method
π₯ Gianluca Detommaso, Tiangang Cui, Youssef Marzouk, Robert Scheichl, Alessio Spantini
π PDF
π A parallel algorithm for Gaussian elimination over finite fields
π₯ Stephen Linton, Gabriele Nebe, Alice Niemeyer, Richard Parker, Jon Thackray
π PDF
π A Deep Neural Network Surrogate for High-Dimensional Random Partial Differential Equations
π₯ Mohammad Amin Nabian, Hadi Meidani
π PDF
π A Generalized Matrix Splitting Algorithm
π₯ Ganzhao Yuan, Wei-Shi Zheng, Li Shen, Bernard Ghanem
π PDF
π A Projection Method for Metric-Constrained Optimization
π₯ Nate Veldt, David Gleich, Anthony Wirth, James Saunderson
π PDF
π RG Smoothing Algorithm Which Makes Data Compression
π₯ Anna Sinelnikova
π PDF
π A FORTRAN Package for Efficient Multi-Accuracy Computations of the Faddeyeva Function and Related Functions of Complex Arguments
π₯ Mofreh R Zaghloul
π PDF
π Numerical Integration as an Initial Value Problem
π₯ Daniel Gebremedhin, Charles Weatherford
π PDF
π A Robust Iterative Scheme for Symmetric Indefinite Systems
π₯ Murat Manguoglu, Volker Mehrmann
π PDF
π Polynomial Factorization Is Simple and Helpful -- More So Than It Seems to Be
π₯ Victor Y. Pan
π PDF
#NumericalAnalysis
AI Python & arXiv Channel
Numerical Analysis
#NumericalAnalysis
π Ranking Recovery from Limited Comparisons using Low-Rank Matrix Completion
π₯ Tal Levy, Alireza Vahid, Raja Giryes
π PDF
π Solutions of New Potential Integral Equations Using MLFMA Based on the Approximate Stable Diagonalization
π₯ Ugur Meric Gur, Ozgur Ergul
π PDF
π FESTUNG: A MATLAB /GNU Octave toolbox for the discontinuous Galerkin method. Part IV: Generic problem framework and model-coupling interface
π₯ Balthasar Reuter, Andreas Rupp, Vadym Aizinger, Florian Frank, Peter Knabner
π PDF
π Adaptive MCMC via Combining Local Samplers
π₯ Kiarash Shaloudegi, AndrΓ‘s GyΓΆrgy
π PDF
π Hyperviscosity-Based Stabilization for Radial Basis Function-Finite Difference (RBF-FD) Discretizations of Advection-Diffusion Equations
π₯ Varun Shankar, Aaron L. Fogelson
π PDF
π A Stein variational Newton method
π₯ Gianluca Detommaso, Tiangang Cui, Youssef Marzouk, Robert Scheichl, Alessio Spantini
π PDF
π A parallel algorithm for Gaussian elimination over finite fields
π₯ Stephen Linton, Gabriele Nebe, Alice Niemeyer, Richard Parker, Jon Thackray
π PDF
π A Deep Neural Network Surrogate for High-Dimensional Random Partial Differential Equations
π₯ Mohammad Amin Nabian, Hadi Meidani
π PDF
π A Generalized Matrix Splitting Algorithm
π₯ Ganzhao Yuan, Wei-Shi Zheng, Li Shen, Bernard Ghanem
π PDF
π A Projection Method for Metric-Constrained Optimization
π₯ Nate Veldt, David Gleich, Anthony Wirth, James Saunderson
π PDF
π RG Smoothing Algorithm Which Makes Data Compression
π₯ Anna Sinelnikova
π PDF
π A FORTRAN Package for Efficient Multi-Accuracy Computations of the Faddeyeva Function and Related Functions of Complex Arguments
π₯ Mofreh R Zaghloul
π PDF
π Numerical Integration as an Initial Value Problem
π₯ Daniel Gebremedhin, Charles Weatherford
π PDF
π A Robust Iterative Scheme for Symmetric Indefinite Systems
π₯ Murat Manguoglu, Volker Mehrmann
π PDF
π Polynomial Factorization Is Simple and Helpful -- More So Than It Seems to Be
π₯ Victor Y. Pan
π PDF
#NumericalAnalysis
AI Python & arXiv Channel
Latest Published Articles:
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing
π Theory of Estimation-of-Distribution Algorithms
π₯ Martin S. Krejca, Carsten Witt
π PDF
π Parameter Learning and Change Detection Using a Particle Filter With Accelerated Adaptation
π₯ Karol Gellert, Erik SchlΓΆgl
π PDF
π Apuntes de Redes Neuronales Artificiales
π₯ J. C. Cuevas-Tello
π PDF
π Manifold Mixup: Encouraging Meaningful On-Manifold Interpolation as a Regularizer
π₯ Vikas Verma, Alex Lamb, Christopher Beckham, Aaron Courville, Ioannis Mitliagkis, Yoshua Bengio
π PDF
π Exploiting Inherent Error-Resiliency of Neuromorphic Computing to achieve Extreme Energy-Efficiency through Mixed-Signal Neurons
π₯ Baibhab Chatterjee, Priyadarshini Panda, Shovan Maity, Ayan Biswas, Kaushik Roy, Shreyas Sen
π PDF
π A Probabilistic U-Net for Segmentation of Ambiguous Images
π₯ Simon A. A. Kohl, Bernardino Romera-Paredes, Clemens Meyer, Jeffrey De Fauw, Joseph R. Ledsam, Klaus H. Maier-Hein, S. M. Ali Eslami, Danilo Jimenez Rezende, Olaf Ronneberger
π PDF
π Reservoir Computing Hardware with Cellular Automata
π₯ Alejandro MorΓ‘n, Christiam F. Frasser, Josep L. RossellΓ³
π PDF
π Unsupervised Adaptation with Interpretable Disentangled Representations for Distant Conversational Speech Recognition
π₯ Wei-Ning Hsu, Hao Tang, James Glass
π PDF
π Adversarial Attacks on Variational Autoencoders
π₯ George Gondim-Ribeiro, Pedro Tabacof, Eduardo Valle
π PDF
π Predicting Citation Counts with a Neural Network
π₯ Tobias Mistele, Tom Price, Sabine Hossenfelder
π PDF
π Benchmarking Evolutionary Algorithms For Real-valued Constrained Optimization - A Critical Review
π₯ Michael Hellwig, Hans-Georg Beyer
π PDF
π Combining Model-Free Q-Ensembles and Model-Based Approaches for Informed Exploration
π₯ Sreecharan Sankaranarayanan, Raghuram Mandyam Annasamy, Katia Sycara, Carolyn Penstein RosΓ©
π PDF
π Online Parallel Portfolio Selection with Heterogeneous Island Model
π₯ Ε tΔpΓ‘n Balcar, Martin PilΓ‘t
π PDF
π Using Chaos in Grey Wolf Optimizer and Application to Prime Factorization
π₯ Harshit Mehrotra, Dr. Saibal K. Pal
π PDF
π Optimizing Variational Quantum Circuits using Evolution Strategies
π₯ Johannes S. Otterbach
π PDF
#NeuralandEvolutionaryComputing
AI Python & arXiv Channel
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing
π Theory of Estimation-of-Distribution Algorithms
π₯ Martin S. Krejca, Carsten Witt
π PDF
π Parameter Learning and Change Detection Using a Particle Filter With Accelerated Adaptation
π₯ Karol Gellert, Erik SchlΓΆgl
π PDF
π Apuntes de Redes Neuronales Artificiales
π₯ J. C. Cuevas-Tello
π PDF
π Manifold Mixup: Encouraging Meaningful On-Manifold Interpolation as a Regularizer
π₯ Vikas Verma, Alex Lamb, Christopher Beckham, Aaron Courville, Ioannis Mitliagkis, Yoshua Bengio
π PDF
π Exploiting Inherent Error-Resiliency of Neuromorphic Computing to achieve Extreme Energy-Efficiency through Mixed-Signal Neurons
π₯ Baibhab Chatterjee, Priyadarshini Panda, Shovan Maity, Ayan Biswas, Kaushik Roy, Shreyas Sen
π PDF
π A Probabilistic U-Net for Segmentation of Ambiguous Images
π₯ Simon A. A. Kohl, Bernardino Romera-Paredes, Clemens Meyer, Jeffrey De Fauw, Joseph R. Ledsam, Klaus H. Maier-Hein, S. M. Ali Eslami, Danilo Jimenez Rezende, Olaf Ronneberger
π PDF
π Reservoir Computing Hardware with Cellular Automata
π₯ Alejandro MorΓ‘n, Christiam F. Frasser, Josep L. RossellΓ³
π PDF
π Unsupervised Adaptation with Interpretable Disentangled Representations for Distant Conversational Speech Recognition
π₯ Wei-Ning Hsu, Hao Tang, James Glass
π PDF
π Adversarial Attacks on Variational Autoencoders
π₯ George Gondim-Ribeiro, Pedro Tabacof, Eduardo Valle
π PDF
π Predicting Citation Counts with a Neural Network
π₯ Tobias Mistele, Tom Price, Sabine Hossenfelder
π PDF
π Benchmarking Evolutionary Algorithms For Real-valued Constrained Optimization - A Critical Review
π₯ Michael Hellwig, Hans-Georg Beyer
π PDF
π Combining Model-Free Q-Ensembles and Model-Based Approaches for Informed Exploration
π₯ Sreecharan Sankaranarayanan, Raghuram Mandyam Annasamy, Katia Sycara, Carolyn Penstein RosΓ©
π PDF
π Online Parallel Portfolio Selection with Heterogeneous Island Model
π₯ Ε tΔpΓ‘n Balcar, Martin PilΓ‘t
π PDF
π Using Chaos in Grey Wolf Optimizer and Application to Prime Factorization
π₯ Harshit Mehrotra, Dr. Saibal K. Pal
π PDF
π Optimizing Variational Quantum Circuits using Evolution Strategies
π₯ Johannes S. Otterbach
π PDF
#NeuralandEvolutionaryComputing
AI Python & arXiv Channel
Latest Published Articles:
Networking and Internet Architecture
#NetworkingandInternetArchitecture
π Micro Congestion Control: Every Flow Deserves a Second Chance
π₯ Kefan Chen, Fengyuan Ren
π PDF
π Performance of Caching-Based D2D Video Distribution with Measured Popularity Distributions
π₯ Ming-Chun Lee, Mingyue Ji, Andreas F. Molisch, Nishanth Sastry
π PDF
π A Hybrid RF-VLC System for Energy Efficient Wireless Access
π₯ Abdallah Khreishah, Sihua Shao, Ammar Gharaibeh, Moussa Ayyash, Hany Elgala, Nirwan Ansari
π PDF
π An Analytical Model for Wireless Mesh Networks with Collision-Free TDMA and Finite Queues
π₯ Florian Kauer, Volker Turau
π PDF
π A City-Scale ITS-G5 Network for Next-Generation Intelligent Transportation Systems: Design Insights and Challenges
π₯ Ioannis Mavromatis, Andrea Tassi, Robert J. Piechocki, Andrew Nix
π PDF
π Next generation portal for federated testbeds MySlice v2: from prototype to production
π₯ LoΓ―c Baron, Radomir Klacza, Pauline Gaudet-Chardonnet, Amira Bradai, Ciro Scognamiglio, Serge Fdida
π PDF
π Rate Control under Finite Blocklength for Downlink Cellular Networks with Reliability Constraints
π₯ Onel L. Alcaraz Lopez, Hirley Alves, Matti Latva-aho
π PDF
π P4CEP: Towards In-Network Complex Event Processing
π₯ Thomas Kohler, Ruben Mayer, Frank DΓΌrr, Marius MaaΓ, Sukanya Bhowmik, Kurt Rothermel
π PDF
π Blockchain Enabled Enhanced IoT Ecosystem Security
π₯ Mahdi H. Miraz, Maaruf Ali
π PDF
π Opportunistic Edge Computing: Concepts, Opportunities and Research Challenges
π₯ Richard Olaniyan, Olamilekan Fadahunsi, Muthucumaru Maheswaran, Mohamed Faten Zhani
π PDF
π Stochastic Geometric Coverage Analysis in mmWave Cellular Networks with Realistic Channel and Antenna Radiation Models
π₯ Mattia Rebato, Jihong Park, Petar Popovski, Elisabeth De Carvalho, Michele Zorzi
π PDF
π An Efficient Flow-based Multi-level Hybrid Intrusion Detection System for Software-Defined Networks
π₯ Majd Latah, Levent Toker
π PDF
π Air-Ground Integrated Vehicular Network Slicing with Content Pushing and Caching
π₯ Shan Zhang, Wei Quan, Junling Li, Weisen Shi, Peng Yang, Xuemin Shen
π PDF
π Multi-User Preemptive Scheduling for Critical Low Latency Communications in 5G Networks
π₯ Ali A. Esswie, Klaus I. Pedersen
π PDF
π LPOS: Location Privacy for Optimal Sensing in Cognitive Radio Networks
π₯ Mohamed Grissa, Attila Yavuz, Bechir Hamdaoui
π PDF
#NetworkingandInternetArchitecture
AI Python & arXiv Channel
Networking and Internet Architecture
#NetworkingandInternetArchitecture
π Micro Congestion Control: Every Flow Deserves a Second Chance
π₯ Kefan Chen, Fengyuan Ren
π PDF
π Performance of Caching-Based D2D Video Distribution with Measured Popularity Distributions
π₯ Ming-Chun Lee, Mingyue Ji, Andreas F. Molisch, Nishanth Sastry
π PDF
π A Hybrid RF-VLC System for Energy Efficient Wireless Access
π₯ Abdallah Khreishah, Sihua Shao, Ammar Gharaibeh, Moussa Ayyash, Hany Elgala, Nirwan Ansari
π PDF
π An Analytical Model for Wireless Mesh Networks with Collision-Free TDMA and Finite Queues
π₯ Florian Kauer, Volker Turau
π PDF
π A City-Scale ITS-G5 Network for Next-Generation Intelligent Transportation Systems: Design Insights and Challenges
π₯ Ioannis Mavromatis, Andrea Tassi, Robert J. Piechocki, Andrew Nix
π PDF
π Next generation portal for federated testbeds MySlice v2: from prototype to production
π₯ LoΓ―c Baron, Radomir Klacza, Pauline Gaudet-Chardonnet, Amira Bradai, Ciro Scognamiglio, Serge Fdida
π PDF
π Rate Control under Finite Blocklength for Downlink Cellular Networks with Reliability Constraints
π₯ Onel L. Alcaraz Lopez, Hirley Alves, Matti Latva-aho
π PDF
π P4CEP: Towards In-Network Complex Event Processing
π₯ Thomas Kohler, Ruben Mayer, Frank DΓΌrr, Marius MaaΓ, Sukanya Bhowmik, Kurt Rothermel
π PDF
π Blockchain Enabled Enhanced IoT Ecosystem Security
π₯ Mahdi H. Miraz, Maaruf Ali
π PDF
π Opportunistic Edge Computing: Concepts, Opportunities and Research Challenges
π₯ Richard Olaniyan, Olamilekan Fadahunsi, Muthucumaru Maheswaran, Mohamed Faten Zhani
π PDF
π Stochastic Geometric Coverage Analysis in mmWave Cellular Networks with Realistic Channel and Antenna Radiation Models
π₯ Mattia Rebato, Jihong Park, Petar Popovski, Elisabeth De Carvalho, Michele Zorzi
π PDF
π An Efficient Flow-based Multi-level Hybrid Intrusion Detection System for Software-Defined Networks
π₯ Majd Latah, Levent Toker
π PDF
π Air-Ground Integrated Vehicular Network Slicing with Content Pushing and Caching
π₯ Shan Zhang, Wei Quan, Junling Li, Weisen Shi, Peng Yang, Xuemin Shen
π PDF
π Multi-User Preemptive Scheduling for Critical Low Latency Communications in 5G Networks
π₯ Ali A. Esswie, Klaus I. Pedersen
π PDF
π LPOS: Location Privacy for Optimal Sensing in Cognitive Radio Networks
π₯ Mohamed Grissa, Attila Yavuz, Bechir Hamdaoui
π PDF
#NetworkingandInternetArchitecture
AI Python & arXiv Channel
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