Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Spencer Breiner"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 287, Iss Proc. QPL 2018, Pp 43-66 (2019)
Quantum self-testing addresses the following question: is it possible to verify the existence of a multipartite state even when one's measurement devices are completely untrusted? This problem has seen abundant activity in the last few years, particu
Externí odkaz:
https://doaj.org/article/36f2f87ddd1c41d1a6e50e166af538b0
Publikováno v:
Quantum, Vol 3, p 146 (2019)
We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptogr
Externí odkaz:
https://doaj.org/article/3695470555334b05890b24d7b0c9b5f4
Autor:
Spencer Breiner, John S. Nolan
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 333:33-48
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attributes into existing categorical formalisms for planning, namely those
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::653e7ad5864eac5b332259f0265f4de9
https://doi.org/10.4204/eptcs.333.3
https://doi.org/10.4204/eptcs.333.3
Publikováno v:
Proceedings of the Design Society: International Conference on Engineering Design. 1:1963-1972
In this paper we use formal tools from category theory to develop a foundation for creating and managing models in systems where knowledge is distributed across multiple representations and formats. We define a class of models which incorporate three
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76d41442323c4e353786a3d2bfdfa1be
https://doi.org/10.1017/dsi.2019.202
https://doi.org/10.1017/dsi.2019.202
In this paper we analyze elements of the Unified Modeling Language (UML), specifically the class diagram, and propose an simplified alternative language based on a branch of mathematics called category theory (CT). We argue that modeling in CT provid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a02d9b5dcb3fcfbb614ed8e07dba644
https://doi.org/10.6028/nist.ir.8358
https://doi.org/10.6028/nist.ir.8358
Publikováno v:
Proceedings. Mathematical, physical, and engineering sciences. 477(2250)
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support analysis at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f08be1ac7f5df5adf4bf694550f7b24
https://pubmed.ncbi.nlm.nih.gov/35153565
https://pubmed.ncbi.nlm.nih.gov/35153565
Publikováno v:
Comput Ind
Process plans provide a structure for 1) identifying the tasks involved in a given process, 2) the resources needed to accomplish them, and 3) a variety of relationships and constraints between these. This information guides important operational dec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::ed303f46c3e5bf467a3b14cb19115fd3
https://pubmed.ncbi.nlm.nih.gov/33100440
https://pubmed.ncbi.nlm.nih.gov/33100440
This paper applies operads and functorial semantics to address the problem of failure diagnosis in complex systems. We start with a concrete example, developing a hierarchical interaction model for the Length Scale Interferometer, a high-precision me
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d5a6c2a89e44252e802582cf2ef3ec9
http://arxiv.org/abs/2009.09848
http://arxiv.org/abs/2009.09848
Publikováno v:
IEEE Transactions on Systems, Man, and Cybernetics: Systems. 48:967-981
This paper presents a category theoretic ontology of Carnatic music. Our goals here are twofold. First, we will demonstrate the power and flexibility of conceptual modeling techniques based on a branch of mathematics called category theory (CT), usin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97f0e870840e3bdfaed3824198ee5fc7
https://doi.org/10.1109/tsmc.2016.2631130
https://doi.org/10.1109/tsmc.2016.2631130