Search Results - "algorithms with oracles"

Quantum Algorithms and Oracles with the Scalable ZX-calculus

Authors: Simon Perdrix Titouan Carette Yohann D'Anello

Source: Electronic Proceedings in Theoretical Computer Science. 343:193-209

Subject Terms: Quantum Physics, 0103 physical sciences, FOS: Physical sciences, Quantum Physics (quant-ph), 01 natural sciences

Access URL: https://arxiv.org/pdf/2104.01043
http://arxiv.org/abs/2104.01043
http://export.arxiv.org/pdf/2104.01043
https://arxiv.org/abs/2104.01043
https://arxiv.org/pdf/2104.01043.pdf
http://ui.adsabs.harvard.edu/abs/2021arXiv210401043C/abstract

Bobby, lunch is darkness.

Authors: Matthews, Alison

Source: International Journal of Performance Arts & Digital Media; Jul2025, Vol. 21 Issue 2, p362-377, 16p

Subject Terms: ALGORITHMS, PERFORMANCE art, AUDIOVISUAL presentations, INTERACTIVE art, DRAMATISTS

People: LYNCH, David, 1946-2025

On the Accepting Density Hierarchy in NP: On the accepting density hierarchy in NP

Authors: Shlomo Moran

Source: SIAM Journal on Computing. 11:344-349

Subject Terms: 0106 biological sciences, algorithms with oracles, Analysis of algorithms and problem complexity, nondeterministic algorithms, 0102 computer and information sciences, probabilistic algorithms, Algorithms in computer science, 01 natural sciences

File Description: application/xml

Access URL: https://zbmath.org/3752214
https://doi.org/10.1137/0211026
https://epubs.siam.org/doi/10.1137/0211026
https://doi.org/10.1137/0211026
https://dblp.uni-trier.de/db/journals/siamcomp/siamcomp11.html#Moran82

Playing Large Games with Oracles and AI Debate

Authors: Chen, Xinyi Chen, Angelica Foster, Dean et al.

Index Terms: Computer Science - Computer Science and Game Theory, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2312.04792

Differential Testing of Pushdown Reachability with a Formally Verified Oracle

Authors: Griggio, Alberto Rungta, Neha Schlichtkrull, Anders et al.

Source: Schlichtkrull , A , Schou , M K , Srba , J & Traytel , D 2022 , Differential Testing of Pushdown Reachability with a Formally Verified Oracle . in A Griggio & N Rungta (eds) , Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022 . TU Wien Academic Press , pp. 369-379 , 22nd International Conference on Formal Methods in Computer-Aided Design, FMCAD 2022 , Trento , Italy , 17/10/2022 .

Index Terms: contributionToPeriodical

URL: https://researchprofiles.ku.dk/da/publications/differential-testing-of-pushdown-reachability-with-a-formally-verified-oracle(dfd28a20-c8a9-4bcc-a5b3-7546f23820d9).html
https://doi.org/10.34727/2022/isbn.978-3-85448-053-2-44
http://www.scopus.com/inward/record.url?scp=85148085838&partnerID=8YFLogxK
https://library.oapen.org/handle/20.500.12657/58896

Quantum Software Engineering: Roadmap and Challenges Ahead.

Authors: Murillo, Juan Manuel Garcia-Alonso, Jose Moguel, Enrique et al.

Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-48, 48p

Subject Terms: QUANTUM computing, RESEARCH personnel, METHODS engineering, COMPUTER software

Universal distributed blind quantum computing with solid-state qubits.

Authors: Wei, Y.-C. Stas, P.-J. Suleymanzade, A. et al.

Source: Science; 5/1/2025, Vol. 388 Issue 6746, p509-513, 5p

Subject Terms: QUANTUM computing, QUANTUM computers, NANOPHOTONICS, ALGORITHMS

A comprehensive study of quantum arithmetic circuits.

Authors: Wang, Siyi Li, Xiufan Lee, Wei Jie Bryan et al.

Source: Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences; 1/16/2025, Vol. 383 Issue 2288, p1-37, 37p

Subject Terms: ADDITION (Mathematics), QUANTUM computing, TECHNOLOGICAL innovations, COMPUTING platforms, QUANTUM efficiency

Skills Required for Quantum Computing: A Comprehensive Review of Recent Studies.

Authors: Juárez-Ramírez, Reyes Jiménez, Samantha Navarro, Christian X. et al.

Source: Programming & Computer Software; Dec2024, Vol. 50 Issue 8, p844-874, 31p

Subject Terms: QUANTUM computing, QUANTUM theory, QUANTUM mechanics, SOFT skills, LABOR market

Active learning with human heuristics: an algorithm robust to labeling bias.

Authors: Ravichandran, Sriram Sudarsanam, Nandan Ravindran, Balaraman et al.

Source: Frontiers in Artificial Intelligence; 2024, p1-16, 16p

STRING DIAGRAMS FOR STRICTIFICATION AND COHERENCE.

Authors: WILSON, PAUL GHICA, DAN ZANASI, FABIO

Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p8:1-8:24, 24p

Subject Terms: MONOIDAL categories, PROGRAMMING languages, COMPUTER science, DIGITAL electronics

Ontologies and Worlds: The Price of Being Free.

Authors: Kockelman, Paul

Source: Current Anthropology; Oct2024, Vol. 65 Issue 5, p922-927, 6p

Subject Terms: ONTOLOGY, ANTHROPOLOGY, POSSIBLE worlds, DICTA (Law), ETHNOLOGY

On Counting Oracles for Path Problems

Authors: Searns, Andrew

Index Terms: Counting oracle, Path problems, Shortest paths, Separators, Data processing Computer science, InProceedings, publishedVersion

Contested Route Planning

Authors: Černý, Jakub Iyengar, Garud Kroer, Christian

Subject Terms: Computer Science and Game Theory, FOS: Computer and information sciences, Computer Science and Game Theory (cs.GT)

Access URL: http://arxiv.org/abs/2508.10189

Cryptanalysis of Ateniese–Steiner–Tsudik-Authenticated Group Key Management Protocol.

Authors: Camazón Portela, Daniel Otero Sánchez, Álvaro López-Ramos, Juan Antonio

Source: Applied Sciences (2076-3417); Sep2024, Vol. 14 Issue 18, p8179, 14p

Subject Terms: ELLIPTIC curve cryptography, CONTROL groups, CRYPTOGRAPHY

AI Frameworks Enabled by Blockchain

Authors: Vikram Dhillon David Metcalf Max Hooper

Resource Type: eBook.

Subjects: Blockchains (Databases), Artificial intelligence

Categories: COMPUTERS / Blockchain

Mechanism design for resource allocation with applications to centralized multi-commodity routing

Authors: Liu, Qipeng Liu, Yicheng Tang, Pingzhong

Index Terms: Computer Science - Computer Science and Game Theory, Computer Science - Multiagent Systems, text

URL: http://arxiv.org/abs/1503.06536

Polynomial-time algorithms for multimarginal optimal transport problems with structure.

Authors: Altschuler, Jason M. Boix-Adserà, Enric

Source: Mathematical Programming; May2023, Vol. 199 Issue 1/2, p1107-1178, 72p

Subject Terms: ALGORITHMS, COST structure, MACHINE learning

System for rapid subtitling

Authors: Harold Abelson. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Leonard, Sean Joseph

Index Terms: Electrical Engineering and Computer Science., Thesis

URL: http://hdl.handle.net/1721.1/36791

Bootstrapping Dynamic Distance Oracles

Authors: Forster, Sebastian Goranci, Gramoz Nazari, Yasamin et al.

Index Terms: Dynamic graph algorithms, Distance Oracles, Shortest Paths, Data processing Computer science, InProceedings, publishedVersion

URL: https://drops.dagstuhl.de/opus/volltexte/2023/18703/