#### Filter Results:

- Full text PDF available (6)

#### Publication Year

1972

2016

- This year (0)
- Last 5 years (4)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Bruce W. Weide, Murali Sitaraman, +6 authors David Frazier
- VSTTE
- 2008

This paper proposes an initial catalog of easy-to-state, relatively simple, and incrementally more and more challenging benchmark problems for the Verified Software Initiative. These benchmarks support assessment of verification tools and techniques to prove total correctness of functionality of sequential object-based and object-oriented software. The… (More)

- Murali Sitaraman, Bruce M. Adcock, +10 authors Bruce W. Weide
- Formal Aspects of Computing
- 2010

A central objective of the verifying compiler grand challenge is to develop a push-button verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler generates machine code. The software developer’s role is then to provide suitable specifications and annotated code, but otherwise to have no direct… (More)

The standard description of two-step extremum estimation amounts to plugging in a first step estimator of nuisance parameters in order to simplify the optimization problem and then to deduce a user friendly estimator for the parameters of interest. This two-step procedure often induces an e ciency loss with respect to estimation of the parameters of… (More)

Approximate Bayesian computation (ABC) methods have become increasingly prevalent of late, facilitating as they do the analysis of intractable, or challenging, statistical problems. With the initial focus being primarily on the practical import of ABC, exploration of its formal statistical properties has begun to attract more attention. The aim of this… (More)

We consider consistent estimation of parameters in a structural model by Indirect Inference (II) when the exogenous variables can be missing at random (MAR) endogenously. We demonstrate that II procedures which simply discard sample units with missing observations can yield inconsistent estimates of the true structural parameters. By inverse probability… (More)

- D. T. Frazier, K. Murayama, T. Narahashi
- Experientia
- 1972

Es wird die Annahme gestützt, dass in der Nervenmembran die aktive Form lokal anaesthetischer Mittel die ionisierte Form ist. Die das Wirkungspotential herabserzende Wirkung dieser Stoffe scheint durch die höheren Konzentrationen der nicht-ionisierten Form bedingt zu sein.

- David Frazier
- 2012

This research consider the problem of efficiently estimating a parameter of interest when the model is complicated by a vector of nuisance parameters. If the model is nonadaptive we must often resort to full information estimation to gain an efficient estimator for the parameter of interest. In certain cases full information estimation can be… (More)

- ‹
- 1
- ›