( en | de | ru )

 

Disambiguation of "Kimura, Daisuke"

Author of the publication

copydeleteadd this publication to your clipboard
A Trade-Off between the Maximum Power Point and Stability.

, and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 94-A (7): 1513-1518 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

T Kimura

Daisuke Yoshida

Daisuke Shibata

Shuji Kimura

Daisuke Akimoto

 

Other publications of authors with the same name

Dual Calculus with Inductive and Coinductive Types., and . RTA, volume 5595 of Lecture Notes in Computer Science, page 224-238. Springer, (2009)Restriction on Cut in Cyclic Proof System for Symbolic Heaps., , and . FLOPS, volume 12073 of Lecture Notes in Computer Science, page 88-105. Springer, (2020)Fast Computation of Subpath Kernel for Trees., and . ICML, icml.cc / Omnipress, (2012)Completeness of Cyclic Proofs for Symbolic Heaps., , and . CoRR, (2018)A Trade-Off between the Maximum Power Point and Stability., and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 94-A (7): 1513-1518 (2011)Induction by Coinduction and Control Operators in Call-by-Name., and . COS, volume 127 of EPTCS, page 101-112. (2013)Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types, and . Logical Methods in Computer Science, (2013)Decision Procedure for Entailment of Symbolic Heaps with Arrays., and . APLAS, volume 10695 of Lecture Notes in Computer Science, page 169-189. Springer, (2017)Analysis of Simple Single/Parallel Switched Dynamical Systems Based on Two Switching Strategies., , , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 91-A (8): 2076-2083 (2008)A Subpath Kernel for Rooted Unordered Trees., , , and . PAKDD (1), volume 6634 of Lecture Notes in Computer Science, page 62-74. Springer, (2011)