cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Sedimentation and deformation in the Southern Sevier Foreland, Red Hills, Southwestern Utah
Creators: name: Anderson, Leona Page
Publisher: name: University of Utah
Year: 2012
Subjects: Colorado plateau stratigraphy
Southwestern Utah
Geology of the Parowan Gap
Geology of the Red Hills
Mesozoic geologic boundaries
Sedimentation and deformation
Sevier thrust belt

description: The Red Hills is the easternmost range within the Basin-and-Range province at the latitude of Parowan in southwestern Utah. It exposes two important late Mesozoic geologic margins: the westernmost deposits of the Cretaceous Interior Seaway and the easternmost thrusts of the Sevier orogenic belt. Jurassic to Eocene sedimentary strata, overlain by Tertiary pyroclastic deposits, record Sevier contractional deformation and  foreland sedimentation overprinted by Miocene to present Basin-and-Range extensional deformation. Three east-vergent Sevier thrusts exposed in the Red Hills juxtapose, from west to east, the Lower Jurassic Navajo Sandstone over isoclinally folded Middle Jurassic  Carmel Formation, the Carmel Formation over overturned Late Cretaceous Straight Cliffs Formation, and the Straight Cliffs section over the subhorizontal Late Cretaceous Iron Springs Formation. These thrust faults will respectively be referred to as the western,  central, and Iron Springs thrusts.
Brief an [Christfried Kirch]
Creators: name: Heinsius, Gottfried
Publisher: name: [s.n.]
Year: 1737

description: von [Gottfried] Heinsius
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Auf der Katalogkarte (Briefe UB Basel) mit Bleistift hinter dem Datum "n.s.?" (gemeint vermutlich "neueren Stils?") (21.10.2014/A100/bot)
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
Brief an [Christfried Kirch]
Creators: name: Heinss, Joachim Christoph
Publisher: name: [s.n.]
Year: 1735

description: von J[oachim] C[hristoph] Heinß
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
description: Auf Katalogkarte, Briefkatalog UB Basel: "23. Dez. 1735"; auf Originalbrief rechts oben: "23 Nov. 1735" in anderer Schrift, am Briefende autographisch "23 Nbr 1735", wobei das "N" nicht 100%ig eindeutig ist (20.10.2014/A100/bot)
Brief an [Christfried Kirch]
Creators: name: Heinss, Joachim Christoph
Publisher: name: [s.n.]
Year: 1737

description: von J[oachim] C[hristoph] Heinß
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
Brief an [Christfried Kirch]
Creators: name: Heinss, Joachim Christoph
Publisher: name: [s.n.]
Year: 1736

description: von J[oachim] C[hristoph] Heinß
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
description: Bl. 113: Daten einer Mondfinsternis vom 20. September
Brief an [Christfried Kirch]
Creators: name: Heinsius, Gottfried
Publisher: name: [s.n.]
Year: 1736

description: von G[ottfried] Heinsius
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
Brief an [Christfried Kirch]
Creators: name: Heinsius, Gottfried
Publisher: name: [s.n.]
Year: 1737

description: von G[ottfried] Heinsius
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
description: Ausz. L Ia 768:Bl.234(+236)
Brief an [Christfried Kirch]
Creators: name: Heinsius, Gottfried
Publisher: name: [s.n.]
Year: 1737

description: von [Gottfried] Heinsius
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
description: Ausz. L Ia 768:Bl.(234+)236
Brief an [Johann Heinrich Lambert]
Creators: name: Helmuth, Johann Heinrich
Publisher: name: [s.n.]
Year: 1777

description: von J[ohann Heinrich] Helmuth
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Druck: Joh. Heinrich Lamberts deutscher gelehrter Briefwechsel / hrsg. von Joh. [III] Bernoulli. - Berlin. - Bd. 2(1782), [S.] 343-347
description: Verzeichnung=Description=Inventaire Juli 2014 HAN-Katalogisierungsregeln
Brief an [Johann Heinrich Lambert]
Creators: name: Hausen, Carl Renatus
Publisher: name: [s.n.]
Year: 1769

description: Bittet um biographische Angaben für ein Buch über die Geschichte und Philosophie des 18. Jh., das er schreiben will.
description: von Carl Renatus Hausen, Ordentlicher Professor der Philosophie
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Druck: Joh. Heinrich Lamberts deutscher gelehrter Briefwechsel / hrsg. von Joh. [III] Bernoulli. - Berlin. - 2(1782), [S.] 55-56
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
Brief an [Johann III] Bernoulli
Creators: name: Hauschild, Johann Friedrich
Publisher: name: [s.n.]
Year: 1785

description: von Johann Friedrich Hauschild
description: Mit rotem Siegel
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
Brief an [Johann III Bernoulli]
Creators: name: Hausen, Carl Renatus
Publisher: name: [s.n.]
Year: 1796

description: Will wissen warum in B's Reisen nichts über Schwedt steht.
description: von [Carl Renatus] Hausen, Professor der Geschichte
description: Schreiberhand; am Briefende mit anderer Schrift der Satz "Er hat mit offenen Augen nicht gesehen"
description: Schwedt/Oder ist eine Stadt im Landkreis Uckermark, in Brandenburg; mit Bernoullis Reisen sind wohl die "Reisen durch Brandenburg, Pommern, Preussen, Curland, Russland und Pohlen, in den Jahren 1777 und 1778" gemeint.
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
Brief an [Johann III Bernoulli]
Creators: name: Hauschild, Johann Friedrich
Publisher: name: [s.n.]
Year: 1785

description: von Johann Friedrich Hauschild
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
Brief an [Johann III Bernoulli]
Creators: name: Hell, Maximilian
Publisher: name: [s.n.]
Year: 1780

description: von Maximilianus Hell
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Druck t[eil]w., dt. Übers.: Astronomisches Jahrbuch oder Ephemeriden für das Jahr ... - Berlin : Lange. - 1783, II, [S.] 153-154
description: Druck: Reisen durch Brandenburg, Pommern, Preussen, Curland, Russland und Pohlen, in den Jahren 1777 und 1778 / Johann [III] Bernoulli. - Leipzig : Caspar Fritsch. - 6(1780), [S.] 182-183
description: Verzeichnung=Description=Inventaire Juli 2014 HAN-Katalogisierungsregeln
Brief an [Johann III] Bernoulli
Creators: name: Hell, Maximilian
Publisher: name: [s.n.]
Year: 1773

description: von Maximilianus Hell
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Verzeichnung=Description=Inventaire Juli 2014 HAN-Katalogisierungsregeln
description: Bl. 170-174: De aequatione temporis von Maximilianus Hell (5 Bl., Ill.)
Brief an [Johann III] Bernoulli
Creators: name: Hell, Maximilian
Publisher: name: [s.n.]
Year: 1776

description: von Maximilianus Hell
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Druck t[eil]w.: Recueil pour les astronomes / par M. Jean Bernoulli. - Berlin. - Suppl.: Nouvelles littéraires de divers pays ... - 1(1776), [S.] 18
description: Verzeichnung=Description=Inventaire Juli 2014 HAN-Katalogisierungsregeln
Geomorphic and stratigraphic development of Lake Bonneville's intermediate paleoshorelines during the late pleistocene
Creators: name: Nelson, Daren Taylor
Publisher: name: University of Utah
Year: 2013
Subjects: Bonneville
Coastal
Great Basin
Lacustrine
Paleoclimate
Paleoshoreline

description: During the height of the Last Glacial Maximum (LGM), multiple paleoshorelines of late Pleistocene Lake Bonneville formed within the Bonneville basin of western Utah, eastern Nevada, and southeast Idaho. The geomorphic and sedimentological history of the paleoshorelines related to the relict lake has been used as proxies to understand paleoclimatic shifts during the LGM. The depositional and chronologic history of the lake's more significant paleoshorelines is well established. However, multiple transgressive paleoshorelines, termed "Intermediate" paleoshorelines, have also been identified but poorly documented in the basin. Intermediate paleoshorelines are found between the altitudinal limits of the lake's Bonneville and Provo levels. The variations in the altitudinal limits of these paleoshorelines make their correlation and chronologic record difficult to decipher. Geologic maps were produced for unconsolidated sediments near Stockton, Utah and in the Hogup Bar located southeast of Park Valley, Utah, to provide a geologic framework of the stratigraphic and geomorphic developmental and chronological record related to the Intermediate paleoshorelines. New stratigraphic and chronological data provided from these maps record two previously unpublished oscillatory events as well as evidence for previously proposed oscillatory events that occurred during the Intermediate (transgressive) phase of the lake. A model was also developed to correlate the Intermediate paleoshorelines within the basin, by updating and incorporating data from hydro isostatic rebound models, by incorporating data from a model that predicts potential wave energy, and by incorporating sedimentological and geomorphic data from the paleoshorelines to explain why variations exist in the altitudes of the Intermediate features. The potential correlation of six significant and multiple less substantial Intermediate paleoshorelines suggest that the chronologic record of these features can be established. However, more chronological and sedimentological evidence needs to be obtained before the proposed chronology of the Intermediate paleoshorelines and the observed oscillatory events can fully be demonstrated. As further documentation and chronology of these intermediate paleoshoreline features are obtained it will elucidate how the lake has responded to past submillennial climatic shifts associated with the LGM and will lead to a better understanding of the risk associated with future oscillations of the lake's surface.
Separation of mycobacterial soluble antigens
Creators: name: Moulton, Richard Glen
Publisher: name: University of Utah
Year: 2012
Subjects: Bacterial
Polysaccarides

description: Ion exchange chromatography and gel filtration have been reported to yield partial separation of mycobacterial antigens.  These procedures were used in combination with isoelectric focusing in an attempt to purify antigens of Mycobacterium tuberculosis strain H37Ra.  The fractionating action of isoelectric focusing is dependent upon differences in the isoelectric points of the proteins to be separated.  Culture filtrate of _M. tubercu1os i s H37Ra was chromatographed on Sephadex G-200.  This resulted in 2 widely separated peaks.  The first peak, presumably containing high molecular weight substances, was then fractionated on a DEAE Sephadex anion exchange column.  Three peaks were collected and each was subjected to isoelectric focusing.  Each peak was further separated into 2 or more fractions.  The serological reactivity of each fraction was determined by immunodiffusion and immunoe1ectrophoresis.  Sensitized guinea pigs were also skin tested with the fractions.  Two of the fractions contained only a single precipitinogen.  One fraction contained 2 precipitinogens.  A fourth fraction contained 3 precipitinogens, and was also the only fraction to display sensitin activity.  Four of the fractions were inactive either as precipitinogens or sensitins.  The results suggest that the methods described are   useful for the separation of mycobacterial antigens.
Brief an Johann [III] Bernoulli
Creators: name: Hell, Maximilian
Publisher: name: [s.n.]
Year: 1771

description: von Maximilianus Hell
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: [Druck] t[eil]w.: Recueil pour les astronomes / par M. Jean Bernoulli. - Berlin. - II, 1772, [S.] 350
description: Franz. Übers.: Recueil pour les astronomes / par M. Jean Bernoulli. - Berlin. - II, 1772, [S.] 216, [S.] 345-346
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
Optimizing a thermal fluidized-bed tar-sands extraction process
Creators: name: Coronella, Charles Joseph
Publisher: name: University of Utah
Year: 2012
Subjects: Oil Sands, refining
Fluidized-bed combustion

description: The viability of a thermal fluidized-bed tar-sands extraction process, consisting of two fluidized beds operated in series and thermally coupled by heat pipes, has been previously demonstrated.  To properly scale-up the reactor, both laboratory-scale and industrial-scale reactors should be operated in the same fluidization regime.  A program was undertaken to examine the effects of heat pipes on fluidization regime.  From studying the power spectrum of the pressure-drop fluctuations, it was concluded that the lab-scale unit is always operating in the bubbling regime.  To identify the most economically optimal operating conditions and reactor configuration, a mathematical model of the coupled system has been developed, including a novel py-rolysis-reaction network.  The model predicts trends in accord with those observed experimentally.  Concern has previously been expressed that the casing of the heat pipes might fail, due to the highly erosive environment inside the fluidized beds.  An experimental program concluded that this is not likely to happen within the expected life time of a plant, even though erosion and corrosion act synergistically to increase wear rate over that of the sum of both processes acting independently.  The temperature control of the two thermally coupled fluidized beds is complicated by the nature of the thermal interaction between them.   Using the internal model control tuning method, sufficiently good control performance was experimentally observed without lengthy on-line tuning.
Hydrogel based multianalyte microsensor arrays for metabolic monitoring
Creators: name: Avula, Mahender nath
Publisher: name: University of Utah
Year: 2012
Subjects: Biosensor
Continuous glucose monitoring
Hydrogel
Multianalyte microsensor arrays
Metabolic monitoring

description: This thesis describes the design and assembly process optimization of smart hydrogel based micropressure sensor arrays used for metabolic monitoring. Surface, electrical and pressure characterizations were performed on the sensor arrays. An assembly process was developed to integrate the sensor arrays with the hydrogels. Micropressure sensor arrays with both pH sensitive hydrogels and glucose sensitive hydrogels were assembled and tested in vitro in phosphate buffered saline. Sensor arrays were also tested in vitro for stability analysis.  Response times of 10 minutes for swelling cycle and 8 minutes for shrinking cycle were obtained for pH sensitive hydrogel based sensor arrays and 11 minutes for swelling cycle and 5 minutes for shrinking cycle were obtained for glucose sensitive hydrogel based sensor arrays. Such low response times were obtained using hydrogel based pressure sensors to detect glucose for the first time to our knowledge. Sensitivities of pH sensitive hydrogel based sensors were calculated to be 220 mV/V-M, 149 mV/V-M and 62 mV/V-M for pressure sensor diaphragm sizes of 1.5 X 1.5 mm2, 1.25 X 1.25 mm2 and 1 X 1 mm2, respectively. Sensitivities for glucose sensitive hydrogel based sensors were determined as 203 mV/V-M, 213 mV/V-M and 74 mV/V-M for diaphragm sizes of 1.5 X 1.5 mm2, 1.25 X 1.25 mm2 and 1 X 1 mm2, respectively. Stability experiments performed on the sensor arrays with pH hydrogels have been found to last for over 400 hours.
Brief an [Johann III] Bernoulli
Creators: name: Hell, Maximilian
name: Haller von Hallerstein, Augustin
Publisher: name: [s.n.]
Year: 1772

description: von Maximilianus Hell
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: [Erw.] Druck: Lettres sur différens sujets / Johann [III] Bernoulli. -Berlin. - [T.] 1(1777), [S.] 44
description: Verzeichnung=Description=Inventaire Okt. 2014 HAN-Katalogisierungsregeln
description: Bl.175-177: A. Hallerstein: Peking, Beobachtung der Sonnenfinsternis vom 25.5.1770, mit Anmerkungen von Hell (Kopie, 3 Bl.)
Development of analyte sensitive polymers for use in miniature biomedical sensors
Creators: name: Unknown
Publisher: name: University of Utah
Year: 2014
Subjects: Glucose sensor
Glutathione sensor
Hydrogel
Molecularly imprinted polymer
Stimuli-responsive material

description: Analyte-detecting sensors have been developed in many fields. Chemical sensors, and especially biomedical sensors, deserve special attention because they can simplify time-consuming, costly and site-limited medical procedures. Sensor efficiency depends on its analyte sensing material, signal transducing device and data processing system. The biggest barrier to devise biomedical sensors is the development of analyte sensing material with a high selectivity for target molecules.  The motivation of this research was to develop biomolecule-sensitive polymers that can be used in biomedical sensors. Thus, this thesis covers all stages of chemical sensor development, from developing target analyte sensitive materials to merging the developed materials with a signal transducing system. First, the potential application of a zwitterionic glucose-responsive hydrogel as a body implantable continuous glucose monitoring system was examined. After using thermodynamics to confirm the glucose sensing mechanism, synthesis of the hydrogels was optimized and analyzed using statistical methods (design of experiments (DOE)). Thermodynamics study showed that mixing contribution was an important factor to glucose selectivity as well as elastic contribution. By the DOE study, we confirmed that sensitivity of the hydrogels was determined by the molar ratio of cationic and anionic functional groups, and response time depended on the amount of cross-linker. A hydrogel degradation study was also performed to determine the effect of gamma ray sterilization and neutron irradiations on the hydrogel cross-linking network for biomedical applications. Results showed that gamma ray affected cross-linking networks of UV cured hydrogels. However, the neutron irradiation effect was not considerable. In addition, ferromagnetic particles-embedded, zwitterionic glucose-responsive hydrogels were developed to enable the response processing by a magnetoresistive transducer. The hydrogel with horizontally aligned ferromagnetic particles showed good sensitivity in the physiological glucose range (~10mM). Moreover, response time was reduced by almost seven-fold with twice thicker samples (800 um) than samples (400 um) with a pressure sensor measurement. A second project optimized the synthesis of a glutathione (GSH)-sensitive polymer. The selectivity of the polymer for GSH was improved by synthesizing a GSHimprinted polymer and adopting a cobalt ion-mediated chelating binding structure as analyte binding sites.
A study comparing changes in loading conditions of an extended service life aircraft using 17-7PH stainless steel
Creators: name: Hyer, Tony Clayton
Publisher: name: University of Utah
Year: 2014
Subjects: 17-7PH
Spectrum
Stainless

description: Industry and the military are always looking for ways to stretch their dollar. One way to do this is to make the equipment they currently own last longer in lieu of buying new. For example, many of the aircraft in the USAF have gone beyond their expected service life and over that time have experienced changes in usage. In order for the USAF, or others in the aviation industry, to make their aircraft last longer, they must understand how the changes in usage affect their aircraft. The purpose of this study was to determine the sensitivity of a representative stainless steel specimen to two different load spectra, spectrum A and spectrum B. This was accomplished by conducting fatigue experiments, baselines for each spectrum and three different combinations of the two spectra, performing fractographic examinations of the fracture surfaces and developing computer simulations, using AFGROW, to represent test data. The results showed that crack growth under spectrum B type loading conditions was significantly slower than under spectrum A. The fractography showed clear distinctions between the spectra fracture surfaces. Also, AFGROW simulations were successful in replicating test data. These results emphasize the need for continual monitoring of fatigue critical locations to better maintain aircraft.
Examination of serum cholesterol level and sociodemographic variables
Creators: name: Mohebali, Donya
Publisher: name: University of Utah
Year: 2012
Subjects: Blood cholesterol
Blood Cholesterol - Social aspects
Blood cholesterol - Economic aspects

description: Cardiovascular disease is the leading cause of death in the U.S. and Utah for both genders, and all racial and ethnic groups. Although many risk factors exist for cardiovascular disease, elevated total serum cholesterol levels are a major modifiable risk factor. Low income populations who have little access to health care face continual challenges in the form of environmental, social, and psychological barriers. Consequently, they are increasingly susceptible to the development of unmonitored high serum cholesterol levels and the subsequent risk of cardiovascular disease. The purpose of this study was to explore and examine the relationship between cholesterol level and socio-demographic variables, in order to work towards better prevention and screening in this population. Data was collected from the Maliheh Free Clinic located in Salt Lake City, Utah that offers health care to an underserved population who do not qualify for Medicaid or Medicare. A total of 226 patient charts were reviewed to collect data on patient characteristics and socioeconomic variables. Descriptive statistics such as chi square, T-tests, and ANOVA were performed to analyze the data. Total serum cholesterol among patients increased with age (p=.05). Mean total serum cholesterol decreased as income level increased among our sample. A higher percentage of patients in unemployed (14.0%) or unknown income (15.9%) categories were at highrisk (>= 240 mg/dL) compared to patients who had some monthly income. A higher percentage of male patients were found to be in the high risk category for total serum cholesterol level compared to female patients (13.6% vs. 11.8%). These findings allow a better understanding of the particular risks associated with serum cholesterol levels in this population. This information can be used to provide better preventative care, screening, and health education workshops to prevent cardiovascular disease in a culturally appropriate manner that meets the specific needs of this low-income population.
Determining specular, diffuse, and ambient color material properties of industrial plant primitives
Creators: name: Baker, James Brandon
Publisher: name: University of Utah
Year: 2014
Subjects: Automation
Computer aided design
Computer vision
Industrial plants
Material properties
Numerical inversion

description: Three-dimensional (3D) models of industrial plant primitives are used extensively in modern asset design, management, and visualization systems.  Such systems allow users to efficiently perform tasks in Computer Aided Design (CAD), life-cycle management, construction progress monitoring, virtual reality training, marketing walk-throughs, or other visualization.  Thus, capturing industrial plant models has correspondingly become a rapidly growing industry.  The purpose of this research was to demonstrate an efficient way to ascertain physical model parameters of reflectance properties of industrial plant primitives for use in CAD and 3D modeling visualization systems.   The first part of this research outlines the sources of error corresponding to 3D models created from Light Detection and Ranging (LiDAR) point clouds.  Fourier analysis exposes the error due to a LiDAR system's finite sampling rate.  Taylor expansion illustrates the errors associated with linearization due to flat polygonal surfaces.  Finally, a statistical analysis of the error associated with LiDar scanner hardware is presented.  The second part of this research demonstrates a method for determining Phong specular and Oren-Nayar diffuse reflectance parameters for modeling and rendering pipes, the most ubiquitous form of industrial plant primitives.  For specular reflectance, the Phong model is used.  Estimates of specular and diffuse parameters of two ideal cylinders and one measured cylinder using brightness data acquired from a LiDAR scanner are presented.  The estimated reflectance model of the measured cylinder has a mean relative error of 2.88% and a standard deviation of relative error of 4.0%.  The final part of this research describes a method for determining specular, diffuse and color material properties and applies the method to seven pipes from an industrial plant.  The colorless specular and diffuse properties were estimated by numerically inverting LiDAR brightness data.  The color ambient and diffuse properties are estimated using k-means clustering.  The colorless properties yielded estimated brightness values that are within an RMS of 3.4% with a maximum of 7.0% and a minimum of 1.6%.  The estimated color properties effected an RMS residual of 13.2% with a maximum of 20.3% and a minimum of 9.1%.
A Holistic Framework for IoT Middleware Platform Benchmarking
Creators: name: Mondal, Shalmoly
Publisher: name: Swinburne
Year: 2024

description: The Internet of Things (IoT) has made substantial progress in smart city, farming & health applications. Despite its growing adoption, choosing the right cloud platform to deploy IoT applications is an open problem due to numerous options. This research addressed this issue by developing a novel framework for benchmarking IoT cloud platforms. The outcomes will aid IoT developers in conducting pre-deployment performance testing, selecting suitable platform resources, and identifying potential real-world deployment shortcomings. Offering significant benefits, this research contributes to the development of new IoT applications for global challenges like climate change, bush-fires, and crop production, fostering a positive impact on citizens, the environment, and industries.
Formal verification of programs and their transformations
Creators: name: Li, Guodong
Publisher: name: University of Utah
Year: 2012
Subjects: Compiler verification
Formal verification
GPU program
Parallel program
SMT solving
Theorem proving

description: Formal veri fication is an act of using formal methods to check the correctness of intended programs. The    verifi cation is done by providing a formal proof on an abstract mathematical model of the program, with respect to a certain formal specifi cation or property. We present three case studies on using formal methods to verify programs and their transformations: (1) we use term rewriting and theorem proving to construct and validate a compiler from logic specifi cations to ARM assembly code; the equivalence of a source speci fication and the generated assembly code is proven mechanically with respect to the formal semantics; (2) we model, in an \executable" declarative language TLA+, the Message Passing Interface (MPI) 2.0 library as well as C programs using MPI calls for parallel computations; and use explicit model checking to check the   speci fications and programs; and (3) we model CUDA kernel programs as symbolic logical formulas, and use constraint solving to automatically reason about these Graphics Processing Unit (GPU) kernels.
Development of a health-belief-model-based instrument to assess worker beliefs about using personal protective equipment
Creators: name: Wall, Jack M
Publisher: name: University of Utah
Year: 2012
Subjects: Industrial safety
Blue-collar workers
Work environment

description: Occupational illness is a problem in the United States that affects thousands  of workers. Of the numerous occupational illnesses reported each year, most are  preventable through the use of personal protective equipment. The purpose of this  study was to develop an instrument to assess the significance of the determinants  that predict the use of personal protective equipment in a small industrial shop  setting. The aim of the study was to develop a valid and reliable theory-driven  instrument to assess the determinants so that effective interventions can be  constructed to improve the use of personal protective equipment in the occupational  setting. The health belief model was used as the theoretical basis for the  instrument.  The procedures selected for this study employed an expert and an employee  focus group to establish instrument validity. A two-judge content validity index  was calculated using judges from the expert focus group. Reliability was  established by test-retest administration of the instrument using a pilot group. An  analysis of Cronbach's alpha was used to assess the test-retest reliability of the  health belief model constructs used in the instrument.  The focus groups established that the instrument is valid. Reliability of the  instrument varied by construct, with the majority of the constructs having sufficient  reliability to make the instrument useful for assessing determinants of behavior contributing to the use of personal protective equipment in the small industrial shop  setting. More research is recommended to further enhance the reliability of the  instrument. The developed instrument fills a need for theory-based instruments that  can be used to plan theory-driven interventions that target increasing personal  protective equipment use in the small industrial shop setting.
Applications of quantitative methods and chaos theory in Ichnology for analysis of invertebrate behavior and evolution
Creators: name: Lehane, James Richard Woodson
Publisher: name: University of Utah
Year: 2014
Subjects: Behavioral evolution
Fractals
Graphoglyptids
Irretichnia
Nonlinear algebra
Predepositional

description: Trace fossils are the result of animal behaviors, such as burrowing and feeding, recorded in the rock record. Previous research has been mainly on the systematic description of trace fossils and their paleoenvironmental implications, not how animal behaviors have evolved. This study analyzes behavioral evolution using the quantification of a group of trace fossils, termed graphoglyptids. Graphoglyptids are deep marine trace fossils, typically found preserved as casts on the bottom of turbidite beds. The analytical techniques performed on the graphoglyptids include calculating fractal dimension, branching angles, and tortuosity, among other analyses, for each individual trace fossil and were performed on over 400 trace fossils, ranging from the Cambrian to the modem. These techniques were used to determine various behavioral activities of the trace makers, including feeding and behavioral evolution. Graphoglyptids have been previously identified as representing mining, grazing, farming, and/or trapping. By comparing graphoglyptids to known mining burrows and grazing trails, using fractal analysis, it was possible to rule out mining and grazing behaviors for graphoglyptids. To determine between farming and trapping, a review of all known trapping burrows was required. The hypothesis that graphoglyptids were trappers was based entirely on the hypothesized feeding behaviors of the worm Pciraonis. Close examination of Paraonis burrows indicated that the burrows are not traps. This means that, since Paraonis does not trap prey, graphoglyptids should not be considered traps either. Therefore, graphoglyptids likely represent farming behavior. This study also shows that previous interpretations of graphoglyptid behavioral evolution was far too simple. The results of the morphological analyses indicate that major changes to the behavioral evolution occurred during the Late Cretaceous and the Early Eocene. Previous hypotheses about Late Cretaceous evolutionary influences were validated. However there were additional influences like the Paleocene-Eocene Thermal Maximum that were not overly emphasized before. Finally, of the many theories about the driving force of evolution, chaos theory has often been overlooked. Chaos theory is a powerful tool, such that, by knowing the similarities between chaos theory and evolutionary theory, it may be possible to map out how  environmental changes could shift the evolution of a species.
Brevis descriptio speculae astronomicae, et Musaei physici Collegii Academici societatis Jesu Graecensis
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1772

description: Beschreibung des Observatoriums von Graz
description: von Unbekannt
description: Autor kann nicht identifiziert werden; möglicherweise handelt es sich um Maximilian Hell
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Druck, franz. Übers.: Lettres sur différens sujets / Johann [III] Bernoulli. - Berlin - Bd. 1(1777), [S.] 49-53
description: Im Briefkatalog Verzeichnung des Dokumentes auf der Katalogkarte unter Hell, Maximilian; im Standortverzeichnis als anonymes Werk angegeben (29.10.2014/A100/bot)
description: Verzeichnung=Description=Inventaire Juli 2014 HAN-Katalogisierungsregeln
An Informatics Approach to Chronic Disease Management in Primary Care: Blending Business Intelligence and Care Process Models
Creators: name: Wadsworth, John Chapin
Publisher: name: University of Utah
Year: 2014

description: Asthma, diabetes, and depression are chronic diseases managed through the Primary Care Clinical Program at Intermountain Healthcare. Primary Care Providers (PCPs) receive monthly reports on their patients with these conditions. The reporting paradigm focuses on individual diseases. PCPs have asked for a consolidated view of chronic disease, one that is patient-centric rather than disease-centric. A clinical decision support tool was developed using data from Intermountain's enterprise data warehouse. A cube was built to report on asthma, diabetes, and depression patients simultaneously. 183, 000 patients were included in the study. The tool measures PCP's adherence to best practices for chronic disease management. It also allows ad-hoc analysis of large data sets as well as actionable reports for PCPs to identify gaps in adherence to best practices. Primary care providers can view their patient populations with asthma, diabetes and depression in a consolidated report. The decision support tool was successfully built as a prototype for chronic disease management. The tool has the potential to scale and include many chronic conditions for reporting. It was demonstrated to executives, directors, and PCPs at Intermountain. Chronic disease management should be done with a patient focus rather than a disease focus. Information technology has an important role to play in the support of iv primary care and the medical home. Clinical decision support tools can be built to improve population-level and patient-level chronic disease management.
Brief an [Johann III] Bernoulli
Creators: name: Hell, Maximilian
Publisher: name: [s.n.]
Year: 1777

description: von Maximilianus Hell
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Druck t[eil]w., dt. Übers.: Astronomisches Jahrbuch oder Ephemeriden für das Jahr ... - Berlin : Lange. - 1780, II, [S.] 190-191
description: Verzeichnung=Description=Inventaire Juli 2014 HAN-Katalogisierungsregeln
Brief an [Maria Margaretha Kirch-Winkelmann]
Creators: name: Töllner, Justin
Publisher: name: [s.n.]
Year: 1697

description: von Justinus Töllner
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Januar 2016 HAN-Katalogisierungsregeln Vollständige Rekatalogisierung nach Standortverzeichnis und Briefkatalog
Brief an Maria Margaretha Kirch-Winkelmann
Creators: name: Töllner, Justin
Publisher: name: [s.n.]
Year: 1697

description: von Justinus Töllner
description: Mit roten Siegel
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Januar 2016 HAN-Katalogisierungsregeln Vollständige Rekatalogisierung nach Standortverzeichnis und Briefkatalog
Brief an [Maria Margaretha Kirch-Winkelmann]
Creators: name: Töllner, Justin
Publisher: name: [s.n.]
Year: 1696

description: von [Justinus Töllner]
description: Schluss und Adresse fehlen
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Januar 2016 HAN-Katalogisierungsregeln Vollständige Rekatalogisierung nach Standortverzeichnis und Briefkatalog
Sintering and grain growth of nanosized powder
Creators: name: Wang, Hongtao
Publisher: name: University of Utah
Year: 2012
Subjects: Nanosized powder
Sintering
Grain growth
Tungsten

description: The sintering of nanosized particles (or nanosintering) is an approach to the manufacture of bulk nanocrystalline materials. The goal of nanosintering is to achieve fully densified parts with grain size less than 100 nm. However, in practice, it is very difficult to reach. Due to the extremely small size and the high surface to volume ratio of nanosized powders, nanosintering exhibits a number of different phenomena compared to the sintering of coarse powders. For example, it is generally found that the sintering temperatures of nanosized particles are drastically lower than those of their micron or submicron sized counterparts, and grain growth during heating up is considerably rapider for nanosized powders in comparison with micronsized powders. In order to obtain a comprehensive understanding about these different phenomena during nanosintering, this study, by using tungsten as the example material, aims to examine size dependence of the sintering behavior and further explore the characteristics of densification and grain growth of nanosized powders, especially during initial and intermediate stages of sintering. The nanosized tungsten powder was produced by high energy mechanical milling. It is demonstrated that the sinterability of nanosized tungsten powder, compared with that of coarser powder, is significantly enhanced at lower sintering temperatures, and the enhancement of sintering at low temperatures for nanosized powders can be rationalized by Herring scaling law. The characteristics of densification and grain growth during nanosintering are examined by both nonisothermal heating up and isothermal holding experiments. The experimental results show linear densification behavior during the initial stage of sintering at low temperatures when density is less than ~50% relative density. Grain growth also exhibits a linear behavior during initial and intermediate stages of sintering. The mechanisms for linear densification and linear grain growth during early stage of sintering of nanosized tungsten powder are discussed based on kinetic analysis of experimental data. The evaluation results show surface diffusion is the mass transport mechanism for linear densification and linear grain growth. On the basis of the understanding of the densification and grain growth mechanisms, the general principles for inhibiting grain growth during nanosintering are proposed.
Oral stop contrasts in Omaha: an acoustic analysis
Creators: name: Neilson, Elizabeth Ann
Publisher: name: University of Utah
Year: 2012
Subjects: Endangered
Language
Omaha
Phonetics

description: The goal of the present study is to measure voice onset time (VOT) in the oral stop series in Omaha, a North American Indian language of the Siouan family. The  question addressed is: Does acoustic analysis using modern instrumentation support that the phonetic stop categories in Omaha are voiced, voiceless unaspirated, and voiceless aspirated at bilabial, dental, and velar places of articulation as documented in Dorsey's  Dhegiha language transcriptions (c. 1890) and attested by other linguists? Then, provided that for each place of articulation, three distinct groups of VOT values form, do these values correlate with VOTs for other languages which contain the three categories listed above, or to other categories of stops? Finally, how can this information be used to improve existing Omaha language revitalization programs and Omaha language lessons? Results showed that even with a variety of cross analyses, there is evidence that the purported three way contrast does consist of voiced, voiceless unaspirated, and voiceless aspirated categories in contemporary Omaha. This can be applied to the Omaha  curriculum as a pronunciation guide for students and non-native speaking teachers of Omaha.
Brief an [Johann III] Bernoulli
Creators: name: Hell, Maximilian
Publisher: name: [s.n.]
Year: 1774

description: von Maximilianus Hell
description: Mit einem Briefumschlag mit rotem Siegel
description: Öffentliche Bibliothek der Universität Basel
description: Lateinisch
description: Verzeichnung=Description=Inventaire Juli 2014 HAN-Katalogisierungsregeln
Gentamicin and furosemide ototoxicity in newborns: evaluation of hearing loss by auditory brainstem response audiometry
Creators: name: Perry, Richard Steven
Publisher: name: University of Utah
Year: 2012
Subjects: Infant, Newborn
Hearing Loss

description: The results of this study indicate that in the newborn population, an association exists between: 1) the administration of gentamicin and/or furosemide, and 2) the presence of low birth weight infants, and the dependent variable, hearing loss.  More than 20 variables could potentially effect hearing in this patient population, so the likelihood of a strong correlation existing between any single variable and hearing loss is small.  However, a statistically significant correlation between hearing loss and four variables did exist.  These results indicate the need of a follow-up study controlling for many of the variables associated with hearing loss.  Some factors that could be controlled for in a future study would be drug dosage, method of administration, and serum drug concentrations.  ABR testing should be done early to determine a baseline response, and repeat testing should be done at a fixed interval after drug therapy.  Variables such as birth weight and gestational age could be controlled, limiting their effect on hearing loss.  In this way a better correlation and stronger association between independent variables and hearing loss could be obtained.  In addition, more specific information regarding the ototoxicity of the agents and factors associated with that ototoxicity, such as dose and duration, route of administration, and administration of concurrent ototoxic drugs may be obtained.  If gentamicin and furosemide have the potential for ototoxicity, especially in the risk population, it would be important to identify those patients at risk.  By identifying those patients at risk, a more precise treatment and dosing schedule and more careful monitoring of therapy with these drugs may reduce the high incidence of hearing loss in this population.  The implication is for continued surveillance of those patients at increased risk for hearing loss who are treated with aminoglycosides and/or furosemide.  Based on the results of this study, low birth weight infants in the NBICU or newborn nursery area should be monitored closely for hearing loss.   Those patients who are receiving gentamicin and/or furosemide should be monitored for toxicity and screened for the presence of hearing loss be ABR audiometry until more specific characterization of the ototoxicity produced by these agents is available.
Brief an [Maria Margaretha] Kirch-Winkelmann
Creators: name: Töllner, Johann Gottlieb
Publisher: name: [s.n.]
Year: 1710

description: von J[ohann] G[ottlieb] Töllner
description: Mit rotem Siegel
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Januar 2016 HAN-Katalogisierungsregeln Vollständige Rekatalogisierung nach Standortverzeichnis und Briefkatalog
description: Bl.216: Figur zur Sonnenfinsternis vom 28.2.1710
description: Bl.217: Observatio Eclipseos solis factae d. 28 Febr 1710 instituta Halae
Reliability and validity of the Just Jump® mat countermovement push-up height as a measure of upper-body power
Creators: name: Waller, Michael A.
Publisher: name: University of Utah
Year: 2012
Subjects: Countermovement
Just Jump
Push-up
Reliability
Validity

description: Currently there is little research that has quantified the countermovement push-up (CMPU) power indices or investigated the validity and reliability of the CMPU as a practical upper-body muscular performance test. The current study investigated the force-time characteristics of the CMPU, the reliability and validity of the Just Jump ® mat (JJ) to assess CMPU height as an index of upper-body extensor muscular performance. Fifteen trained participants (13 = males and 2 = females); (mean ± SD) age = 26.87 ± 2.72 yrs, height = 178.83 ± 7.92 cm, body mass = 84.85 ± 15.53 kg, and bodyfat percent = 17.31± 6.20 % were recruited from the University of Utah and the Department of Exercise and Sport Science. The CMPU vertical displacement (CMPU-Ht), measured with 3-D motion analysis (MA) was 24.64 ± 7.01cm. A force platform was used to measure peak rate of force development (PRFD) = 6,254.93 ± 4409.89 N·s-1, peak power (PP) = 329.15 ± 178.06 W, impulse (IMP) = 198.40 ± 77.99 N·s, and peak force (PF) = 477.74 ± 179.73 N. A significant correlation (r > 0.70) was observed between motion analysis CMPU-Ht and PF and PP. Given the high relationship between CMPU-Ht and PP and PF, potential use of the use of JJ-derived Ht as a measure of upper body extensor performance was examined. While there was some support for the reliability of the JJ measures of CMPU-Ht, large coefficient of variation % (> 10%), standard error of measurement, random error, and statistical differences (p < 0.05) between the motion analysis and Just Jump mat® derived CMPU-Hts suggest that the JJ should not be used to assess CMPU power. Furthermore, through analyses of JJ CMPU-Ht for construct, convergent, and divergent validity demonstrated that the CMPU-Hts derived with the Just Jump mat® had low validity. Further research is needed to determine if another contact mat or CMPU protocol may improve the reliability and validity of the CMPU as an upper-body extensor muscle performance test.
Brief an Maria Margaretha [Kirch-Winkelmann]
Creators: name: Töllner, Justin
Publisher: name: [s.n.]
Year: 1694

description: von Justinus Töllner
description: Mit rotem Siegel
description: Öffentliche Bibliothek der Universität Basel
description: Deutsch
description: Verzeichnung=Description=Inventaire Januar 2016 HAN-Katalogisierungsregeln Vollständige Rekatalogisierung nach Standortverzeichnis und Briefkatalog