Výsledky vyhledávání - Software Program Verification—For- mal methods~

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Autoři: Sharon Shoham Yakir Vizel

Resource Type: eBook.

Témata: Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Denizli ili Serinhisar ilçe merkezinin taşkın yayılımının HEC-RAS yazılımı ve coğrafi bilgi sistemleri ile belirlenmesi.

Alternate Title: Determination of flood inundation of Serinhisar district center of Denizli province with HEC-RAS software and geographic information systems.

Autoři: Rustam Oghly, Abdul Latif Güngör, Mahmud

Zdroj: Pamukkale University Journal of Engineering Sciences. 2025, Vol. 31 Issue 6, p1049-1059. 11p.

Témata: *FLOODS, *FLOOD risk, *HYDRAULIC models, *RISK assessment, *GEOGRAPHIC information systems

Geografický termín: DENIZLI Ili (Turkey)

Molecular study of Francisella spp. from ticks in hedgehogs (Erinaceus europaeus) in urban-suburban areas of West Azerbaijan Province.

Autoři: Enferadi, Ahmad Ownagh, Abdolghaffar Tavassoli, Muosa

Zdroj: BMC Veterinary Research. 10/22/2025, Vol. 21 Issue 1, p1-11. 11p.

Témata: Francisella tularensis, Ticks, Hedgehogs, Zoonoses, Nucleic acid amplification techniques

Geografický termín: Iran, Azerbaijan (Iran)

Learning Analytics Methods and Tutorials

Autoři: Mohammed Saqr Sonsoles López-Pernas

Resource Type: eBook.

Témata: Data mining, Education--Data processing, R (Computer program language), Educational statistics

Categories: EDUCATION / Computers & Technology, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Data Science / Data Analytics, EDUCATION / General, MATHEMATICS / Probability & Statistics / General

AOn Software Component Co-Installability

Autoři: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.pps.univ-paris-diderot.fr/~vouillon/publi/coinst.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—For- mal Methods, G.2.2 [Mathematics of Computing, Graph Theory—Hypergraphs General Terms, Algorithms, Theory, Verification Additional Key Words and Phrases, component, dependencies, conflicts, co-installability, package manage- ment, open source ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.838
http://www.pps.univ-paris-diderot.fr/~vouillon/publi/coinst.pdf

Effects of KID SMART FOR TEETH Program to Promote the Oral Health Status Among Grades 4-6 of Elementary Schools in the Thai-cambodian Border Provinces of Thailand.

Autoři: Yuwapa Wainukaeo Phannathat Tanthanapanyakorn Sasiwimol Thawronsuk a další

Zdroj: Malaysian Journal of Medicine & Health Sciences; Jan2025, Vol. 21 Issue 1, p214-225, 12p

Beyond just correlation: causal machine learning for the microbiome, from prediction to health policy with econometric tools.

Autoři: Khelfaoui, Issam Wang, Wenxin Meskher, Hicham a další

Zdroj: Frontiers in Microbiology; 2025, p1-20, 20p

Témata: MACHINE learning, HEALTH policy, PREDICTIVE validity, MICROBIOTA, ECONOMETRICS, CAUSAL artificial intelligence, INTERDISCIPLINARY research, EVIDENCE-based policy

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

HAMPI: A Solver for Word Equations over Strings, Regular Expressions and Context-Free Grammars

Autoři: Adam Kiezun Harvard Medical School Philip J. Guo a další

Přispěvatelé: Adam Kiezun Harvard Medical School Philip J. Guo a další

Zdroj: http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software Program Verification—For- mal methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Verification, Algorithms, Reliability, Security Additional Key Words and Phrases, String constraints, word equations, regular languages, context-free languages, concolic testing, program analysis ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.8088
http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Validation of assembler programs for dsps: a static analyzer

Autoři: Matthieu Martel The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Matthieu Martel The Pennsylvania State University CiteSeerX Archives

Zdroj: http://perso.univ-perp.fr/mmartel/paste04.pdf.

Témata: D.2.4 [Software Engineering, Program Verification—For- mal methods, Validation, F.3.1 [Logics and meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, Mechanical verification, G.1.0 [Nu- merical Analysis, General—Computer Arithmetic, Error Analysis, Stability and Instability General Terms Algorithms, Design, Experimentation, Reliability, Verifica- tion Keywords Abstract Interpretation, Floating-Point Numbers, Numeri- cal Accuracy

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.614.8545
http://perso.univ-perp.fr/mmartel/paste04.pdf

L.T.: Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps

Autoři: Alessandro Armando Roberto Carbone Luca Compagna a další

Přispěvatelé: Alessandro Armando Roberto Carbone Luca Compagna a další

Zdroj: http://www.avantssar.eu/pdf/publications/saml-sso.pdf.

Témata: Security and protection, C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, C.2.6 [Computer-Communication Networks, Internetwork- ing—Standards, SAML, TLS, D.2.4 [Software Engineer- ing, Software/Program Verification—Formal methods, Model checking, E.4 [Coding and Information Theory, For- mal models of communication, F.3.2 [Logics and Mean

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.543.4073
http://www.avantssar.eu/pdf/publications/saml-sso.pdf

Enhancing the antibacterial ability of Ligilactobacillus salivarius through ARTP mutagenesis breeding: an effective strategy to improve its probiotic properties.

Autoři: Zhou, Hetian Du, Yunping Yu, Guolian a další

Zdroj: Frontiers in Microbiology; 2025, p1-13, 13p

Témata: PROBIOTICS, MUTAGENESIS, ANTIBACTERIAL agents, POULTRY farming, GUT microbiota

Trends in amount of use to upper limb function in patients with subacute stroke: a cross-sectional study using segmental regression analysis.

Autoři: Hirayama, Koichiro Matsuda, Marina Teruya, Moe a další

Zdroj: BMC Neurology; 12/4/2023, Vol. 23 Issue 1, p1-6, 6p

Témata: REGRESSION analysis, STROKE patients, CROSS-sectional method, STROKE, FORELIMB

2025 Heart Valve Society Annual Meeting Abstracts.

Zdroj: Journal of the Heart Valve Society; 2025 Suppl 2, Vol. 2, pS1-S98, 98p

ISEV2025 Abstract Book.

Zdroj: Journal of Extracellular Vesicles; Oct2025 Supplement 1, Vol. 14, p1-555, 555p

Influence of Saliva and Blood Contamination on Microtensile Bond Strength between Fiber Posts and Composite Core Materials.

Autoři: Tan, Queenie Guey Zhen Soo, Eason Abdullah, Dalia

Zdroj: Malaysian Journal of Medicine & Health Sciences; 2025 Supplement, Vol. 21, p124-129, 6p

Water Inflow Forecasting Based on Visual MODFLOW and GS-SARIMA-LSTM Methods.

Autoři: Yang, Zhao Dong, Donglin Chen, Yuqi a další

Zdroj: Water (20734441); Oct2024, Vol. 16 Issue 19, p2749, 21p

Témata: BOX-Jenkins forecasting, MINE water, TIME series analysis, COAL mining safety, HAZARD mitigation

Equity, Diversity, and Inclusion in Software Engineering

Autoři: Daniela Damian Kelly Blincoe Denae Ford a další

Resource Type: eBook.

Témata: Diversity in the workplace, Computer software industry--Employees, Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Human Resources & Personnel Management, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems, PHILOSOPHY / Ethics & Moral Philosophy

APA 2025 Abstracts.

Zdroj: Pancreas; Nov2025, Vol. 54 Issue 10, pe923-e986, 64p