Introduction: The purpose of this study was formulation and preparation of a proper culture medium for Saccharomyces cerevisiae var. boulardii with molasses and animal serum. Methods: A fully-crossed factorial design contain 5%, 10% and 20% of molasses (M) with 0, 1% and 5% animal serum (S) was used in this study. The pH of all culture medias were adjusted to 5.6 with acetic acid. The seed was ...

We determine the quark mass ratio m(c)/m(s) on the lattice, using Wilson-type fermions. Configurations with N(f)=2 dynamical clover-improved fermions by the QCDSF Collaboration are used, which were made available through the ILDG. In the valence sector we use a sophisticated, mass-independently O(a)-improved Wilson-type action with small cutoff effects even in the charm mass region. After an ex...

Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior. In this paper, we explain the nature and utility of such specifications, relate them to other formalisms, showcase some of their established applications, and mention some existing tool support. We also present some recent complexity results for decision problems underlying such applications an...