Suchergebnisse - software/program verification—(statistical OR statistika) methods general terms algorithms*

Prediction of Recurrence and Rupture Risk of Ruptured and Unruptured Intracranial Aneurysms of the Posterior Circulation: A Machine Learning-Based Analysis.

Autoren: Növer, Martin Styczen, Hanna Jabbarli, Ramazan et al.

Quelle: Diagnostics (2075-4418); Sep2025, Vol. 15 Issue 18, p2365, 15p

Schlagwörter: INTRACRANIAL aneurysms, MACHINE learning, POSTERIOR cranial fossa, RISK assessment, ORGAN rupture, HYPERTENSION, DISEASE progression, DISEASE risk factors

Retrieving Similar Code Fragments based on Identifier Similarity for Defect Detection

Autoren: Norihiro Yoshida Takashi Ishio Makoto Matsushita et al.

Weitere Verfasser: Norihiro Yoshida Takashi Ishio Makoto Matsushita et al.

Quelle: http://iip-lab.ics.es.osaka-u.ac.jp/~lab-db/betuzuri/archive/706/706.pdf.

Schlagwörter: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2917

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2917
http://iip-lab.ics.es.osaka-u.ac.jp/~lab-db/betuzuri/archive/706/706.pdf

Virtual reality-assisted visualization of flood susceptibility using optimized machine learning models.

Autoren: Razavi-Termeh, Seyed Vahid Safari Bazargani, Jalal Sadeghi-Niaraki, Abolghasem et al.

Quelle: Applied Water Science; Oct2025, Vol. 15 Issue 10, p1-21, 21p

Schlagwörter: VIRTUAL reality, MACHINE learning, OPTIMIZATION algorithms, FLOOD risk, ENVIRONMENTAL mapping, GEOGRAPHICAL positions, RANDOM forest algorithms

Geografische Kategorien: FARS (Iran)

Guidelines for resident training in veterinary clinical pathology. IV: Laboratory quality management--Teaching domains, competencies, and suggested learning outcomes.

Autoren: Flatland, Bente Dehghanpir, Shannon D. Evans, Samantha J. M. et al.

Quelle: Veterinary Clinical Pathology. 2024 Special issue, p7-23. 17p.

Livestock Dung Proxies Provide Insights into Grazing Density Quantification and Distribution.

Autoren: Huang, Bo Liu, Yingying Chen, Yingxi et al.

Quelle: Animals (2076-2615); Oct2025, Vol. 15 Issue 19, p2789, 13p

Schlagwörter: GRAZING, LIVESTOCK, DISTRIBUTION (Probability theory), ESTIMATION theory, GRASSLAND conservation, BIOINDICATORS, ECOSYSTEMS, DRONE surveillance

Geografische Kategorien: CHINA, QINGHAI Sheng (China)

Identification of quantitative trait locus and positional candidate loci influencing chicken egg quality under tropical conditions.

Autoren: Lien, C. Y. Tixier-Boichard, M. Wu, S. W. et al.

Quelle: Tropical Animal Health & Production. Nov2024, Vol. 56 Issue 8, p1-15. 15p.

Artificial Intelligence: Preface, Applications and Future Perspective in Relation to Pharmaceutical Sector.

Autoren: Singh, Supriya Kumar, Sanket Quadir, Sheikh Shahnawaz et al.

Quelle: Journal of Pharmaceutical Innovation; Apr2025, Vol. 20 Issue 2, p1-22, 22p

Neurophysiological Approaches to Lie Detection: A Systematic Review.

Autoren: Taha, Bewar Neamat Baykara, Muhammet Alakuş, Talha Burak

Quelle: Brain Sciences (2076-3425); May2025, Vol. 15 Issue 5, p519, 34p

Schlagwörter: FISHER discriminant analysis, LIE detectors & detection, RECOGNITION (Psychology), DISCRETE wavelet transforms, COMPUTER interfaces

Three-Dimensionally Printed Splints in Dentistry: A Comprehensive Review.

Autoren: Šimunović, Luka Čimić, Samir Meštrović, Senka

Quelle: Dentistry Journal; Jul2025, Vol. 13 Issue 7, p312, 37p

Schlagwörter: THREE-dimensional printing, PROSTHODONTICS, MECHANICAL behavior of materials, CLINICAL medicine, ORAL surgery, ORTHODONTICS, PERIODONTAL splints, OPERATIVE dentistry

Multivariate Statistical Machine Learning Methods for Genomic Prediction

Autoren: Osval Antonio Montesinos López Abelardo Montesinos López José Crossa

Resource Type: eBook.

Schlagworte: Genomics, Agriculture, Biometry, Plant genetics--Statistical methods, Multivariate analysis--Data processing, Machine learning

Categories: TECHNOLOGY & ENGINEERING / Agriculture / General, COMPUTERS / Data Science / Bioinformatics, MEDICAL / Biostatistics, SCIENCE / Life Sciences / Botany, SCIENCE / Life Sciences / Genetics & Genomics

Scientific Abstracts of 49th Annual Conference of Association of Oral and Maxillofacial Surgeons of India (AOMSI).

Quelle: Journal of Maxillofacial & Oral Surgery; 2025 Suppl 1, Vol. 24, p1-484, 484p

Unveiling the Potential of Garcinia Atroviridis Root-Derived Phenolic Compounds Against Breast Cancer: Isolation, Network Pharmacology and In-Silico Approaches.

Autoren: Ahmad Roslan, Nur Salsabila Binti Roney, Miah Issahaku, Abdul Rashid et al.

Quelle: Journal of Pharmaceutical Innovation; Dec2025, Vol. 20 Issue 6, p1-17, 17p

Reticuloruminal Motility Monitoring for the Prediction of Peripartal Hypocalcemia in Cattle.

Autoren: Gleissenberger, Julia Breitegger, Philipp Gleissenberger, Matthias et al.

Quelle: Animals (2076-2615); Nov2025, Vol. 15 Issue 22, p3306, 18p

Schlagwörter: HYPOCALCEMIA, CATTLE, CALCIUM, GASTROINTESTINAL motility, PERINATAL period, DEEP learning

ePoster.

Quelle: Clinical Oral Implants Research (John Wiley & Sons, Inc.); Sep2025 Supplement 1, Vol. 36, p41-239, 199p

The Mediating Role of Student-Related Factors in the Effect of Student-Teacher Practices and Parent Related Factors on Problem Solving Performance.

Autoren: Campos-Caraig, Jarah Jayne Icalla

Quelle: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 47 Issue 8, p1005-1028, 24p

A Psychometric Network Analysis of CHC Intelligence Measures: Implications for Research, Theory, and Interpretation of Broad CHC Scores "Beyond g ".

Autoren: McGrew, Kevin S. Schneider, W. Joel Decker, Scott L. et al.

Quelle: Journal of Intelligence; Jan2023, Vol. 11 Issue 1, p19, 33p

Schlagwörter: PSYCHOMETRICS, GENERAL factor (Psychology), MULTIDIMENSIONAL scaling, TEST interpretation, LONG-term memory, FACTOR analysis

Signmatics: An Interactive Digital Based System for Multimodal Learning of Hearing Students in Bulgarian Sign Language.

Autoren: Georgieva, Diyana

Quelle: International Journal of Cognitive Research in Science, Engineering & Education (IJCRSEE); 2025, Vol. 13 Issue 1, p117-125, 9p

Schlagwörter: SIGN language, SPECIAL education, COMPARATIVE studies, BLENDED learning, INTERACTIVE computer systems, DIGITAL technology, COMMUNICATIVE competence

Computer Aided Verification

Autoren: Ruzica Piskac Zvonimir Rakamarić

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

Finding Similar Defects Using Synonymous Identifier Retrieval

Autoren: Norihiro Yoshida Takeshi Hattori Katsuro Inoue et al.

Weitere Verfasser: Norihiro Yoshida Takeshi Hattori Katsuro Inoue et al.

Quelle: http://iip-lab.ics.es.osaka-u.ac.jp/%7Elab-db/betuzuri/archive/800/800.pdf.

Schlagwörter: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation Keywords Code Retrieval, Natural Language Processing, Defect Detection

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.8269

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.8269
http://iip-lab.ics.es.osaka-u.ac.jp/%7Elab-db/betuzuri/archive/800/800.pdf

Code Patterns for Automatically Validating Requirements-to-Code Traces

Autoren: Achraf Ghabi Alexander Egyed The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Achraf Ghabi Alexander Egyed The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, Validation General Terms Algorithms, Measurement, Reliability, Verification Keywords requirements

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.7173

Verfügbarkeit: 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