Business process modeling is an important phase during requirements collection. Usually functional, dynamic and role models are needed. We propose to integrate Role Activity Diagr...
Costin Badica, Maria Teodorescu, Cosmin Spahiu, Am...
Being able to clearly visualize clusters of genes provided by gene expressions over a set of samples is of high importance. It gives researchers the ability to create an image of t...
We present a new method for generic quantifier elimination that uses an extension of Hermitian quantifier elimination. By means of sample computations we show that this generic Her...
An important step in designing stochastic simulation is modeling the uncertainty in the input environment of the system being studied. Obtaining a reasonable representation of thi...
Background: Liquid chromatography coupled to mass spectrometry (LC/MS) is an important analytical technology for e.g. metabolomics experiments. Determining the boundaries, centres...