Search Results - software/program verification - ((statistical OR statistika) OR statistics) methods

Statistical Model Checking for Product Lines

Authors: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto et al.

Contributors: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto et al.

Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8

Subject Terms: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models

File Description: application/pdf

Access URL: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8

Assessment of Occlusal Contacts Recorded with the Medit Intraoral Scanner vs. Exocad Software.

Authors: Vlăduțu, Diana-Elena Mercuț, Răzvan Văruț, Marius Ciprian et al.

Source: Journal of Clinical Medicine; Oct2025, Vol. 14 Issue 20, p7378, 18p

Subject Terms: DENTAL occlusion, SCANNING systems, STATISTICAL accuracy, OPERATIVE dentistry, PROSTHODONTICS, COMPUTER-aided design software

Comparative evaluation of quantitative analysis using two phantom-based software programs for ¹⁸F-FDG-PET/CT.

Authors: Yamashita, Kosuke Motegi, Kazuki Miyaji, Noriaki et al.

Source: Radiological Physics & Technology; Dec2025, Vol. 18 Issue 4, p1247-1257, 11p

User experience of and satisfaction with computer-aided design software when designing dental prostheses: a multicenter survey study.

Alternate Title: Nutzererfahrung und -zufriedenheit mit CAD-Programmen bei der Konstruktion von Zahnersatz: Ein multizentrischer Survey. (German)

Authors: Thaw Thaw Win Hang-Nga Mai Shilpa et al.

Source: International Journal of Computerized Dentistry; 2025, Vol. 28 Issue 3, p251-262, 12p

Subject Terms: COMPUTER-aided design, COMPUTER-aided design software, SATISFACTION, USER experience, DENTAL crowns, QUESTIONNAIRES, AUTOMATION, DENTAL implants

Fit accuracy of complete crowns fabricated by generative artificial intelligence design: a comparative clinical study.

Authors: Win, Thaw Thaw Mai, Hang-Nga Kim, So-Yeun et al.

Source: Journal of Advanced Prosthodontics; Aug2025, Vol. 17 Issue 4, p224-234, 11p

Subject Terms: DENTAL crowns, GENERATIVE artificial intelligence, COMPUTER-aided design, STATISTICAL accuracy, MEDICAL research personnel, THREE-dimensional imaging

Advancing Goat Genomics Verification and Applying GBTS Liquid Chip for Precision Breeding.

Authors: Aziz, Umar Rehman, Abdul Xu, Xiaolong et al.

Source: Journal of Veterinary Physiology & Pathology. 2025, Vol. 4 Issue 3, p20-30. 11p.

Accuracy of intraoral scanners in the cleft anatomy of neonates.

Alternate Title: Genauigkeit intraoraler Scanner bei Neugeborenen mit Lippen-Kiefer-Gaumenspalte. (German)

Authors: Ferrari, Raphael Özcan, Mutlu Wiedemeier, Daniel et al.

Source: International Journal of Computerized Dentistry; 2025, Vol. 28 Issue 3, p225-234, 10p

Subject Terms: CLEFT palate, NEWBORN infants, STATISTICAL accuracy, ORTHOPEDISTS, DIGITAL dental impression systems, THREE-dimensional imaging, DENTAL casting

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

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

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

Verification of a digital approach for three-dimensional evaluation of marginal and internal fit.

Authors: Loetzerich, Jan Markus Raith, Stefan Reich, Sven

Source: Journal of Prosthetic Dentistry. Jul2025, Vol. 134 Issue 1, p160-166. 7p.

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

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

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

Subject Terms: INTRACRANIAL aneurysms, MACHINE learning, POSTERIOR cranial fossa, RISK assessment, ORGAN rupture, HYPERTENSION, DISEASE progression, DISEASE risk factors

Diagnosis of Systemic Rheumatic Disease Using the Connective Tissue Disease Screen.

Authors: Kapuczinski, Abeline Parisis, Dorian Kassab, Nour et al.

Source: Antibodies (2073-4468); Sep2025, Vol. 14 Issue 3, p56, 15p

Subject Terms: CONNECTIVE tissue diseases, MEDICAL screening, AUTOIMMUNITY, SENSITIVITY & specificity (Statistics), RHEUMATISM, DIAGNOSTIC examinations

A Quantitative Assessment of the Impacts of Land Use and Natural Factors on Water Quality in the Red River Basin, China.

Authors: Chen, Changming Chen, Xingcan Tang, Hong et al.

Source: Water (20734441); Jul2025, Vol. 17 Issue 13, p1968, 21p

Subject Terms: WATER quality, LAND use, ENVIRONMENTAL indicators, WEATHER, STATISTICAL correlation, ENVIRONMENTAL management, WATERSHEDS

Geographic Terms: RED River (China & Vietnam), CHINA

Comparison of Measurements for Recording Postural Control in Standing and Seated Position in Healthy Individuals.

Authors: Floessel, Philipp Hammerschmidt, Franziska Koltermann, Jan Jens et al.

Source: Journal of Functional Morphology & Kinesiology; Dec2024, Vol. 9 Issue 4, p178, 10p

Subject Terms: STANDING position, PRESSURE control, RANK correlation (Statistics), SITTING position, ADULTS

Pilot study of online ante-mortem inspection for emergency slaughtered cattle in Denmark.

Authors: Poulsen, Maybritt Kiel Alban, Lis Dresling, Annette

Source: Frontiers in Veterinary Science. 2025, p1-7. 7p.

Multivariate Statistical Machine Learning Methods for Genomic Prediction

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

Resource Type: eBook.

Subjects: 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

Comparing Scanning Accuracy of Full-Arch Maxillary Implants: Extraoral vs. Intraoral Techniques

Contributors: HEBA ELSARRIF, Principal Investigator, Lecturer of Removable Prosthodontics

Source: Assessment Of Scanning Accuracy of Maxillary Full-Arch Dental Implants Using Extraoral Vs Intraoral Scanning Techniques. [A Clinical Study]

Other URLs: https://clinicaltrials.gov

Accuracy and time efficiency of conventional and digital outlining of extensions of denture foundation on preliminary casts.

Authors: Claudino Ribeiro, Anne Kaline Heitor Veríssimo, Aretha Porto de Freitas, Rodrigo Falcão Carvalho et al.

Source: Journal of Advanced Prosthodontics; Jun2024, Vol. 16 Issue 3, p139-150, 12p

Subject Terms: DENTURES, COMPLETE dentures, EDENTULOUS mouth, MAXILLA, SENSITIVITY & specificity (Statistics)

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

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

LTCONS_00014107-miR-29b-2-3p-GPR37 axis promotes heat stimulation induced esophageal carcinogenesis.

Authors: Liu, Wenting Qu, Jiaping Wang, Jing et al.

Source: Cancer Cell International; 11/14/2025, Vol. 25 Issue 1, p1-16, 16p

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

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

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

Subject Terms: HYPOCALCEMIA, CATTLE, CALCIUM, GASTROINTESTINAL motility, PERINATAL period, DEEP learning