-
ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)
IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an application... -
teqp: Templated EQuation of state Package
teqp is a library written in C++ that allows for calculation of numerical derivatives of thermodynamic equations of state with respect to the independent variables with... -
Utah FORGE Phase Native State FALCON Model Files
The submission includes FALCON input file and mesh for the an initial pressure-temperature simulation, and a second set for pressure-temperature-displacement simulation. All... -
Archival version of potter
An archival version of the potter C++ library for integrating potentials to obtain virial coefficients. -
ARC Code TI: Growler
Growler is a C++-based distributed object and event architecture. It is written in C++, and supports serialization of C++ objects as part of its Remote Method Invocation, Event... -
Centipod WEC, Advanced Controls, MPC Controller MATLAB Code
This archive contains the MATLAB code for the model predictive control (MPC) controller developed in this project. The archive containing the WaveDyn models used for analysis of... -
An HPC-Based Hydrothermal Finite Element Simulator for Modeling Underground G...
This submission contains the source code of the Hydrothermal Finite Element Simulator used for the Treasure Island and UC Berkeley campus geothermal simulation. It contains a... -
FEASST: Free Energy and Advanced Sampling Simulation Toolkit
The Free Energy and Advanced Sampling Simulation Toolkit (FEASST) is a free, open-source, modular program to conduct molecular and particle-based simulations with flat-histogram... -
Archival version of potter
An archival version of the potter C++ library for integrating potentials to obtain virial coefficients. -
Underwater Mapping Results for Seabotix vLBV300 Vehicle with Tritech Gemini 7...
This document presents results from tests to demonstrate underwater mapping capabilities of an underwater vehicle in conditions typically found in marine renewable energy... -
Utah FORGE Phase Native State FALCON Model Files
The submission includes FALCON input file and mesh for the an initial pressure-temperature simulation, and a second set for pressure-temperature-displacement simulation. All... -
multicomplex: C++ and Python code for multicomplex arithmetic
The library multicomplex is an implementation of multicomplex algebra in C++ to allow for higher-order derivatives of numerical functions. Many (though not all) mathematical... -
teqp: Templated EQuation of state Package
teqp is a library written in C++ that allows for calculation of numerical derivatives of thermodynamic equations of state with respect to the independent variables with... -
CyRSoXS: A GPU-accelerated virtual instrument for Polarized Resonant Soft X-r...
Polarized Resonant Soft X-ray scattering (P-RSoXS) has emerged as a powerful synchrotron-based tool to measure structure in complex, chemically heterogeneous systems. P-RSoXS...