Results 131 to 140 of about 17,772 (305)
Canadian Journal of Statistics, EarlyView.Abstract We establish the consistency and the asymptotic distribution of the least squares estimators of the coefficients of a subset vector autoregressive process with exogenous variables (VARX). Using a martingale central limit theorem, we derive the asymptotic normal distribution of the estimators. Diagnostic checking is discussed using kernel‐based
Pierre Duchesne +2 more
wiley +1 more source
Asymptotic properties of cross‐classified sampling designs
Canadian Journal of Statistics, EarlyView.Abstract We investigate the family of cross‐classified sampling designs across an arbitrary number of dimensions. We introduce a variance decomposition that enables the derivation of general asymptotic properties for these designs and the development of straightforward and asymptotically unbiased variance estimators.
Jean Rubin, Guillaume Chauvet
wiley +1 more source
On the calculus of positively constructed formulas for authomated theorem proving
Моделирование и анализ информационных систем, 2010 The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov +2 more
doaj
A goodness‐of‐fit test for regression models with discrete outcomes
Canadian Journal of Statistics, EarlyView.Abstract Regression models are often used to analyze discrete outcomes, but classical goodness‐of‐fit tests such as those based on the deviance or Pearson's statistic can be misleading or have little power in this context. To address this issue, we propose a new test, inspired by the work of Czado et al.
Lu Yang +2 more
wiley +1 more source
, 2003 In this paper we discuss the similarities between program specialisation and inductive theorem proving, and then show how program specialisation can be used to perform inductive theorem proving.
Lehmann, Helko, Leuschel, Michael
core
Jackknife bias‐corrected variance estimation for the generalized regression estimator
Canadian Journal of Statistics, EarlyView.Abstract Commonly used variance estimators for the generalized regression estimator (GREG) are based on Taylor linearization and jackknife. Traditionally, a jackknife GREG variance estimator is obtained by jackknifing GREG, which consists of computing GREG from each of several subsamples of the parent sample, and estimating the variance of the parent ...
Marius Stefan, J.N.K Rao
wiley +1 more source
An Empirical Evaluation of Automated Theorem Provers in Software Certification
, 2006 We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP)
Schumann, Johann +2 more
core
Matrix-based constructive theorem proving
, 2000 . Bibel's connection method, originally developed for classical logic, has been extended to a variety of non-classical logics and used to control the creation of sequent proofs for interactive proof assistants.
Stephan Schmitt +3 more
core +1 more source
Non‐negative Gaussian estimation of variance components in random effects models
Canadian Journal of Statistics, EarlyView.Abstract When used to estimate variance components (VCs), confidence intervals (CIs) can be truncated at zero, have a point estimate not in the quoted CI, be empty with positive probability, or be all‐inclusive. This is because they have conflicting dual roles, since they are considered to cover the parameter with a specified probability while also ...
André Plante, Michael Plante
wiley +1 more source
Formal reasoning about synthetic biology using higher-order-logic theorem proving. [PDF]
IET Syst Biol, 2020 Abed S, Rashid A, Hasan O.
europepmc +1 more source