Andrey Novikov

Learn More
T-cell-mediated hypersensitivity to metal cations is common in humans. How the T cell antigen receptor (TCR) recognizes these cations bound to a major histocompatibility complex (MHC) protein and self-peptide is unknown. Individuals carrying the MHCII allele, HLA-DP2, are at risk for chronic beryllium disease (CBD), a debilitating inflammatory lung(More)
The paper reports our ideas and experience on model based testing of a compiler. We consider a tiny programming language that consists of the standard control statements and external method calls only. Static and dynamic semantics of the language is formalized in the Abstract State Machines specification Language (AsmL), and used to produce a test suite for(More)
Let X 1 , X 2 ,. .. be a discrete-time stochastic process with a distribution P θ , θ ∈ Θ, where Θ is an open subset of the real line. We consider the problem of testing a simple hypothesis H 0 : θ = θ 0 versus a composite alternative H 1 : θ > θ 0 , where θ 0 ∈ Θ is some fixed point. The main goal of this article is to characterize the structure of locally(More)
Suppose that at any stage of a statistical experiment a control variable X that affects the distribution of the observed data Y can be used. The distribution of Y depends on some unknown parameter θ, and we consider the classical problem of testing a simple hypothesis H 0 : θ = θ 0 against a simple alternative H 1 : θ = θ 1 allowing the data to be(More)
We study the stability of the classical optimal sequential probability ratio test based on independent identically distributed observations X1, X2,. .. when testing two simple hypotheses about their common density f : f = f0 versus f = f1. As a functional to be minimized, it is used a weighted sum of the average (under f0) sample number and the two types(More)
INTRODUCTION Exploring different sampling sites and methods is of interest for studies of the epidemiology of HPV infections in the male. Expressed prostate secretions (EPS) are obtained during digital rectal examination (DRE), a daily routine urological diagnostic procedure, following massage of the prostate. MATERIALS AND METHODS Urethral swabs and EPS(More)
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, including control flow operators , object creation and field manipulation. Then the decidability result is established for checking invariants of programs corresponding to that class of(More)