Zobrazeno 1 - 10
of 432
pro vyhledávání: '"Nalbach, P."'
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
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
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
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
A quantum two-level system immersed in a sub-Ohmic bath experiences enhanced low-frequency quantum statistical fluctuations which render the nonequilibrium quantum dynamics highly non-Markovian. Upon using the numerically exact time-evolving matrix p
Externí odkaz:
http://arxiv.org/abs/2208.10313
Autor:
Haopeng Lin, Kunimasa Suzuki, Nancy Smith, Xi Li, Lisa Nalbach, Sonia Fuentes, Aliya F. Spigelman, Xiao-Qing Dai, Austin Bautista, Mourad Ferdaoussi, Saloni Aggarwal, Andrew R. Pepper, Leticia P. Roma, Emmanuel Ampofo, Wen-hong Li, Patrick E. MacDonald
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-15 (2024)
Abstract Pancreatic β-cells respond to metabolic stress by upregulating insulin secretion, however the underlying mechanisms remain unclear. Here we show, in β-cells from overweight humans without diabetes and mice fed a high-fat diet for 2 days, i
Externí odkaz:
https://doaj.org/article/5a3f165b1bd14fb4a4ae1864a4618c3e
Publikováno v:
J. Phys. Chem. B 2019, 123, 9, 2106-2113
When a hydrophilic solute in water is suddenly turned into a hydrophobic species, for instance, by photoionization, a layer of hydrated water molecules forms around the solute on a time scale of a few picoseconds. We study the dynamic build-up of the
Externí odkaz:
http://arxiv.org/abs/2202.05173