Foundation of Computer Science Laboratory

Takafumi Hayashi Associate Professor	Lukas Pichl Assistant Professor

The research and education activities in the laboratory focus on the theoretical foundations of computers and computations, including broad applications in science and engineering. Our work covers algorithms and computation, programming languages, discrete mathematics, and related topics.

Areas of our research interest include Combinatorics and its applications Spread spectrum communication Signal processing Image analysis for measurement Networks Computational physics GRID in scientific computing Simulation techniques for complex systems Computational biology Security and management of computer system for e-Government

Faculty of the FCS laboratory teach Computer Literacy, Programming I, Algorithms and Data Structures, Advanced Algorithms, Digital Signal Processing, SCCPs and other selective courses. Students join faculty research and also develop their own research themes. We participate in various research projects of JSPS, NIFS, RIKEN etc.

Refereed Journal Papers

[lukas-01:2004]	K. Yamanishi, L. Pichl, Y. Nitahara-Kasahara, and Y. Aida. Molecular dynamics simulation of lipid-protein ensembles. International Journal of Bioelectromagnetism, 6(2):35-42, 2004.
	Our results are reported for the dynamics of basic lipid molecules interacting with viral protein R using the coarse-grained framework callibrated against atomic-level molecular dynamics simulations with Gromacs force fields.
[lukas-02:2004]	R. Suzuki, N. S. Rai, H.-P. Liebermann, R. J. Buenker, L. Pichl, and M. Kimura. Elastic and electron-capture processes in H+ and C2H4 collisions below the 10-keV regime. Physical Review A, 70:032710:1-10, 2005.
	Charge transfer collisions of hydrocarbons play an important role in edge plasmas of thermonuclear fusion devices and heat dissipation. In addition to the results for C2H4 molecule, we systematically analyze the cross-sections based on the number of carbon atoms in the target system.
[lukas-03:2004]	L. Pichl, K. Yamanishi, Y. Nitahara, and Y. Aida. Three dimensional space interaction model for HIV-1 accessory protein Vpr and membrane lipid molecules. Journal of Three Dimensional Images, 18(4):61-67, 2004.
	An integrated coarse-grained model is developed for lipid-protein systems based on the local density of hydrophobic particles in lipid tails and amino acid side chains. Applications to retroviral viral proteins are discussed.
[lukas-04:2004]	L. Pichl. Potential energy of H2 anion (Doublet Sigma +) in the bound-state region. Czechoslovak Journal of Physics, 55:167-171, 2005.
	The quasi-bound state of molecular hydrogen anion is computed with unprecedented accuracy of 10 micro-Hartree to support resonance life-time calculations by the dissociative attachment group in Prague.
[lukas-05:2004]	T. Kusakabe, L. Pichl, R. J. Buenker, M.Kimura, and H. Tawara. Isotope effect in charge-transfer collisions of slow H+ and D+ ions with H2, HD, and D2 molecules. Physical Review A, 70:052710:1-7, 2004.
	The isotope effect of target and projectile is measured and explained theoretically in the 0.1-1 keV region. Contrary to common beliefs about heavy particle collisions, the vibrational motion of the projectile is shown to play an important role in this process in spite its energy is 100-1000 times lower than that of projectile.
[takafumi-01:2004]	Takafumi Hayashi. A Constructionof Low-Peak-Factor Pseudo White Noise. IEICE Transaction of Fundamentals., E87-A(12):3429-3432, 2004.
	In this letter, we present a new approach to the construction of Low-Peak-Factor Pseudo White Noise.
[takafumi-02:2004]	Takafumi Hayashi. A class of low-peak-factor pseudo white noise sequence. IEICE Transactionof Fundamentals., E87-A(8):1850-1854, 2004.
	In this letter, we present a new approach to the construction of low-peak-factor pseudo white noise sequence.
[takafumi-03:2004]	Takafumi Hayashi and Satoshi Okawa. A Class of Ternary Sequence Sets with a Zero-correlation Zone. IEICE Transaction of Fundamentals., E87-A(6):1591-1598, 2004.
	In this letter, we present a new approach to the construction of ternary sequence sets with a zero-corrleation zone.
[takafumi-04:2004]	Takafumi Hayashi and Satoshi Okawa. A Generalization of Binary Zero-Correlation Zone Sequence Sets Constructed from Hadamard Matrices. IEICE Transaction of Fundamentals., E87-A(1):286-291, 2004.
	In this letter, we present a new approach to the construction of binary sequence sets with a zero-corrleation zone.
[takafumi-05:2004]	Nobuo Sato, Takafumi Hayashi, Shunji Mori, and Nobuo Hataok. Robust Line Extraction Based on Pyramid Hierarchical Structure. IEEJ Transactions on Electronics, Information and Systems, 124-C(7):1446-1454, 2004.
	In this paper, we present a new approach to Robust Line Extraction Based on Pyramid Hierarchical Structure.
[takafumi-06:2004]	Takafumi Hayashi. Synthesis of Two-Dimensional Pseudo White Noise Signal with Low Peak Factor. IEEE Signal Processing Letters, 11(10):813-816, 2004.
	In this letter, we present a new approach to the construction of two-dimensional pseudo white noise with low peak factor.
[takafumi-07:2004]	Takafumi Hayashi. Binary Array Set Having a Cross-Shaped Zero-Correlation Zone. IEEE Signal Processing Letters, 11(10):813-816, 2004.
	In this letter, we present a new approach to the construction of Binary Array Set Having a Cross-Shaped Zero-Correlation Zone.
[takafumi-08:2004]	Takafumi Hayashi, Takao Maeda, and Satoshi Okawa. Upper bounds of the correlation functions of a class of binary zero-correlation-zone sequences. IEICE Transaction of Fundamentals., E88-A(3):791-794, Mar. 2005.
	In this letter, we show the theoretical upper bound of the correlation functions of a clas of binary zero-correlation-zone sequences

Referred Proceeding Papers

[lukas-06:2004]	L. Pichl, M. Suzuki, K. Joe, and A Sasaki. Networked Mining of Atomic and Molecular Data from Electronic Journal Databases on the Internet. In Editor S. Bhalla, editor, 4th International Workshop on Databases in Networked Information Systems (DNIS 2005): Access and Visualization of Dynamic Contents, pages 159-170, Aizu-Wakamatsu, Mar. 2005. Springer.
	Several centers of atomic and molecular data in the world maintain research databases for use in fusion plasma simulations, hadron therapy, modelling the universe and other areas. Among the data center activities, collection of experimental and theoretical results across the world has been of major importance. This includes the identification, relevance assessment and retrieval of journal articles, followedby the data extraction, data mining, format conversionand data input. The methodology of the process still largely relies on working groups of specialists and part-time human labor, in spite of recentmodernization in journal publishing, especially the electronic journals newly available in subscription domain and the free-access online abstract databases. This work focuses on automating the above procedure to the maximum extent possible. In particular, we design a download robot that performs query search and abstract retrieval for the candidates of relevant articles over the internet at first stage, followed by fultext retrieval (pdf format), text extraction and a deterministic relevance judgement. As a demonstration,we have also developed a bibliography database for electron-molecule collisions that automatically updates its contents over the internet in regular time intervals. The present work belongs to the project for evolutional data collecting system supported by a JSPS project which involves several research institutes.
[takafumi-09:2004]	Takafumi Hayashi. A Class of Low-Peak Pseudo White Noise. In SICE2004, pages 11-16. SICE, SICE, Jul. 2004.
	A new class of low-peak pseudo white noise is propose
[takafumi-10:2004]	Nobuo Sato, Takafumi Hayashi, and Shunji Mori. An Attempt on the Extraction of Strokes from Hiragana Characters Based on Semantic Approach and Hierarchical Structure. In ISPACS2004. IEEE, IEEE, 2004.
	In this letter, we present a new approach to the Extraction of Strokes from Hiragana Characters Based on Semantic Approach and Hierarchical Structure

Unreferred Papers

[lukas-07:2004]	R. Suzuki and L. Pichl. Electron capture and fragmentation in collisions of proton with C2H4. In Meeting Abstracts of the Physical Society of Japan, Aomori, Sept. 12 2004.
[lukas-08:2004]	L. Pichl and M. Hoshino. Theoretical study of double electron capture in collisions of CV with He. In Meeting Abstracts of the Physical Society of Japan, Aomori, Sept. 14 2004.
[lukas-09:2004]	T. Kusakabe and L. Pichl. Isotope effect in charge transfer collisions of H+ and D+ with H2, HD and D2 molecules. In Meeting Abstracts of the Physical Society of Japan, Aomori, Sept. 14 2004.
[lukas-10:2004]	H. Suno and L. Pichl. Electron-capture processes in collisions betweens ions and molecules. In Meeting Abstracts of the Physical Society of Japan, Aomori, Sept. 14 2004.

Books

[lukas-11:2004]	S.H.) Pichl, L. (Ed. Chen. Computer-Aided Management of Software Development in Small Companies. Book chapter in Computational Economics: APerspective from Computational Intelligence. IDEA, 2005.
[lukas-12:2004]	S.H.) Pichl, L. (Ed. Chen. Optimization of Individual and Regulatory Market Strategies with Genetic Algorithms. Book chapter in Computational Economics: A Perspective from Computational Intelligence. IDEA, 2005.

Grants

[lukas-13:2004]	L. Pichl. Japan Society for the Promotion of Science, 2003-5.
[lukas-14:2004]	L. Pichl. National Institute for Fusion Science, 2004.
[lukas-15:2004]	L. Pichl. HIT Corporation: grant donation, 2004.
[lukas-16:2004]	L. Pichl. Japan Atomic Energy Research Institute, 2004.
[lukas-17:2004]	L. Pichl. Japan Society for the Promotion of Science: Invitation Fellowship for Research in Japan, 2004.

Academic Activities

[lukas-18:2004]	Lukas Pichl, 2005. ACM membership
[lukas-19:2004]	Lukas Pichl, 2004-5. IEEE membership
[lukas-20:2004]	Lukas Pichl, 2005. IEICE membership
[lukas-21:2004]	Lukas Pichl, 2004-5. JPS membership
[lukas-22:2004]	Lukas Pichl, 2004-5. ITER Forum membership
[lukas-23:2004]	Lukas Pichl, 2004. Reviewer of IEEE Transactions on Nuclear Science
[lukas-24:2004]	Lukas Pichl, 2004. Reviewer of Physical Review A
[lukas-25:2004]	Lukas Pichl, 2004. Reviewer of IEEE Transactions on Professional Communication
[lukas-26:2004]	Lukas Pichl, 2005. Member of Program Committee: Computational Intelligence in Economics and Finance
[lukas-27:2004]	Lukas Pichl, 2005. Member of Program Committee, DNIS 2005, Databases in Networked Information Systems
[lukas-28:2004]	Lukas Pichl, 2004-5. President, Support Association for International Students of University of Aizu
[takafumi-13:2004]	Takafumi Hayashi, 2004. Reviewer of IEEE Signal Processing Letters
[takafumi-14:2004]	Takafumi Hayashi, 2004. Reviewer of IEEE Communication Letters
[takafumi-15:2004]	Takafumi Hayashi, 2004. Reviewer of ICC
[takafumi-16:2004]	Takafumi Hayashi, 2004. Reviewer of IEICE Transactions

Ph.D. and Other Theses

[lukas-29:2004]	Misako Arai. Graduation Thesis: Improvement of the Local DNA Sequence Alignment by a New Distributed Dynamic Programming Algorithm, University of Aizu, 2005. Thesis Advisor: Pichl, L. The student received IEE Award from Tohoku branch.
[lukas-30:2004]	Kenichi Yamanishi. Graduation Thesis: Computer Simulation of Membrane Lipid-Protein Ensembles Using Coarse-Grained and Atomic Framework, University of Aizu, 2005. Thesis Advisor: Pichl, L.
[lukas-31:2004]	Manabu Suzuki. Graduation Thesis: Development of Automatic Updating Plasma-Process Database with the Free-Software Open-Source Solution, University of Aizu, 2005. Thesis Advisor: Pichl, L
[lukas-32:2004]	Shouhei Ikeda. Graduation Thesis: Analysis of Market Trend Features in AGEDASI TOF Multi-Agent Artificial Market Model with GALearning, University of Aizu, 2005. Thesis Advisor: Pichl, L.
[lukas-33:2004]	Hokuto Shimada. Graduation Thesis: Optimization of Fiscal Policy from Monetary and Social Viewpoints for Artificial Society with Genetic Learning, University of Aizu, 2005. Thesis Advisor: Pichl, L.
[lukas-34:2004]	Takafumi Yamanaka. Graduation Thesis: The Potentials and Limitations in Forecasting the Time Series of Financial Markets Based on Neural Networks, University of Aizu, 2005. Thesis Advisor: Pichl, L.
[takafumi-17:2004]	Kentaro Kano. Graduation Thesis: Security Survey of Portable Software Pseudo-Random Number Generator in C, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-18:2004]	Naohiro Sawa. Graduation Thesis: A Research and Verification of E-mail Authentication Technology - Solution Against Phishing and Spoofing, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-19:2004]	Satomi Kawamura. Graduation Thesis: Security Policy for Software Updating, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-20:2004]	Junko Yabe. Graduation Thesis: A Method for the Reliablity Measurement of a Files on P2P Network, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-21:2004]	Youko Abe. Graduation Thesis: Evaluating Biometric Methods for E-government Authentification, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-22:2004]	Rie Saito. Graduation Thesis: New Approach of Electric Watermark Using A Class of Binary Sequence Set Having A Zero-correlation Zone for Audio Data, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-23:2004]	Takamitsu Sameshima. Graduation Thesis: The Consideration About Use of Electronic Tally in Local Goverment Service, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-24:2004]	Yoshihiko Kondo. Graduation Thesis: A Concept of Mobile Information Security Policy, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-25:2004]	Masayuki Ogawa. Master Thesis: Security Management of IP phone, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-26:2004]	Masashi Kougo. Master Thesis: Providing Robust Distributed Time Stamping System to Local Government, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-27:2004]	Hanako Sakurai. Master Thesis: The Statistical Anormary Detection System, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-28:2004]	Shinya Katsumata. Master Thesis: Classification of Point Patterns, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-29:2004]	Jyunichi Watanabe. Master Thesis: A Novel Advice System for EAEcient Security Procedure Recon??gration, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi
[takafumi-30:2004]	Nobuo Sato. Doctor Thesis: Robust Feature Extraction Using Hierachical Pyramid Structure and Application to Image Processing, University of Aizu, 2005. Thesis Advisor: Takafumi Hayashi

Others

[lukas-35:2004]

The full references for papers in print (Annual Review 2003) should read: L. Pichl, M. Kimura, Y. Li, and R. J. Buenker, Branching Ratios for Secondary Processes ofWater Ions Induced by Proton Beams in Radiation Therapy of Cancer, IEEE Transactions on Nuclear Science 51 (2004), 1407-1411and L. Pichl, S. Zou, M. Kimura, I. Murakami, and T. Kato, Total, partial and differential ionization cross sections in proton-hydrogen atom collisions in the energy region of 0.1 keV/u - 10 keV/u, Journal of Physical and Chemical Reference Data 33 (2004) 1031-1058.

2006 THE UNIVERSITY OF AIZU ALL RIGHTS RESERVED