IMAI Hiroshi | Department of Computer Science, The University of Tokyo
スポンサーリンク
概要
Department of Computer Science, The University of Tokyo | 論文
- DS-1-11 Reconstructing Strings from Substrings with Quantum Query
- A Sketch-Based Interface for Modeling Myocardial Fiber Orientation that Considers the Layered Structure of the Ventricles
- A Procedural Method for Modeling the Purkinje Fibers of the Heart
- Verification of Concurrent Programs Using the Coq Proof Assistant : A Case Study
- Reconstructing Strings from Substrings with Quantum Queries