Suggestions(2)
Exact(1)
We give a complete presentation of the theory of bigraphs with sharing, including a categorical semantics, algebraic properties, and several essential procedures for computation: bigraph with sharing matching, a SAT encoding of matching, and checking a fragment of the logic BiLog.
Similar(59)
New augmented state-space model is employed to derive a procedure for computation of the filter parameters.
This paper presents a revised procedure for computation of double-K fracture parameters of concrete split-tension cube specimen using weight function of the centrally cracked plate of finite strip with a finite width.
Assuming that grouted rockbolts increase internal pressure within a broken rock mass, a new procedure for computation of ground response curves for a tunnel reinforced with active grouted rockbolts is presented, while the effect of distance of bolted section to tunnel face has been also considered.
Using a dedicated mathematical model of gene expression and a procedure for computation of the parameters of the model from experimental data, a complete numerical model of the dynamics of the cyclins genetic network was attained.
This requires a body size as well, and this was computed directly from specimens which had been weighed prior to death by allometry comparisons (see Procedure for computation of Bite Force Quotients (BFQ) S3).
Using a mathematical description of regulation of gene expression (Equation 1) and a procedure for computation of its parameters from experimental data, it was possible to construct a complete numerical model of the genetic network of yeast cyclins active during cell cycle.
The procedure for computation of the parameters is fully described in [19], and is summarized as follows.
This characterization allows us to use algorithmic procedures for their computation.
Section "Two-period mean-variance analysis" presents an analysis of the problem from the mean-variance perspective developing the two-period portfolio theory along with the two-period mean-variance frontier and the procedures for its computation.
Open image in new window Fig. 4 Procedures of computation for finding the cell voltage at a given current density.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com