Results 41 to 50 of about 2,591 (261)
Stochastic mechanics of graph rewriting [PDF]
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016 We propose an algebraic approach to stochastic graph-rewriting which extends the classical construction of the Heisenberg-Weyl algebra and its canonical representation on the Fock space. Rules are seen as particular elements of an algebra of "diagrams": the diagram algebra $\mathcal{D}$.
Behr, Nicolas +2 more
openaire +3 more sources
Tensors, !-graphs, and non-commutative quantum structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Categorical quantum mechanics (CQM) and the theory of quantum groups rely heavily on the use of structures that have both an algebraic and co-algebraic component, making them well-suited for manipulation using diagrammatic techniques.
Aleks Kissinger, David Quick
doaj +1 more source
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 Linear logics have been shown to be able to embed both rewriting-based approaches and process calculi in a single, declarative framework. In this paper we are exploring the embedding of double-pushout graph transformations into quantified linear logic ...
Reiko Heckel, Paolo Torrini
doaj +1 more source
Bisimilarity in Term Graph Rewriting
Information and Computation, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ariola, Z.M., Klop, J.W., Plump, D.
openaire +3 more sources
Pattern graph rewrite systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In Proceedings DCM 2012, arXiv:1403 ...
Aleks Kissinger +2 more
openaire +4 more sources
Microbiome‐blood–brain barrier interactions in aging — mechanisms and therapeutic potential
FEBS Letters, EarlyView.Aging reshapes the gut microbiome (↓SCFA‐producing commensals; ↑pro‐inflammatory outputs), shifting circulating metabolites (↓SCFAs; ↑LPS, ↑TMAO, ↑PAA) that act at the BBB to increase nonspecific transcytosis, alter transport, and promote astrocyte reactivity, heightening brain vulnerability.
Daniel Cuervo‐Zanatta +3 more
wiley +1 more source
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Aspect-orientation is a relatively new paradigm that introduces abstractions to modularize the implementation of system-wide policies. It is based on a composition operation, called aspect weaving, that implicitly modifies a base system by performing ...
Rodrigo Machado +2 more
doaj +1 more source
FEBS Letters, EarlyView.Encapsulins are protein nanocompartments that play an important role in iron storage. In the Myxococcus xanthus encapsulin system, two cargo proteins called EncB and EncC contribute to iron mineralization. Here, we show that EncB and EncC generate iron‐containing minerals with distinct chemical compositions, suggesting that the composition of stored ...
Harry B. McDowell +2 more
wiley +1 more source
Equilibrium and Termination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present a reduction of the termination problem for a Turing machine (in the simplified form of the Post correspondence problem) to the problem of determining whether a continuous-time Markov chain presented as a set of Kappa graph-rewriting rules has ...
Nicolas Oury, Vincent Danos
doaj +1 more source
Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting
IEEE Access, 2021 Hypergraphs are a highly expressive data structure for modeling and programming, for which high-level language constructs are yet to be established. HyperLMNtal is a modeling language based on hypergraph rewriting.
Alimujiang Yasen, Kazunori Ueda
doaj +1 more source