Zobrazeno 1 - 10
of 56
pro vyhledávání: '"Joosten, Sebastiaan"'
This paper presents the development of a software tool that enables the translation of first-order predicate logic with at most three variables into relation algebra. The tool was developed using the Z3 theorem prover, leveraging its capabilities to
Externí odkaz:
http://arxiv.org/abs/2308.02513
Autor:
Doeleman, Susanne E., Reijnders, Tom D.Y., Joosten, Sebastiaan C.M., Schuurman, Alex R., van Engelen, Tjitske S.R., Verhoeff, Jan, Léopold, Valentine, Brands, Xanthe, Haak, Bastiaan W., Prins, Jan M., Kanglie, Maadrika M.N.P., van den Berk, Inge A.H., Faber, Daniël R., Douma, Renée A., Stoker, Jaap, Saris, Anno, Garcia Vallejo, Juan J., Wiersinga, W. Joost, van der Poll, Tom
Publikováno v:
In Journal of Infection April 2024 88(4)
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:
Joosten, Sebastiaan J. C.
We give a procedure that can be used to automatically satisfy invariants of a certain shape. These invariants may be written with the operations intersection, composition and converse over binary relations, and equality over these operations. We call
Externí odkaz:
http://arxiv.org/abs/1806.09392
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.
Publikováno v:
EPTCS 152, 2014, pp. 77-85
This paper reports our initial experiments with using external ATP on some corpora built with the ACL2 system. This is intended to provide the first estimate about the usefulness of such external reasoning and AI systems for solving ACL2 problems.
Externí odkaz:
http://arxiv.org/abs/1406.1559
Publikováno v:
EPTCS 114, 2013, pp. 29-41
Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones. In this paper, we propose a macro, named instance-of-defspec, to ease the reuse of abstract fun
Externí odkaz:
http://arxiv.org/abs/1304.7875
Autor:
Joosten, Sebastiaan J.C.
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming November 2018 100:98-112
Autor:
Rogalla, Stephan, Joosten, Sebastiaan C.M., Alam, Israt S., Gambhir, Sanjiv S., Vermesh, Ophir
Publikováno v:
In Molecular Therapy 7 February 2018 26(2):338-341
Publikováno v:
Journal of Automated Reasoning
We formally verify the Berlekamp–Zassenhaus algorithm for factoring square-free integer polynomials in Isabelle/HOL. We further adapt an existing formalization of Yun’s square-free factorization algorithm to integer polynomials, and thus provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::b5be50dcb4001bfef5ad0ef89d7aa6b0
http://europepmc.org/articles/PMC7115093
http://europepmc.org/articles/PMC7115093