research
∙
02/13/2023
A Logic for Veracity
This paper shows the initial stages of development, from first principle...
share
research
∙
03/18/2020
An Application of Gaussian Process Modeling for High-order Accurate Adaptive Mesh Refinement Prolongation
We present a new polynomial-free prolongation scheme for Adaptive Mesh R...
research
∙
11/27/2018
Integrating User Design and Formal Models within PVSio-Web
Creating formal models of interactive systems has wide reaching benefits...
research
∙
10/20/2018
