operating parameters and membrane characteristics strongly affect the performance of electrodialysis reversal systems. the most impactful factors are applied voltage, flow rate, temperature, initial feed composition, and ion exchange membrane characteristics; the ph of the feed also has an effect, although to a lesser extent. to determine more precisely how all of these factors impact performan...

When reasoning on formulas involving large-size inductively defined relations, such as the semantics of a real programming language, many steps require the inversion of a hypothesis. The built-in “inversion” tactic of Coq can then be used, but it suffers from severe controllability, maintenance and efficiency issues, which makes it unusable in practice in large applications. To circumvent this ...

During the last three decades several diierent styles of semantics for programming languages have been developed. This thesis compares two of them: the operational and the denotational approach. We show how to give operational and denotational semantics to programming languages, and how to compare diierent semantic models for a given language. Both in the deenition of the denotational semantics...

The application of Hilberman's theorem to construct a simple proof of a theorem on semi-indefinite networks is discussed.

The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange their updates in any order. The basic idea of this approach is to transform any received update operation before its execution on a replica of the object. This transformation aims to ensure the convergence of the different repl...

Small-step semantics and big-step semantics are two styles for operationally defining the meaning of programming languages. Small-step semantics are given as a relation between program configurations, relation which denotes one computational step; big-step semantics are given as a relation directly associating to each program configuration the corresponding final configuration. Small-step seman...