Výsledky vyhledávání - software/program verification—(statistical OR statistik) methods general terms algorithms*
-
1
Autoři: a další
Zdroj: Diagnostics (2075-4418); Sep2025, Vol. 15 Issue 18, p2365, 15p
-
2
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
-
3
Autoři: a další
Zdroj: Applied Water Science; Oct2025, Vol. 15 Issue 10, p1-21, 21p
Témata: VIRTUAL reality, MACHINE learning, OPTIMIZATION algorithms, FLOOD risk, ENVIRONMENTAL mapping, GEOGRAPHICAL positions, RANDOM forest algorithms
Geografický termín: FARS (Iran)
-
4
Autoři: a další
Zdroj: Veterinary Clinical Pathology. 2024 Special issue, p7-23. 17p.
Plný text ve formátu PDF -
5
Autoři: a další
Zdroj: Animals (2076-2615); Oct2025, Vol. 15 Issue 19, p2789, 13p
Témata: GRAZING, LIVESTOCK, DISTRIBUTION (Probability theory), ESTIMATION theory, GRASSLAND conservation, BIOINDICATORS, ECOSYSTEMS, DRONE surveillance
Geografický termín: CHINA, QINGHAI Sheng (China)
-
6
Autoři: a další
Zdroj: Tropical Animal Health & Production. Nov2024, Vol. 56 Issue 8, p1-15. 15p.
Plný text ve formátu HTML Plný text ve formátu PDF -
7
Autoři: a další
Zdroj: Journal of Pharmaceutical Innovation; Apr2025, Vol. 20 Issue 2, p1-22, 22p
-
8
Autoři:
Zdroj: Brain Sciences (2076-3425); May2025, Vol. 15 Issue 5, p519, 34p
-
9
Autoři:
Zdroj: Dentistry Journal; Jul2025, Vol. 13 Issue 7, p312, 37p
-
10
Zdroj: Journal of Maxillofacial & Oral Surgery; 2025 Suppl 1, Vol. 24, p1-484, 484p
-
11
Autoři: a další
Zdroj: Journal of Pharmaceutical Innovation; Dec2025, Vol. 20 Issue 6, p1-17, 17p
-
12
Autoři: a další
Zdroj: Animals (2076-2615); Nov2025, Vol. 15 Issue 22, p3306, 18p
-
13
Zdroj: Clinical Oral Implants Research (John Wiley & Sons, Inc.); Sep2025 Supplement 1, Vol. 36, p41-239, 199p
-
14
Zdroj: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 47 Issue 8, p1005-1028, 24p
-
15
Autoři: a další
Zdroj: Journal of Intelligence; Jan2023, Vol. 11 Issue 1, p19, 33p
-
16
Autoři: Georgieva, Diyana
Zdroj: International Journal of Cognitive Research in Science, Engineering & Education (IJCRSEE); 2025, Vol. 13 Issue 1, p117-125, 9p
-
17
Autoři: a další
Přispěvatelé: a další
Témata: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation Keywords Code Retrieval, Natural Language Processing, Defect Detection
Popis souboru: application/pdf
-
18
Autoři:
Přispěvatelé:
Zdroj: http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf.
Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, Validation General Terms Algorithms, Measurement, Reliability, Verification Keywords requirements
Popis souboru: application/pdf
Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.7173
http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf -
19
-
20
Autoři: a další
Zdroj: Indian Drugs; Mar2025, Vol. 62 Issue 3, p7-20, 14p
Full Text Finder
Nájsť tento článok vo Web of Science