- Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility
2025/05/15 by Maurice Chiodo, Dennis Müller, Chiodo, Maurice +9 · 2 voices · 3 citations
Computer Science · Mathematics · Social Sciences · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #F.1 #FOS: Computer and information sciences #FOS: Mathematics #H.1.2 #History and Overview (math.HO) #Human-Computer Interaction (cs.HC) #I.2.0 #K.4.1 #cs.AI #cs.CY #cs.HC #math.HO
- Quantum Optimisation for Continuous Multivariable Functions by a Structured Search
2022/10/12 by Edric Matwiejew, Jason Pye, Matwiejew, Edric +3 · 3 citations
Computer Science · #68Q12 #Data Structures and Algorithms (cs.DS) #F.1 #FOS: Computer and information sciences #FOS: Physical sciences #G.3 #G.4 #I.6 #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails
2020/02/03 by Equi, Massimo, Mäkinen, Veli, Tomescu, Alexandru I. · 1 citation
#Computational Complexity (cs.CC) #E.1 #F.1 #F.2.2 #FOS: Computer and information sciences #G.2.2
- PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation
2002/05/04 by Robert A. Hearn, Erik D. Demaine, Hearn, Robert A. +1 · 7 citations
Computer Science · #Artificial Intelligence in Games #Computational Complexity (cs.CC) #Computational Geometry and Mesh Generation #Computer Science and Game Theory (cs.GT) #F.1 #F.2.2 #FOS: Computer and information sciences #Image Processing and 3D Reconstruction #cs.CC #cs.GT