Zobrazeno 1 - 10
of 2 456
pro vyhledávání: '"A. Holik"'
While the concept of entanglement for distinguishable particles is well established, defining entanglement and non-locality in systems of indistinguishable particles, which require the use of the (anti)symmetrization postulate, remains challenging, a
Externí odkaz:
http://arxiv.org/abs/2412.19246
Visual Question Answering (VQA) research seeks to create AI systems to answer natural language questions in images, yet VQA methods often yield overly simplistic and short answers. This paper aims to advance the field by introducing Visual Question E
Externí odkaz:
http://arxiv.org/abs/2411.07516
Autor:
Šedý, Michal, Holík, Lukáš
We introduce a novel paradigm for reducing the size of finite automata by compressing repeating sub-graphs. These repeating sub-graphs can be viewed as invocations of a single procedure. Instead of representing each invocation explicitly, they can be
Externí odkaz:
http://arxiv.org/abs/2410.20227
Autor:
Abdulla, Parosh Aziz, Chen, Yo-Ga, Chen, Yu-Fang, Holík, Lukáš, Lengál, Ondřej, Lin, Jyun-Ao, Lo, Fang-Yi, Tsai, Wei-Lun
We present a new method for the verification of quantum circuits based on a novel symbolic representation of sets of quantum states using level-synchronized tree automata (LSTAs). LSTAs extend classical tree automata by labeling each transition with
Externí odkaz:
http://arxiv.org/abs/2410.18540
The problem of quantum state estimation is crucial in the development of quantum technologies. In particular, the use of symmetric quantum states is useful in many relevant applications. In this work, we analyze the task of reconstructing the density
Externí odkaz:
http://arxiv.org/abs/2408.09183
Autor:
Arango, Andrés Camilo Granda, Holik, Federico Hernan, Sergioli, Giuseppe, Giuntini, Roberto, Freytes, Hector
In this work, we explore how resources are distributed among the states generated by quantum random circuits (QRC). We focus on multipartite non-locality, but we also analyze quantum correlations by appealing to different entanglement and non-classic
Externí odkaz:
http://arxiv.org/abs/2405.01650
We present a new angle on solving quantified linear integer arithmetic based on combining the automata-based approach, where numbers are understood as bitvectors, with ideas from (nowadays prevalent) algebraic approaches, which work directly with num
Externí odkaz:
http://arxiv.org/abs/2403.18995
Autor:
Chocholatý, David, Fiedor, Tomáš, Havlena, Vojtěch, Holík, Lukáš, Hruška, Martin, Lengál, Ondřej, Síč, Juraj
Mata is a well-engineered automata library written in C++ that offers a unique combination of speed and simplicity. It is meant to serve in applications such as string constraint solving and reasoning about regular expressions, and as a~reference imp
Externí odkaz:
http://arxiv.org/abs/2310.10136
Z3-Noodler is a fork of Z3 that replaces its string theory solver with a custom solver implementing the recently introduced stabilization-based algorithm for solving word equations with regular constraints. An extensive experimental evaluation shows
Externí odkaz:
http://arxiv.org/abs/2310.08327
Autor:
Sadigov, A., Ahmadov, F., Ahmadov, G., Aksu, E., Berikov, D., Nuruyev, S., Akbarov, R., Holik, M., Nagiyev, J., Guner, S. Gurbuz, Mammadli, A., Suleymanova, N., Abbasova, C., Melikova, S., Yilmaz, E., Tagiyev, O., Lyubchyk, S., Sadygov, Z.
This paper presents a newly developed plastic scintillator produced in collaboration with Turkiye Energy, Nuclear and Mineral Research Agency (TENMAK). The scintillator is manufactured using thermal polymerization of commercially available styrene mo
Externí odkaz:
http://arxiv.org/abs/2309.06878