Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Holden, SB"'
Astrategy scheduleallocates time to proof strategies that are used in sequence in a theorem prover. We employ Bayesian statistics to propose alternative sequences for the strategy schedule in each proof attempt. Tested on the TPTP problem library, ou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a0eea2f23062d3fc6f70715d09366da
Satisfiability solvers can be embedded in applications to perform specific formal reasoning tasks. CBMC, for example, is a bounded model checker for C and C++ that embeds SMT and SAT solvers to check internally generated formulae. Such solvers will b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf268aa15047d1e91826a185b000616e
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ceccarelli F; Department of Computer Science and Technology, University of Cambridge, 15 JJ Thomson Ave, CB3 0FD, Cambridge, UK., Liò P; Department of Computer Science and Technology, University of Cambridge, 15 JJ Thomson Ave, CB3 0FD, Cambridge, UK., Holden SB; Department of Computer Science and Technology, University of Cambridge, 15 JJ Thomson Ave, CB3 0FD, Cambridge, UK.
Publikováno v:
NAR genomics and bioinformatics [NAR Genom Bioinform] 2024 Dec 04; Vol. 6 (4), pp. lqae166. Date of Electronic Publication: 2024 Dec 04 (Print Publication: 2024).
Autor:
Lubin DJ; Ahmanson Translational Theranostics Division, Department of Molecular & Medical Pharmacology, Holden SB; Institute of Urologic Oncology, Department of Urology, Rettig MB; Institute of Urologic Oncology, Department of Urology, Reiter RE; Institute of Urologic Oncology, Department of Urology, King CR; Institute of Urologic Oncology, Department of Urology; Department of Radiation Oncology, Lee JM; Division of Thoracic Surgery, Department of Surgery, Wallace DW; Department of Pathology & Laboratory Medicine, David Geffen School of Medicine, University of California, Los Angeles, CA, Calais J; Ahmanson Translational Theranostics Division, Department of Molecular & Medical Pharmacology; Institute of Urologic Oncology, Department of Urology
Publikováno v:
Clinical nuclear medicine [Clin Nucl Med] 2019 May; Vol. 44 (5), pp. e353-e356.