This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
The paper presents a topology-based visualization method for time-dependent two-dimensional vector elds. A time interpolation enables the accurate tracking of critical points and ...
Xavier Tricoche, Thomas Wischgoll, Gerik Scheuerma...
A deterministic algorithm for computing a minimum spanning tree of a connected graph is presented. Its running time is O(m (m, n)), where is the classical functional inverse of Ack...
The aim of this work is to obtain explicit conditions (i.e., conditions on the transition rates) for the stochastic comparison of Markov Processes. A general coupling technique is ...
A simplified electrodiffusion model for rectangular current pulses in ionic channels of biological membranes is presented. Numerical simulations and a dynamical systems analysis of...
Carl L. Gardner, Joseph W. Jerome, Robert S. Eisen...