Zobrazeno 1 - 10
of 794
pro vyhledávání: '"Nalbach A"'
Autor:
Michel, Lucas, Nalbach, Jasper, Mathonet, Pierre, Zénaïdi, Naïm, Brown, Christopher W., Ábrahám, Erika, Davenport, James H., England, Matthew
We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results about thi
Externí odkaz:
http://arxiv.org/abs/2411.13300
Autor:
Nalbach, Jasper, Kremer, Gereon
The cylindrical algebraic covering method was originally proposed to decide the satisfiability of a set of non-linear real arithmetic constraints. We reformulate and extend the cylindrical algebraic covering method to allow for checking the truth of
Externí odkaz:
http://arxiv.org/abs/2411.03070
In the burgeoning field of quantum computing, the precise design and optimization of quantum pulses are essential for enhancing qubit operation fidelity. This study focuses on refining the pulse engineering techniques for superconducting qubits, empl
Externí odkaz:
http://arxiv.org/abs/2409.08204
Publikováno v:
EPTCS 390, 2023, pp. 16-32
In this paper we introduce a novel quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination procedure, but by case splitting we are able to reduce the wor
Externí odkaz:
http://arxiv.org/abs/2310.00995
Autor:
Jianping Wu, Georg Kislinger, Jerome Duschek, Ayşe Damla Durmaz, Benedikt Wefers, Ruoqing Feng, Karsten Nalbach, Wolfgang Wurst, Christian Behrends, Martina Schifferer, Mikael Simons
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-15 (2024)
Abstract Oligodendrocytes extend numerous cellular processes that wrap multiple times around axons to generate lipid-rich myelin sheaths. Myelin biogenesis requires an enormously productive biosynthetic machinery for generating and delivering these l
Externí odkaz:
https://doaj.org/article/f28eec2219ca4b7681ec78bfd6b3f021
In this paper we present a quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination procedure, but by case splitting we are able to reduce the worst-case
Externí odkaz:
http://arxiv.org/abs/2309.03138
One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In this paper, we propose an extension for this method to exploit the stri
Externí odkaz:
http://arxiv.org/abs/2306.16757
Dephasing in quantum systems is typically the result of its interaction with environmental degrees of freedom. We investigate within a spin-boson model the influence of a super-Ohmic environment on the dynamics of a quantum two-state system. A super-
Externí odkaz:
http://arxiv.org/abs/2303.18213
Autor:
Nalbach, Jasper, Ábrahám, Erika, Specht, Philippe, Brown, Christopher W., Davenport, James H., England, Matthew
Publikováno v:
Journal of Symbolic Computation, Volume 123, Article Number 102288. Elsevier, 2024
Satisfiability Modulo Theories (SMT) solvers check the satisfiability of quantifier-free first-order logic formulas. We consider the theory of non-linear real arithmetic where the formulae are logical combinations of polynomial constraints. Here a co
Externí odkaz:
http://arxiv.org/abs/2212.09309
Publikováno v:
BMC Health Services Research, Vol 24, Iss 1, Pp 1-10 (2024)
Abstract Background The aim of the present study is to investigate the impact of the Covid-19 pandemic on the effectiveness of psychosomatic rehabilitation. Methods Between April 2019 and March 2022, a total of 18,388 patients from 7 rehabilitation c
Externí odkaz:
https://doaj.org/article/e68ca8c0c06d4d99bf3e906ff13f80b7