Filters
Approximate counting in bounded arithmetic
We develop approximate counting of sets definable by Boolean circuits in bounded arithmetic using the dual weak pigeonhole principle (dWPHP(PV)), as a generalization of results from [15]. We discuss applications to formalization of ...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Approximate counting by hashing in bounded arithmetic
We show how to formalize approximate counting via hash functions in subsystems of bounded arithmetic, using variants of the weak pigeonhole principle. We discuss several appications, including a proof of the tournament principle, an...
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry
. Realising the first-order model counting oracle in practice using the approximateWe study the symmetric weighted first-order model counting task and present model count of a sentence given an unweighted first-ord...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Fragments of approximate counting
We study the long-standing open problem of giving for all Sigma(b)(1) separations for fragments of bounded arithmetic in the relativized setting. Rather than considering the usual fragments defined by the amount of induction they allow, we study Jera...
BA - Obecná matematika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
What all the blood count hides
This article is an approximation of some markers resulting from the white blood cell count, which may play an important role in the diagnostic-therapeutic process of critically ill patients....
Anaesthesiology
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Approximate counting and NP search problems
using standard combinatorial reasoning based on approximate counting. Our model for this kind of reasoning is the bounded arithmetic theory APC2 of [E. Jeřábek, Approximate counting by hashing in bounded arithmeti...
Pure mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
The ordering principle in a fragment of approximate counting
theory for approximate counting with weakened versions of it.
BA - Obecná matematika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Approximate Counting of Minimal Unsatisfiable Subsets
. Motivated by the success of hashing-based techniques in the context of model counting, we design the first approximate counting procedure with (epsilon,delta of MUSes. One such extension is that of counting the n...
Computer and information sciences
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
The article "Count Albert Joseph Hoditz (1706-1778) in the mirror of German literature"
to the approximation of the image of Count Hoditz in German literature.The biography and cultural activities of Count Albert Josef Hodic has become a central theme of a whole series of publications on the history and cultu...
AL - Umění, architektura, kulturní dědictví
- 2015 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Escherichia coli in surface waters
the counts of E. coli showed good correlation with the count of thermotolerant (faecal) coliforms and made approximately 69% of them....
DJ - Znečištění a kontrola vody
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 29 847