Arama Sonuçları - "program analysis"

Proposal of a system of teaching tasks for developing the skill of comprehensive pain treatment Yazar: José Julio Ojeda González, Miriam Iglesia León, Alfredo Alberto Espinosa Roca

Connect to this object online.

Rasch analysis of the self efficacy (SE-12) questionnaire measuring clinical communication skills Yazar: Kaj Sparle Christensen, Jette Ammentorp

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

İçindekiler: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Link to Metadata

Can You Hear Me Now? Helping Faculty Improve Feedback Exchange for Internal Medicine Subspecialty Fellows Yazar: Sonia Ananthakrishnan, Mara Eyllon, Craig Noronha

Connect to this object online.

Pneumonia a neglected disease: A mixed-method study on the case-finding program in Indonesia Yazar: Sulistyawati Sulistyawati, Liena Sofiana, Sholehatun Khairul Amala, Rokhmayanti Rokhmayanti, Fardhiasih Dwi Astut, Desi Nurfita

Connect to this object online.

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

OAPEN Library: download the publication
OAPEN Library: description of the publication

PENGELOLAAN MODAL KERJA DAN KINERJA KEUANGAN PADA TAHAP SIKLUS HIDUP PERUSAHAAN RITEL Yazar: Retno Julia Rahayu,

Link Metadata

Osteocalcin expression of platelet-rich fibrin (PRF) and platelet-rich plasma (PRP) added with hydroxyapatite (HA) in rabbit's post extraction tooth sockets Yazar: Meta Maulida Damayanti, Bethy Suryawathy Hernowo, Susi Susanah

Connect to this object online.

Effect of Tactical Game Models on Formation of Basic Techniques in Handball Players: Mixed Method Yazar: Tite Juliantine, Edi Setiawan

Connect to this object online.

Cervical Cancer Screening in HIV-Positive Farmers in South Africa: Mixed-Method Assessment Yazar: Molly Lieber, Omara Afzal, Kathryn Shaia, Adrienne Mandelberger, Christine Du Preez, Ann Marie Beddoe

Connect to this object online.

Pain-related fear in adolescents with chronic musculoskeletal pain: process evaluation of an interdisciplinary graded exposure program Yazar: C. Dekker, J. C. M. van Haastregt, J. A. M. C. F. Verbunt, J. R. de Jong, T. van Meulenbroek, H. F. M. Pernot, A. D. van Velzen, C. H. G. Bastiaenen, M. E. J. B. Goossens

Connect to this object online.

Quitting the quitline: a qualitative study of patient experience of electronic referrals to quitlines Yazar: Elizabeth L. Albert, Jeanmarie C. Rose, India J. Gill, Susan A. Flocke

Connect to this object online.

PENGARUH KECERDASAN EMOSIONAL, KARAKTERISTIK PEKERJAAN DAN IKLIM KERJA TERHADAP KEPUASAN KERJA PERAWAT SATWA DI UNIT PENGELOLA TAMAN MARGASATWA RAGUNAN DINAS KEHUTANAN PROVINSI DKI... Yazar: Anik Setiyorini, -

Link Metadata

Disparities in cervical cancer screening participation in Iran: a cross-sectional analysis of the 2016 nationwide STEPS survey Yazar: Rozhin Amin, Ali-Asghar Kolahi, Nader Jahanmehr, Ali-Reza Abadi, Mohammad-Reza Sohrabi

Connect to this object online.

Digital Health Transformation of Integrated Care in Europe: Overarching Analysis of 17 Integrated Care Programs Yazar: Baltaxe, Erik, Czypionka, Thomas, Kraus, Markus, Reiss, Miriam, Askildsen, Jan Erik, Grenkovic, Renata, Lindén, Tord Skogedal, Pitter, János György, Rutten-van Molken, Maureen, Solans, Oscar, Stokes, Jonathan, Struckmann, Verena, Roca, Josep, Cano, Isaac

Connect to this object online.

تحليل الأداء الحراري لنظام تسخين الماء الشمسي الحر Yazar: رامي جورج

Connect to this object online.

Frequency of consumption of specialty food products by sports university students and violation of the principles of their introduction to the diets Yazar: I. V. Kobelkova, M. M. Korosteleva, D. B. Nikityuk, E. N. Krikun

Connect to this object online.

Comparative study of the accuracy of CBCT implant site measurements using different software programs Yazar: Asma'a A. Al-Ekrish

Connect to this object online.