Výsledky vyhledávání - software/program verification - statistics methods
-
1
HybridQC: A SNP-Based Quality Control Application for Rapid Hybridity Verification in Diploid Plants
ISSN: 2073-4425, 2073-4425Vydáno: Switzerland MDPI AG 01.10.2024Vydáno v Genes (01.10.2024)“…) in breeding programs. Here, we introduce HybridQC v1.0, a QA/QC software program specially designed for parental purity and hybridity determination…”
Získat plný text
Journal Article -
2
Static Specification Mining Using Automata-Based Abstractions
ISSN: 0098-5589, 1939-3520Vydáno: New York IEEE 01.09.2008Vydáno v IEEE transactions on software engineering (01.09.2008)“…We present a novel approach to client-side mining of temporal API specifications based on static analysis. Specifically, we present an interprocedural analysis…”
Získat plný text
Journal Article -
3
Evaluation of Nintendo Wii Balance Board as a Tool for Measuring Postural Stability After Sport-Related Concussion
ISSN: 1062-6050, 1938-162X, 1938-162XVydáno: United States National Athletic Trainers Association 01.03.2017Vydáno v Journal of athletic training (01.03.2017)“… A new, freely available software program to accompany the Nintendo Wii Balance Board (WBB) system has recently been developed but has not been tested in concussed patients…”
Získat plný text
Journal Article -
4
Simulation modeling and analysis with Arena
ISBN: 9780123705235, 0123705231Vydáno: Amsterdam ; Tokyo Elsevier 2007“…A concise introduction to the principles of simulation modeling, with applications using the versatile ARENA simulation software program…”
Získat plný text
E-kniha Kniha -
5
Molecular fragments associated with non-genotoxic carcinogens, as detected using a software program based on graph theory: their usefulness to predict carcinogenicity
ISSN: 0009-2797, 1872-7786Vydáno: Shannon Elsevier Ireland Ltd 30.06.1995Vydáno v Chemico-biological interactions (30.06.1995)“…). Using our software program based on graph theory we analyzed the compounds in order to estimate the program's ability to predict nonalerting carcinogens…”
Získat plný text
Journal Article -
6
Verification of reference ranges by using a Monte Carlo sampling technique
ISSN: 0009-9147Vydáno: England 01.12.1994Vydáno v Clinical chemistry (Baltimore, Md.) (01.12.1994)“… Here we present an introduction to the Monte Carlo technique, outline a procedure for performing these tests using a commercially available software program, and demonstrate some of the…”
Zjistit podrobnosti o přístupu
Journal Article -
7
Survey of software fault static prediction methods
ISSN: 1673-9418Vydáno: 01.10.2009Vydáno v Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.10.2009)“…By predicting software faults with metrics information, the testing and verification resources are allocated effectively…”
Získat plný text
Journal Article -
8
An efficient hardware-oriented dropout algorithm
ISSN: 0925-2312Vydáno: Elsevier BV 01.02.2021Vydáno v Neurocomputing (01.02.2021)Získat plný text
Journal Article -
9
Verification of a computer-aided replica technique for evaluating prosthesis adaptation using statistical agreement analysis
ISSN: 2005-7806Vydáno: Korea (South) 01.10.2017Vydáno v The journal of advanced prosthodontics (01.10.2017)“… In the CART group, the gap was digitized using optical scanning and image superimposition, and the gaps were measured using a software program…”
Zjistit podrobnosti o přístupu
Journal Article -
10
Statistical Techniques for Software Engineering Practice
ISBN: 9780769521633, 0769521630ISSN: 0270-5257Vydáno: Washington, DC, USA IEEE Computer Society 23.05.2004Vydáno v International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 (23.05.2004)“…Many factors are combining to promote theuse of quantitative and statistical methods bypracticing software engineers…”
Získat plný text
Konferenční příspěvek -
11
Methodology of serial ECG classification using an adaptation of the NOVACODE for Q wave myocardial infarction in the bypass angioplasty revascularization investigation (BARI)
ISSN: 0022-0736, 1532-8430Vydáno: Orlando, FL Elsevier Inc 01.10.1996Vydáno v Journal of Electrocardiology (01.10.1996)“…Serial electrocardiographic (ECG) changes are a critical component of the diagnostic algorithm for classification of myocardial ischemic events in large-scale…”
Získat plný text
Journal Article -
12
Isobio software: biological dose distribution and biological dose volume histogram from physical dose conversion using linear-quadratic-linear model
ISSN: 1689-832X, 2081-2841Vydáno: Poland Termedia Publishing House 01.02.2017Vydáno v Journal of contemporary brachytherapy (01.02.2017)“…To develop an in-house software program that is able to calculate and generate the biological dose distribution and biological dose volume histogram by physical dose conversion using the linear-quadratic-linear (LQL) model…”
Získat plný text
Journal Article -
13
Methods of statistical dimensioning of the outdoor insulation with respect to polluted conditions
Vydáno: IEEE 01.06.2005Vydáno v 2005 IEEE Russia Power Tech (01.06.2005)“… The theoretical basis of the statistical method is presented together with its verification by service experience…”
Získat plný text
Konferenční příspěvek -
14
30 essential steps to take right now to prevent online crime
ISSN: 0744-7612Vydáno: San Francisco International Association of Business Communicators 01.03.1999Vydáno v Communication world (San Francisco, Calif.) (01.03.1999)“…Computer-related crimes are becoming rampant. Based on statistics from the US Federal Trade Commission, security violations, thefts and fraud of intellectual property are costing businesses and consumers…”
Získat plný text
Magazine Article -
15
Results of using geoinformation and statistical analysis methods to study spectral reflectance characteristics of agricultural crops of Belarus
ISSN: 2521-6740, 2617-3972Vydáno: 22.12.2022Vydáno v Zhurnal Belorusskogo gosudarstvennogo universiteta. Geografii͡a︡, geologii͡a (22.12.2022)“…) and analysed based on the methods of zonal statistics in the software complex ArcGIS (version 10.2) and mathematical and statistical analysis in the program Statistica…”
Získat plný text
Journal Article

