Search

Your search keyword '"Kojima, Kensuke"' showing total 900 results
Start Over Author "Kojima, Kensuke"
900 results on '"Kojima, Kensuke"'

3. Real-world data of MDS and CMML in Japan: results of JALSG clinical observational study-11 (JALSG-CS-11)

Author

Usuki, Kensuke, Ohtake, Shigeki, Honda, Sumihisa, Matsuda, Mitsuhiro, Wakita, Atsushi, Nawa, Yuichiro, Takase, Ken, Maeda, Akio, Sezaki, Nobuo, Yokoyama, Hisayuki, Takada, Satoru, Hirano, Daiki, Tomikawa, Tatsuki, Sumi, Masahiko, Yano, Shingo, Handa, Hiroshi, Ota, Shuichi, Fujita, Hiroyuki, Fujimaki, Katsumichi, Mugitani, Atsuko, Kojima, Kensuke, Kajiguchi, Tomohiro, Fujimoto, Ko, Asou, Norio, Usui, Noriko, Ishikawa, Yuichi, Katsumi, Akira, Matsumura, Itaru, Miyazaki, Yasushi, and Kiyoi, Hitoshi

Published
2024
Full Text
View/download PDF

5. Real-world data of AML in Japan: results of JALSG clinical observational study-11 (JALSG-CS-11)

Author

Usuki, Kensuke, Ohtake, Shigeki, Honda, Sumihisa, Matsuda, Mitsuhiro, Wakita, Atsushi, Nawa, Yuichiro, Takase, Ken, Maeda, Akio, Sezaki, Nobuo, Yokoyama, Hisayuki, Takada, Satoru, Hirano, Daiki, Tomikawa, Tatsuki, Sumi, Masahiko, Yano, Shingo, Handa, Hiroshi, Ota, Shuichi, Fujita, Hiroyuki, Fujimaki, Katsumichi, Mugitani, Atsuko, Kojima, Kensuke, Kajiguchi, Tomohiro, Fujimoto, Ko, Asou, Norio, Usui, Noriko, Ishikawa, Yuichi, Katsumi, Akira, Matsumura, Itaru, Kiyoi, Hitoshi, and Miyazaki, Yasushi

Published
2024
Full Text
View/download PDF

8. Targeting cis-regulatory elements of FOXO family is a novel therapeutic strategy for induction of leukemia cell differentiation

Author

Kurayoshi, Kenta, Takase, Yusuke, Ueno, Masaya, Ohta, Kumiko, Fuse, Kyoko, Ikeda, Shuji, Watanabe, Takayoshi, Nishida, Yuki, Horike, Shin-ichi, Hosomichi, Kazuyoshi, Ishikawa, Yuichi, Tadokoro, Yuko, Kobayashi, Masahiko, Kasahara, Atsuko, Jing, Yongwei, Shoulkamy, Mahmoud I., Meguro-Horike, Makiko, Kojima, Kensuke, Kiyoi, Hitoshi, Sugiyama, Hiroshi, Nagase, Hiroki, Tajima, Atsushi, and Hirao, Atsushi

Published
2023
Full Text
View/download PDF

10. Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem

Author

Kobayashi, Yasuaki, Kojima, Kensuke, Matsubara, Norihide, Sone, Taiga, and Yamamoto, Akihiro

Subjects
Computer Science - Data Structures and Algorithms, Mathematics - Combinatorics
Abstract

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 the same number of blue vertices and red vertices. They showed that this problem is NP-hard even on planar graphs, bipartite graphs, and chordal graphs. They also gave some positive results: BCS can be solved in $O(n^3)$ time for trees and $O(n + m)$ time for split graphs and properly colored bipartite graphs, where $n$ is the number of vertices and $m$ is the number of edges. In this paper, we show that BCS can be solved in $O(n^2)$ time for trees and $O(n^3)$ time for interval graphs. The former result can be extended to bounded treewidth graphs. We also consider a weighted version of BCS (WBCS). We prove that this variant is weakly NP-hard even on star graphs and strongly NP-hard even on split graphs and properly colored bipartite graphs, whereas the unweighted counterpart is tractable on those graph classes. Finally, we consider an exact exponential-time algorithm for general graphs. We show that BCS can be solved in $2^{n/2}n^{O(1)}$ time. This algorithm is based on a variant of Dreyfus-Wagner algorithm for the Steiner tree problem., Comment: accepted at COCOA 2019

Published
2019

12. BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets

Author

Kojima, Kensuke

Subjects
Computer Science - Logic in Computer Science, Computer Science - Data Structures and Algorithms, Mathematics - Category Theory, F.2.0, E.1, F.3.1
Abstract

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 of a set of sets. However, there is a one-to-one correspondence between Boolean functions and sets of sets, and therefore we could also regard a BDD as a representation of a set of sets, and similarly for a ZDD and a Boolean function. The aim of this paper is to give an explanation why the distinction between BDDs and ZDDs mentioned above is made despite the existence of the one-to-one correspondence. To achieve this, we first observe that Boolean functions and sets of sets are equipped with non-isomorphic functor structures, and show that these functor structures are reflected in the definitions of BDDs and ZDDs. This result can be stated formally as naturality of certain maps. To the author's knowledge, this is the first formally stated theorem that justifies the commonly accepted distinction between BDDs and ZDDs. In addition, we show that this result extends to sentential decision diagrams and their zero-suppressed variant., Comment: 13 pages, 1 figure

Published
2018

16. Sharper and Simpler Nonlinear Interpolants for Program Verification

Author

Okudono, Takamasa, Nishida, Yuki, Kojima, Kensuke, Suenaga, Kohei, Kido, Kengo, and Hasuo, Ichiro

Subjects
Computer Science - Logic in Computer Science
Abstract

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 optimization in synthesis of polynomial interpolants, the current paper contributes its enhancement that yields sharper and simpler interpolants. The enhancement is made possible by: theoretical observations in real algebraic geometry; and our continued fraction-based algorithm that rounds off (potentially erroneous) numerical solutions of SDP solvers. Experiment results support our tool's effectiveness; we also demonstrate the benefit of sharp and simple interpolants in program verification examples.

Published
2017

19. Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis

Author

Kojima, Kensuke, Kinoshita, Minoru, and Suenaga, Kohei

Subjects
Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation, Computer Science - Software Engineering, F.3.1, F.3.2
Abstract

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 the generated constraints. However, this approach often suffers from an increasing template size if the degree of a template polynomial is too high. We propose a technique to make template-based methods more efficient. Our technique is based on the following finding: If an algebraic invariant exists, then there is a specific algebraic invariant that we call a generalized homogeneous algebraic invariant that is often smaller. This finding justifies using only a smaller template that corresponds to a generalized homogeneous algebraic invariant. Concretely, we state our finding above formally based on the abstract semantics of an imperative program proposed by Cachera et al. Then, we modify their template-based invariant synthesis so that it generates only generalized homogeneous algebraic invariants. This modification is proved to be sound. Furthermore, we also empirically demonstrate the merit of the restriction to generalized homogeneous algebraic invariants. Our implementation outperforms that of Cachera et al. for programs that require a higher-degree template., Comment: Presented in the 23rd Static Analysis Symposium (SAS 2016)

Published
2016

21. Real-world data of MDS and CMML in Japan: results of JALSG clinical observational study-11 (JALSG-CS-11)

Author

Usuki, Kensuke, primary, Ohtake, Shigeki, additional, Honda, Sumihisa, additional, Matsuda, Mitsuhiro, additional, Wakita, Atsushi, additional, Nawa, Yuichiro, additional, Takase, Ken, additional, Maeda, Akio, additional, Sezaki, Nobuo, additional, Yokoyama, Hisayuki, additional, Takada, Satoru, additional, Hirano, Daiki, additional, Tomikawa, Tatsuki, additional, Sumi, Masahiko, additional, Yano, Shingo, additional, Handa, Hiroshi, additional, Ota, Shuichi, additional, Fujita, Hiroyuki, additional, Fujimaki, Katsumichi, additional, Mugitani, Atsuko, additional, Kojima, Kensuke, additional, Kajiguchi, Tomohiro, additional, Fujimoto, Ko, additional, Asou, Norio, additional, Usui, Noriko, additional, Ishikawa, Yuichi, additional, Katsumi, Akira, additional, Matsumura, Itaru, additional, Miyazaki, Yasushi, additional, and Kiyoi, Hitoshi, additional

Published
2023
Full Text
View/download PDF

23. Enhanced TP53 reactivation disrupts MYC transcriptional program and overcomes venetoclax resistance in acute myeloid leukemias

Author

Nishida, Yuki, primary, Ishizawa, Jo, additional, Ayoub, Edward, additional, Montoya, Rafael Heinz, additional, Ostermann, Lauren B., additional, Muftuoglu, Muharrem, additional, Ruvolo, Vivian R, additional, Patsilevas, Tallie, additional, Scruggs, Darah A., additional, Khazaei, Shayaun, additional, Mak, Po Yee, additional, Tao, Wenjing, additional, Carter, Bing Z., additional, Boettcher, Steffen, additional, Ebert, Benjamin L., additional, Daver, Naval G., additional, Konopleva, Marina, additional, Seki, Takahiko, additional, Kojima, Kensuke, additional, and Andreeff, Michael, additional

Published
2023
Full Text
View/download PDF

24. Real-world data of AML in Japan: results of JALSG clinical observational study-11 (JALSG-CS-11)

Author

Usuki, Kensuke, primary, Ohtake, Shigeki, additional, Honda, Sumihisa, additional, Matsuda, Mitsuhiro, additional, Wakita, Atsushi, additional, Nawa, Yuichiro, additional, Takase, Ken, additional, Maeda, Akio, additional, Sezaki, Nobuo, additional, Yokoyama, Hisayuki, additional, Takada, Satoru, additional, Hirano, Daiki, additional, Tomikawa, Tatsuki, additional, Sumi, Masahiko, additional, Yano, Shingo, additional, Handa, Hiroshi, additional, Ota, Shuichi, additional, Fujita, Hiroyuki, additional, Fujimaki, Katsumichi, additional, Mugitani, Atsuko, additional, Kojima, Kensuke, additional, Kajiguchi, Tomohiro, additional, Fujimoto, Ko, additional, Asou, Norio, additional, Usui, Noriko, additional, Ishikawa, Yuichi, additional, Katsumi, Akira, additional, Matsumura, Itaru, additional, Kiyoi, Hitoshi, additional, and Miyazaki, Yasushi, additional

Published
2023
Full Text
View/download PDF

29. Clinical impact of the CONUT score in patients with multiple myeloma

Author

Okamoto, Sho, Ureshino, Hiroshi, Kidoguchi, Keisuke, Kusaba, Kana, Kizuka-Sano, Haruna, Sano, Haruhiko, Nishioka, Atsujiro, Yamaguchi, Kyosuke, Kamachi, Kazuharu, Itamura, Hidekazu, Yoshimura, Mariko, Yokoo, Masako, Shindo, Takero, Kubota, Yasushi, Ando, Toshihiko, Kojima, Kensuke, Kawaguchi, Atsushi, Sueoka, Eisaburo, and Kimura, Shinya

Published
2020
Full Text
View/download PDF

30. Imipridone ONC212 activates orphan G protein-coupled receptor GPR132 and integrated stress response in acute myeloid leukemia

Author

Nii, Takenobu, Prabhu, Varun V., Ruvolo, Vivian, Madhukar, Neel, Zhao, Ran, Mu, Hong, Heese, Lauren, Nishida, Yuki, Kojima, Kensuke, Garnett, Mathew J., McDermott, Ultan, Benes, Cyril H., Charter, Neil, Deacon, Sean, Elemento, Olivier, Allen, Joshua E., Oster, Wolfgang, Stogniew, Martin, Ishizawa, Jo, and Andreeff, Michael

Published
2019
Full Text
View/download PDF

31. A Nonstandard Functional Programming Language

Author

Nakamura, Hirofumi, Kojima, Kensuke, Suenaga, Kohei, Igarashi, Atsushi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

32. Feasibility of the imatinib stop study in the Japanese clinical setting: delightedly overcome CML expert stop TKI trial (DOMEST Trial)

Author

Fujisawa, Shin, Ueda, Yasunori, Usuki, Kensuke, Kobayashi, Hajime, Kondo, Eisei, Doki, Noriko, Nakao, Takafumi, Kanda, Yoshinobu, Kosugi, Nobuharu, Kosugi, Hiroshi, Kumagai, Takashi, Harada, Hiroshi, Shikami, Masato, Maeda, Yasuhiro, Sakura, Toru, Inokuchi, Koiti, Saito, Akio, Nawa, Yuichiro, Ogasawara, Masahiro, Nishida, Junji, Kondo, Takeshi, Yoshida, Chikashi, Kuroda, Hiroyuki, Tabe, Yoko, Maeda, Yoshinobu, Imajo, Kenji, Kojima, Kensuke, Morita, Satoshi, Komukai, Sho, Kawaguchi, Atsushi, Sakamoto, Junichi, and Kimura, Shinya

Published
2019
Full Text
View/download PDF

34. Automated Verification of Functional Correctness of Race-Free GPU Programs

Author

Kojima, Kensuke, Imanishi, Akifumi, Igarashi, Atsushi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Blazy, Sandrine, editor, and Chechik, Marsha, editor

Published
2016
Full Text
View/download PDF

43. Supplemental File 3 from Predictive Gene Signatures Determine Tumor Sensitivity to MDM2 Inhibition

Author

Ishizawa, Jo, primary, Nakamaru, Kenji, primary, Seki, Takahiko, primary, Tazaki, Koichi, primary, Kojima, Kensuke, primary, Chachad, Dhruv, primary, Zhao, Ran, primary, Heese, Lauren, primary, Ma, Wencai, primary, Ma, Man Chun John, primary, DiNardo, Courtney, primary, Pierce, Sherry, primary, Patel, Keyur P., primary, Tse, Archie, primary, Davis, R. Eric, primary, Rao, Arvind, primary, and Andreeff, Michael, primary

Published
2023
Full Text
View/download PDF

44. Supplemental File 1 from Predictive Gene Signatures Determine Tumor Sensitivity to MDM2 Inhibition

Author

Ishizawa, Jo, primary, Nakamaru, Kenji, primary, Seki, Takahiko, primary, Tazaki, Koichi, primary, Kojima, Kensuke, primary, Chachad, Dhruv, primary, Zhao, Ran, primary, Heese, Lauren, primary, Ma, Wencai, primary, Ma, Man Chun John, primary, DiNardo, Courtney, primary, Pierce, Sherry, primary, Patel, Keyur P., primary, Tse, Archie, primary, Davis, R. Eric, primary, Rao, Arvind, primary, and Andreeff, Michael, primary

Published
2023
Full Text
View/download PDF

45. Supplemental File 2 from Predictive Gene Signatures Determine Tumor Sensitivity to MDM2 Inhibition

Author

Ishizawa, Jo, primary, Nakamaru, Kenji, primary, Seki, Takahiko, primary, Tazaki, Koichi, primary, Kojima, Kensuke, primary, Chachad, Dhruv, primary, Zhao, Ran, primary, Heese, Lauren, primary, Ma, Wencai, primary, Ma, Man Chun John, primary, DiNardo, Courtney, primary, Pierce, Sherry, primary, Patel, Keyur P., primary, Tse, Archie, primary, Davis, R. Eric, primary, Rao, Arvind, primary, and Andreeff, Michael, primary

Published
2023
Full Text
View/download PDF

46. Supplemental Information from Predictive Gene Signatures Determine Tumor Sensitivity to MDM2 Inhibition

Author

Ishizawa, Jo, primary, Nakamaru, Kenji, primary, Seki, Takahiko, primary, Tazaki, Koichi, primary, Kojima, Kensuke, primary, Chachad, Dhruv, primary, Zhao, Ran, primary, Heese, Lauren, primary, Ma, Wencai, primary, Ma, Man Chun John, primary, DiNardo, Courtney, primary, Pierce, Sherry, primary, Patel, Keyur P., primary, Tse, Archie, primary, Davis, R. Eric, primary, Rao, Arvind, primary, and Andreeff, Michael, primary

Published
2023
Full Text
View/download PDF

47. Supplemental Figures 1 and 2 from Results of the Phase I Trial of RG7112, a Small-Molecule MDM2 Antagonist in Leukemia

Author

Andreeff, Michael, primary, Kelly, Kevin R., primary, Yee, Karen, primary, Assouline, Sarit, primary, Strair, Roger, primary, Popplewell, Leslie, primary, Bowen, David, primary, Martinelli, Giovanni, primary, Drummond, Mark W., primary, Vyas, Paresh, primary, Kirschbaum, Mark, primary, Iyer, Swaminathan Padmanabhan, primary, Ruvolo, Vivian, primary, González, Graciela M. Nogueras, primary, Huang, Xuelin, primary, Chen, Gong, primary, Graves, Bradford, primary, Blotner, Steven, primary, Bridge, Peter, primary, Jukofsky, Lori, primary, Middleton, Steve, primary, Reckner, Monica, primary, Rueger, Ruediger, primary, Zhi, Jianguo, primary, Nichols, Gwen, primary, and Kojima, Kensuke, primary

Published
2023
Full Text
View/download PDF

48. Data from Predictive Gene Signatures Determine Tumor Sensitivity to MDM2 Inhibition

Author

Ishizawa, Jo, primary, Nakamaru, Kenji, primary, Seki, Takahiko, primary, Tazaki, Koichi, primary, Kojima, Kensuke, primary, Chachad, Dhruv, primary, Zhao, Ran, primary, Heese, Lauren, primary, Ma, Wencai, primary, Ma, Man Chun John, primary, DiNardo, Courtney, primary, Pierce, Sherry, primary, Patel, Keyur P., primary, Tse, Archie, primary, Davis, R. Eric, primary, Rao, Arvind, primary, and Andreeff, Michael, primary

Published
2023
Full Text
View/download PDF

49. Supplemental Methods from Results of the Phase I Trial of RG7112, a Small-Molecule MDM2 Antagonist in Leukemia

Author

Andreeff, Michael, primary, Kelly, Kevin R., primary, Yee, Karen, primary, Assouline, Sarit, primary, Strair, Roger, primary, Popplewell, Leslie, primary, Bowen, David, primary, Martinelli, Giovanni, primary, Drummond, Mark W., primary, Vyas, Paresh, primary, Kirschbaum, Mark, primary, Iyer, Swaminathan Padmanabhan, primary, Ruvolo, Vivian, primary, González, Graciela M. Nogueras, primary, Huang, Xuelin, primary, Chen, Gong, primary, Graves, Bradford, primary, Blotner, Steven, primary, Bridge, Peter, primary, Jukofsky, Lori, primary, Middleton, Steve, primary, Reckner, Monica, primary, Rueger, Ruediger, primary, Zhi, Jianguo, primary, Nichols, Gwen, primary, and Kojima, Kensuke, primary

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results