NIST logo

Publications Portal

You searched on: Topic Area: Math

Displaying records 141 to 150 of 243 records.
Resort by: Date / Title


141. A Combinatorial Testing Strategy for Concurrent Programs
Topic: Math
Published: 6/7/2007
Authors: Yu Lei, Richard Carver, Raghu N Kacker, David Kung
Abstract: One approach to testing concurrent programs is called reachability testing, which derives test sequences automatically and on-the-fly, without constructing a static model. Existing reachability testing algorithms are exhaustive in that they are inten ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50892

142. IPOG: A General Strategy for t-Way Software Testing
Topic: Math
Published: 3/29/2007
Authors: Yu Lei, Raghu N Kacker, David R Kuhn, Vadim Okun, James F Lawrence
Abstract: Most existing work on t-way testing has focused on 2-way (or pairwise) testing, which aims to detect faults caused by interactions between any two parameters. However, faults can also be caused by interactions involving more than two parameters. In t ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50944

143. Trapezoidal and Triangular Distributions for Type B Evaluation of Standard Uncertainty
Topic: Math
Published: 2/26/2007
Authors: Raghu N Kacker, James F Lawrence
Abstract: A Type B standard uncertainty is determined from a probability distribution specified by scientific judgment based on all available information. The ISO-GUM discusses symmetric distributions only. Sometimes an asymmetric distribution is needed. We de ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50853

144. Computable Error Bounds for Approximate Periodic Solutions of Autonomous Delay Differential Equations
Topic: Math
Published: 1/2/2007
Author: David E. Gilsinn
Abstract: In this paper we prove a result that says: Given an approximate solution and frequency to a periodic solution of an autonomous delay differential equation that satisfies a certain non-criticality condition, there is an exact periodic solution and fre ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50868

145. Comments on 'Bayesian evaluation of comparison data' by Ignacio Lira
Topic: Math
Published: 1/1/2007
Authors: Raghu N Kacker, Blaza Toman
Abstract: A recent paper by Ignacio Lira in Metrologia 43 (2006) S231-S234 addresses a well-known problem in combining information from interlaboratory evaluations. Lira presents an expression, which he claims to be the kernel of a Bayesian posterior probabili ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50952

146. Random-Effects Model for Meta-analysis of Clinical Trials: An Update
Topic: Math
Published: 1/1/2007
Authors: Rebecca DerSimonian, Raghu N Kacker
Abstract: The random-effects model is a useful approach for meta-analysis of clinical studies. It explicitly accounts for the heterogeneity of studies through a statistical parameter representing the inter-study variation. We discuss several iterative and non- ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51313

147. Review of Understanding and Implementing the Finite Element Method
Topic: Math
Published: 1/1/2007
Author: William F Mitchell
Abstract: This paper reviews the book "Understanding and Implementing the Finite Element Method" by Mark S. Gockenbach.
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51115

148. Approximating Periodic Solutions of Autonomous Delay Differential Equations
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7375
Topic: Math
Published: 11/30/2006
Author: David E. Gilsinn
Abstract: Machine tool chatter has been characterized as isolated periodic solutions or limit cycles of delay differential equations. Determining the amplitude and frequency of the limit cycle is sometimes crucial to understanding and controlling the stability ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50885

149. Integral Operators and Delay Differential Equations
Topic: Math
Published: 10/1/2006
Authors: David E. Gilsinn, Florian A Potra
Abstract: We begin this expository essay by reviewing with examples what a typical engineer already knows about statistics. We then consider a central question in engineering decision making, i.e., given a computer simulation of high-consequence systems, how ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150015

150. Ambiguities in Powder Indexing: The Impact of a Quaternary Lattice Metric Singularity on the Characterization of Mawsonite and Chartkalite
Series: Journal of Research (NIST JRES)
Topic: Math
Published: 9/1/2006
Author: Alan D. Mighell
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=854230



Search NIST-wide:


(Search abstract and keywords)


Last Name:
First Name:







Special Publications:

Looking for a NIST Special Publication (NIST SP Series)? Place the series number and dash in the report number field (Example: 800-) and begin your search.

  • SP 250-XX: Calibration Services
  • SP 260-XX: Standard Reference Materials
  • SP 300-XX: Precision Measurement and Calibration
  • SP 400-XX: Semiconductor Measurement Technology
  • SP 480-XX: Law Enforcement Technology
  • SP 500-XX: Computer Systems Technology
  • SP 700-XX: Industrial Measurement Series
  • SP 800-XX: Computer Security Series
  • SP 823-XX: Integrated Services Digital Network Series