NIST logo

Publications Portal

You searched on: Topic Area: Math

Displaying records 61 to 70 of 103 records.
Resort by: Date / Title


61. 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

62. 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

63. 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

64. 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

65. 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

66. 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

67. 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

68. Front Matter for Special Issue of NIST Journal of Research in honor of Christoph Witzgall
Series: Journal of Research (NIST JRES)
Topic: Math
Published: 3/31/2006
Authors: David E. Gilsinn, Ronald F Boisvert
Abstract: This front matter for a special issue of the NIST Journal of Research contains a photograph and biography of Christoph Witzgall. It also contains a thank you paragraph by Christoph Witzgall for a symposium held in his honor. Many of the papers in thi ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150660

69. Bayesian Alternative to the Guide's Use of the Welch-Satterthwaite Formula
Topic: Math
Published: 1/3/2006
Author: Raghu N Kacker
Abstract: The Guide to the Expression of Uncertainty in Measurement suggests that to account for the statistical uncertainty in a combined standard uncertainty that arises when one or more of its components are evaluated from a limited number of independent no ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150900

70. Discrete Fourier Series Approximation to Periodic Solutions of Autonomous Delay Differential Equations
Topic: Math
Published: 1/2/2006
Author: David E. Gilsinn
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=150014



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