This repository contains data referenced in a paper to be submitted, currently entitled "Resolving Time-Localized Seafloor Deformation of Tsunami Earthquakes Using the Adjoint-State Inversion". To g
The relatively low frequency of duodenal injuries (from 0.2 to 5% of all abdominal injuries) complicates their analysis and systematization, which leads to the absence of a unified approach in the tre
TalisMan Version 2.0 is a verification and analysis tool for AIG-based circuits. This artifact contains the source code used in the experimental evaluation in the paper: C. Hofstadler, D.Kaufmann,