Delta
scilab
Dsp Using Matlab® - 8
Matlab Fem
Matlab Filters
DSP
Lesson 2
Simulation
Ch01lect1 ud
Model Checking Lecture 1. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking.
Discrete variational derivative methods: Geometric Integration methods for PDEs Chris Budd (Bath), Takaharu Yaguchi (Tokyo), Daisuke Furihata (Osaka)
