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. Ourwork covers algorithms and computation, programming languages, discrete mathematics, and related topics.
Areas of our interest research 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 eGovernment
Faculty of the FCS laboratory teach Computer Literacy, Programming I, Algorithms and Data Structures, Advanced Algorithms, SCCPs and other selective courses. Students join faculty research and also develop their own research themes.

[lukas01:2002]  L. Pichl, Y Li, H.P. Liebermann, R. J. Buenker, and M. Kimura. Charge transfer for the ground state O+(4S) ion in collisions with H2 molecules. Journal of Chemical Physics, 118:48724877, 2003. Computation of abinitio electronic structures and the rigorous dynamical cross sections for the first time ever. Applications in instrumentation for radiation medicine and plasma sciences. 
[lukas02:2002]  L Pichl, L. M. Schmitt, V. Ryzhii, M Kimura, and J Horacek. Tunnelling effects in concentric disk quantum dots: discrete  discrete and discrete continuum limits. Physica Status Solidi C, Vol. 0 No. 5:15401543, 2003. Computational and analytical model for an infinite number of coupled quantum bits in axial symmetry. Semiconductor qbit realization scheme. 
[lukas03:2002]  L Pichl, J Horacek, V Mitin, and V Ryzhii. Tunneling effects and electron transport in lowtemperature quantumdot structures. Physica E, 18:8384, 2003. Computation of tunnelling characteristics for quantum dots as a function of geometry and charge. Applications in semiconductor multilayer quantum dot devices. 
[lukas04:2002]  T. W. Imai, M Kimura, J. P. Gu, G Hirsh, R. J. Buenker, J. G. Wang, P.C. Stancil, and L. Pichl. Ab initio study of one and twoelectron transfer processes in collisions of Ne(2+) with He at low to intermediate energies. Physical Review A, 68:01276:18, 2003. Computation of electron transfer cross sections based on the improved mocc algorithm. Applications in plasma sciences. 
[lukas05:2002]  M Kitajima, R Suzuki, H Tanaka, L Pichl, and H Cho. Electron Impact Excitation and Dissociation of HalogenContaining Molecules. Nukleonika (Int. J. of Nucl. Res.), 48:8993, 2003. Computation of PES with abinitio methods and explanation for CF3X fragmentation by electron impact. Applications for ozone layer simulations and industrial freon substitutes. 
[lukas06:2002]  J Horacek, M Cizek, K Houfek, P Kolorenc, and L Pichl. Resonance contributions to lowenergy electron collisions with molecular hydrogen. Nukleonika (Int. J. of Nucl. Res.), 48:109112, 2003. Computation of DA based on the iterative Schwinger  Lancosz algorithm. Applications for computer simulations of the Universe. 
[lukas07:2002]  V NanaNgassam, O. Motapon, A. Florescu, L. Pichl, I. F. Schneider, and A. SuzorWeiner. Vibrational relaxation and dissociative recombination of H2+ induced by slow electrons. Physical Review A, 68:032704: 18, 2003. Computation of super elastic collisions in storage rings. Applications in fusion plasma instrumentation (divertor and heating devices) and for MCLHD simulations. 
[lukas08:2002]  V. NanaNgassam, A. Florescu, L. Pichl, I. F. Schneider, O. Motapon, and A. SuzorWeiner. Study of the short range Kmatrix in MQDT treatment of dissociative recombination. European Physics Journal D, 26:165171, 2003. Mathematical proof of exactness for the 2nd order perturbation theory in case of the energyindependent electronic coupling. 
[takafumi01:2002]  Takafumi Hayashi. A class of twodimensional binary sequences with zero correlation zone. IEEE Signal Processing Letters, 9(7):217221, 2002. In this letter, we present a new approach to the construction of twodimensional binary sequences, giving sequences with zerocorrelation zone. A set of 4mn sequences, each of size , is constructed from a set of mnlength Hadamard sequences. 
[takafumi02:2002]  Takafumi Hayashi. Binary sequences with orthogonal subsequences and zero correlation zone. IEICE Transaction of Fundamentals., E85A(6):14201425, Jun. 2002. In this paper, we present a new approach to the construction of a set of binary sequences with a zerocorrelation zone. The set consists of n pairs of binary sequences and the length of each binary sequence is for some integers m and n. The Hadamard sequences with length n are used to construct the set. Any sequence in the set has subsequences, each of length 2n. The author proves that any two subsequences are orthogonal if they belong to different pairs of binary sequences in the set. 
Referred Proceeding Papers 
[takafumi03:2002]  Takafumi Hayashi. Two Dimensional Binary Sequences Exhibiting Diamond Shaped Zero Correlation Zone. In SICE2002, pages 224227. SICE, SICE, Jul. 2002. A twodimensional binary sequence is used as a twodimensional barcodes, a position detection patterns, a di??raction pattern for calibration of a LASER beam, and so on. We have reported a twodimensional binary sequence with wide range of zerocorrelation [?]. We developed synthesis methods for several di??erent classes of twodimensional binary sequence with diamond shaped zerocorrelation zone. In this paper, we show the construction of these sequence and the their properties. The area of the zerocorrelation zone of the sequence is almost twice as the area of the zerocorrelation zone of previous reported sequences. The size of synthesized sequence is , wheremnis equal to the rank of a Hadamard matrix (not restricted to be aWalshHadamard Matrix) and . The crosscorrelation function of the sequence of our construction is equal to zero, when the phase shifts and satisfy 
[takafumi04:2002]  Takafumi Hayashi. A class of twodimensional binary arrays with wide zero correlation zone. In ISPACS2002, page KA137. IEEE, IEEE, Nov. 2002. In this letter, we present anewapproachto the construction of twodimensional binary arrays, giving arrays with crossshaped zerocorrelation zone. A set of 4mn arrays, each of size , is constructed from a set of mnlength Hadamard sequences. The area of zerocorrelation zone of new arrays is about three times of the area of the sequences previously reported. 
[takafumi05:2002]  Nobuo Sato, Takafumi Hayashi, and Shunji Mori. Stroke Extraction Based on The Hierarchical Structure. In The 6th World Multiconference on Systemics, Cybernetics and Informatics, pages III256161. IIIS, 2002. In this paper, we present a new thecniques for Stroke Extraction Based on The Hierarchical Structure 
[takafumi06:2002]  Takafumi Hayashi. Synthesis of twodimensional lowpeak white noise sequences. In IEEE confernce of signal processing (ICSP) 2002, pages 18311833. IEEE, Aug. 2002. This letter presents a new approach to the construction of twodimensional sequences that gives sequences having a lowpeak factor and flat power spectrum. 
[lukas09:2002]  L Pichl. Electron capture and excitation in O3+/H2 collisions. In Meeting Abstracts of the Physical Society of Japan, 2002 (fall). 
[lukas10:2002]  L Pichl. Balance equation for electron transport in lowtemperature quantum dot devices. In Meeting Abstracts of the Physical Society of Japan, 2002 (fall). 
[lukas11:2002]  L. Pichl. Electron confinement in nested double quantum dot structures. In Meeting Abstracts of the Physical Society of Japan, 2003 (spring).

[lukas12:2002]  S. Zou andL Pichl. Molecular state study of He2+H(1s) andH+He+(1s) collisions. In Meeting Abstracts of the Physical Society of Japan, 2002 (fall). 
[lukas13:2002]  S. Zou and L Pichl. Total and differential cross section calculations for protonimpact ionization at low energies. In Meeting Abstracts of the Physical Society of Japan, 2002 (fall). 
[lukas14:2002]  M Kimura and L Pichl. Electron capture in slow H+ / C2H4 collisions. In Meeting Abstracts of the Physical Society of Japan, 2002 (fall). 
[lukas15:2002]  S Zou and L. Pichl. Ionization of H(1s) by He(2+) and He+(1s) by H+ at low energies. In Meeting Abstracts of the Physical Society of Japan, 2003 (spring). 
[lukas16:2002]  M.Kimura and L. Pichl. Dissociation mechanisms and fragmented species of H2O by proton impact. In Meeting Abstracts of the Physical Society of Japan, 2003 (spring). 
[lukas18:2002]  A. Igarashi M. Imai Y. Itikawa D. Kato M. Kimura T. Kusakabe K. Moribayashi T. Morishita K. Motohashi L. Pichl I. Murakami, T. Kato. AMDIS and CHART update (I), pages pp. 1936 and 7195. National Institute for Fusion Science, ISSN 09156364, NIFSDATA70, 2002. 
[takafumi09:2002]  T. Kitagawa, J. Hamada O. Sudou, T. Yoshimi, and S. Yonemoto, editors. Encyclopedia of Media and Information Studies, chapter EPSS. Kobundou, 2002. 
[takafumi10:2002]  T. Kitagawa, J. Hamada O. Sudou, T. Yoshimi, and S. Yonemoto, editors. Encyclopedia of Media and Information Studies, chapter Software Vendor. Kobundou, 2002. 
[takafumi11:2002]  T. Kitagawa, J. Hamada O. Sudou, T. Yoshimi, and S. Yonemoto, editors. Encyclopedia of Media and Information Studies, chapter Programmar. Kobundou, 2002. 
[takafumi12:2002]  T. Kitagawa, J. Hamada O. Sudou, T. Yoshimi, and S. Yonemoto, editors. Encyclopedia of Media and Information Studies, chapter Information Retrieval Engine. Kobundou, 2002. 
[takafumi13:2002]  T. Kitagawa, J. Hamada O. Sudou, T. Yoshimi, and S. Yonemoto, editors. Encyclopedia of Media and Information Studies, chapter Small OAEce Home OAEce. Kobundou, 2002. 
[takafumi14:2002]  T. Kitagawa, J. Hamada O. Sudou, T. Yoshimi, and S. Yonemoto, editors. Encyclopedia of Media and Information Studies, chapter End User Computing. Kobundou, 2002. 
[lukas17:2002]  Mineo Kimura Shiyang Zou, Lukas Pichl and Takako Kato. Total, partial and differential ionization cross sections in protonhydrogen collisions at low energy. National Institute for Fusion Science, ISSN 09156364, NIFSDATA70, 2003.
Pages 147. 
[lukas19:2002]  L Pichl. Japan Society for the Promotion of Science, 20035. 
[lukas20:2002]  L Pichl. Ministry of Education Scientific Research Fund, 20023. 
[lukas21:2002]  L Pichl. Japan Society for the Promotion of Science, 20034. 
[lukas22:2002]  Lukas Pichl, 20023. IEEE membership 
[lukas23:2002]  Lukas Pichl, 20023. JPS membership 
[lukas24:2002]  Lukas Pichl, 20023. ITER Forum membership 
[takafumi15:2002]  Takafumi Hayashi, 2002. Reviewer of IEEE Signal Processing Letters 
[takafumi16:2002]  Takafumi Hayashi, 2002. Reviewer of IEEECommunication Letters 
[takafumi17:2002]  Takafumi Hayashi, 2002. Reviewer of IEICE Transactions 
[lukas25:2002]  Shiyang Zou. PhD Thesis: Collision Processes of Lowly Charged Ions with Atoms in Fusion Plasma, Graduate University of Advanced Studies, 2003. Thesis CoAdvisor: Pichl, L 
[lukas26:2002]  Keisuke Yuuki. Graduation Thesis: Graduation Thesis: Monte Carlo Simulation of Financial Markets: Agent Strategies and Market Psychology, University of Aizu, 2003. Thesis Advisor: Pichl, L 
[lukas27:2002]  Masato Yoshida. Graduation Thesis: Portfolio optimization in closed simulated markets with stochastic dividend yields, University of Aizu, 2003. Thesis Advisor: Pichl, L 
[lukas28:2002]  Takanori Moriya. Graduation Thesis: Analysis of PriceMakingMechanism in a Virtual Market: Short Term Data Series, University of Aizu, 2003. Thesis Advisor: Pichl, L 
[lukas29:2002]  
 Yuusuke Sugawara. Graduation Thesis: Software project management: computer simulation and decision making optimization, University of Aizu, 2003. Thesis Advisor: Pichl, L 
[lukas30:2002]  Yuuki Takahata. Graduation Thesis: Interactive Visualization of Molecular Structures: 3D Statistics of Electron  CF3X Scattering, University of Aizu, 2003. Thesis Advisor: Pichl, L 
[lukas31:2002]  Tomohiro Suto. Graduation Thesis: Interactive Visualization of Molecular Structures: Gallery of C2F2k (k=1,2,3) molecules, University of Aizu, 2003. Thesis Advisor: Pichl, L 
[takafumi18:2002]  Junichi Watanabe. Graduation Thesis: Design of A secure IR wireless communication, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi19:2002]  Junichi Ueno. Graduation Thesis: Application of ternary ZCZ sequence for CDMA, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi20:2002]  Masashi Kogo. Graduation Thesis: The Availability and the integrity of a time stamp protocol, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi21:2002]  Takashi Nakazawa. Graduation Thesis: Interference prpblem of infrared wireless communications, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi22:2002]  Hanako Sakurai. Graduation Thesis: A method of perspective mapping for computer graphics, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi23:2002]  Keisuke Shinozaki. Graduation Thesis: The Randomness of a Class of Ternary Sequence Sets Having a ZeroCorrelation Zone, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi24:2002]  Ayumu Oshimi. Master Thesis: Study on road trafficflow using Cellular Automata, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi25:2002]  Hirofumi Inoue. Master Thesis: Development of Novel Digital Image Watevmaking using Spread Watermark of Image, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi26:2002]  Atsushi Umaki. Master Thesis: The Statistical Anormary Detection System, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi27:2002]  Shinya Katsumata. Master Thesis: An implementation of a virtual world by using asynchronous communication Hayashi Okawa Nishimura, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
[takafumi28:2002]  Yuichi Takahashi. Master Thesis: A Novel Individual correspondence Algorithm of Stereo vision: Multiple Resolution Sampling Method for Splitting windows, University of Aizu, 2002. Thesis Advisor: Takafumi Hayashi 
