A dynamic model of a nickel hydrogen battery implemented in the Virtual Test Bed (VTB) is presented. The battery system is simplified as such one-electrontransfer redox reaction o...
Shengyi Liu, Roger Dougal, John W. Weidner, Lijun ...
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
This paper describes a research approach to the experimental study of emotional experiences and their connections to other components of user experience in human-technology intera...