Výsledky vyhľadávania - 2012 ACM Subject Classification Theory of computation → Quantum computation theory

A recipe for quantum graphical languages

Autori: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) a ďalší

Prispievatelia: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) a ďalší

Zdroj: ICALP 2020 ; https://hal.science/hal-02914177 ; ICALP 2020, 2020, Saarbrücken, Germany

Predmety: 2012 ACM Subject Classification Theory of computation → Quantum computation theory, Theory of computation → Semantics and reasoning, Mathematics of computing, Theory of computation → Equational logic and rewriting Keywords and phrases Categorical Quantum Mechanics, Quantum Computing, Category Theory Funding ANR-17-CE25-0009, PIA-GDN/Quantex, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]

Geografické téma: Saarbrücken, Germany

Relation: https://doi.org/10.4230/LIPIcs.ICALP.2020.118; info:eu-repo/semantics/altIdentifier/arxiv/2008.04193; ARXIV: 2008.04193

Dostupnosť: https://hal.science/hal-02914177
https://hal.science/hal-02914177v1/document
https://hal.science/hal-02914177v1/file/supparxiv.pdf

On a recipe for quantum graphical languages

Autori: Carette, Titouan Jeandel, Emmanuel Titouan Carette and Emmanuel Jeandel

Prispievatelia: Carette, Titouan Jeandel, Emmanuel Titouan Carette and Emmanuel Jeandel

Zdroj: arXiv: Logic in Computer Science.

Predmety: Category Theory Funding ANR-17-CE25-0009, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Quantum Physics, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], PIA-GDN/Quantex, FOS: Physical sciences, Categorical Quantum Mechanics, 16. Peace & justice, Mathematics of computing, 01 natural sciences, 2012 ACM Subject Classification Theory of computation → Quantum computation theory, Logic in Computer Science (cs.LO), Theory of computation → Equational logic and rewriting Keywords and phrases Categorical Quantum Mechanics, Category Theory, Quantum Computing, Theory of computation → Semantics and reasoning, ddc:004, 0101 mathematics, Quantum Physics (quant-ph), [PHYS.QPHY] Physics [physics]/Quantum Physics [quant-ph]

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2008.04193
https://hal.science/hal-02914177v1/document
https://hal.science/hal-02914177v1
https://arxiv.org/abs/2008.04193
https://ui.adsabs.harvard.edu/abs/2020arXiv200804193C/abstract
https://arxiv.org/pdf/2008.04193.pdf
http://export.arxiv.org/pdf/2008.04193
https://drops.dagstuhl.de/opus/volltexte/2020/12525/pdf/LIPIcs-ICALP-2020-118.pdf/
https://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-04193
https://hal.archives-ouvertes.fr/hal-02914177
https://cel.archives-ouvertes.fr/INRIA/hal-02914177v1
https://drops.dagstuhl.de/opus/volltexte/2020/12525/
https://hal.archives-ouvertes.fr/hal-02914177/document
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.118

Towards Local Testability for Quantum Coding

Autori: Leverrier, Anthony Londe, Vivien Zémor, Gilles a ďalší

Prispievatelia: Leverrier, Anthony Londe, Vivien Zémor, Gilles a ďalší

Zdroj: ITCS 2021 - 12th Conference on Innovations in Theoretical Computer Science ; https://hal.inria.fr/hal-03135738 ; ITCS 2021 - 12th Conference on Innovations in Theoretical Computer Science, Jan 2021, Washington / Virtual, United States. pp.65:1--65:11, ⟨10.4230/LIPIcs.ITCS.2021.65⟩

Predmety: Quantum error correcting code, 2012 ACM Subject Classification Theory of computation→Error-correcting codes, [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]

Geografické téma: Washington / Virtual, United States

Time: Washington / Virtual, United States

Relation: hal-03135738; https://hal.inria.fr/hal-03135738; https://hal.inria.fr/hal-03135738/document; https://hal.inria.fr/hal-03135738/file/LIPIcs-ITCS-2021-65.pdf

Dostupnosť: https://hal.inria.fr/hal-03135738
https://hal.inria.fr/hal-03135738/document
https://hal.inria.fr/hal-03135738/file/LIPIcs-ITCS-2021-65.pdf
https://doi.org/10.4230/LIPIcs.ITCS.2021.65

Introduction to Topological Quantum Matter & Quantum Computation

Autori: Tudor D. Stanescu

Typ zdroja: eBook.

Predmet: Quantum computing, Topology, Quantum theory--Data processing

Kategórie: SCIENCE / Physics / Condensed Matter, COMPUTERS / General, SCIENCE / Physics / General, SCIENCE / Physics / Quantum Theory, TECHNOLOGY & ENGINEERING / Materials Science / General

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autori: Parosh Aziz Abdulla Delia Kesner

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

CHEMICAL INSIGHTS: QUANTUM TECHNOLOGY REDEFINES COMPUTATIONAL DRUG DEVELOPMENT.

Autori: Arora, Mihir Tathed, Roshan Kulkarni, Preeti a ďalší

Zdroj: Indian Drugs; Mar2025, Vol. 62 Issue 3, p7-20, 14p

Predmety: DRUG discovery, GENETIC privacy, DRUG design, COMPUTATIONAL chemistry, QUANTUM computing

The Problem-Ladenness of Theory.

Autori: Levenstein, Daniel De Santo, Aniello Heijnen, Saskia a ďalší

Zdroj: Computational Brain & Behavior; Dec2024, Vol. 7 Issue 4, p548-571, 24p

Foundations of Software Science and Computation Structures

Autori: Patricia Bouyer Lutz Schröder

Typ zdroja: eBook.

Predmet: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Autori: Christel Baier Ugo Dal Lago

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

Simulating Subjects: The Promise and Peril of Artificial Intelligence Stand-Ins for Social Agents and Interactions.

Autori: Kozlowski, Austin C. Evans, James

Zdroj: Sociological Methods & Research; Aug2025, Vol. 54 Issue 3, p1017-1073, 57p

Predmety: ARTIFICIAL neural networks, MACHINE learning, LANGUAGE models, GENERATIVE artificial intelligence, COMPUTATIONAL intelligence

Hypergraph Computation

Autori: Qionghai Dai Yue Gao

Typ zdroja: eBook.

Predmet: Hypergraphs, Artificial intelligence--Mathematics

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, MATHEMATICS / Probability & Statistics / General

Quantum-Inspired Multi-Objective Seahorse Optimizer for Predictive Maintenance Analysis Using Numerical Association Rule Mining.

Autori: Yacoubi, Salma Manita, Ghaith Chhabra, Amit a ďalší

Zdroj: Cognitive Computation; Aug2025, Vol. 17 Issue 4, p1-45, 45p

Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autori: Orna Kupferman Pawel Sobocinski

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science

Hybrid Quantum Image Classification and Federated Learning for Hepatic Steatosis Diagnosis.

Autori: Lusnig, Luca Sagingalieva, Asel Surmach, Mikhail a ďalší

Zdroj: Diagnostics (2075-4418); Mar2024, Vol. 14 Issue 5, p558, 16p

Predmety: IMAGE recognition (Computer vision), ARTIFICIAL neural networks, FEDERATED learning, DATA privacy, FATTY liver, MACHINE learning

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autori: Stefan Kiefer Christine Tasson

Typ zdroja: eBook.

Predmet: Software engineering--Congresses, Computer software--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing

Non-Contrast Brain CT Images Segmentation Enhancement: Lightweight Pre-Processing Model for Ultra-Early Ischemic Lesion Recognition and Segmentation.

Autori: Samarin, Aleksei Savelev, Alexander Toropov, Aleksei a ďalší

Zdroj: Journal of Imaging; Oct2025, Vol. 11 Issue 10, p359, 29p

On the Foundations of Computing. Computing as the Fourth Great Domain of Science.

Autori: Dodig-Crnkovic, Gordana

Zdroj: Axiomathes: Global Philosophy; Feb2023, Vol. 33 Issue 1, p1-22, 22p

AUTOMATED DETECTION OF PARKINSON'S DISEASE BASED ON HYBRID CNN AND QUANTUM MACHINE LEARNING TECHNIQUES IN MRI IMAGES.

Autori: Ahalya, R. K. Nkondo, Gloria F. Snekhalatha, U.

Zdroj: Biomedical Engineering: Applications, Basis & Communications; Apr2024, Vol. 36 Issue 2, p1-9, 9p

Predmety: MAGNETIC resonance imaging, MACHINE learning, ARTIFICIAL neural networks, QUANTUM computers, DIFFUSION magnetic resonance imaging, PATTERN recognition systems, DEEP learning

Secure Data Computation Using Deep Learning and Homomorphic Encryption: A Survey.

Autori: Al-Janabi, Anmar A. Al-Janabi, Sufyan T. Faraj Al-Khateeb, Belal

Zdroj: International Journal of Online & Biomedical Engineering; 2023, Vol. 19 Issue 11, p53-82, 30p

Introduction to Topological Quantum Matter & Quantum Computation

Autori: Tudor D. Stanescu

Typ zdroja: eBook.

Predmet: Topology, Quantum theory--Data processing, Quantum computing

Kategórie: SCIENCE / Physics / General, SCIENCE / Physics / Quantum Theory, SCIENCE / Physics / Condensed Matter, TECHNOLOGY & ENGINEERING / Materials Science / General