Results 41 to 50 of about 1,795,811 (300)
Towards a Maude tool for model checking temporal graph properties [PDF]
, 2011 We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi.
Lluch-Lafuente, Alberto +4 more
core +1 more source
A graph rewriting programming language for graph drawing [PDF]
, 1998 This paper describes Grrr, a prototype visual graph drawing tool. Previously there were no visual languages for programming graph drawing algorithms despite the inherently visual nature of the process.
Rodgers, Peter
core +1 more source
Aspects of derivative causality in bond-graph models
MATEC Web of Conferences, 2017 The bond-graph method used in the analysis of system dynamics problems leads to a system containing a number of differential equations equal to the number of energy storing elements in integral causality and a number of algebraic equations equal to the ...
Ibănescu Radu, Ibănescu Mihaela
doaj +1 more source
, 2022 In this article, we will solve 83 problems related to the graceful tree conjecture. In particular, we will find a tree T=(E,V) and injective edge labeling h:E→{1,…,|E|} such that there is no injective vertex labeling f:V→Z satisfying |f(a)-f(b)|=h(ab) for all ab∈E. To optimize the solution process, I created a recommender system.
openaire +1 more source
Graph-based implicit knowledge discovery from architecture change logs [PDF]
, 2012 Service architectures continuously evolve as a consequence of frequent business and technical change cycles. Architecture change log data represents a source of evolution-centric information in terms of intent, scope and operationalisation to ...
Pooyan Jamshidi (5276344) +12 more
core +2 more sources
Simulation of the Hydraulic Circuit of a Wheel Loader by Using the Bond Graph Technique [PDF]
, 2008 Hydraulic systems are widely used in Engineering because they are highly versatile and can be combined with other domains of physics (mechanics, electronics, etc.).
M. L. Martinez +7 more
core +1 more source
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
Tikrit Journal of Pure ScienceThe primary goal of this work is to introduce dynamic graphs. Specifically, it will demonstrate that the matrix is the basic matrix of interconnections (adjacency).
Mayadah Khalil Ghaffar +2 more
doaj +1 more source
All-order differential equations for one-loop closed-string integrals and modular graph forms
Journal of High Energy Physics, 2020 We investigate generating functions for the integrals over world-sheet tori appearing in closed-string one-loop amplitudes of bosonic, heterotic and type-II theories.
Jan E. Gerken +2 more
doaj +1 more source
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 A parameterised Boolean equation system (PBES) is a set of equations that defines sets as the least and/or greatest fixed-points that satisfy the equations.
Yutaro Nagae +2 more
doaj +1 more source