NAOKI SHIBATA Associate Professor at NAIST
奈良先端大 ソフトウェア基礎学研究室 柴田直樹
Here is my publication list.
Lecture materials are here. (Accessible only from NAIST)
Additional Publication List
- Naoki Shibata : Efficient Evaluation Methods of Elementary Functions Suitable for SIMD Computation, Journal of Computer Science on Research and Development, Proceedings of the International Supercomputing Conference ISC10., Volume 25, Numbers 1-2, pp. 25-32, DOI:10.1007/s00450-010-0108-2 (May. 2010). [PDF] [SlideShare]
- Naoki Shibata, Kozo Okano, Teruo Higashino, Kenichi Taniguchi : A decision algorithm for prenex normal form rational Presburger sentences based on combinatorial geometry, Proc. of 2nd Int'l Conference on Discrete Mathematics and Theoretical Computer Science and the 5th Australasian Theory Symposium (DMTCS'99+CATS'99), pp.344-359 (Jan 1999). [PDF]
Do not hesitate to ask me sending the papers displayed on ito-lab
website, if you do not have free access to ACM or Springer web sites.
Selected Presentation Slides on SlideShare
Ito-Lab Website Search