Výsledky vyhľadávania - program verification. General Terms Algorithms

Back to the Future -- Revisiting Precise Program Verification using SMT Solvers

Autori: Shuvendu K. Lahiri Shaz Qadeer The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Shuvendu K. Lahiri Shaz Qadeer The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.research.microsoft.com/~shuvendu/papers/popl2008-havoc.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Reliability, Verification Keywords Software verification, SMT solvers, decision procedures, heap-manipulating programs

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.2597
http://www.research.microsoft.com/~shuvendu/papers/popl2008-havoc.pdf

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

Autori: Armin Biere David Parker

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Multivariable data-driven framework of predictive, preventive, and personalized medicine for long-term atrial fibrillation risk in patients with new-onset obstructive sleep apnea.

Autori: Zhu, Jian Wang, Yijun Duan, Shoupeng a ďalší

Zdroj: EPMA Journal; 9/11/2025, Vol. 16 Issue 4, p761-772, 12p

General Theory and Tools for Proving Algorithms in Nominative Data Systems.

Autori: Jaszczak, Adrian¹ (AUTHOR)

Zdroj: Formalized Mathematics. Dec2021, Vol. 29 Issue 4, p269-278. 10p.

Predmety: *ORDER picking systems, *ALGORITHMS, *LOGIC, *DEFINITIONS

Compositional deadlock detection for rendezvous communication

Autori: Baolin Shao Nalini Vasudevan Stephen A. Edwards a ďalší

Prispievatelia: Baolin Shao Nalini Vasudevan Stephen A. Edwards a ďalší

Zdroj: http://www.cs.columbia.edu/~naliniv/papers/2009-emsoft-shim.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Verification Keywords SHIM, concurrency, static analysis, deadlock, divide-and-conquer

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8441
http://www.cs.columbia.edu/~naliniv/papers/2009-emsoft-shim.pdf

Status of Common Water-Soluble Vitamins in Medical Students: A Cross-Sectional Analysis with Implications for Targeted Nutritional Screening Programs.

Autori: Agha, Adnan Yasin, Javed Sharma, Charu a ďalší

Zdroj: Nutrients. Sep2025, Vol. 17 Issue 17, p2862. 16p.

Short-term salinity prediction for coastal areas of the Vietnamese Mekong Delta using various machine learning algorithms: a case study in Soc Trang Province.

Autori: Dang, Le Thi Thanh Ishidaira, Hiroshi Nguyen, Ky Phung a ďalší

Zdroj: Applied Water Science; Apr2025, Vol. 15 Issue 4, p1-25, 25p

Predmety: SALINITY, MACHINE learning, SALTWATER encroachment, AGRICULTURE, COASTS, FORECASTING

Geografický termín: VIETNAM

Best-Corrected Visual Acuity Quantitative Prediction for Cataract Patients: AI-Assisted Clinical Diagnostics Facilitation via the Inverse Problem Algorithm.

Autori: Lin, Ya-Hui Liang, Chun-Chieh Chou, Ying-Liang a ďalší

Zdroj: Diagnostics (2075-4418); Oct2024, Vol. 14 Issue 19, p2126, 16p

Predmety: VISUAL acuity, INVERSE problems, BODY mass index, INTRAOCULAR pressure, ARTIFICIAL intelligence

Natural language processing in veterinary pathology: A review.

Autori: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura a ďalší

Zdroj: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.

Synthetic Ensemble Forecasts: Operations‐Based Evaluation and Inter‐Model Comparison for Reservoir Systems Across California.

Autori: Brodeur, Zachary P. Taylor, William Herman, Jonathan D. a ďalší

Zdroj: Water Resources Research; Jun2025, Vol. 61 Issue 6, p1-19, 19p

Predmety: EVIDENCE gaps, RISK assessment, HYDROLOGY, ALGORITHMS, STORAGE

A Primal-Dual Splitting Algorithm with Convex Combination and Larger Step Sizes for Composite Monotone Inclusion Problems.

Autori: Chang, Xiaokai Yang, Junfeng Bai, Jianchao a ďalší

Zdroj: SIAM Journal on Imaging Sciences; 2025, Vol. 18 Issue 4, p2094-2126, 33p

Abstract Back to the Future Revisiting Precise Program Verification using SMT Solvers

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.research.microsoft.com/~qadeer/docs/popl08.havoc.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Reliability, Verification Keywords Software verification, SMT solvers, decision procedures, heap-manipulating programs

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2044; http://www.research.microsoft.com/~qadeer/docs/popl08.havoc.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2044
http://www.research.microsoft.com/~qadeer/docs/popl08.havoc.pdf

Exploration of integrating biomechanical perspective into ideological education management strategy.

Autori: Jiang, Yichen

Zdroj: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 1, p1-23, 23p

Predmety: BIOMECHANICS, EDUCATIONAL intervention, DYNAMIC models, PHILOSOPHY of education, RESOURCE allocation, LONG short-term memory, GENETIC algorithms

A Framework for Memory Efficient Context-Sensitive Program Analysis

Autori: Hedenborg, Mathias Lundberg, Jonas Löwe, Welf a ďalší

Zdroj: Theory of Computing Systems. 66:911-956

Predmety: Static program analysis, Data-flow analysis, Context-sensitivity, Data- och informationsvetenskap, Computer and Information Sciences Computer Science

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-115519
https://doi.org/10.1007/s00224-022-10093-w

Prediction of Dam Inflow in the River Basin Through Representative Hydrographs and Auto-Setting Artificial Neural Network.

Autori: Ryu, Yong Min Lee, Eui Hoon

Zdroj: Water (20734441); Sep2025, Vol. 17 Issue 18, p2689, 19p

Predmety: ARTIFICIAL neural networks, HYDROLOGICAL forecasting, TIME series analysis, CLUSTERING algorithms, ROOT-mean-squares, CLIMATE change, HYDROLOGIC models

Geografický termín: SOUTH Korea

An $\alpha$-Potential Game Framework for Non-Cooperative Dynamic Games: Theory and Algorithms

Autori: Li, Xinyu

Predmety: Applied mathematics, Statistics, Mathematics, Artificial intelligence

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/1mz8z3p6
https://escholarship.org/content/qt1mz8z3p6/qt1mz8z3p6.pdf

2型糖尿病合并视网膜病变的影响因素 及预测模型研究. (Chinese)

Alternate Title: Study on influencing factors and predictive models of type 2 diabetes mellitus complicated with retinopathy. (English)

Autori: 李云龙 王凯 王精金 a ďalší

Zdroj: Chinese Journal of Diabetes Mellitus; Jun2025, Vol. 17 Issue 6, p696-705, 10p

Predmety: DIABETIC nephropathies, TYPE 2 diabetes, GLYCOSYLATED hemoglobin, PATIENT compliance, DIABETIC neuropathies

Predicting Nitrous Oxide Emission From China's Waterbodies With Multiple Deep Learning Algorithms.

Autori: Wang, Xihua Lv, Qinya Xu, Y. Jun a ďalší

Zdroj: Water Resources Research; Aug2025, Vol. 61 Issue 8, p1-16, 16p

Predmety: NITROUS oxide, DEEP learning, MACHINE learning, SEASONAL physiological variations, ENVIRONMENTAL management, EMISSIONS (Air pollution), BODIES of water

Geografický termín: CHINA, SOUTHWEST China

Tremor estimation and filtering in robotic-assisted surgery.

Autori: Jia, Boqiang Wang, Wenjie Tian, Xin a ďalší

Zdroj: Cognitive Neurodynamics; 12/6/2025, Vol. 20 Issue 1, p1-16, 16p

Veterinary oncology data management in the era of artificial intelligence.

Autori: Pu, S. Thompson, M. Ross, S. a ďalší

Zdroj: Veterinary Oncology (3004-9814). 11/14/2025, Vol. 2 Issue 1, p1-11. 11p.