Výsledky vyhledávání - software/program verification - (statistical OR statistics) methods

Statistical Model Checking for Product Lines

Autoři: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a další

Přispěvatelé: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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.

Autoři: Vlăduțu, Diana-Elena Mercuț, Răzvan Văruț, Marius Ciprian a další

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

Témata: 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.

Autoři: Yamashita, Kosuke Motegi, Kazuki Miyaji, Noriaki a další

Zdroj: 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)

Autoři: Thaw Thaw Win Hang-Nga Mai Shilpa a další

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

Témata: 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.

Autoři: Win, Thaw Thaw Mai, Hang-Nga Kim, So-Yeun a další

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

Témata: DENTAL crowns, GENERATIVE artificial intelligence, COMPUTER-aided design, STATISTICAL accuracy, MEDICAL research personnel, THREE-dimensional imaging

Accuracy of intraoral scanners in the cleft anatomy of neonates.

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

Autoři: Ferrari, Raphael Özcan, Mutlu Wiedemeier, Daniel a další

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

Témata: CLEFT palate, NEWBORN infants, STATISTICAL accuracy, ORTHOPEDISTS, DIGITAL dental impression systems, THREE-dimensional imaging, DENTAL casting

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

Autoři: Aziz, Umar Rehman, Abdul Xu, Xiaolong a další

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

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

Autoři: Flatland, Bente Dehghanpir, Shannon D. Evans, Samantha J. M. a další

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

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

Autoři: Loetzerich, Jan Markus Raith, Stefan Reich, Sven

Zdroj: 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.

Autoři: Növer, Martin Styczen, Hanna Jabbarli, Ramazan a další

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

Témata: INTRACRANIAL aneurysms, MACHINE learning, POSTERIOR cranial fossa, RISK assessment, ORGAN rupture, HYPERTENSION, DISEASE progression, DISEASE risk factors

Verification of a computer-aided replica technique for evaluating prosthesis adaptation using statistical agreement analysis.

Autoři: Hang-Nga Mai Kyeong Eun Lee Kyu-Bok Lee a další

Zdroj: Journal of Advanced Prosthodontics; Oct2017, Vol. 9 Issue 5, p358-363, 6p

Témata: COPYING, BLAND-Altman plot, BIOMETRY, DENTURES, OPTICAL coatings

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

Autoři: Floessel, Philipp Hammerschmidt, Franziska Koltermann, Jan Jens a další

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

Témata: STANDING position, PRESSURE control, RANK correlation (Statistics), SITTING position, ADULTS

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

Autoři: Kapuczinski, Abeline Parisis, Dorian Kassab, Nour a další

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

Témata: 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.

Autoři: Chen, Changming Chen, Xingcan Tang, Hong a další

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

Témata: WATER quality, LAND use, ENVIRONMENTAL indicators, WEATHER, STATISTICAL correlation, ENVIRONMENTAL management, WATERSHEDS

Geografický termín: RED River (China & Vietnam), CHINA

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

Autoři: Claudino Ribeiro, Anne Kaline Heitor Veríssimo, Aretha Porto de Freitas, Rodrigo Falcão Carvalho a další

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

Témata: DENTURES, COMPLETE dentures, EDENTULOUS mouth, MAXILLA, SENSITIVITY & specificity (Statistics)

Gujarati translation and adherence testing of Stretching and Strengthening of Rheumatoid Arthritis of the Hand (SARAH).

Autoři: Patel, Divya J. Muruganantham, Balaganapathy

Zdroj: Journal of Family Medicine & Primary Care; Oct2024, Vol. 13 Issue 10, p4586-4597, 12p

Témata: RHEUMATOID arthritis, TRAVEL costs, SEMI-structured interviews, CROSS-sectional method, RHEUMATOLOGY

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

Přispěvatelé: HEBA ELSARRIF, Principal Investigator, Lecturer of Removable Prosthodontics

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

Other URLs: https://clinicaltrials.gov

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

Autoři: Poulsen, Maybritt Kiel Alban, Lis Dresling, Annette

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

Multivariate Statistical Machine Learning Methods for Genomic Prediction

Autoři: Osval Antonio Montesinos López Abelardo Montesinos López José Crossa

Resource Type: eBook.

Témata: 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

Reference intervals for serum albumin, total protein, and prealbumin in healthy children in Nanning, China.

Autoři: Fan, Mengli Yi, Liling Li, Siting a další

Zdroj: Biomarkers in Medicine; Aug2025, Vol. 19 Issue 15, p685-695, 11p