Fast-slow asymptotics for a Markov chain model of fast sodium current

We explore the feasibility of using fast-slow asymptotic to eliminate the computational stiffness of the discrete-state, continuous-time deterministic Markov chain models of ionic channels underlying cardiac excitability. We focus on a Markov chain model of the fast sodium current, and investigate its asymptotic behaviour with respect to small parameters identified in different ways.Comment: 16 pages, 6 figures, as accepted to Chaos 2017/09/0

Aphidiinae (Hymenoptera, Braconidae) aphid parasitoids of Malta : review and key to species

This paper brings an annotated list of the 16 aphid parasitoids detected up to 2015 in Malta. All the species were reared from identified aphid-plant associations. An illustrated key to the identification of the recorded species from Malta is provided. Taxonomy and peculiarities of the individual taxa are discussed and research outlines are also presented. Two species, Aphidius absinthii and Trioxys pallidus are newly recorded for the Maltese fauna, in association with Uroleucon inulae and Hoplocallis picta, respectively. The first host association has never been reported so far. The documented aphid fauna of the Maltese Islands indicates the probable existence of other species of aphid parasitoids that may be present in the archipelago, especially those already known in nearby Mediterranean territories.peer-reviewe

Uncertainty management by relaxation of conflicting constraints in production process scheduling

Mathematical-analytical methods as used in Operations Research approaches are often insufficient for scheduling problems. This is due to three reasons: the combinatorial complexity of the search space, conflicting objectives for production optimization, and the uncertainty in the production process. Knowledge-based techniques, especially approximate reasoning and constraint relaxation, are promising ways to overcome these problems. A case study from an industrial CIM environment, namely high-grade steel production, is presented to demonstrate how knowledge-based scheduling with the desired capabilities could work. By using fuzzy set theory, the applied knowledge representation technique covers the uncertainty inherent in the problem domain. Based on this knowledge representation, a classification of jobs according to their importance is defined which is then used for the straightforward generation of a schedule. A control strategy which comprises organizational, spatial, temporal, and chemical constraints is introduced. The strategy supports the dynamic relaxation of conflicting constraints in order to improve tentative schedules

Lipolexis gracilis Förster, 1862 - new record of an aphid parasitoid from Malta (Hymenoptera, Braconidae, Aphidiinae)

Lipolexis gracilis, an aphid parasitoid reared from a species of Aphis associated with Papaver is newly recorded from Malta. A check-list of the Aphidiinae known from Malta is given.peer-reviewe

Exponential integrators for a Markov chain model of the fast sodium channel of cardiomyocytes

The modern Markov chain models of ionic channels in excitable membranes are numerically stiff. The popular numerical methods for these models require very small time steps to ensure stability. Our objective is to formulate and test two methods addressing this issue, so that the timestep can be chosen based on accuracy rather than stability. Both proposed methods extend Rush-Larsen technique, which was originally developed to Hogdkin-Huxley type gate models. One method, "Matrix Rush-Larsen" (MRL) uses a matrix reformulation of the Rush-Larsen scheme, where the matrix exponentials are calculated using precomputed tables of eigenvalues and eigenvectors. The other, "hybrid operator splitting" (HOS) method exploits asymptotic properties of a particular Markov chain model, allowing explicit analytical expressions for the substeps. We test both methods on the Clancy and Rudy (2002) INa Markov chain model. With precomputed tables for functions of the transmembrane voltage, both methods are comparable to the forward Euler method in accuracy and computational cost, but allow longer time steps without numerical instability. We conclude that both methods are of practical interest. MRL requires more computations than HOS, but is formulated in general terms which can be readily extended to other Markov Chain channel models, whereas the utility of HOS depends on the asymptotic properties of a particular model. The significance of the methods is that they allow a considerable speed-up of large-scale computations of cardiac excitation models by increasing the time step, while maintaining acceptable accuracy and preserving numerical stability.Comment: 9 pages, 5 figures main text + 14 pages, 1 figure appendix, as submitted in final form to IEEE TBME 2014/11/11. Copyright IEEE (2014