Sentence examples for approaches to specify from inspiring English sources

Logic programming can be explained using proof search as its theoretical basis, and linear logic provides this approach to computational specification with new combinators for building logic programs, new means to capture rich dynamics, and new declarative approaches to specify concurrent computations.

Whereas traditional classification of childhood asthma is primarily based on clinical symptoms like wheezing and atopy, novel approaches to specify asthma phenotypes are under way and face challenges such as including the stability of phenotypes over time and transition into adulthood.

This paper integrates these evolutionary, genetic and genomic approaches to specify the specific mutation underlying in vivo resistance to artemisinin.

Clinical practice guidelines (CPGs), and similar systematic approaches to specifying "best practices", are at present the primary method for implementing EBM in healthcare practice [ 1].

In a discussion of Bayesian approaches to specifying prior distributions for random effect variances Lambert et al [ 32] used the data from Kozyrskij [ 9] to illustrate the problems with random effects analyses.

However, as more reliable evidence becomes available on the relationship between testing and HIV status in different contexts, future research could consider adopting alternative approaches to specifying the prior probability distribution.This bias correction approach avoids the problem of boundary estimates, and is feasible to implement even when the likelihood function is monotonic.

An extensive literature exists on SEMs, and correspondingly a variety of approaches to specifying the model have been described (Jöreskog, 1975; Bentler and Weeks, 1980; Muthén, 1984, 2002; Sánchez et al., 2005; Skrondal and Rabe-Hesketh, 2005; Muthén and Muthén, 2007).

This work proposes an approach to specify and verify map-centered applications.

Therefore, it is of paramount importance to have an approach to specify the dynamic behavior of the context-sensitive systems.

In this paper, we start by summarizing our approach to specify user requirements for data warehouses and to obtain a conceptual multidimensional model capturing these requirements.

The mainstream approach to specify an SDR application has consisted in implementing the signal processing blocks on digital signal processors (DSP) coupled with hardware accelerators such as field-programmable gate array (FPGA) or application-specific integrated circuit (ASIC) fabrics [4].