An Axiomatic Approach to Liveness for Differential Equations.
Yong Kiam TanAndré PlatzerPublished in: FM (2019)
Keyphrases
- differential equations
- dynamical systems
- brownian motion
- numerical methods
- ordinary differential equations
- numerical solution
- boundary value problem
- partial differential equations
- nonlinear differential equations
- feed forward artificial neural networks
- numerical integration
- transmission line
- difference equations
- multiscale
- microarray
- search space
- artificial neural networks