Metal-binding proteins play important roles in structural stability, signaling, regulation, transport, immune response, metabolism control, and metal homeostasis. Because of their...
H. H. Lin, L. Y. Han, H. L. Zhang, C. J. Zheng, B....
In semantic and object-oriented data models, each class has one or more typing properties that associate it to other classes, and carry type information about all instances of the ...
Anastasia Analyti, Nicolas Spyratos, Panos Constan...
The analysis and measurement of current levels of software reuse are necessary to monitor improvements. This paper provides a framework for the derivation of measures of software ...
Abstract. We present a variant of AB-dispute derivations for assumption-based argumentation (ABA), that can be used for determining the admissibility of claims. ABA reduces the pro...
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...