A Provable Defense for Deep Residual Networks

We present a training system, which can provably defend significantly larger neural networks than previously possible, including ResNet-34 and DenseNet-100. Our approach is based on differentiable abstract interpretation and introduces two novel concepts: (i) abstract layers for fine-tuning the precision and scalability of the abstraction, (ii) a flexible domain specific language (DSL) for describing training objectives that combine abstract and concrete losses with arbitrary specifications. Our training method is implemented in the DiffAI system

Fisheries Management with Stock Growth Uncertainty and Costly Capital Adjustment: Extended Appendix

This Appendix is supplemntary to "Fisheries Management with Stock Growth Uncertainty and Costly Capital Adjustment".

A methodology for the generation of efficient error detection mechanisms

A dependable software system must contain error detection mechanisms and error recovery mechanisms. Software components for the detection of errors are typically designed based on a system specification or the experience of software engineers, with their efficiency typically being measured using fault injection and metrics such as coverage and latency. In this paper, we introduce a methodology for the design of highly efficient error detection mechanisms. The proposed methodology combines fault injection analysis and data mining techniques in order to generate predicates for efficient error detection mechanisms. The results presented demonstrate the viability of the methodology as an approach for the development of efficient error detection mechanisms, as the predicates generated yield a true positive rate of almost 100% and a false positive rate very close to 0% for the detection of failure-inducing states. The main advantage of the proposed methodology over current state-of-the-art approaches is that efficient detectors are obtained by design, rather than by using specification-based detector design or the experience of software engineers

Styles of underplating in the Marin Headlands Terrane, Franciscan Complex, California

This is a pre-copy-editing, author-produced PDF of an article accepted for publication in The Geological Society of America Special Papers following peer review. The definitive publisher-authenticated version: "Regalla, C., Rowe, C., Harrichhausen, N., Tarling, M. and Singh, J., 2018. Styles of underplating in the Marin Headlands Terrane, Franciscan Complex, California. GSA Special Publications no. 534" is available online at: http://rock.geosociety.org/Store/detail.aspx?id=spe534.Geophysical images and structural cross-sections of accretionary wedges are usually aligned orthogonal to the subduction trench axis. These sections often reveal underplated duplexes of subducted oceanic sediment and igneous crust that record trench-normal shortening and wedge thickening facilitated by down-stepping of the décollement. However, this approach may under-recognize trench-parallel strain and the effects of faulting associated with flexure of the downgoing plate. New mapping of a recently exposed transect across a portion of the Marin Headlands terrane, California, USA documents evidence for structural complexity over short spatio-temporal scales within an underplated system. We document the geometry, kinematics, vergence and internal architecture of faults and folds along ~2.5 km of section, and identify six previously unmapped intra-formational imbricate thrusts and thirteen high-angle faults that accommodate shortening and flattening of the underthrust section. Thrust faults occur within nearly every lithology without clear preference for any stratigraphic horizon, and fold vergence varies between imbricate sheets by ~10-40°. In our map area, imbricate bounding thrusts have relatively narrow damage zones (≤5-10 m), sharp, discrete fault cores, and lack veining, in contrast to the wide, highly-veined fault zones previously documented in the Marin Headlands terrane. The spacing of imbricate thrusts combined with paleo-convergence rates indicates relatively rapid generation of new fault surfaces on ~10-100 ka timescales, a process which may contribute to strain hardening and locking within the seismogenic zone. The structural and kinematic complexity documented in the Marin Headlands are an example of the short spatial and temporal scales of heterogeneity that may characterize regions of active underplating. Such features are smaller than the typical spatial resolution of geophysical data from active subduction thrusts, and may not be readily resolved, thus highlighting the need for cross-comparison of geophysical data with field analogues when evaluating the kinematic and mechanical processes of underplating