Works (4)
Updated: July 5th, 2023 15:41
2018 article
Hybrid theorem proving as a lightweight method for verifying numerical software
PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, pp. 1–8.
author keywords: hybrid systems; formal methods; scientific computation; KeYmaera X
TL;DR:
This study applies hybrid theorem proving from the field of cyber-physical systems to problems in scientific computation, and shows how to verify the correctness of discrete updates that appear in the simulation of continuous physical systems.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
13. Climate Action
(OpenAlex)
Sources: Web Of Science, ORCID
Added: December 12, 2018
2017 journal article
Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models
OCEAN MODELLING, 115, 86–104.
Contributors: n & J. Baugh n
author keywords: Storm surge; Adaptive algorithm; Subdomain modeling; Moving boundaries; ADCIRC
TL;DR:
An adaptive multi-analysis technique that improves the efficiency of these computations when multiple alternatives are being simulated, called adaptive subdomain modeling, which concurrently analyzes any number of child domains.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action
(Web of Science)
14. Life Below Water
(Web of Science; OpenAlex)
Sources: Web Of Science, ORCID
Added: August 6, 2018
2016 article
Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy
(M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro, Eds.). ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016), Vol. 9675, pp. 256–261.
Contributors: J. Baugh n & n
Ed(s): M. Butler, K. Schewe, A. Mashkoor & M. Biro
Event: at Cham
TL;DR:
An Alloy model is described that helps check the correctness of a discrete wet-dry algorithm used in a system for hurricane storm surge prediction and a recent performance enhancement to the system that involves mesh partitioning.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action
(Web of Science; OpenAlex)
14. Life Below Water
(Web of Science)
Sources: Web Of Science, ORCID
Added: August 6, 2018
2015 journal article
An exact reanalysis technique for storm surge and tides in a geographic region of interest
COASTAL ENGINEERING, 97, 60–77.
Contributors: J. Baugh n , n, T. Dyer n & J. Simon *
author keywords: Hurricane; Storm surge; Subdomain modeling; ADCIRC
TL;DR:
This work presents an exact reanalysis technique and corresponding implementation that enable the assessment of local subdomain changes with less computational effort than would be required by a complete resimulation of the full domain.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action
(Web of Science)
14. Life Below Water
(Web of Science)
Sources: Web Of Science, ORCID
Added: August 6, 2018
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
