.............................................................................................................................. v Acknowledgments............................................................................................................. vii

The lack of integration between prototype implementations of results of research (“tools”) blocks progress toward direct application of formal methods research in software engineering settings. We survey a host of tools, examining how their integration would increase their power and benefit future research and application. Based on this analysis, we describe a hypothetical and idealized Tool In...

In this short note we show how to obtain Lagrangian integrators from known sym-plectic partitioned Runge-Kutta methods.

Differential equations of the form ẋ = X = A+B are considered, where the vector fields A and B can be integrated exactly, enabling numerical integration of X by composition of the flows of A and B. Various symmetric compositions are investigated for order, complexity, and reversibility. Free Lie algebra theory gives simple formulae for the number of determining equations for a method to have a ...

objectives: this paper reviews the current literature on acquired brain injury (abi) with a focus on abi burden, importance of community integration, and community integration definitions suggested by the literature. methods: literature review results: acquired brain injury (abi) is referred to a diverse range of disabilities resulted of injury in different parts of the brain. people with abi a...