Research output per year
Research output per year
- 14 results
Search results
-
2024
Kleinian Groups and Geometric Function Theory
Shiga, H. & Sugawa, T., 2024 Jan 1, In the Tradition of Thurston III: Geometry and Dynamics. Springer International Publishing, p. 249-274 26 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
2 Citations (Scopus) -
2021
Brain MRI Image Analysis Technologies and its Application to Medical Image Analysis of Alzheimer’s Diseases
Ito, K., 2021 Jan 1, Multidisciplinary Computational Anatomy: Toward Integration of Artificial Intelligence with MCA-based Medicine. Springer Nature, p. 157-162 6 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Citation (Scopus) -
2018
CHAPTER 13: Mathematical Modelling and Computation for Rapid Expansion of Supercritical Solutions
Yamamoto, S. & Furusawa, T., 2018, Catalyst-free Organic Synthesis. Hunt, A. J. & Attard, T. M. (eds.). 57 ed. Royal Society of Chemistry, p. 395-415 21 p. (RSC Green Chemistry; vol. 2018-January, no. 57).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Embedding invertible languages with binders: A case of the FliPpr language
Matsuda, K. & Wang, M., 2018 Sept 17, ACM SIGPLAN Notices. 7 ed. Association for Computing Machinery, Vol. 53. p. 158-171 14 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open Access1 Citation (Scopus) -
Filtration of Semi-complete Vector Fields Revisited
Elin, M., Shoikhet, D. & Sugawa, T., 2018, Trends in Mathematics. 9781493976584 ed. Springer International Publishing, p. 93-102 10 p. (Trends in Mathematics; no. 9781493976584).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
6 Citations (Scopus) -
2015
Automatic estimation of a resected liver region using a tumor domination ratio
Hariyama, M. & Shimoda, M., 2015, Emerging Trends in Image Processing, Computer Vision and Pattern Recognition. Elsevier Inc., p. 369-378 10 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
4 Citations (Scopus) -
Spread of infectious diseases with a latent period
Mizuno, K. & Kudo, K., 2015, Springer Proceedings in Complexity. Springer, p. 141-147 7 p. (Springer Proceedings in Complexity).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open Access3 Citations (Scopus) -
2014
Continuation Hierarchy and Quantifier Scope
Kiselyov, O. & Shan, C. C., 2014, Studies in Linguistics and Philosophy. Springer Science and Business Media B.V., p. 105-134 30 p. (Studies in Linguistics and Philosophy; vol. 95).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
5 Citations (Scopus) -
2011
Power-aware dynamic cache partitioning for CMPs
Kotera, I., Abe, K., Egawa, R., Takizawa, H. & Kobayashi, H., 2011, Transactions on High-Performance Embedded Architectures and Compilers III. Stenstrom, P. (ed.). p. 135-153 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6590).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
19 Citations (Scopus) -
2010
Automatic tuning of CUDA execution parameters for stencil processing
Sato, K., Takizawa, H., Komatsu, K. & Kobayashi, H., 2010, Software Automatic Tuning: From Concepts to State-of-the-Art Results. Springer New York, p. 209-228 20 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
11 Citations (Scopus) -
Lessons learned from 1-year experience with SX-9 and toward the next generation vector computing
Kobayashi, H., Egawa, R., Takizawa, H., Okabe, K., Musa, A., Soga, T. & Isobe, Y., 2010, High Performance Computing on Vector Systems 2009. Springer Berlin Heidelberg, p. 3-22 20 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
2006
Spherical designs
Munemasa, A., 2006 Jan 1, Handbook of Combinatorial Designs, Second Edition. CRC Press, p. 617-622 6 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
5 Citations (Scopus) -
2004
The Interface Definition Language for Fail-Safe C
Suenaga, K., Oiwa, Y., Sumii, E. & Yonezawa, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Futatsugi, K., Mizoguchi, F. & Yonezaki, N. (eds.). Springer Verlag, p. 192-208 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3233).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Citation (Scopus) -
2003
Fail-safe ANSI-C compiler: An approach to making C programs secure progress report
Oiwa, Y., Sekiguchi, T., Sumii, E. & Yonezawa, A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Okada, M., Pierce, B. C., Scedrov, A., Tokuda, H. & Yonezawa, A. (eds.). Springer Verlag, p. 133-153 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2609).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
17 Citations (Scopus)