Zobrazeno 1 - 10
of 557
pro vyhledávání: '"Biere, P."'
All-Solution Satisfiability (AllSAT) and its extension, All-Satisfiability Modulo Theories (AllSMT), have become more relevant in recent years, mainly in formal verification and artificial intelligence applications. The goal of these problems is the
Externí odkaz:
http://arxiv.org/abs/2410.18707
In this paper, we explore the application of blocked clause elimination for projected model counting. This is the problem of determining the number of models ||\exists X.{\Sigma}|| of a propositional formula {\Sigma} after eliminating a given set X o
Externí odkaz:
http://arxiv.org/abs/2408.06199
Certification helps to increase trust in formal verification of safety-critical systems which require assurance on their correctness. In hardware model checking, a widely used formal verification technique, phase abstraction is considered one of the
Externí odkaz:
http://arxiv.org/abs/2405.04297
Autor:
Iris M. Brus, Inge Spronk, Suzanne Polinder, Alfons G. M. Olde Loohuis, Peter Tieleman, Stella C. M. Heemskerk, Sara Biere-Rafi, Juanita A. Haagsma
Publikováno v:
BMC Health Services Research, Vol 24, Iss 1, Pp 1-16 (2024)
Abstract Background Many patients with post COVID-19 condition (PCC) require healthcare services. However, qualitative studies indicate that patients with PCC encounter many barriers to healthcare access. This cross-sectional study aimed to determine
Externí odkaz:
https://doaj.org/article/cf2ccaeaf254415f88612dacad0a9b41
Autor:
Anna Loenenbach, Ann-Sophie Lehfeld, Peter Puetz, Barbara Biere, Susan Abunijela, Silke Buda, Michaela Diercke, Ralf Dürrwald, Timo Greiner, Walter Haas, Maria Helmrich, Kerstin Prahm, Jakob Schumacher, Marianne Wedde, Udo Buchholz
Publikováno v:
Emerging Infectious Diseases, Vol 30, Iss 9, Pp 1939-1943 (2024)
Using participatory, virologic, and wastewater surveillance systems, we estimated when and to what extent reported data of adult COVID-19 cases underestimated COVID-19 incidence in Germany. We also examined how case underestimation evolved over time.
Externí odkaz:
https://doaj.org/article/c62ac188c9fa4642bec3f5bde33b6dc4
A basic algorithm for enumerating disjoint propositional models (disjoint AllSAT) is based on adding blocking clauses incrementally, ruling out previously found models. On the one hand, blocking clauses have the potential to reduce the number of gene
Externí odkaz:
http://arxiv.org/abs/2306.00461
Our recently proposed certification framework for bit-level k-induction-based model checking has been shown to be quite effective in increasing the trust of verification results even though it partially involved quantifier reasoning. In this paper we
Externí odkaz:
http://arxiv.org/abs/2208.01443
Publikováno v:
Physics Access, Vol 4, Iss 1, Pp 1-7 (2024)
This paper presents an assessment of background radiation levels within the Niger Delta University campus, Bayelsa State Nigeria. A portable Geiger-Muller tube (Radiation Alert) was used to detect the background ionizing radiation within a temperat
Externí odkaz:
https://doaj.org/article/23ca3709cf304312873b248605da602d
Autor:
Fleury, Mathias, Biere, Armin
We give a first account of our new parallel SAT solver Gimsatul. Its key feature is to share clauses physically in memory instead of copying them, which is the method of other state-of-the-art multi-threaded SAT solvers to exchange clauses logically.
Externí odkaz:
http://arxiv.org/abs/2207.13577
Autor:
Ingeborg Biener, Tonina T. Mueller, Jin Lin, Han Bao, Julius Steffen, Marion Hoerl, Katharina Biere, Sandra Matzel, Tobias Woehrle, Simon König, Annekathrin M. Keiler, Detlef Thieme, Oliver Keppler, Matthias Klein, Tobias Weinberger, Andreas Osterman, Kristina Adorjan, Alexander Choukér
Publikováno v:
Translational Psychiatry, Vol 14, Iss 1, Pp 1-13 (2024)
Abstract The pandemic caused by SARS-CoV-2 impacted health systems globally, creating increased workload and mental stress upon health care workers (HCW). During the first pandemic wave (March to May 2020) in southern Germany, we investigated the imp
Externí odkaz:
https://doaj.org/article/3b291fa7b5d747beb423c9fe7a9fc817