The stratigraphy and sedimentology of the Sentinel Butte Formation (Paleocene) in south-central Williams County, North Dakota

Approximately 163 meters (535 feet) of the Paleocene Sentinel Butte Formation crop out in southcentral Williams county, North Dakota. To determine their mode of deposition and stratigraphic position within the formation, twelve stratigraphic sections were measured. These strata were deposited in alternating fluvial and lacustrine environments as determined by sedimentary structures, lithology, lithologic sequences, and fossil occurrences. A fining upward trend in grain size of the tabular sandstones, and the identification of epsilon cross-stratification in the tabular sandstones support a fluvial origin for some of the strata. The strongest evidence for the interpretation of lacustrine deposition is the presence of limestone bodies within these strata. Examination of thin sections taken from some of the limestones revealed a primary mode of origin for the CaC03 • Additional evidence for lacustrine deposition is the presence of thin lignitic layers directly overlying strata lacking root traces. The identification of the upper sand of the Sentinel Butte Formation within the uppermost exposures of this area, and the presence of the Sentinel Butte tuff marker unit in the region just south of the study area suggests that the upper 3/4 of the Sentinel Butte Formation is exposed in this area. Projection of the Bullion Creek-Sentinel Butte formational contact from a region to the east suggests that the maximun thickness of the Sentinel Butte Formation may be nearly 26 meters thicker than previously estimated. Paleocurrent data from this area indicate a SSW flow direction. This information, combined with data from earlier studies, suggests that the source area for these sediments was not the Powder River Basin. Examination of the thicknesses of various lignite beds in the Nessen Anticline area does not reveal if the anticline served as a diversionary barier during the deposition of these strata. It is possible that the development of the anticline was more influential during late Sentinel Butte time

Hardware/Software Co-Design via Specification Refinement

System-level design is an engineering discipline focused on producing methods, technologies, and tools that enable the specification, design, and implementation of complex, multi-discipline, and multi-domain systems. System-level specifications are as abstract as possible, defining required system behaviors while eliding implementation details. These implementation details must be added during the implementation process and the high effort associated with this locks system engineers onto the chosen implementation architecture. This work provides two contributions that ease the implementation process. The Rosetta synthesis capability generates hardware/software co-designed implementations from specifications that contain low level implementation details. The Rosetta refinement capability extends this by allowing a system's functional behavior and its implementation details to be described separately. The Rosetta Refinement Tool combines the functional behavior and the implementation details to form a system specification that can be synthesized using the Rosetta synthesis capability. The Rosetta refinement capability is exposed using existing Rosetta language constructs that have, previous to this work, never been exploited. Together these two capabilities allow the refinement of high level, architecture independent specifications into low level, architecture specific hardware/software co-designed implementations. The result is an effective platform for rapid prototyping of hardware/software co-designs and provides system engineers with the novel ability to explore different system architectures with low effort

Regional Image Perturbation Reduces LpL_p Norms of Adversarial Examples While Maintaining Model-to-model Transferability

Regional adversarial attacks often rely on complicated methods for generating adversarial perturbations, making it hard to compare their efficacy against well-known attacks. In this study, we show that effective regional perturbations can be generated without resorting to complex methods. We develop a very simple regional adversarial perturbation attack method using cross-entropy sign, one of the most commonly used losses in adversarial machine learning. Our experiments on ImageNet with multiple models reveal that, on average, $76\%$ of the generated adversarial examples maintain model-to-model transferability when the perturbation is applied to local image regions. Depending on the selected region, these localized adversarial examples require significantly less $L_p$ norm distortion (for $p \in \{0, 2, \infty\}$) compared to their non-local counterparts. These localized attacks therefore have the potential to undermine defenses that claim robustness under the aforementioned norms.Comment: Accepted for the ICML 2020, Workshop on Uncertainty and Robustness in Deep Learning (UDL

Model development of the Aquistore CO2 storage project

AbstractThe Plains CO2 Reduction (PCOR) Partnership, through the Energy & Environmental Research Center, is collaborating with Petroleum Technology Research Centre in site characterization; risk assessment; public outreach; and monitoring, verification, and accounting activities at the Aquistore project. The PCOR Partnership constructed a static geological model to assess the potential volumetric storage capacity of the Aquistore site and provide the foundation for dynamic simulation for the dynamic CO2 storage capacity. Results of the predictive simulations will be used in the risk assessment process to define an overall monitoring plan and assure stakeholders that the injected CO2 will remain safely stored

Evaluation of Average and Maximum Heart Rate of Wrist-worn Wearable Technology Devices During Trail Running

It has been estimated that there are 20 million people who participate in trail running, and these numbers are expected to increase by 15% each year. Our laboratory group has conducted studies on the validity of wearable technology watches and heart rate (HR) during trail running. The previous generation devices were mostly inaccurate, and a limitation was that reliability was not measured. PURPOSE: To determine both validity and reliability in newer models of wearable devices during trail running. METHODS: Seventeen participants (F = 7) ran on the Thunderbird Gardens Lightning Switch trail in Cedar City, UT. Demographic characteristics: Age = 25 (9) years (mean [standard deviation]), ht = 168 (9) cm, mass = 72 (14) kg. Two Garmin Instincts and two Polar Vantage M2s were evaluated, along with the Polar H10 chest strap as the criterion measure. Participants ran out on the trail for 10-minutes, and then returned to the trailhead. Maximum HR and average HR were measured during the run. Data were analyzed for validity (Mean Absolute Percent Error [MAPE] and Lin’s Concordance [CCC]) and reliability (Coefficient of Variation [CV] and Intraclass Correlation Coefficient [ICC]). Predetermined thresholds were: MAPE0.70, CV0.70. RESULTS: The Garmin Instinct met the threshold for both reliability tests for average and maximum HR (see table). The Garmin Instinct and Polar Vantage met the threshold for both validity tests for maximum HR. CONCLUSION: In order for a device to be considered valid, it must meet the predetermined thresholds for both validity and reliability. These results indicate that only the Garmin Instinct is valid and reliable, but only for measuring maximum HR. This is challenging for those who wish to track their HR while trail running, because neither of the studied devices were valid and reliable for maximum and average HR

Concurrent Validity and Reliability of Average Heart Rate and Energy Expenditure of Identical Garmin Instinct Watches During Low Intensity Resistance Training

ABSTRACT Wearable technology and resistance training are two of the top five worldwide fitness trends for 2022 as determined by ACSM. Many devices, such as Garmin’s Instinct, have functions to track various physiological aspects during resistance training. However, to our knowledge, independent verification of the validity and reliability of these devices for estimating average heart rate (HR) and energy expenditure (EE) during resistance training are nonexistent. PURPOSE: To determine the concurrent validity and reliability of identical Garmin Instinct watches during resistance training. METHODS: Twenty subjects (n=10 female and male; age: 23.2±7.7 years; height: 169.7±11.1; weight: 76.3±15.7 kg) completed this study. Two Garmin Instinct watches were evaluated, along with the Polar H10 chest strap and Cosmed K5 portable metabolic unit as the criterion devices for average HR and EE, respectively. Subjects completed 4 circuits of 4 exercises (front squat, reverse lunge, push-ups, and shoulder press) using dumbbells at a light intensity with 1 set of 10 repetitions per exercise, 30 seconds rest between exercises, and 1-1.5 min. rest between circuits. Data were analyzed for validity (Mean Absolute Percent Error [MAPE] and Lin’s Concordance Coefficient [CCC]) and reliability (Coefficient of Variation [CV]), with predetermined thresholds of MAPE0.70, and CVRESULTS: Garmin Instinct 1 and Instinct 2 were significantly (

Average Heart Rate and Energy Expenditure Validity of Garmin Vivoactive 3 and Fenix 6 Wrist Watches During Light Circuit Resistance Training

Our laboratory recently found wrist-worn wearable technology devices to be valid for measuring average heart rate (HR), but not valid for estimated energy expenditure (EE) compared to criterion devices, during steady state aerobic training (walking, running, biking). However, the validity of wrist-worn devices for HR and EE measures during resistance training is largely unknown. PURPOSE: The purpose of this study was to determine if two wrist-worn devices, Garmin Vivoactive 3 and Garmin Fenix 6 Pro, record valid measures of average HR and EE while performing circuit resistance training. METHODS: Twenty participants (n=10 female, n=10 male; age: 23.2 ± 7.7 years) completed this study. The Garmin Vivoactive 3 and Garmin Fenix 6 Pro were tested along with the Polar H10 chest strap and Cosmed K5 portable metabolic unit as the criterions for average HR and EE, respectively. Participants completed 4 circuits of 4 exercises (front squat, reverse lunge, push-ups, and shoulder press) using dumbbells at a light intensity with 1 set of 10 repetitions per exercise and 30 seconds rest between exercises and 1-1.5 min. rest between circuits. Mean absolute percent error (MAPE, ≤10%) and Lin’s Concordance (ρ≥0.7) were used to validate the device’s average HR (in bpm) and estimated EE (in kcals) compared to criterion reference devices. Dependent T-tests determined differences (p≤0.05). RESULTS: Average HR for Garmin Vivoactive 3 and Fenix 6 Pro were significantly different (p\u3c0.01) than the Polar H10 (115.0±23.9 and 124.5±15.4 vs 128.9±19.0 bpm, respectively), and were not considered valid (MAPE: 44.8% and 25.1%; Lin’s Concordance: 0.50 and 0.63, respectively). Estimated EE for Garmin Vivoactive 3 and Fenix 6 Pro were significantly different (p\u3c0.0001) than the Cosmed K5 (31.7±12.3 and 39.7±13.1 vs 20.3±5.5 kcals, respectively), and were not considered valid (MAPE: 309.7% and 322.1%; Lin’s Concordance: 0.04 and 0.15, respectively). CONCLUSION: Anyone involved in any resistance training aspect should be aware of the limitations of these wrist-worn devices in measuring average HR or EE

Finishing the euchromatic sequence of the human genome

The sequence of the human genome encodes the genetic instructions for human physiology, as well as rich information about human evolution. In 2001, the International Human Genome Sequencing Consortium reported a draft sequence of the euchromatic portion of the human genome. Since then, the international collaboration has worked to convert this draft into a genome sequence with high accuracy and nearly complete coverage. Here, we report the result of this finishing process. The current genome sequence (Build 35) contains 2.85 billion nucleotides interrupted by only 341 gaps. It covers ∼99% of the euchromatic genome and is accurate to an error rate of ∼1 event per 100,000 bases. Many of the remaining euchromatic gaps are associated with segmental duplications and will require focused work with new methods. The near-complete sequence, the first for a vertebrate, greatly improves the precision of biological analyses of the human genome including studies of gene number, birth and death. Notably, the human enome seems to encode only 20,000-25,000 protein-coding genes. The genome sequence reported here should serve as a firm foundation for biomedical research in the decades ahead

Evaluation of Alternatives For Hydraulic Design of Bridges With HEC-RAS

On average, flooding causes over five billion dollars of damage and 99 fatalities per year in the United States alone. These ever-increasing numbers indicate a need for rigorous design procedures for any structures which exacerbate flood risk. The U.S. Army Corps of Engineers Hydraulic Engineering Center (HEC) has developed a computer program called River Analysis System, and more commonly referred to as HEC-RAS or RAS. HEC-RAS is the best and most recent method for hydraulic design of bridges, and available documentation provides guidance for its use. The author is experienced in hydraulic design of bridges and has developed this thesis in order to address certain generalities and gaps in the HEC-RAS documentation. Factors examined included: location of the transition and approach sections, effects of choice of bridge calculation methods for low flow events, effects of bridge calculation methods for high flow events, effects of interpolated cross-sections, and effects of choice of inappropriate boundary conditions. It was found that transition reach lengths recommended by HEC-RAS documentation were the most accurate, and recommendations made as part of the HEC-2 program result in over calculation of water surface elevations. It was also found that use of the energy method for bridge calculations during high flow events which experience only pressure flow results in calculated water surface elevations that are much higher than observed data indicates