Results 11 to 20 of about 2,010,640 (293)
ObjectiveTurn-amplitude clouds were widely used in automatic electromyography (EMG) interference pattern analysis. Earlier works employed the intercept ± 2SD (standard deviation) of the linear regression equation as the upper and lower boundaries of the ...
Dan Wang+10 more
doaj +1 more source
Advances of Proof Scores in CafeOBJ [PDF]
Critical flaws continue to exist at the level of domain, requirement, and/or design specification, and specification verification (i.e., to check whether a specification has desirable properties) is still one of the most important challenges in software/system engineering.
arxiv +1 more source
Background: Malaria diagnosis using microscopy is currently the gold standard. However, malaria rapid diagnostic tests (mRDTs) were developed to simplify the diagnosis in regions without access to functional microscopy.
Oluwagbenga Ogunfowokan+2 more
doaj +1 more source
Encompassing and Specificity [PDF]
A model M is said to encompass another model N if the former can explain the results obtained by the latter. In this paper, we propose a general notion of encompassing that covers both classical and Bayesian viewpoints and essentially represents a concept of sufficiency among models.
Florens, Jean-Pierre+2 more
openaire +5 more sources
A prospective observational study of predictors of difficult intubation in Indian patients
Background and Aims: During routine preoperative assessment of patients one of the commonest practices is predicting difficulty of intubation. The present study was undertaken to evaluate parameters associated with difficult intubation and to test on new
Harsha H Narkhede+2 more
doaj +1 more source
Specificity and Targeting of Optical Molecular Probe FITC-CSPLNTRFC on Breast Cancer Cells Bcap-37
Objective To investigate the specificity and targeting abilities of FITC-CSPLNTRFC peptide FITC-BCSP1 optical molecular probe on breast cancer cells Bcap-37.
GUO Chao+3 more
doaj +1 more source
Molecular detection of bacterial pathogens based on LAMP methods is a faster and simpler approach than conventional culture methods. Although different LAMP-based methods for pathogenic bacterial detection are available, a systematic comparison of these ...
Deguo Wang+6 more
doaj +1 more source
Low temperature specific heat of glasses: a non-extensive approach [PDF]
Specific heat is calculated using Tsallis statistics. It is observed that it is possible to explain some low temperature specific heat properties of glasses using non-extensive approach. A similarity between temperature dependence of non-extensive specific heat and fractal specific heat is also discussed.
arxiv +1 more source
On the Specificity of Renin [PDF]
Fil: Braun Menéndez, Eduardo. Instituto de Fisiología. Facultad de Medicina.
Fasciolo, Juan C.+3 more
openaire +4 more sources
Declarative specifications [PDF]
AbstractDeriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods. To reduce this gap we introduce application-specific specification languages, i.e., graphical and textual notations that can be unambiguously ...
Fuchs, Norbert E, Robertson, David
openaire +3 more sources