Uric acid in serum was determined calorimetrically with a batch type microcalorimeter, by measuring the heat evolved during a coupled uricase/catalase enzymic reaction in tris(hydroxymethyl)aminomethane HCl buffer (pH 9.0 at 30 degrees C). Heat evolution and concentration are linearly related through the physiological range of serum uric acid concentrations and the method is free of interferenc...

Computational reliability assessment in mechanized tunneling requires realistic numerical models accounting for the uncertainty of geotechnical and tunneling process parameters. For real-time prognoses, surrogate models are in general inevitable to substitute expensive complex numerical simulations. In this paper, different strategies for surrogate modeling in mechanized tunneling simulations a...

An assurance case provides an argument that certain claims (usually concerning safety or other critical properties) are justified, based on given evidence concerning the context, design, and implementation of a system. An assurance case serves two purposes: reasoning and communication. For the first, the argument in the case should approach the standards of mathematical proof (though it may be ...

agricultural mechanization project must be identified in a short time frame to do a certain way; otherwise, cost is not the time to come and will also result in reduced yield. to avoid these costs in farming systems is necessary in any region that agricultural mechanization projects are and scheduling and planning as well as scientific until activities included in the project to fruition are do...

This paper introduces a benchmark problem library for mechanized math technologies including computer algebra and automated theorem proving. The library consists of pre-university math problems taken from exercise problem books, university entrance exams, and the International Mathematical Olympiads. It thus includes problems in various areas of pre-university math and with a variety of difficu...

We propose a thesis defending the following statement: The logical notions of polarity and focusing provide a foundation for dependently typed programming with domain-specific logics, with applications to certified software and mechanized metatheory.