The reaction product always lay in front of the triple line defined as a triple junction of Ag Cu Ti alloy/Ti5Si3/atmosphere.
In this case, an epistemic model based on \(S\) and \ \Agt\) can also be defined as a triple \(\langle W,\{\sim_i\}_{i\in\Agt},\sigma \rangle\) where \(W\) and \(\sigma\) are as above and for each \(i\in\Agt\), \(\sim_i\subseteq W\times W\) is reflexive, transitive and symmetric.
Our scheme is defined as a triple of probabilistic polynomial time (PPT) algorithms (Setup, MAC, Verify): Setup: The KDC distributes the required keys to all nodes, and the source node sets the security parameters and uses the assigned keys to generate the corresponding MACs.
A protein-protein interaction is defined as a triple (S1, S2, O), where S1 and S2 are the two interacting subunits (either proteins or protein domains), and O is their relative orientation.
Syntactically, a genetic functor, or genitor, G is defined as a triple G = (O, D, B), which groups together the organism O with a dene D and a bene B. The former is a statement about O's DNA and the latter is a statement about O's behavior.
After Ca2+ addition, besides point contacts and hemifusion diaphragms, we also observed a smaller number of 'extended' close contacts without hemifusion, defined as a triple-layered feature extending over more than 10 nm in length.
A hypergraph-based model H is formally defined as a triple H = (X, Z, E) where X, Z, and E denote the sets of miRNAs, mRNAs, and hyperedges, respectively.
This context is a data table defined as a triple (Gsim, M, Isim), where the rows list the transitions g = (sin, sout) in Gsim, which corresponds to the transitive closure Rsimtrans.
FCA starts with a formal context defined as a triple K = (G, M, I) where G is a set of objects, M a set of attributes and I a binary relation between G and M. (g, m) ∈ I means that the object g has the attribute m.
Formally, a repetition u e, e≥2, in x is defined as a triple (i, p, e) such that: u= x[ i.. i+ p−1]= x [ i+ p.. i+2 p−1]=…= x [ i+(e−1) p.. i+ e p−1]; u e +1 does not occur at position i; and u is primitive.
