The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimisation cycle is presented. The relationship between several different kinds of local optimisation cycles with known techniques for user-participation is discussed and integrated into a general concept of participatory s...

Catalytic reforming is a chemical process utilized in petroleum refineries to convert naphtha, typically having low octane ratings, into high octane liquid products, called reformates, which are components of high octane gasoline. In this study, a mathematical model was developed for simulation of semi-regenerative catalytic reforming unit and the result of the proposed model was compared with ...

on the basis of discourse grammar (dg), this study investigates the expression of  yæ'ni in persian. the term was originally borrowed from arabic and has undergone the process of grammaticalization. it exhibits different pragmatic functions to characterize changes involved in the evolution of this discourse marker. the study suggests that grammaticalization of yæ'ni should be analyzed...

objectives : microbial leakage through the implant-abutment (i-a) interface results in bacterial colonization in two-piece implants. the aim of this study was to compare microleakage rates in three types of replace abutments namely snappy, goldadapt, and customized ceramic using radiotracing. materials and methods: three groups, one for each abutment type, of five implants and one positive and ...

This paper considers the challenging problem of establishing deadlock freedom for message-passing processes using behavioral type systems. In particular, we consider case that implement session types by communicating asynchronously in cyclic process networks. We present APCP, a typed framework which supports asynchronous communication, delegation, recursion, and general form composition enables...