Zobrazeno 1 - 10
of 2 511
pro vyhledávání: '"state merging"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We address the problem of constraint encoding explosion which hinders the applicability of state merging in symbolic execution. Specifically, our goal is to reduce the number of disjunctions and if-then-else expressions introduced during state mergin
Externí odkaz:
http://arxiv.org/abs/2308.12068
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Merrill, William, Tsilivis, Nikolaos
One way to interpret the behavior of a blackbox recurrent neural network (RNN) is to extract from it a more interpretable discrete computational model, like a finite state machine, that captures its behavior. In this work, we propose a new method for
Externí odkaz:
http://arxiv.org/abs/2201.12451
Autor:
Qing Tang1, Xianbiao Hu1 xbhu@psu.edu
Publikováno v:
Journal of Intelligent Transportation Systems. 2024, Vol. 28 Issue 3, p372-385. 14p.
Autor:
Yamasaki, Hayata, Murao, Mio
We prove the difference between the minimal entanglement costs in quantum state merging under one-way and two-way communication in a one-shot scenario, whereas they have been known to coincide asymptotically. While the minimal entanglement cost in st
Externí odkaz:
http://arxiv.org/abs/1903.03619
We describe experiments and simulations of dynamical merging with two Taylor state plasmas in the SSX device. Taylor states are formed by magnetized plasma guns at opposite ends of the device. We have performed experiments with Taylor states of eithe
Externí odkaz:
http://arxiv.org/abs/1910.13861
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Yamasaki, Hayata, Murao, Mio
Publikováno v:
IEEE Transactions on Information Theory ( Volume: 65 , Issue: 6 , Pages: 3950 - 3972 , June 2019 )
Recent advances in quantum technology facilitate the realization of information processing using quantum computers at least on the small and intermediate scales of up to several dozens of qubits. We investigate entanglement cost required for one-shot
Externí odkaz:
http://arxiv.org/abs/1806.07875