| Kensuke Baba | Last modified date：2013.4.1 |
Graduate School
E-Mail
Homepage
[URL].
Phone
092-642-4422
Academic Degree
Doctor of Science
Field of Specialization
Computer Science
Research
Research Interests
Membership in Academic Society
- Research and Development on Institutional Repository
keyword : Institutional Repository, Web databae, Access log analysis, Citation analysis, Statistical learning
2009.04. - Biometric Information Analysis for Personal Identification
keyword : Biometric authentication, Personal identification, Image processing, Pattern recognition, Statistical learning
2008.04. - Homology Search Algorithm for High Performance Computer
keyword : Algorithm, High performance computer, Hardware implementation, Homology search, Bit-parallel
2005.04～2008.03. - Verification of Security on Social Infrastructure System
keyword : Social infrastructure, Security, Verification, Authentication, Smart card
2004.04～2011.03. - String Processing Based on Arithmetic
keyword : Algorithm, String processing, Pattern matching, FFT, Word equation
2002.04～2004.03. - Isomorphism between Classical Logic and Lambda-calculus
keyword : Lambda-calculus, Type theory, Classical logic, Term rewriting, Confluency
1996.04～2002.03.
Papers
| 1. | Kensuke Baba, Masao Mori, and Eisuke Ito,Identification of Scholarly Papers and Authors by Connecting Databases,Journal of E-Technology,vol. 2, no. 3, pp. 120--125,2011.08. |
| 2. | Kensuke Baba, Yunqing Yu, and Kazuaki Murakami, An Alignment Algorithm by Bit-Parallelism, IPSJ Transactions on Mathematical Modeling and its Applications, vol. 46, no. SIG17(TOM13), pp. 80--87, Information Processing Society of Japan, 2005.12.  . |
| 3. | Kensuke Baba, Ayumi Shinohara, Masayuki Takeda, Shunsuke Inenaga, and Setsuo Arikawa,A Note on Randomized Algorithm for String Matching with Mismatches,Nordic Journal of Computing,vol. 10, no. 1, pp. 2--12,2003.03. . |
| 4. | Kensuke Baba, Sachio Hirokawa, and Ken-etsu Fujita,Parallel Reduction in Type Free Lambda-mu-Calculus,Electronic Notes in Theoretical Computer Science,vol. 42, pp. 52--66, Elsevier Science,2001.01. . |
| 5. | Kensuke Baba, Yukiyoshi Kameyama, and Sachio Hirokawa,Combinatory Logic and Lambda-Calculus for Classical Logic,Bulletin of Informatics and Cybernetics,vol. 32, no. 2, pp. 105--122,2000.12. . |
- The Institute of Electrical and Electronics Engineers
- European Association for Theoretical Computer Science
- Information Processing Society of Japan
The fact that no permission it reprints contents of this data base is prohibitted.