Purpose Business process modelling (BPMo) projects are core to digital transformation as they provide the conceptual foundation orchestration of technologies along a process. Yet, success factors BPMo have received little research attention date. This study empirically validates project model, pointing normative practice guidelines and important future research. Design/methodology/approach repo...

For the validated computation of complex functions, Bühler [1] has implemented algorithms that were presented in [2] as part of a Pascal–XSC interval library. Although Pascal-XSC is still available [4], it is no longer being maintained and it requires outdated compiler versions, which make it difficult to use nowadays. CoStLy is a new C++ library of complex standard functions for the rigorous c...

One of the most efficient methods for determining the equilibria of a continuous parameterized family of differential equations is to use predictor-corrector continuation techniques. In the case of partial differential equations this procedure must be applied to some finite dimensional approximation which of course raises the question of the validity of the output. We introduce a new technique ...

Experience of stress may lead to increased electromyography (EMG) activity in specific muscles compared to a non-stressful situation. The main aim of this study was to develop and validate a stress-EMG paradigm in which a single uncontrollable and unpredictable nociceptive stimulus was presented. EMG activity of the trapezius muscles was the response of interest. In addition to linear time effe...

Ordinary differential equations (ODEs), including high-order implicit equations, describe important problems in mechanical and chemical engineering. However, the use of selfvalidated methods providing rigorous enclosures of the solution has mostly been limited to explicit and weakly nonlinear problems, and no general-purpose algorithm for the validated integration of general ODE initial value p...

We propose a fast verification method for saddle point linear systems where the (1,1) block is singular. The proposed verification method is based on an algebraic analysis of a block diagonal preconditioner and rounding mode controlled computations. Numerical comparison of several verification methods with various block diagonal preconditioners is given.

A new RP-HPLC method was developed for selective and simultaneous determination of of Desogestrel and Ethinyl Estradiol Tablets. The chromatographic separation was achieved on a Zorbax SB C-18, 4.6 x 250mm, and 5μ column. The gradient LC method employs solutions A and B as mobile phase. The solution A milliQ water and acetonitrile in the ratio of 90:10 and degas and solution B contains a mixtur...

In this article, we review five instruments for assessing female sexual dysfunction (FSD): the Brief Index of Sexual Functioning for Women (BISF-W; Taylor, Rosen, & Leiblum, 1994), the Changes in Sexual Functioning Questionnaire (CSFQ; Clayton, McGarvy, & Clavet, 1997), the Derogatis Interview for Sexual Functioning (DISF/DISF-SR; Derogatis, 1997), the Female Sexual Function Index (FSFI; Rosen ...