Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Tóth, Jan"'
Autor:
Tóth, Jan, Kuželka, Ondřej
We study the time complexity of the weighted first-order model counting (WFOMC) over the logical language with two variables and counting quantifiers. The problem is known to be solvable in time polynomial in the domain size. However, the degree of t
Externí odkaz:
http://arxiv.org/abs/2404.12905
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial objects, e.g.,
Externí odkaz:
http://arxiv.org/abs/2302.04606
Autor:
Tóth, Jan, Kuželka, Ondřej
We consider the task of weighted first-order model counting (WFOMC) used for probabilistic inference in the area of statistical relational learning. Given a formula $\phi$, domain size $n$ and a pair of weight functions, what is the weighted sum of a
Externí odkaz:
http://arxiv.org/abs/2211.01164
Publikováno v:
In Talanta 1 March 2024 269
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:
Kučera, Josef, Peš, Ondřej, Janovič, Tomáš, Hofr, Ctirad, Kubinyiová, Lenka, Tóth, Ján, Káňa, Štěpán, Táborský, Petr
Publikováno v:
In Sensors and Actuators: B. Chemical 1 February 2022 352 Part 1
Publikováno v:
In Journal of Molecular Liquids 1 September 2021 337
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.
Development of lunar ceramic composites, testing and constitutive modeling, including cemented sand.
Autor:
Toth, János Csaba
The behavior of Intermediate Ceramic Composite (ICC) is examined experimentally and theoretically in this study. The fabrication procedures, developed molding methods, constitutive modelling of stress-strain-volumetric strain response and relationshi
Externí odkaz:
http://hdl.handle.net/10150/187029
http://arizona.openrepository.com/arizona/handle/10150/187029
http://arizona.openrepository.com/arizona/handle/10150/187029