1
Jiang, Dingde
2021
Table of Contents:
“... modified Gauss-Seidel iteration method for solving absolute value equations -- Modified LPMHSS method for a class of complex symmetric linear systems -- Rational Lanczos method for the symmetric positive semidefinite Toeplitz matrix function -- A Bi-directional...”2021
Full text
2
Dastani, Mehdi.
2015
Table of Contents:
“... Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol...”2015
Full text