Open Graphs and Computational Reasoning

Open Graphs and Computational Reasoning

Bibliographic Details
Main Authors:	Dixon, L, Duncan, R, Kissinger, A
Format:	Conference item
Published:	2010

Similar Items

Open graphs and monoidal theories
by: Dixon, L, et al.
Published: (2011)

Graphical Reasoning in Compact Closed Categories for Quantum Computation
by: Dixon, L, et al.
Published: (2009)

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
by: Kissinger, A
Published: (2009)

Reasoning with !-graphs
by: Merry, A
Published: (2013)

Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
by: Kissinger, A
Published: (2012)

Graph-theoretic simplification of quantum circuits with the ZX-calculus
by: Duncan, R, et al.
Published: (2020)

Graph Rewrite Systems for Classical Structures in Dagger−Symmetric Monoidal Categories
by: Kissinger, A
Published: (2008)

Pattern Graph Rewrite Systems
by: Kissinger, A, et al.
Published: (2012)

The Vadalog system: datalog-based reasoning for knowledge graphs
by: Bellomarini, L, et al.
Published: (2018)

Streaming partitioning of RDF graphs for datalog reasoning
by: Ajileye, T, et al.
Published: (2021)

Bipartite graph reasoning GANs for person image generation
by: Tang, H, et al.
Published: (2021)

Bipartite graph reasoning GANs for person pose and facial image synthesis
by: Tang, H, et al.
Published: (2022)

The One Universal Graph – a Free and Open Graph Database
by: Ng Liang, Shing, et al.
Published: (2015)

Graph-enhanced large language models in asynchronous plan reasoning
by: Lin, F, et al.
Published: (2024)

Reasonable computing for architectural fabrication
by: Villalon, Rachelle B. (Rachelle Bentajado)
Published: (2008)

Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
by: Dixon, L, et al.
Published: (2008)

Logical reasoning for approximate and unreliable computation
by: Carbin, Michael (Michael James)
Published: (2015)

KR4SL: knowledge graph reasoning for explainable prediction of synthetic lethality
by: Zhang, Ke, et al.
Published: (2024)

The ZX-calculus as a language for topological quantum computation
by: Ahmadi, FR, et al.
Published: (2023)

An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm
by: Yang, H
Published: (2001)

Fuzlog : a computer program for fuzzy reasoning /
by: Baldwin, J. F. (James Frederick), 1938-, et al.

Graph states and quantum computing
by: Mhalla, S
Published: (2006)

Neuronal computation underlying inferential reasoning in humans and mice
by: Barron, H, et al.
Published: (2020)

ZH: a complete graphical calculus for quantum computations involving classical non-linearity
by: Backens, M, et al.
Published: (2019)

Graph States and the necessity of Euler Decomposition
by: Duncan, R, et al.
Published: (2009)

The open mapping and closed graph theorems in topological vector spaces /
by: 326080 Husain, Taqdir
Published: (1965)

A Graph Model for Parallel Computations
by: Rodrigues, Jorge E.
Published: (2023)

Phased Computation Graphs in the Polyhedral Model
by: Thies, William, et al.
Published: (2023)

Topology hiding computation on all graphs
by: LaVigne, Rio (Kristen Rio)
Published: (2018)

Topology-Hiding Computation on All Graphs
by: Akavia, Adi, et al.
Published: (2021)

On Deniable Computation and Sublinear Graph Algorithms
by: Mossel, Saleet
Published: (2023)

Brokered graph-state quantum computation
by: Fitzsimons, J, et al.
Published: (2006)

SAS/Graph guide for personal computers
Published: (1987)

Generation and analysis of attack graphs on computer networks
by: Janse van Rensburg, A
Published: (2018)

Performance analysis of parallel graph algorithms on heterogeneous processors in OpenCL
by: Liu, Xiao
Published: (2015)

A Proposal for a Computational Model of Anatomical and Physiological Reasoning
by: Smith, Brian Cantwell
Published: (2004)

Formal reasoning in urban planning : computers, complexity and mathematical modelling /
by: Batty, Michael 387435
Published: (1984)

Dynamic graph cuts and their applications in computer vision
by: Kohli, P, et al.
Published: (2010)

Discrete Computation: Theory and Open Problems
by: Meyer, Albert R.
Published: (2023)

Efficient Graph Algorithms for Sequential and Parallel Computers
by: Goldberg, Andrew V.
Published: (2023)