Výsledky vyhledávání - Software/Program Verification - statistical 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

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.

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.

Engineering crowd interaction within smart environments

Autoři: Harrison MD Massink M Latella D

Zdroj: 1st ACM SIGCHI symposium on Engineering interactive computing systems, pp. 117–122, Pittsburgh, PA, USA, July 15-17, 2009
info:cnr-pdr/source/autori:Harrison M.D.; Massink M.; Latella D./congresso_nome:1st ACM SIGCHI symposium on Engineering interactive computing systems/congresso_luogo:Pittsburgh, PA, USA/congresso_data:July 15-17, 2009/anno:2009/pagina_da:117/pagina_a:122/intervallo_pagine:117–122

Témata: Software/Program Verification - statistical methods, Stochastic analysis - user interfaces, User Interfaces - theory and methods, 05 social sciences, 0501 psychology and cognitive sciences, 0102 computer and information sciences, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://fmt.isti.cnr.it/WEBPAPER/2009-A2-041.pdf
https://core.ac.uk/display/101035818
https://dblp.uni-trier.de/db/conf/eics/eics2009.html#HarrisonML09
http://portal.acm.org/citation.cfm?doid=1570433.1570456
https://dl.acm.org/doi/10.1145/1570433.1570456
https://eprints.ncl.ac.uk/159900
http://fmt.isti.cnr.it/WEBPAPER/2009-A2-041.pdf
https://hdl.handle.net/20.500.14243/62323
https://dl.acm.org/citation.cfm?id=1570433&picked=prox
https://doi.org/10.1145/1570433.1570456

Roundtable: What's Next in Software Analytics

Autoři: Hassan, Ahmed E. Hindle, Abram Runeson, Per a další

Zdroj: IEEE Software. 30:53-56

Témata: Statistical methods, 9. Industry and infrastructure, 1. No poverty, Testing and debugging, 02 engineering and technology, 7. Clean energy, Decision support, Management, Information search and retrieval, 03 medical and health sciences, 0302 clinical medicine, Software/program verification, 8. Economic growth, 0202 electrical engineering, electronic engineering, information engineering, Metrics

Přístupová URL adresa: https://lup.lub.lu.se/search/publication/9f3c9272-9574-4471-b9ea-f1d534093e48
https://portal.research.lu.se/sv/publications/roundtable-whats-next-in-software-analytics
https://www.computer.org/csdl/magazine/so/2013/04/mso2013040053/13rRUxAASRl
https://repository.ust.hk/ir/Record/1783.1-55264
https://ieeexplore.ieee.org/abstract/document/6547637
https://dblp.uni-trier.de/db/journals/software/software30.html#HassanHRSDK13

Confidence Intervals for Stochastic Arithmetic

Autoři: Sohier, Devan de Oliveira Castro, Pablo Févotte, François a další

Přispěvatelé: Sohier, Devan de Oliveira Castro, Pablo Févotte, François a další

Zdroj: ACM Transactions on Mathematical Software. 47:1-33

Témata: FOS: Computer and information sciences, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.0: General/G.1.0.0: Computer arithmetic, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.7: Statistical methods, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, Numerical Analysis (math.NA), 02 engineering and technology, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Statistics - Applications, Statistics - Computation, 01 natural sciences, [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Applications (stat.AP), [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Mathematics - Numerical Analysis, 0101 mathematics, [MATH.MATH-ST] Mathematics [math]/Statistics [math.ST], Computation (stat.CO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/1807.09655
http://arxiv.org/abs/1807.09655
https://hal.science/hal-01827319v3
https://doi.org/10.1145/3432184
https://hal.science/hal-01827319v3/document

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

Autoři: Jan Markus Loetzerich Stefan Raith Sven Reich

Zdroj: The Journal of Prosthetic Dentistry. 134:160-166

Přístupová URL adresa: https://pubmed.ncbi.nlm.nih.gov/37852857

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems

Autoři: Ciancia V Latella D Massink M a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319471655
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657–673, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673

Témata: F.4.1 MATHEMATICAL LOGIC AND FORMAL LANGUAGES. Mathematical Logic, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, 3. Good health, Collective adaptive systems, MultiVeStA, Spatio-temporal model checking, Statistical Model Checking, Spatial Logics, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Statistical Model-checking, Spatial Logics Model-checking, Bike-sharing, Smart cities

Popis souboru: application/pdf

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_46/fulltext.html
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#CianciaLMPV16
https://link.springer.com/10.1007/978-3-319-47166-2_46
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://hdl.handle.net/20.500.14243/318789
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://doi.org/10.1007/978-3-319-47166-2_46
https://hdl.handle.net/11382/534302
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://doi.org/10.1007/978-3-319-47166-2_46

Performance of DNA Metabarcoding vs. Morphological Methods for Assessing Intertidal Turf and Foliose Algae Diversity.

Autoři: Borer G Monteiro C Lima FP a další

Zdroj: Molecular ecology resources [Mol Ecol Resour] 2025 Oct; Vol. 25 (7), pp. e14115. Date of Electronic Publication: 2025 Apr 24.

Způsob vydávání: Journal Article; Evaluation Study; Comparative Study

Informace o časopise: Publisher: Blackwell Country of Publication: England NLM ID: 101465604 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1755-0998 (Electronic) Linking ISSN: 1755098X NLM ISO Abbreviation: Mol Ecol Resour Subsets: MEDLINE

Výrazy ze slovníku MeSH: DNA Barcoding, Taxonomic*/methods , Biodiversity*, Portugal ; Ribulose-Bisphosphate Carboxylase/genetics

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?

Autoři: Ter Beek M H Hähnle R Schaefer I

Zdroj: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 723–729, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Hähnle R.; Schaefer I./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:723/pagina_a:729/intervallo_pagine:723–729

Témata: Design for Verification, Synthesis, Statistical Model checking, 0202 electrical engineering, electronic engineering, information engineering, Deductive Verification, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification, 0102 computer and information sciences, 02 engineering and technology, System-of-Systems, Lightweight Verification, 01 natural sciences, Software Product Lines

Popis souboru: application/pdf

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekHS16
https://tubiblio.ulb.tu-darmstadt.de/96680/
https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_51
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_51
https://link.springer.com/10.1007/978-3-319-47166-2_51
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_51
https://doi.org/10.1007/978-3-319-47166-2_51
https://hdl.handle.net/20.500.14243/321029

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

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

Retrieving Similar Code Fragments based on Identifier Similarity for Defect Detection

Autoři: Norihiro Yoshida Takashi Ishio Makoto Matsushita a další

Přispěvatelé: Norihiro Yoshida Takashi Ishio Makoto Matsushita a další

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

Témata: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation

Popis souboru: application/pdf

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

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

Predicting Vulnerable Software Components

Autoři: Stephan Neuhaus Thomas Zimmermann Christian Holler a další

Přispěvatelé: Stephan Neuhaus Thomas Zimmermann Christian Holler a další

Zdroj: http://pages.cpsc.ucalgary.ca/~zimmerth/publications/files/neuhaus-ccs-2007.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.4.6 [Operating Systems, Security and Protection—Invasive software. General Terms, Security, Experimentation, Measurement Keywords, Software Security, Prediction

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3009
http://pages.cpsc.ucalgary.ca/~zimmerth/publications/files/neuhaus-ccs-2007.pdf

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

Autoři: Nouri, Ayoub Bozga, Marius Molnos, Anca a další

Přispěvatelé: Nouri, Ayoub Bozga, Marius Molnos, Anca a další

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

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

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

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.

How is the quality of nursing research improved through the use of software programs such as NVivo? / Hvordan bliver forskning i sygepleje bedre med NVivo?

Autoři: Overgaard, Dorthe Bovin, Jacob Schierup

Zdroj: Nordisk Sygeplejeforskning. 4(3):241

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

Comparison of two software programs for fitting one- and two-compartment age-dependent non-linear digestion models for ruminants: empirical data.

Autoři: Gunter, S. A. Gadberry, M. S. Coffey, K. P. a další

Zdroj: Animal Production Science. Oct2022, Vol. 62 Issue 16, p1630-1638. 9p.

Soil Moisture Sensor Information Enhanced by Statistical Methods in a Reclaimed Water Irrigation Framework.

Autoři: Giorgio, Anthony Del Buono, Nicoletta Berardi, Marco a další

Zdroj: Sensors (14248220); Oct2022, Vol. 22 Issue 20, pN.PAG-N.PAG, 21p

Témata: IRRIGATION water, STATISTICS, SOIL moisture, STATISTICAL models, TIME series analysis