Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Wang, Qinshi"'
Autor:
Sjöberg, Vilhelm, Dave, Kinnari, Britten, Daniel, Schett, Maria A, Sun, Xinyuan, Wang, Qinshi, Anderson, Sean Noble, Reeves, Steve, Shao, Zhong
Programs executed on a blockchain - smart contracts - have high financial stakes; their correctness is crucial. We argue, that this correctness needs to be foundational: correctness needs to be based on the operational semantics of their execution en
Externí odkaz:
http://arxiv.org/abs/2405.08348
Program verifiers for imperative languages such as C may be annotation-based, in which assertions and invariants are put into source files and then checked, or tactic-based, where proof scripts separate from programs are interactively developed in a
Externí odkaz:
http://arxiv.org/abs/1909.00097
Autor:
Zhang, Yun, Huang, Mingcong, Wang, Qinshi, Zhang, Xianli, Peng, Jing, Zhang, Yue, Wu, Qianlian, Duan, Jinao, Mao, Xiangjun, Tang, Zhishu, Li, Bo, Zhu, Huaxu
Publikováno v:
In Separation and Purification Technology 15 August 2022 295
Autor:
Wang, Qinshi, Chen, Wei
We study combinatorial multi-armed bandit with probabilistically triggered arms (CMAB-T) and semi-bandit feedback. We resolve a serious issue in the prior CMAB-T studies where the regret bounds contain a possibly exponentially large factor of $1/p^*$
Externí odkaz:
http://arxiv.org/abs/1703.01610
We define a general framework for a large class of combinatorial multi-armed bandit (CMAB) problems, where subsets of base arms with unknown distributions form super arms. In each round, a super arm is played and the base arms contained in the super
Externí odkaz:
http://arxiv.org/abs/1407.8339
Autor:
Wang, Qinshi1,2 (AUTHOR) 15850600541@163.com, Zhang, Yun1,2 (AUTHOR) zycloud1016@163.com, Zhang, Xianli1,2 (AUTHOR) zhangxli2022@163.com, Li, Qi1,2 (AUTHOR) lq23400@163.com, Huang, Mingcong1,2 (AUTHOR) wongmingcong@163.com, Huang, Shasha1,3 (AUTHOR) ssh_1126@126.com, Wu, Qianlian1,2 (AUTHOR) wql961114@163.com, Tang, Zhishu4 (AUTHOR) tzs6565@163.com, Pan, Linmei1,2 (AUTHOR) linmeip@126.com, Zhang, Yue1,2 (AUTHOR) zhyue@njucm.edu.cn, Liu, Hongbo4 (AUTHOR) 15319084280@126.com, Li, Bo1,2,5 (AUTHOR) boli@njucm.edu.com, Zhu, Huaxu1,2 (AUTHOR) boli@njucm.edu.com
Publikováno v:
Membranes. Mar2022, Vol. 12 Issue 3, p285. 20p.
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.
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.
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.
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.