Zobrazeno 1 - 10
of 1 472
pro vyhledávání: '"Kaposi A"'
Unitary designs are essential tools in several quantum information protocols. Similarly to other design concepts, unitary designs are mainly used to facilitate averaging over a relevant space, in this case, the unitary group $\mathrm{U}(d)$. While it
Externí odkaz:
http://arxiv.org/abs/2405.00919
Autor:
Kolarovszki, Zoltán, Rybotycki, Tomasz, Rakyta, Péter, Kaposi, Ágoston, Poór, Boldizsár, Jóczik, Szabolcs, Nagy, Dániel T. R., Varga, Henrik, El-Safty, Kareem H., Morse, Gregory, Oszmaniec, Michał, Kozsik, Tamás, Zimborás, Zoltán
We introduce the Piquasso quantum programming framework, a full-stack open-source software platform for the simulation and programming of photonic quantum computers. Piquasso can be programmed via a high-level Python programming interface enabling us
Externí odkaz:
http://arxiv.org/abs/2403.04006
Autor:
Morse, Gregory, Rybotycki, Tomasz, Kaposi, Ágoston, Kolarovszki, Zoltán, Stojčić, Uroš, Kozsik, Tamás, Mencer, Oskar, Oszmaniec, Michał, Zimborás, Zoltán, Rakyta, Péter
In this work, we generalize the Balasubramanian-Bax-Franklin-Glynn (BB/FG) permanent formula to account for row multiplicities during the permanent evaluation and reduce the complexity of permanent evaluation in scenarios where such multiplicities oc
Externí odkaz:
http://arxiv.org/abs/2309.07027
Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usually proven externally, and does not hold internally. Internalising it
Externí odkaz:
http://arxiv.org/abs/2307.06448
Autor:
Ibolyka Dudás, Leona Schultz, Márton Benke, Ákos Szücs, Pál Novák Kaposi, Attila Szijártó, Pál Maurovich-Horvat, Bettina Katalin Budai
Publikováno v:
BMC Medical Imaging, Vol 24, Iss 1, Pp 1-18 (2024)
Abstract Background Spectral imaging of photon-counting detector CT (PCD-CT) scanners allows for generating virtual non-contrast (VNC) reconstruction. By analyzing 12 abdominal organs, we aimed to test the reliability of VNC reconstructions in preser
Externí odkaz:
https://doaj.org/article/104b7726791940858a83112538d52b9b
Autor:
Kolos Turtóczki, Hyunsoo Cho, Sorour Dastaran, Pál N. Kaposi, Zoltán Tömösváry, Szabolcs Várbíró, Nándor Ács, Ildikó Kalina, Viktor Bérczi
Publikováno v:
CVIR Endovascular, Vol 7, Iss 1, Pp 1-8 (2024)
Abstract Background Uterine artery embolisation is a recommended method of adenomyosis treatment with good clinical results. Changes in uterine volume and maximal junctional zone thickness (JZmax) after embolisation are thoroughly analyzed in the lit
Externí odkaz:
https://doaj.org/article/6af319e260154585a209c3c34c0ed151
Metatheorems about type theories are often proven by interpreting the syntax into models constructed using categorical gluing. We propose to use only sconing (gluing along a global section functor) instead of general gluing. The sconing is performed
Externí odkaz:
http://arxiv.org/abs/2302.05190
Autor:
Boér, Katalin1 (AUTHOR) dr.boer.katalin@sztmargit.hu, Kaposi, Ambrus2 (AUTHOR) akaposi@inf.elte.hu, Kocsis, Judit3 (AUTHOR) kocsisj@kmk.hu, Horváth, Zsolt3,4 (AUTHOR) horvathzso@kmk.hu, Madaras, Balázs4 (AUTHOR) klement.gyorgy@oncol.hu, Sávolt, Ákos5,6 (AUTHOR), Klément, Gyorgy Benjamin4,6 (AUTHOR), Rubovszky, Gábor4,6,7 (AUTHOR) garub@oncol.hu
Publikováno v:
Cancers. Sep2024, Vol. 16 Issue 17, p2928. 13p.
Evaluating the Torontonian function is a central computational challenge in the simulation of Gaussian Boson Sampling (GBS) with threshold detection. In this work, we propose a recursive algorithm providing a polynomial speedup in the exact calculati
Externí odkaz:
http://arxiv.org/abs/2109.04528
We present new induction principles for the syntax of dependent type theories, which we call relative induction principles. The result of the induction principle relative to a functor F into the syntax is stable over the codomain of F. We rely on the
Externí odkaz:
http://arxiv.org/abs/2102.11649