Search Results - software/program verification - statistics methods

A Gaussian statistics-based unit-cell modeling method for the mechanical behavior prediction of 2.5D shallow straight-link-shaped woven composites.

Authors: Zhou, Gaofeng Fang, Yuanyuan Guo, Junhua et al.

Source: Mechanics of Advanced Materials & Structures; 2025, Vol. 32 Issue 20, p4929-4945, 17p

Subject Terms: GAUSSIAN distribution, MECHANICAL behavior of materials, STOCHASTIC processes, FINITE element method, WOVEN composites, MECHANICAL movements, STRUCTURAL optimization

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

Expanding clinical phenotype in CACNA1C related disorders: familial mesial temporal lobe epilepsy.

Authors: Wang, Chengzhe Guo, Xintong Liu, Yue et al.

Source: Acta Epileptologica; 11/3/2025, Vol. 7 Issue 1, p1-10, 10p

Subject Terms: NEUROLOGICAL disorders -- Genetic aspects, PROTEINS, STATISTICAL correlation, RESEARCH funding, CALCIUM channels, DESCRIPTIVE statistics, SYMPTOMS, TEMPORAL lobe epilepsy, TEMPORAL lobe, GENETIC variation, GENES, BIOINFORMATICS, SIMULATION methods in education, MOLECULAR structure, RESEARCH methodology, RESEARCH, PHENOTYPES, GENETIC testing, GENOMES, SEQUENCE analysis, GENOTYPES

Geographic Terms: CHINA

ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis

Authors: Nouri, Ayoub Bozga, Marius Molnos, Anca et al.

Contributors: Nouri, Ayoub Bozga, Marius Molnos, Anca et al.

Source: ACM Transactions on Embedded Computing Systems. 15:1-26

Subject Terms: C4 [Performance of Systems]: Software/Program Verification, Performance, Statistics, model-based design, 02 engineering and technology, [INFO] Computer Science [cs], performance evaluation, I64 [Model Validation and Analysis], I65 [Model Development], Stochastic Models, 0202 electrical engineering, electronic engineering, information engineering, G3 [Probability and Statistics] General Terms: Design, [INFO]Computer Science [cs], Formal Methods Additional Key Words and Phrases: Many-cores

Access URL: https://inria.hal.science/hal-01406474v1
https://doi.org/10.1145/2885498
https://dl.acm.org/doi/10.1145/2885498
https://hal.inria.fr/hal-01406474
https://doi.acm.org/10.1145/2885498
https://doi.org/10.1145/2885498
https://dblp.uni-trier.de/db/journals/tecs/tecs15.html#NouriBMLB16

Effects of Covid-19 pandemic on nutritional habits, lifestyle changes and dental trauma frequency of children with autism: a cross-sectional study.

Authors: Cerci Akcay, Hulya Safci, Duygu Kasimoglu, Yelda et al.

Source: BMC Oral Health; 3/4/2025, Vol. 25 Issue 1, p1-8, 8p

Subject Terms: RISK assessment, CROSS-sectional method, BEHAVIOR modification, PSYCHOMOTOR disorders, T-test (Statistics), DATA analysis, CHILDREN with disabilities, TEETH injuries, AUTISM, UNIVERSITIES & colleges, PROBABILITY theory, CONVENIENCE foods, DESCRIPTIVE statistics, CHI-squared test, MANN Whitney U Test, HEALTH behavior, FOOD habits, SNACK foods, NUTRITIONAL status, ASPERGER'S syndrome, AFFECT (Psychology), COMPARATIVE studies, DATA analysis software, COVID-19 pandemic, ORAL health, PHYSICAL activity, SOCIAL participation, DISEASE risk factors, CHILDREN

Geographic Terms: TURKEY

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

Authors: Campos-Caraig, Jarah Jayne Icalla

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

Subject Terms: MATHEMATICS, PROBLEM solving, PARENTAL influences, TEACHING methods, COGNITION, STUDENT engagement, LEARNING strategies, MEDIATION (Statistics)

Teaching the Mechanics of Factor Analysis Using Excel Spreadsheets.

Authors: Brusco, Michael Steinley, Douglas Watts, Ashley L.

Source: Structural Equation Modeling; Jul/Aug2025, Vol. 32 Issue 4, p730-751, 22p

Subject Terms: EXPLORATORY factor analysis, CONFIRMATORY factor analysis, MAXIMUM likelihood statistics, FACTOR analysis, PSYCHOLOGY students, ELECTRONIC spreadsheets

Early postoperative evaluation of an open-source digital workflow for designing custom-made zirconia membranes in maxillary guided bone regeneration.

Authors: Sakr, Muhammad Ibrahim Salem, Ahmed Sobhy Yaseen, Ayman Ahmed et al.

Source: BMC Oral Health; 7/18/2025, Vol. 25 Issue 1, p1-10, 10p

Subject Terms: MAXILLA surgery, BONE regeneration, COMPUTER-aided design, T-test (Statistics), OPERATIVE dentistry, DENTAL materials, COMPUTED tomography, GUIDED tissue regeneration, DESCRIPTIVE statistics, COMPUTER-assisted surgery, MAXILLA, ARTIFICIAL membranes, POSTOPERATIVE period, DATA analysis software

Cross‐Cultural Adaptation and Validation of the MISSCARE Survey OR for Chinese Operating Room Nurses: A Methodological and Cross‐Sectional Study.

Authors: Liu, Guangying Ji, Xiaofu Xiao, Liyun et al.

Source: Nursing Open; Jul2025, Vol. 12 Issue 7, p1-15, 15p

Subject Terms: NURSING audit, OPERATING room nursing, CROSS-sectional method, MULTITRAIT multimethod techniques, OPERATING room nurses, MEDICAL errors, MEDICAL quality control, CRONBACH'S alpha, PATIENT safety, QUESTIONNAIRES, RESEARCH methodology evaluation, RESEARCH evaluation, TRANSLATIONS, STATISTICAL sampling, TERTIARY care, DESCRIPTIVE statistics, CHI-squared test, PSYCHOMETRICS, RESEARCH methodology, RESEARCH, URBAN hospitals, STATISTICAL reliability, DELPHI method, FACTOR analysis, DATA analysis software, EVALUATION

Geographic Terms: CHINA

Early-stage lumbar paraspinal muscle injury: endoscopic versus transforaminal lumbar interbody fusion: a retrospective comparative analysis.

Authors: Xuan, Wenbin Cheng, Qinghua Gao, Yucheng et al.

Source: Journal of Orthopaedic Surgery & Research; 9/26/2025, Vol. 20 Issue 1, p1-15, 15p

Subject Terms: RESEARCH funding, SURGERY, PATIENTS, ACADEMIC medical centers, BODY mass index, SPONDYLOLISTHESIS, T-test (Statistics), VISUAL analog scale, FISHER exact test, MULTIPLE regression analysis, BACK muscles, MINIMALLY invasive procedures, ENDOSCOPIC surgery, SPINAL stenosis, TREATMENT effectiveness, RETROSPECTIVE studies, DESCRIPTIVE statistics, MAGNETIC resonance imaging, MANN Whitney U Test, SURGICAL complications, LONGITUDINAL method, LUMBAR vertebrae, SPINAL fusion, MEDICAL records, ACQUISITION of data, INTRACLASS correlation, COMPARATIVE studies, DATA analysis software, ENDOSCOPY, BIOMARKERS, INTER-observer reliability

Sociodemographic Characteristics of Internationally Educated Nurses Associated With Successful Outcomes in Canada: Quantitative Analysis.

Authors: Alostaz, Nasrin Mo, Jiajie Walton‐Roberts, Margaret et al.

Source: Journal of Advanced Nursing (John Wiley & Sons, Inc.); Jul2025, Vol. 81 Issue 7, p3753-3770, 18p

Subject Terms: CROSS-sectional method, PEER relations, LOGISTIC regression analysis, NURSING, DESCRIPTIVE statistics, NURSING education, RECORDING & registration, ODDS ratio, PROFESSIONAL licenses, STATISTICS, INFERENTIAL statistics, SOCIODEMOGRAPHIC factors, CONFIDENCE intervals, EMPLOYMENT in foreign countries, LABOR supply, EDUCATIONAL attainment

Geographic Terms: CANADA

Construction of an Electrochemical Impedance Spectroscopy Matching Method Based on Adaptive Multi-Error Driving and Application Testing for Biofilm Impedance Verification.

Authors: Bao, Hanyang Yu, Fan Dai, Peiyan et al.

Source: Biosensors (2079-6374); Sep2025, Vol. 15 Issue 9, p604, 20p

Subject Terms: IMPEDANCE spectroscopy, BIOFILMS, AUTOMATIC classification, DIFFERENTIAL evolution, CONSTRAINED optimization, COMPUTER simulation, PARAMETER estimation, AUTOMATIC control systems

Counterexample-guided Spatial Flow Model Checking Methods for C Code.

Authors: Yinbo Yu Jiajia Liu Dejun Mu

Source: International Journal of Software & Informatics; 2022, Vol. 12 Issue 3, p263-284, 22p

Subject Terms: SOFTWARE verification, SPATIAL analysis (Statistics)

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

Accuracy in the Plaster Model of Total Prosthetic Plates in Three Different Manufacturing Methods: In Vitro Study.

Authors: Ceraulo, Saverio Barbarisi, Antonio Selvaggio, Leonardo et al.

Source: Prosthesis (2673-1592); Apr2025, Vol. 7 Issue 2, p42, 17p

Subject Terms: IN vitro studies, JAW diseases, HUMAN anatomical models, SILICONES, COMPUTER-aided design, COMPUTER software, RESEARCH evaluation, DENTURES, QUESTIONNAIRES, PSYCHOLOGICAL adaptation, DESCRIPTIVE statistics, DENTISTS, DENTISTRY, DENTAL impression materials, THREE-dimensional printing, ACRYLIC resins, PROSTHESIS design & construction

MetaGAN: Metamorphic GAN-Based Augmentation for Improving Deep Learning-Based Multiple-Fault Localization Without Test Oracles.

Authors: Hu, Anlin Feng, Wenjiang Zhu, Xudong et al.

Source: Electronics (2079-9292); Jul2025, Vol. 14 Issue 13, p2596, 26p

Subject Terms: DEEP learning, DATA augmentation, DEFECT tracking (Computer software development), GENERATIVE adversarial networks, SAMPLE size (Statistics), COMPUTER software testing

Codeless Development of a Customized SMILE Nomogram Using a Large Language Model: A Practical Framework for Clinicians.

Authors: Jun, Hye Won Ryu, Sun Young Yoo, Tae Keun et al.

Source: Journal of Ophthalmology; 7/15/2025, Vol. 2025, p1-14, 14p

Subject Terms: GENERATIVE artificial intelligence, PREDICTION models, SURGERY, PATIENTS, REFRACTIVE errors, RETROSPECTIVE studies, DESCRIPTIVE statistics, SURGICAL complications, SMALL-incision lenticule extraction, COMPARATIVE studies, DATA analysis software, REGRESSION analysis, DISEASE risk factors

Geographic Terms: SOUTH Korea

Mixed Reality in Undergraduate Nursing Education: A Systematic Review and Meta-Analysis of Benefits and Challenges.

Authors: Guillen-Aguinaga, Laura Rayón-Valpuesta, Esperanza Guillen-Aguinaga, Sara et al.

Source: Nursing Reports; May2025, Vol. 15 Issue 5, p137, 38p

Subject Terms: ANXIETY prevention, CURRICULUM, MEDICAL information storage & retrieval systems, MEDICAL logic, STUDENT satisfaction, SELF-efficacy, PATIENT safety, COMPUTER software, HEALTH occupations students, EDUCATIONAL outcomes, CINAHL database, UNDERGRADUATES, COST analysis, NURSING education, META-analysis, TEACHING methods, CONFIDENCE, DESCRIPTIVE statistics, VIRTUAL reality, SYSTEMATIC reviews, MEDLINE, SIMULATION methods in education, ABILITY, STUDENT attitudes, ONLINE information services, DATA analysis software, AUGMENTED reality, TRAINING, PUBLICATION bias

HybridQC: A SNP-Based Quality Control Application for Rapid Hybridity Verification in Diploid Plants.

Authors: Ongom, Patrick Obia Ajibade, Yakub Adebare Mohammed, Saba Baba et al.

Source: Genes; Oct2024, Vol. 15 Issue 10, p1-13, 13p, 4 Diagrams, 2 Graphs

Teacher-school fit, job satisfaction, participation in decision-making, and psychological ownership as predictors of organizational ostracism among primary school teachers.

Authors: Demir, Selçuk Çobanoğlu, Necati

Source: Work; Oct2025, Vol. 82 Issue 2, p413-423, 11p

Subject Terms: CORPORATE culture, STATISTICAL correlation, PSYCHOLOGY of teachers, OCCUPATIONAL roles, ELEMENTARY schools, STRUCTURAL models, EDUCATORS, STATISTICAL sampling, DECISION making, STRUCTURAL equation modeling, DESCRIPTIVE statistics, PATH analysis (Statistics), CHI-squared test, JOB satisfaction, RESEARCH, CLUSTER sampling, FACTOR analysis, DATA analysis software, SOCIAL isolation

Geographic Terms: TURKEY