Zobrazeno 1 - 10
of 722
pro vyhledávání: '"Kojima, Kensuke"'
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.
The Balanced Connected Subgraph problem (BCS) was recently introduced by Bhore et al. (CALDAM 2019). In this problem, we are given a graph $G$ whose vertices are colored by red or blue. The goal is to find a maximum connected subgraph of $G$ having t
Externí odkaz:
http://arxiv.org/abs/1910.07305
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.
Autor:
Kojima, Kensuke
This paper studies a difference between Binary Decision Diagrams (BDDs) and Zero-suppressed BDDs (ZDDs) from a conceptual point of view. It is commonly understood that a BDD is a representation of a Boolean function, whereas a ZDD is a representation
Externí odkaz:
http://arxiv.org/abs/1806.10261
Autor:
Samejima, Hironobu1 (AUTHOR), Kojima, Kensuke1 (AUTHOR) k7kensuke@icloud.com, Fujiwara, Ayako1 (AUTHOR), Tokunaga, Toshiteru1 (AUTHOR), Okishio, Kyoichi2,3 (AUTHOR), Yoon, Hyungeun1 (AUTHOR)
Publikováno v:
BMC Cancer. 11/14/2023, Vol. 23 Issue 1, p1-10. 10p.
Autor:
Yoshioka, Kentaro, Hirakawa, Yosuke, Kurano, Makoto, Ube, Yuko, Ono, Yoko, Kojima, Kensuke, Iwama, Taiga, Kano, Kuniyuki, Hasegawa, Sho, Inoue, Tsuyoshi, Shimada, Takashi, Aoki, Junken, Yatomi, Yutaka, Nangaku, Masaomi, Inagi, Reiko
Publikováno v:
In Kidney International March 2022 101(3):510-526
Autor:
Okudono, Takamasa, Nishida, Yuki, Kojima, Kensuke, Suenaga, Kohei, Kido, Kengo, Hasuo, Ichiro
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and SDP optimiz
Externí odkaz:
http://arxiv.org/abs/1709.00314
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.
The template-based method is one of the most successful approaches to algebraic invariant synthesis. In this method, an algorithm designates a template polynomial p over program variables, generates constraints for p=0 to be an invariant, and solves
Externí odkaz:
http://arxiv.org/abs/1604.07201