Recently, we have proposed in [10] a symbolic semantics together with a sound symbolic labelled bisimulation relation for the finite applied pi calculus. By treating inputs symbolically, our semantics avoids potentially infinite branching of execution trees due to inputs from the environment. This work is an important step towards automation of observational equivalence for the finite applied p...

This paper presents an artificial intelligence approach on modeling highly nonlinear processes with application to pH neutralization process. The hybrid neuro-fuzzy technique is applied to model the titration curve from a weak acid with a strong base. This titration curve has three major parts that describe the system behavior: above the equivalence point, near equivalence point and under equiv...

Acid or base concentrations can be determined by performing an acid-base titration with coulometrically generated OHor H+ ions at a noble metal actuator electrode in close proximity to the pH-sensitive gate of an ISFET. It is shown, both theoretically and experimentally, that the relation between the acid or base concentration and the time needed to reach the equivalence point in the resulting ...

For an operator T in the class Bn(Ω), introduced by Cowen and Douglas, the simultaneous unitary equivalence class of the curvature and the covariant derivatives up to a certain order of the corresponding bundle ET determine the unitary equivalence class of the operator T . In a subsequent paper, the authors ask if the simultaneous unitary equivalence class of the curvature and these covariant d...

We study the problem of giving proofs of compiler correctness in the framework of observational equivalence 16] and correspondences 17]. The starting point for correctness is a formal semantics of the programming language given in a form of Structural Operational Semantics 15] wich we call Relational Semantics 4, Chapter 2]. We start by introducing Relational Semantics. We then deene an equival...