Modeling an algebraic stepper

J Clements, M Flatt, M Felleisen - … on Programming, ESOP 2001 Held as …, 2001 - Springer
… To formulate the semantics of our new language constructs and to illustrate their use in the
implementation of a stepper, we present a small model and study its properties. The model

Genetic demixing and evolution in linear stepping stone models

KS Korolev, M Avlund, O Hallatschek, DR Nelson - Reviews of modern physics, 2010 - APS
… occurs exponentially in time, it occurs only algebraically fast in the one-dimensional model.
An unusual sublinear increase is also found in the variance of the spatially averaged allele …

A stepper for a functional JavaScript sublanguage

M Henz, T Tan, Z Chua, P Jung, YJ Tan… - Proceedings of the …, 2021 - dl.acm.org
model, we built an algebraic stepperÐa tool for visualizing the evaluation of Source ğ2 programs
according to the model. As … on a stepper for this language. We formalize the substitution …

Enabling dynamic process simulators to perform alternative tasks: A time-stepper-based toolkit for computer-aided analysis

CI Siettos, CC Pantelides… - Industrial & engineering …, 2003 - ACS Publications
… of the algebraic variables by applying a Newton-type procedure to the model's algebraic
use a validated form of our model in the form of an existing time stepper. Although the two-tiered …

DrScheme: A programming environment for Scheme

RB Findler, J Clements, C Flanagan, M Flatt… - Journal of functional …, 2002 - cambridge.org
… sively or a static debugger and an algebraic stepper which help in understanding the meaning
… The first is a symbolic stepper. It models the execution of Scheme programs as algebraic

On the formulation of high-frequency dissipative time-stepping algorithms for nonlinear dynamics. Part I: low-order methods for two model problems and nonlinear …

F Armero, I Romero - Computer Methods in Applied Mechanics and …, 2001 - Elsevier
We present in this paper the development of a class of time-stepping algorithms for … model
problems. Namely, we consider a nonlinear elastic spring/mass system and a simplified model

“Coarse” stability and bifurcation analysis using time-steppers: A reaction-diffusion example

C Theodoropoulos, YH Qian… - Proceedings of the …, 2000 - National Acad Sciences
… coupled ordinary differential or differential algebraic equations. The same is true for microscopic
… either coarse model (discretized PDE) time-steppers or microscopic time-steppers. This …

A mass-conservative procedure for time-stepping in models of unsaturated flow

PCD Milly - Finite Elements in Water Resources: Proceedings of …, 1984 - Springer
… are systems of nonlinear algebraic equations for the nodal … stepping is employed in
conjunction with standard or lumped storage matrices. This is also true for the new time-stepping

[PDF][PDF] FMI Go! A simulation runtime environment with a client server architecture over multiple protocols.

C Lacoursière, T Härdin - Modelica, 2017 - umit.cs.umu.se
model coupling and is described in Sec. 5 and a kinematic coupling as well as a differential
algebraic stepper is … intend to use this feature for the ME stepper so that it can process DAEs. …

An adaptive time-stepping strategy for the molecular beam epitaxy models

Z Qiao, Z Zhang, T Tang - SIAM Journal on Scientific Computing, 2011 - SIAM
… time-stepping technique will be developed based on the energy variation, which is an important
physical quantity in the MBE growth model. … schemes for solving MBE models. The linear …