A compositional generic process control model is presented which has been applied to control enzymatic biochemical processes. The model has been designed at a conceptual and formal level using the compositional development method DESIRE, and includes processes for analysis, planning and simulation. It integrates qualitative and quantitative techniques. Its application to enzymatic chemical proc...

abstract the effect of different levels of potassium permangenate (kmno4) on quality of mango fruits were studied over a period of 21 days. a factorial trial in the form of complete randomized design as three levels of kmno4 (0, 5 or 10 g. kg-1 fruit) and three time period (7, 14 or 21 days) was used. means were compared using duncan’s test (p< 0.05). compositional parameters (ph, acidity, tota...

This article presents a system created in the computer-aided composition environment OpenMusic in order to handle complex compositional data related to sound synthesis processes. This system gathers two complementary strategies: the use of sound analysis data as basic material, and the specification of abstract rules in order to automatically process and extend this basic material.

The field of compositional distributional semantics has proposed very interesting and reliable models for accounting the distributional meaning of simple phrases. These models however tend to disregard the syntactic structures when they are applied to larger sentences. In this paper we propose the chunk-based smoothed tree kernels (CSTKs) as a way to exploit the syntactic structures as well as ...

Modeling the environment of a design module under verification is a known practical problem in compositional verification. In this paper, we propose an approach to translate an ACTL specification into such an environment. Throughout the translation, we construct an efficient tableau for the full range of ACTL and synthesize the tableau into Verilog HDL behavior level program. The synthesized pr...