Zobrazeno 1 - 10
of 256
pro vyhledávání: '"Czerner, P."'
Autor:
Blondin, Michael, Cadilhac, Michaël, Cui, Xin-Yi, Czerner, Philipp, Esparza, Javier, Schulz, Jakob
Ordered binary decision diagrams (OBDDs) are a fundamental data structure for the manipulation of Boolean functions, with strong applications to finite-state symbolic model checking. OBDDs allow for efficient algorithms using top-down dynamic program
Externí odkaz:
http://arxiv.org/abs/2411.17250
Population protocols are a model of computation in which indistinguishable mobile agents interact in pairs to decide a property of their initial configuration. Originally introduced by Angluin et. al. in 2004 with a constant number of states, researc
Externí odkaz:
http://arxiv.org/abs/2408.10027
Regular transition systems (RTS) are a popular formalism for modeling infinite-state systems in general, and parameterised systems in particular. In a CONCUR 22 paper, Esparza et al. introduce a novel approach to the verification of RTS, based on ind
Externí odkaz:
http://arxiv.org/abs/2404.10752
Modern SAT or QBF solvers are expected to produce correctness certificates. However, certificates have worst-case exponential size (unless $\textsf{NP}=\textsf{coNP}$), and at recent SAT competitions the largest certificates of unsatisfiability are s
Externí odkaz:
http://arxiv.org/abs/2401.14996
We show that interactive protocols between a prover and a verifier, a well-known tool of complexity theory, can be used in practice to certify the correctness of automated reasoning tools. Theoretically, interactive protocols exist for all $\textsf{P
Externí odkaz:
http://arxiv.org/abs/2305.11813
Autor:
Laura L. Cocito, Sabrina Permigiani, Federico Tapella, M. Eugenia Lattuca, Alejandra Tomac, Marina Czerner, M. Carolina Romero
Publikováno v:
Heliyon, Vol 10, Iss 16, Pp e36475- (2024)
Lithodes santolla (SKC) and Paralomis granulosa (FSKC) are economically important resources exploited in southern South America. The effect of refrigerated storage (4 °C on flake ice) on physico-chemical (pH, thiobarbituric reactive substances (TBAR
Externí odkaz:
https://doaj.org/article/41761b0906a146deabc9c973d9b724ea
Autor:
Czerner, Philipp
Population protocols are a model of distributed computation in which finite-state agents interact randomly in pairs. A protocol decides for any initial configuration whether it satisfies a fixed property, specified as a predicate on the set of config
Externí odkaz:
http://arxiv.org/abs/2204.02115
In their 2006 seminal paper in Distributed Computing, Angluin et al. present a construction that, given any Presburger predicate as input, outputs a leaderless population protocol that decides the predicate. The protocol for a predicate of size $m$ (
Externí odkaz:
http://arxiv.org/abs/2202.11601
Publikováno v:
In: Arai K., Kapoor S., Bhatia R. (eds) Intelligent Systems and Applications. IntelliSys 2020. Advances in Intelligent Systems and Computing, vol 1251. Springer, Cham
The production of microchips is a complex and thus well documented process. Therefore, available textual data about the production can be overwhelming in terms of quantity. This affects the visibility and retrieval of a certain piece of information w
Externí odkaz:
http://arxiv.org/abs/2105.05076
Autor:
Fabian, Alexander, Rossignol, Hugo, Wu, Ming-Hung, Gradhand, Martin, Czerner, Michael, Heiliger, Christian
Publikováno v:
Phys. Rev. B 104, 054402 (2021)
For the technologically relevant spin Hall effect most theoretical approaches rely on the evaluation of the spin-conductivity tensor. In contrast, for most experimental configurations the generation of spin accumulation at interfaces and surfaces is
Externí odkaz:
http://arxiv.org/abs/2103.06119