-
Tracking, Correcting and Absorbing Water Surface Waves
PhD thesis LaTeX source code -
Source codes: Brittle fracture simulation with boundary elements for computer...
Includes source codes, test cases, and example data used in the thesis Brittle Fracture Simulation with Boundary Elements for Computer Graphics. Also includes pre-built binaries... -
Experimental part of CAV 2015 publication: Counterexample Explanation by Lear...
This repository contains the experimental part of the CAV 2015 publication Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. We extended the... -
Experimental part of CAV 2015 publication: Counterexample Explanation by Lear...
This repository contains the experimental part of the CAV 2015 publication Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. We extended the... -
Tracking, Correcting and Absorbing Water Surface Waves
PhD thesis LaTeX source code -
Source codes: Brittle fracture simulation with boundary elements for computer...
Includes source codes, test cases, and example data used in the thesis Brittle Fracture Simulation with Boundary Elements for Computer Graphics. Also includes pre-built binaries...
