International Mini-Conference (Fiscal Year 2010)

The 3rd Student Organizing International Mini-Conference on Information Electronics Systems

19-20 October 2010
Sendai Excel Hotel Tokyu
Sendai, Japan

Program

Session Schedule

19 Oct. 2010
TimeRoom J
(3F Ballroom A)
Room K
(3F Maple Room)
Room L
(3F Oak Room)
09:00-09:15Opening Session
09:15-10:15 F1J
Plasma processes
Chr: Toshiaki Kato
F1K
Power Engineering & Power Electronics
Chr: Hiroki Goto
F1L
Circuit Designs & VLSI
Chr: Martin Lukac
10:15-10:30 Break
10:30-11:30 F2J
Quantum Information Technology I & Surface Analysis
Chr: Satoshi Katano
F2K
Communication Devices & EM Wave Analysis
Chr: Suguru Kameda
F2L
Image Processing I
Chr: Shunsuke Yamaki
11:30-11:45 Break
11:45-12:30 F3J
Quantum Information Technology II
Chr: Yasuyoshi Mitsumori
F3K
Antennas
Chr: Qiang Chen
F3L
Image Processing 2 & Audio
Chr: Shuichi Sakamoto
12:30-13:30 Lunch
13:30-14:45 F4J
Invited Lecture 1
Chr: Wei Peng
14:30-15:00 Break
15:00-15:45 F5J
Invited Lecture 2
Chr: Makoto Tsuda
15:45-16:00 Break
16:00-16:45 F6J
Invited Lecture 3
Chr: Yoshihiro Sugaya
16:45-17:00 Break
17:00-18:00 F7P Poster Session
From 18:00 Banquet
20 Oct. 2010
TimeRoom J
(3F Ballroom A)
Room K
(3F Maple Room)
Room L
(3F Oak Room)
09:00-10:00 S1J
Magnetic Materials
Chr: Kousaku Miyake
S1K
Optical Networks
Chr: Masato Yoshida
S1L
Bioengineering & Optimization
Chr: Takeshi Onomi
10:00-10:15 Break
10:15-11:15 S2J
Spintronics & Functional Films
Chr: Yuzo Ohno
S2K
Mobile Networks
Chr: Kazuto Sasai
S2L
Cooperative systems
Chr: Masaru Fukushi
11:15-11:30 Break
11:30-12:30 S3J
Semiconductor Devices
Chr: Hirokazu Fukidome
S3K
Wireless Networks & Signal Processing
Chr: Hiroki Nishiyama
S3L
Program Analysis
Chr: Kazutaka Matsuda
12:30-13:30 Lunch
13:30-14:45 S4J
Invited Lecture 4
Chr: Tachio Terauchi
14:30-15:00 Break
15:00-15:45 S5J
Invited Lecture 5
Chr: Jianfeng Li
15:45-16:00 Break
16:00-16:45 S6J
Invited Lecture 6
Chr:Takuma Okamoto
16:45-17:00 Closing Session

F1J . Plasma processes .

Location: Room J (3F Ballroom A)
Date & Time: 09:15-10:00 Tuesday, 19 October 2010
Chair: Toshiaki Kato , Assistant Professor


F1J-1
Effects of Electron Temperature Gradient on High and Low Frequency Fluctuations in Magnetized Plasma
Chanho Moon, Toshiro Kaneko, Rikizo Hatakeyama

--Abstract--
It has been an important issue to generate high density and low temperature plasmas for material processing. In order to realize such kind of plasmas, it is necessary to regulate plasma fluctuations which affect the plasma parameters. In the present work, control of an electron temperature gradient (ETG) which is one of the causes of the fluctuations is examined. The ETG is formed by superimposing an electron cyclotron resonance (ECR) plasma which passes through two different-shaped mesh grids, upon low-temperature thermionic electrons. The formed ETG is found to excite a high-frequency fluctuation, and furthermore, enhance a low-frequency fluctuation originally caused by a radial electric field, through the coupling between the high and low frequency fluctuations.

F1J-2
Effects of Gas Pressures on High Yield Plasma Synthesis of Nitrogen Atom Endohedral Fullerene
Soon Cheon Cho, Toshiro Kaneko , Rikizo Hatakeyama

--Abstract--
Effects of nitrogen gas pressures on the synthesis of a nitrogen atom endohedral fullerene (N@C60) are investigated using a radio-frequency (RF) plasma under the external control of direct-current (DC) bias voltages applied to functional electrodes. It is found that the high yield synthesis of N@C60 is achieved at low pressures (<1 Pa) and in the pressure range of 10~20 Pa. Especially, at low pressures, high-density and high-energy nitrogen ions generated by applying the negative bias voltages to the plasma-separation grid and the substrate are found to play important roles in the high yield synthesis of N@60.60

F1J-3
Synthesis of Water-Soluble Gold Nanoparticle-DNA Conjugates Using Gas-Liquid Interfacial Pulse Discharge Plasma
Qiang Chen, Toshiro Kaneko, Rikizo Hatakeyama

--Abstract--
A gas-liquid interfacial pulse discharge plasma is used for thesynthesis of water-soluble gold nanoparticle-DNA (AuNP-DNA) conjugatesin aqueous chloroauric acid trihydrate. Single-stranded DNA (ss-DNA)is used as the stabilizing agent. The ability for stabilizing AuNPs isfound to decrease with increasing DNA length. We also find that 30-merss-DNAs consisting of poly G and poly A have the stronger stabilizingability for AuNP-DNA conjugates than that consisting of poly C andpoly T, which might originate from the fact that G and A bases havemore possible binding positions on the gold surface compared with Cand T bases.

Go back to the Top.


F1K . Power Engineering & Power Electronics .

Location: Room K (3F Maple Room)
Date & Time: 09:15-10:00 Tuesday, 19 October 2010
Chair: Hiroki Goto , Assistant Professor


F1K-1
Vibration Characteristics in a Superconducting Seismic Isolation Device
Shuhei Sasaki, Kensaku Shimada, Makoto Tsuda, Takataro Hamajima, Nobuyasu Kawai, Kenji Yasui

--Abstract--
[Authors want not to show their abstract on the web page.]

F1K-2
Recovery Time Analysis in a Tri-axial HTS Cable
Nannan Hu, Masahisa Toda, Takato Watanabe, Nuri Ahmet Ozicivan, Makoto Tsuda, Takataro Hamajima

--Abstract--
[Authors want not to show their abstract on the web page.]

F1K-3
Experimental Research of Switched Reluctance Motor Made of Permendur
Yu Hasegawa, Kenji Nakamura, Osamu Ichinokura

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


F1L . Circuit Designs & VLSI .

Location: Room L (3F Oak Room)
Date & Time: 09:15-10:15 Tuesday, 19 October 2010
Chair: Martin Lukac , Assistant Professor


F1L-1
A Low power Active Gm-RC Band-pass Filter with Digital Calibration
Jingbo Shi, Takayuki Konishi, Shoichi Masui

--Abstract--
[Authors want not to show their abstract on the web page.]

F1L-2
Self-Dithered Digital Delta-Sigma Modulators for Fractional-N PLL Synthesizers
Jun Gyu Lee, Zule Xu, Shoichi Masui

--Abstract--
[Authors want not to show their abstract on the web page.]

F1L-3
Implementation of a Low-Power FPGA Based on Self-Adaptive Voltage Control
Shota Ishihara, Zhengfan Xia, Masanori Hariyama, Michitaka Kameyama

--Abstract--
This paper presents a low-power FPGA based on fine-grainsupply-voltage-control. The supply-voltage-control scheme implementedin the proposed architecture detects the critical path in real timewith small overheads by exploiting features of asynchronousarchitectures. In the proposed FPGA, logic blocks on the sub-criticalpath are autonomously switched to a lower supply voltage to reduce thepower consumption without system performance degradation. Moreover, inorder to reduce the overhead of level shifter used at the power domaininterface, a look-up-table without level shifters is employed. Becauseof the small overheads of the proposed supply-voltage-control schemeand the power domain interface, the granularity size of the powerdomain in the proposed FPGA is as fine as a single four-input logicblock. The proposed FPGA is fabricated using the e-Shuttle 65nm CMOSprocess. Correct operation of the proposed FPGA on the test chip isconfirmed.

F1L-4
ASIC Implementation of Single Carrier Frequency Domain Equalization
Kazuhiro Komatsu, Shunsuke Tomita, Suguru Kameda, Noriharu Suematsu, Tadashi Takagi, Kazuo Tsubouchi

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


F2J . Quantum Information Technology 1 & Surface Analysis .

Location: Room J (3F Ballroom A)
Date & Time: 10:30-11:30 Tuesday, 19 October 2010
Chair: Satoshi Katano , Assistant Professor


F2J-1
Minimum-disturbance measurement without postselection
So-Young Baek, Yong Wook Cheong, Yoon-Ho Kim

--Abstract--
[Authors want not to show their abstract on the web page.]

F2J-2
Generation and characterization of entangled photon pairs using two-period quasi-phase matched LiNbO3
Wakana Ueno, Fumihiro Kaneda, Hirofumi Suzuki, Shigehiro Nagano, Atsushi Syouji, Ryosuke Shimizu, Koji Suizu, Keiichi Edamatsu

--Abstract--
Entanglement is one of the key resources in quantum information technology. Spontaneous parametric down-conversion (SPDC) is the main method so far used to generate entangled pairs of photons. Quasi-phase matching (QPM) technique enhances the ability of SPDC. We have designed and fabricated periodically poled LiNbO3(PPLN) crystals having two poling periods and demonstrated the generation of entanglement either in photon polarization or in frequency. We also design PPLN waveguides with two-period QPM to obtain higher conversion efficiency and applicability to extended phase matching.

F2J-3
Control of the exciton fine structure splitting in GaAs single quantum dots using vertical gate voltage
Mohsen Ghali, Keita Ohtani, Yuzo Ohno, Hideo Ohno

--Abstract--
[Authors want not to show their abstract on the web page.]

F2J-4
Electron tunneling into alkanethiol self-assembled monolayer (SAM)-covered Au films seen through scanning tunneling microscope light emission
Jamal Uddin Ahamed, Tomonori Sanbongi, Satoshi Katano, Yoichi Uehara

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


F2K . Communication Devices & EM Wave Analysis .

Location: Room K (3F Maple Room)
Date & Time: 10:30-11:15 Tuesday, 19 October 2010
Chair: Suguru Kameda , Assistant Professor


F2K-1
Design and Fabrication of On-chip Integrated Magnetic Field Probe using Low Noise Amplifier to Evaluate RF magnetic near field from LSI Chip
Shiori Namba, Wataru Kodate, Masahiro Yamaguchi, Shoji Kawahito, Noboru Ishihara

--Abstract--
[Authors want not to show their abstract on the web page.]

F2K-2
Analysis of Electromagnetic Emanation from Cryptographic Devices
Yu-ichi Hayashi, Naofumi Homma, Takaaki Mizuki, Takafumi Aoki, Hideaki Sone

--Abstract--
[Authors want not to show their abstract on the web page.]

F2K-3
A 5GHz Low Phase Noise oscillator using 90nm Si-CMOS and Flip-chip Mounted FBAR
Tuan Thanh Ta, Kei Ando, Shoichi Tanifuji, Suguru Kameda, Noriharu Suematsu, Tadashi Takagi, Kazuo Tsubouchi

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


F2L . Image Processing 1 .

Location: Room L (3F Oak Room)
Date & Time: 10:30-11:15 Tuesday, 19 October 2010
Chair: Shunsuke Yamaki , Assistant Professor


F2L-1
Adaptive Gaussian Mixture Model for Motion Detection in Old Film Sequences
Xiaoyong Zhang, Masahide Abe, Masayuki Kawamata

--Abstract--
This paper presents an adaptive Gaussian mixture model and a motion detection approach for detecting the moving objects in old film sequences. The intensities of a particular pixel along the temporal direction are modeled as a mixture of Gaussian distributions. The motion detection approach can adaptively estimate the parameters of the Gaussian mixture to determine which distributions are most likely to result from the moving objects. Experimental results show this approach can effectively detect the moving objects in old film sequences.

F2L-2
Flicker Parameter Estimation Remaining Global Brightness-Variation for Old Film Sequences
Koki Shoji, Masahide Abe, Masayuki Kawamata

--Abstract--
This paper proposes a flicker parameter estimation using M-estimation remaining global brightness variation in flicker removal for old film sequences. Flicker which is temporal and spatial random variation of luminance in images is a typical degradation observed in old film sequences. Flicker removal is realized by adjusting a degraded frame to a reference frame. However, a conventional method based on flicker parameter estimation removes flicker but also the global brightness variation cased by illumination change, camera iris adjustment, and so on. Therefore, the proposed method remains the global brightness variation by adding a temporal construction to the conventional method using M-estimation.

F2L-3
An Experimental Study of an Efficient 3D Reconstruction Method Using Multiple-View Images
Toru Takahashi, Koichi Ito, Takafumi Aoki

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


F3J . Quantum Information Technology 2 .

Location: Room J (3F Ballroom A)
Date & Time: 11:45-12:30 Tuesday, 19 October 2010
Chair: Yasuyoshi Mitsumori , Assistant Professor


F3J-1
Biexcitonic effect in semiconductor microcavities
Shimpei Matsuura, Yasuyoshi Mitsumori, Hideo Kosaka, Keiichi Edamatsu, Ken-ichi Miyazaki, Goro Ohata, Daegwi Kim, Masaaki Nakayama, Hisaki Oka, Hiroshi Ajiki, Hajime Ishihara

--Abstract--
We report the biexcitonic effect in a planar semiconductor microcavityby spectrally-resolved degenerate four wave mixing (FWM). Themicrocavity was composed of pair of SiO2/HfO2 distributed BraggReflector and a 100nm thick CuCl active layer. We observed a peakbelow the lower polariton branch (LPB) in the FWM spectrum. This peakappears under the co-linear polarized excitation and vanishes underthe co-circular polarized excitation, suggesting the contribution ofthe biexcitonic effect.

F3J-2
Excitonic Rabi oscillations in self-assembled semiconductor quantum dots
Kenta Asakura, Yasuyoshi Mitsumori, Hideo Kosaka, Keiichi Edamatsu, Kouichi Akahane, Naokatsu Yamamoto, Masahide Sasaki, Naoki Ohtani

--Abstract--
Excitons in semiconductor quantum dots (QD) have atom-like discretelevel systems due to the three-dimensional quantum confinement ofelectrons and holes. Thus, they attract attention as possiblecandidates for solid-state quantum bits for the quantum informationprocessing. We report the excitonic Rabi oscillations inInGaAlAs/GaAlAs self-assembled QDs observed by photon echospectroscopy. The Rabi oscillations presented unusual behaviors thatare not expected from typical two-level systems.

F3J-3
Experimental demonstration of bound entanglement in optical qubits
Fumihiro Kaneda, Ryosuke Shimizu, Yasuyoshi Mitsumori, Hideo Kosaka, Keiichi Edamatsu

--Abstract--
For efficient quantum information processing (QIP), pure and strongentanglement in qubits has been thought to be indispensable. However,it was recently pointed out that bound entangled states, which involveundistillable entanglement between qubits, also have great potentialfor QIP. In this paper, we report the generation of a four-qubit boundentangled state referred to as Smolin state using photon polarizationqubits. We also discuss the possibility of superactivation, i.e.,activation with the help of additional entanglement, of the boundentanglement.

Go back to the Top.


F3K . Antennas .

Location: Room K (3F Maple Room)
Date & Time: 11:45-12:30 Tuesday, 19 October 2010
Chair: Qiang Chen , Research Associate


F3K-1
Analysis of 2D Large-scale Periodic Array Antenna with Faulty Elements by LAC
Keisuke Konno, Qiang Chen, Kunio Sawaya, Toshihiro Sezai

--Abstract--
Impedance extension method (IEM) has been proposed so far, as a method for analysis of a periodic array antenna for power transmission from space solar power systems (SSPS) to the earth. Since IEM is an approximate method based on active impedance properties of elements in the periodic array antenna, IEM can only be applied to periodic array antenna. However, periodicity of the array antenna for SSPS can locally be lost due to faulty elements which have trouble of a feeding circuit or disconnection of a cable. In this paper, it is reported that IEM is improved for application to a 2D large-scale periodic array antenna with faulty elements.

F3K-2
A Measurement Method Using a Modulated Probe Array for Phase of Electromagnetic Field
Toru Mizukami, Qiang Chen, Kunio Sawaya

--Abstract--
[Authors want not to show their abstract on the web page.]

F3K-3
Radiation Characteristics of Slot Antenna Integrated with Ultra-Small Wireless Communication Modules for 60GHz Band WPAN
Satoshi Yoshida, Shoichi Tanifuji, Suguru Kameda, Noriharu Suematsu, Tadashi Takagi, Kazuo Tsubouchi

--Abstract--
A planar slot antenna was designed for 60 GHz band ultra-small and low-cost frontend modules using organic resin substrates. As organic resin substrates, we used any layer interstitial via hole (ALIVH) substrates. The planar slot antenna was patterned on the top layer substrate of the module. Simulated results showed that bandwidth and gain of the antenna were sufficient for 60GHz wireless personal areanetwork (WPAN) system. We fabricated the proposed module with a planar slot antenna. Maximum actual gain of the antenna of 6.8 dBi at 63 GHz was measured.

Go back to the Top.


F3L . Image Processing 2 & Audio .

Location: Room L (3F Oak Room)
Date & Time: 11:45-12:30 Tuesday, 19 October 2010
Chair: Shuichi Sakamoto , Assistant Professor


F3L-1
Extracting Representative Graph of Decorative Character Images by Random Method
Tomo Miyazaki, Shinichiro Omachi

--Abstract--
The graph classification is an important task in the field of patternrecognition and computer vision. The representative pattern of a graphclass is studying since the representative pattern impacts theperformance of classification. This paper proposes a method to extracta representative graph of decorative character images. Therepresentative graph is defined as a graph located at center of samplegraphs in graph edit distance space. Such centered graph will beextracted by random search method. To show the validly of the proposedmethod, experiments are carried out using decorative character images.

F3L-2
A Feature-Word-Topic Model for Image Annotation
Cam-Tu Nguyen, Natsuda Kaothanthong, Xuan-Hieu Phan, Takeshi Tokuyama

--Abstract--
[Authors want not to show their abstract on the web page.]

F3L-3
Implementation of higher order Ambisonics recording array with 121 microphones
Takuma Okamoto, Yukio Iwaya, Shuichi Sakamoto, Yo-iti Suzuki

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


F4J . Invited Lecture 1 .

Location: Room J (3F Ballroom A)
Date & Time: 13:30-14:45 Tuesday, 19 October 2010
Chair: Wei Peng , Assistant Professor


F4J-1
Secure Type-Based Multiple Access Protocol
Jeongseok Ha

--Abstract--
We consider data confidentiality in a distributed detection scenario with type-based multiple-access (TBMA) protocol where a large set of sensors in the network quantizes/compresses local measurements and sends them to an ally fusion center (FC) over insecure wireless medium. In this paper, we propose a novel TMBA protocol called secure TBMA which is targeted to provide data confidentiality by taking advantage of a natural resource, randomness and independence of the main and eavesdropping channels instead of traditional cryptographic approaches. Contrary to the cryptographic approaches providing computational secrecy, the proposed secure TBMA promises unconditional perfect secrecy. For Rayleigh fading channels, we analyze the performance of the secure TBMA at both enemy and ally FCs by investigating equivocation and detection error exponent, respectively. On the one hand, the analysis at the enemy FC tells an optimal design criterion, i.e. the one providing the perfect secrecy, of the reporting rules of sensors with the strong and weak channel gains. On the other hand, the analysis of detection error exponent carried out with a Gaussian approximation shows the perfect secrecy is achievable at a marginal cost of detection error performance. All of our claims are also verified with simulation results which have good matches with the analysis.

F4J-2
Secure Type-Based Multiple Access with Power Control
Daesung Hwang

--Abstract--
Recent results on secure type-based multiple access (TBMA) introduce an interesting way to achieve perfect secrecy in distributed detection systems where sensors usually have limited computing power and energy resources. Although the secure TBMA provides a very light security solution, the original work considered only the power consumption for the security. In our work, we address the power control problem of wireless transmission from the sensors to the legitimate fusion center (FC). We will show that there exists a power efficient transmission strategy without compromising the perfect secrecy in the secure TBMA. The performances at the legitimate FC and eavesdropper side are analyzed by investigating detection error probability and equivocation, respectively.

Go back to the Top.


F5J . Invited Lecture 2 .

Location: Room J (3F Ballroom A)
Date & Time: 15:00-15:45 Tuesday, 19 October 2010
Chair: Makoto Tsuda , Associate professor


F5J-1
Development of a numerical simulator for designing high-temperature superconducting power cable
Xudong Wang

--Abstract--
In Japan, the development of the high-temperature superconducting (HTS) power cable was begun in 2008 as a national project. In practical use, HTS power cables may be subjected to a fault current. Therefore, in order to ensure the stability and feasibility of HTS power cables, we need to investigate these cables with respect to their thermal characteristics and current distribution under fault conditions. In our studies, we developed a numerical simulator for designing HTS power cable, and carried out a series of over-current experiments for confirming the validity of the simulator.

Go back to the Top.


F6J . Invited Lecture 3 .

Location: Room J (3F Ballroom A)
Date & Time: 16:00-16:45 Tuesday, 19 October 2010
Chair: Yoshihiro Sugaya , Assistant Professor


F6J-1
Learning Structure from Samples
Andrea Torsello

--Abstract--
Graph-based representations have been used with considerable success in computer vision in the abstraction and recognition of object shape and scene structure. Despite this, the methodology available for learning structural representations from sets of training examples is relatively limited. This paper addresses the problem of learning statistical models of graph structure. The key problem faced is that of lack of node correspondences which must be inferred together with the structural model. Here classic latent variable approaches cannot be applied due to the breaking up of the independence assumption between the node assignments, while structural pattern recognition typically opts for a maximum likelihood correspondence estimation which induces bias in the estimation. We present a very simple node-observation model, which can be seen as a generalization of the naive Bayes model to the graph domain, and an EM-like approach to learn a mixture of such models, where the exponential explosion of the E step is handled through a sampling approach and a Minimum Message Length criterion is used for model selection. 


Go back to the Top.


F7P . Poster Session .

Location: Room J (3F Ballroom A)
Date & Time: 17:00-18:00 Tuesday, 19 October 2010
Chair: Yuki Aonuma , Assistant Professor


F7P-1
LEED and XPS observation of formation of epitaxial graphene on Cubic SiC(111)/Si(111)
Ryota Takahashi, Hiroyuki Handa, Shunsuke Abe, Kei Imaizumi, Eiji Saito, Hirokazu Fukidome, Maki Suemitsu, Yuden Teraoka, Akitaka Yoshigoe


F7P-2
A centrifugal magnetic pump for medical application
Sung Hoon Kim, Shuichiro Hashi, Kazushi Ishiyama


F7P-3
Vibrational excitation of a single molecule studied by scanning tunneling microscope light emission spectroscopy
Satoshi Katano, Yoichi Uehara


F7P-4
AIR-based Network Management Support System
Tetsu Maeda, Kazuto Sasai, Gen Kitagata, Tetsuo Kinoshita


F7P-5
Development of portable and high-speed chemical imaging sensor
Ko-ichiro Miyamoto, Akira Matsuo, Naoki Kosaka, Torsten Wagner, Tatsuo Yoshinobu


F7P-6
High-Speed Control of Semiconductor Laser by Optical Gain Modulation
Hiroki Ishihara, Hiroshi Yasaka, Junichi Shikata


F7P-7
High optical nonlinearities in wide band-gap oxide semiconductor waveguides
Edgar-Yoshio Morales-Teraoka, Koichi Abe, Tomohiro Kita, Hirohito Yamada


F7P-8
High Throughput Parallel Multiplier of SFQ Circuits based on the Booth Encoder
Ryousuke Nakamoto, Takeshi Onomi, Shigeo Sato, Koji Nakajima


F7P-9
Study on Superconducting Device
Nannan Hu, Shuhei Sasaki, Tomonori Nakayama, Makoto Tsuda, Takataro Hamajima


F7P-10
Adaptive Behavior by Exploiting Tensegrity Structure
Kazuya Suzuki, Masahiro Shimizu, Takeshi Kano, Takuya Umedachi, Akio Ishiguro


F7P-11
Predicate-Argument Structure Analysis with Structured Learning
Yotaro Watanabe, Kentaro Inui


F7P-12
Instantaneous Torque Ripple Control and Maximum Power Extraction in Wind Energy Conversion System with a Permanent Magnet Reluctance Generator
Erkan Sunan, Kazmi Syed Muhammad Raza, Hiroki Goto, Hai-Jiao Guo, Osamu Ichinokura


F7P-13
Wind Turbine Generation Control for Continuous Electricity Supply in Faulted Power Systems
Aung Ko Thet, Hiroumi Saitoh


F7P-14
Theoretical Analysis of Scanning Tunneling Microscope Light Emission Spectra Using Finite Difference Time Domain Method
Wataru Iida, Satoshi Katano, Yoichi Uehara


F7P-15
Hybrid Single-Carrier and Multi-Carrier System: Evaluation of Uplink Throughput Using Optimally Switching Modulation
Noriharu Suematsu, Suguru Kameda


F7P-16
Information Network Systems Laboratory
Yu-ichi Hayashi, Takaaki Mizuki, Hideaki Sone


F7P-17
Double-Line-Beam Continuous Beam Laser Crystallization for High Performance Poly-Si Thin Film Transistor
Yuya Kawasaki, Shin-Ichiro Kuroki, Shuntaro Fujii, Koji Kotani


F7P-18
Evaluation of photocatalytic activity of TiO2 nanotube by using Ag nanosheet
Takeshi Nakada, Akihito Yoshida, Yasuo Kimura, Michio Niwano, Kaoru Tamada


F7P-19
Graph Algorithms and Computational Complexity
Takehiro Ito, Kei Uchizawa, Xiao Zhou


F7P-20
Repetitions in strings: Maximum numbers, Average numbers, and computational complexity
Wataru Matsubara, Kazuhiko Kusano, Kazuyuki Narisawa, Ayumi Shinohara


F7P-21
Synchronous radiation of lasers with two different wavelengths for efficient ablation of hard tissues
Tomonori Watanabe, Takashi Katagiri, Yuji Matsuura


F7P-22
A Probability Model for Silhouette Image Recognition
Mingming Zhang, Shinichiro Omachi


F7P-23
Reforming of Methane to Gas and Solid Carbon Materials by Control of Plasma Reaction
Takayuki Tsuchiya, Toshitsugu Gunji, Satoru Iizuka


F7P-24
3D reconstruction of focused ultrasound pressure field from optical measurement
Yuta Shimazaki, Ryosuke Omura, Shin Yoshizawa, Shin-ichiro Umemura


F7P-25
Staircase Voltage MOSFET Driver Circuit for High Intensity Forcused Ultrasound
Keisuke Takada, Jumpei Okada, Shin Yoshizawa, Shin-ichiro Umemura


F7P-26
Above-CMOS Inductor Modeling for Rapid Prototyping of RF SoC
Atsuo Sugimoto, Koji Kotani


F7P-27
Proof Theory for Foundations of Programming Languages
Kentaro Kikuchi


F7P-28
The Characteristic Modification of On-chip Spiral Inductors with Above-CMOS Metal Patterning.
Yuki Sasaki, Koji Kotani, Atsuo Sugimoto


F7P-29
Influence for MR effect by a nano-condctive chanel modify in TaOx NOL spin valve
Kousaku Miyake, Yosinobu Saki, Ayako Suzuki, Syohei Kawasaki, Masaaki Doi, Masashi Sahashi


F7P-30
Design Optimization of Operational Transconductance Amplifiers Employing gm/ID Lookup Table Methodology
Takayuki Konishi, Toru Kashimura, Shoichi Masui


F7P-31
Integrated Ferromagnetic Noise Suppressor for Chip Level EMI Countermeasure
Sho Muroga, Wataru Kodate, Yasushi Endo, Yutaka Shimada, Masahiro Yamaguchi


F7P-32
Logic inverting operations using Epitaxial Graphene-on-Silicon Field Effect Transistors
Amine El Moutaouakil, Hyun-Chul Kang, Hiroyuki Handa, Susumu Takabayashi, Akira Satou, Hirokazu Fukidome, Tetsuya Suemitsu, Eiichi Sano, Maki Suemitsu, Taiichi Otsuji


F7P-33
Production of ZnO Nanostructures using Energy-Controlled Hollow Type Magnetron Plasma
Keisuke Kumeta, Satoru Iizuka


F7P-34
Gas-liquid discharge plasma and application to water treatment
Ryutaro Shimokawa, Takahiro Taguchi, Akira Ando


F7P-35
Millimeter Wave Intra Car Communications System Using Flexible Metalized Rubber Hose
Kazuya Fujita, Hirokazu Sawada, Shuzo Kato


F7P-36
Stress-induced FosB/deltaFosB expression in the rat hypothalamus and its regulation by glucocorticoid
Gopal Das, Katsuya Uchida, Keiichi Itoi


F7P-37
Disconnection Probability Improvement for Millimeter Wave Wireless Communications System Using Reflector
Shunya Takahashi, Hirokazu Sawada, Hiroyuki Nakase, Shuzo Kato


F7P-38
Millimeter Wave Indoor Channel Modeling for Living, Conference, and Cubicle Environments
Hirokazu Sawada, Kazuya Fujita, Shuzo Kato, Katsuyoshi Sato, Hiroshi Harada


F7P-39
Private information utilization scheme toward ubiquitous society
Satoru Imamura, Akihiro Nakarai, Yoshinori Osawa, Atsushi Takeda, Gen Kitagata, Norio Shiratori, Kazuo Hashimoto


F7P-40
A Study on Objectionable Content Detection Method based on Motion Frequency Analysis
Daisuke Matsumoto, Terumasa Aoki


F7P-41
A Study on Light Source Estimation Based on Diffusion Reflection of Human Faces
Kouhei Matsuzaki, Terumasa Aoki


F7P-42
Temporal dynamics of attentional shifting measured with steady-state visual evoked potential
Yoshiyuki Kashiwase, Kazumichi Matsumiya, Ichiro Kuriki, Satoshi Shioiri


F7P-43
Development of 4 Slot Array Antenna with Discrete Phase Shifter for Millimeter Wave Wireless Communications System
Yosuke Sato, Kazuya Fujita, Hirokazu Sawada, Hiroyuki Nakase, Shuzo Kato


Go back to the Top.


S1J . Magnetic Materials .

Location: Room J (3F Ballroom A)
Date & Time: 09:00-10:00 Wednesday, 20 October 2010
Chair: Kousaku Miyake , Assistant Professor


S1J-1
Electric-field dependence of magnetic anisotropy in as-deposited and annealed CoFeB/MgO structures
Shun Kanai, Masaki Endo, Shoji Ikeda, Fumihiro Matsukura, Hideo Ohno

--Abstract--
We investigate the electric-field effect on CoFeB-thickness t dependent magnetic anisotropy in as-deposited and annealed Ta/CoFeB/MgO prepared by sputtering. The magnetic easy axis in CoFeB changes from in-plane to perpendicular as t decreases, and the crossover thickness is thicker for the annealed sample (1.7 nm) than as-deposited one (1.5 nm). The perpendicular magnetic anisotropy can be modulated by applying negative electric field, and its modulation ratio is consistent with theoretical predictions. The larger modulation ratio is observed for the annealed sample (32 µJ/m) than as-deposited one (12 µJ/m) under the application of 1 V/nm of electric field at MgO.

S1J-2
TMR properties and annealing stability in MgO barrier MTJs with CoFe/Pd perpendicular anisotropy multilayer electrodes
Kotaro Mizunuma, Shoji Ikeda, Michihiko Yamanouchi, Hiroyuki Yamamoto, Huadong Gan, Katsuya Miura, Ryouhei Koizumi, Jun Hayakawa, Fumihiro Matsukura, Hideo Ohno

--Abstract--
Perpendicular anisotropy magnetic tunnel junctions (p-MTJs) have attracted much attention as memory cell for advanced spintronics devices manufactured with leading edge silicon technologies. We investigated the effect of stack structures on tunnel magnetoresistance (TMR) properties and annealing stability of MgO barrier p-MTJs with CoFe/Pd multilayer electrodes and CoFeB insertions. The TMR ratio of 112% in the optimized MTJs was obtained. By reducing Pd thickness in parallel with optimization of cap materials, the annealing stability up to 350oC was observed. These improvements may be related to the crystallization state of CoFeB by B diffusion depending on stack structures.

S1J-3
Damping Constant Influence on Dynamics in Field Generating Layer of STO for MAMR Writing Head
SeungMo Noh, Daisuke Monma, Kousaku Miyake, Masaaki Doi, Masashi Sahashi

--Abstract--
[Authors want not to show their abstract on the web page.]

S1J-4
Confirmation of Magneto-Electric Effect in the Ultra Thin Cr2O3 Oxide
Kazuya Sawada, Naoki Shimomura, Masaaki Doi, Masashi Sahashi

--Abstract--
Magnetoelectric (ME) effect has been anticipated a key component of a new spintronic devices, such as MERAM. Although control of a ferromagnetic magnetization by an electric field has been achieved in Cr2O3/[Co/Pt]n system, the bias voltage is too large due to a thick Cr2O3 (0.6mm). In this study we verify the ME effect of the ultra thin Cr2O3 (1nm) by investigating the training effect as a function of a sense current and its direction. A system dependent constant ĸMR, which shows the change of the surface domain structure, increases with increasing current in the pinned direction. It suggests that the current contributes to the change of the CoFe spin structures. Furthermore, ĸMR decreases with increasing current in the opposite direction. This result demonstrates the ME effect of the ultra thin Cr2O3.

Go back to the Top.


S1K . Optical Networks .

Location: Room K (3F Maple Room)
Date & Time: 09:00-09:45 Wednesday, 20 October 2010
Chair: Masato Yoshida , Assistant Professor


S1K-1
All-normal-dispersion similariton ytterbium fiber laser without dispersion compensation and additional filter
Zuxing Zhang, Masato Yoshida, Toshihiko Hirooka, Masataka Nakazawa

--Abstract--
[Authors want not to show their abstract on the web page.]

S1K-2
A 10 GHz Opto-electronic Oscillator at 1.1 μm Using a Gain-Switched InGaAs VCSEL and a Photonic Crystal Fiber
Kengo Koizumi, Masato Yoshida, Masataka Nakazawa

--Abstract--
[Authors want not to show their abstract on the web page.]

S1K-3
60 Gbit/s 64 QAM-OFDM Coherent Optical Transmission with a 5.3 GHz Bandwidth
Tatsunori Omiya, Seiji Okamoto, Keisuke Kasai, Masato Yoshida, Masataka Nakazawa

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


S1L . Bioengineering & Optimization .

Location: Room L (3F Oak Room)
Date & Time: 09:00-09:45 Wednesday, 20 October 2010
Chair: Takeshi Onomi , Assistant Professor


S1L-1
Development of a 3-D high resolution neuronal potential recording system
Yasushi Shiraishi, Norihiro Katayama, Koichi Takasho, Akihiro Karashima, Mitsuyuki Nakao

--Abstract--
[Authors want not to show their abstract on the web page.]

S1L-2
Discrete Higher Order Connection Neural Network for Solving Optimization Problems
Takahiro Sota, Yoshihiro Hayakawa, Shigeo Sato, Koji Nakajima

--Abstract--
The Inverse function Delayed model (ID model) is a neuron model thathas dynamics effected by negative resistance. The negative resistancecan destabilize local minimum states that are undesirable networkresponses. Actually, we have demonstrated that the ID network canperfectly remove all local minima with N-Queen problems or 4-Colorproblems where stationary states are only correct answers. Meanwhile,about the case of Traveling Salesman Problems or Quadratic AssignmentProblems, we also applied the ID network to them with the same methodby introducing quartic-form energy function and higher orderconnections. In this paper, we introduce the discrete ID model withhigher order connections to achieve the hardware implementation of thenetwork.

S1L-3
A Novel Searching Method for Electric Power System Topology to Maximize Photo Voltaic Generation
Tsunaki Sato, Hiroumi Saitoh

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


S2J . Spintronics & Functional Films .

Location: Room J (3F Ballroom A)
Date & Time: 10:15-11:15 Wednesday, 20 October 2010
Chair: Yuzo Ohno , Associate professor


S2J-1
Spin-orbit effective field in (Ga,Mn)As
Masaki Endo, Fumihiro Matsukura, Hideo Ohno

--Abstract--
[Authors want not to show their abstract on the web page.]

S2J-2
Quadrupolar splitting dependence of nuclear spin coherence in an n-(110)GaAs quantum well
Masaaki Ono, Genki Sato, Jun Ishihara, Shunichiro Matsuzaka, Yuzo Ohno, Hideo Ohno

--Abstract--
Optical and electrical manipulation and detection of nuclear spins insemiconductor nanostructures have been of great interest forunderstanding the spin related physics. In this work, we investigatedthe quadrupolar splitting dependence of the nuclear spin coherencetime in an n-(110)GaAs/AlGaAs quantum well by time-resolvedKerr-rotation measurements combined with pulsed-rf nuclear magneticresonance. We found that the nuclear spin coherence time is extendedas the quadrupolar splitting increases by applying the strain. Thissuggests that the influences of the other transitions are suppressedwith increase of the quadrupolar splitting.

S2J-3
Intersubband optical transition measurement in InAs/AlSb quantum cascade laser using fourier-transform photocurrent spectroscopy
Eli Christopher Inocencio Enobio, Keita Ohtani, Yuzo Ohno, Hideo Ohno

--Abstract--
[Authors want not to show their abstract on the web page.]

S2J-4
A new counter electrode by a fabricated porous Ti film for the Dye Sensitized Solar Cells
Moahmmad Maksudur Rahman, Ryota Kojima, Mehdi El Fassy Fihry, Yasuo Kimura, Michio Niwano

--Abstract--
Recently, reducing a series resistance of a dye-sensitized solar cell (DSC) for improvement of its conversion efficiency has been an important topic of research. Here, porous titanium (Ti) film with rough surfaces was deposited by a DC magnetron sputtering and a solution etching process and it was applied to a counter electrode of a DSC to improve the conversion efficiency. A dense and a porous Ti film were fabricated by a DC magnetron sputtering process, respectively. The dense Ti film was used as a protective layer against corrosion of an aluminum layer which reduced a sheet resistance of a counter electrode. The solution treatment roughened the surface of the porous Ti layer. The porous Ti/dense Ti/Al/glass counter electrode increased a fill factor and a short circuit current to improve the conversion efficiency of a DSC.

Go back to the Top.


S2K . Mobile Networks .

Location: Room K (3F Maple Room)
Date & Time: 10:15-11:15 Wednesday, 20 October 2010
Chair: Kazuto Sasai , Assistant Professor


S2K-1
TCP-Cherry+: Improvement of TCP-Cherry for Satellite IP Networks with Persistent Errors
Satoshi Utsumi, S. M. Salim Zabir

--Abstract--
TCP-Cherry, an enhancement of TCP that we havedevised recently, aims at improving TCP performance oversatellite IP networks. In TCP-Cherry, two new algorithms, Fast-Forward Start and First-Aid Recovery, have been proposed for congestion control in satellite networks with long propagation delays and high link errors. Our algorithms use low-priority segments, we named supplement segments, which probe the available bandwidth in the network for the TCP connections along with carrying new data blocks. In this paper, we propose new congestion control scheme for TCP-Cherry in mobile satellite networks with persistent errors due to shadowing.

S2K-2
A Novel Sub-Flow Selection Method for Traffic Classification in Mobile IP Networks
Akihiro Satoh, Toshiaki Osada, Toru Abe, Gen Kitagata, Tetsuo Kinoshita

--Abstract--
[Authors want not to show their abstract on the web page.]

S2K-3
A Clique-based Secure Admission Control Scheme for Mobile Ad hoc Networks (MANETs)
Qing Chen, Nei Kato

--Abstract--
[Authors want not to show their abstract on the web page.]

S2K-4
Efficient Buffer Management Policy for Wireless Sensor Network
Hnin Yu Shwe, Haris Gacanin, Fumiyuki Adachi

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


S2L . Cooperative systems .

Location: Room L (3F Oak Room)
Date & Time: 10:15-11:15 Wednesday, 20 October 2010
Chair: Masaru Fukushi , Assistant Professor


S2L-1
Next Generation Cooperative Work Support System based on Symbiotic Agent
Akira Sakatoku, Gen Kitagata, Tetsuo Kinoshita

--Abstract--
Recently, cooperative work support systems have been expected torealize effective cooperative works, but these are difficult forgeneral users. Consequently, we propose the cooperative work supportsystem based on the symbiotic agent. The symbiotic agent is an agentwhich can integrate digital spaces into the real space. Herewith, theproposal system enables users to do collaborative works intuitively asif digital spaces united with the real space. First, we presentfundamental technologies for the symbiotic agent. Next, we show thedesign and implementation of the proposal system. Finally, we confirmfeasibility of the proposal system with experimental results.

S2L-2
Adaptive Inter-agent Communication Scheme for Sensor Networks in Ubiquitous Environment
Taishi Ito, Takuo Suganuma, Tetsuo Kinoshita, Hideyuki Takahashi, Norio Shiratori

--Abstract--
[Authors want not to show their abstract on the web page.]

S2L-3
Group-Based Job Scheduling for Adaptive Checking in Volunteer Computing
Kan Watanabe, Masaru Fukushi, Michitaka Kameyama

--Abstract--
[Authors want not to show their abstract on the web page.]

S2L-4
Low energy low latency identification for memory-less passive RFID systems
Keyvan Kashkouli Nejad, Michitaka Kameyama

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


S3J . Semiconductor Devices .

Location: Room J (3F Ballroom A)
Date & Time: 11:30-12:30 Wednesday, 20 October 2010
Chair: Hirokazu Fukidome , Assistant Professor


S3J-1
Discharge instability during the film growth on patterned conductive layers using pulsed-plasma CVD under near-atmospheric pressures
Yohei Inayoshi, Kunihiro Nakanishi, Hirokazu Fukidome, Maki Suemitsu, Setsuo Nakajima, Tsuyoshi Uehara, Yasutake Toyoshima

--Abstract--
[Authors want not to show their abstract on the web page.]

S3J-2
Rotated Si(111) Epilayer Growth on 3C-SiC(111)/Si(110) by Monomethylsilane and Disilane
Rolando Vino Bantaculo, Eiji Saitoh, Maki Suemitsu

--Abstract--
[Authors want not to show their abstract on the web page.]

S3J-3
Multiple N Atomic-Layer Doping in Nanometer-Order Thick Strained Si1-xGex Epitaxial Film on Si(100) by Ultraclean Low-Pressure CVD
Tomoyuki Kawashima, Masao Sakuraba, Junichi Murota

--Abstract--
Heavy N atomic-layer doping in group IV semiconductors is expected toinduce local strain and modulate energy band structure for Si basedquantum effect devices. In this work, the formation of multiple Natomic-layer doped nanometer-order thick strainedSi1-xGex on Si(100) by repetition ofSi1-xGex surface nitridation andSi1-xGex cap layer deposition using ultracleanlow-pressure CVD was investigated. N atomic-layer doped structure ofSi0.55Ge0.45/N/Si0.55Ge0.45/N/Si0.55Ge0.45with initial N amount 3x1014 cm-2/layer wasformed on Si(100) at 4000C and the structure wasepitaxially grown with flat surface (RMS=0.16nm). Dopingcharacteristics of the N atomic-layer dopedSi1-xGex will be also presented.

S3J-4
Impact of Si strained Cap Layer Growth on Surface Segregation of P Incorporated by Atomic-Layer Doping of Si1-xGex (100)
Yohei Chiba, Masao Sakuraba, Bernd Tillack, Junichi Murota

--Abstract--
Influence of strain in the Si epitaxial cap layer grown on top of the P peak on the characteristics of the doping process in Si/Si0.3 Ge0.7/Si(100) heterostructures was investigated. Depth profiles of P for the Si/P/ Si0.3Ge0.7 on unstrained Si(100) and 0.8% tensile-strained SOI(100) suggest that tensile strain in the Si epitaxial cap layer enhances P surface segregation and reduces the incorporated P amount around the heterointerface. Sheet carrier concentration of the Si/P/ Si0.3 Ge0.7 on tensile-strained Si is lower than that on unstrained Si and the difference disappears by the decrease of the maximum P concentration due to P diffusion.

Go back to the Top.


S3K . Wireless Networks & Signal Processing .

Location: Room K (3F Maple Room)
Date & Time: 11:30-12:30 Wednesday, 20 October 2010
Chair: Hiroki Nishiyama , Assistant Professor


S3K-1
Sparse channel estimation: Compressive sensing perspective
Guan Gui, Wei Peng, Qun Wan, Fumiyuki Adachi

--Abstract--
Broadband wireless channel is a time dispersive channel and becomes strongly frequency-selective. However, in most cases, the channel tend to exhibit sparse structures at high signal space dimension in the sense that most of channel taps being zero or below the noise floor when operating at large broadbands and symbol durations. We present a novel compressive sensing-based channel estimation method. The training-based estimation method will analytically show to achieve a target reconstruction-error scaling using far less energy and, in many instances, latency and bandwidth than that dictated by the LS-based methods. Computer simulations confirm the effectiveness of the proposed algorithm comparisons with the existing methods.

S3K-2
Training Sequence Aided Single-carrier Frequency-domain Block Signal Detection Using QRM-MLD
Tetsuya Yamamoto, Kazuki Takeda, Fumiyuki Adachi

--Abstract--
Recently, we proposed a frequency-domain block signal detection using maximum likelihood detection employing QR decomposition and M-algorithm (QRM-MLD) for the cyclic prefic inserted single-carrier (CP-SC) block transmissions. However, if the number of surviving paths is small, the achievable bit error rate (BER) performance degrades, because the propability of removing the correct path at early stages increases. In this paper, to solve this problem, we insert the known training sequence into each data block instead of CP. This SC transmission is called the training sequence aided SC (TA-SC) block transmission. We show by computer simulation that the TA-SC can achieve much better BER performance than the CP-SC if the number of surviving paths is limited.

S3K-3
BER Performance of Joint MMSE-FDE & Spectrum Combining in The Presence of Timing Offset
Tatsunori Obara, Kazuki Takeda, Fumiyuki Adachi

--Abstract--
Minimum mean square error frequency-domain equalization (MMSE-FDE) is a promising equalization technique for the broadband single-carrier (SC) transmission. However, the presence of timing offset produces the inter-symbol interference (ISI) and degrades the bit error rate (BER) performance. As the roll-off factor of the transmit filter increases, the performance degradation gets larger. In this paper, we introduce joint MMSE-FDE & spectrum combining which can achieve larger frequency diversity gain while suppressing the negative impact of timing offset for the SC transmission.

S3K-4
Fairness-Aware Subchannel and Bit Allocation Scheme in OFDMA Multihop VCN Systems
Irma Safitri, Wei Peng, Fumiyuki Adachi

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


S3L . Program Analysis .

Location: Room L (3F Oak Room)
Date & Time: 11:30-12:30 Wednesday, 20 October 2010
Chair: Kazutaka Matsuda , Assistant Professor


S3L-1
Predicate Abstraction for Higher-Order Model Checking
Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi

--Abstract--
[Authors want not to show their abstract on the web page.]

S3L-2
Verification of Tree-Processing Programs via Higher-Order Model Checking
Naoshi Tabuchi, Hiroshi Unno, Naoki Kobayashi

--Abstract--
We propose a new approach to verification of higher-order,tree-processing functional programs to check if the given program conforms to an input/outputspecification.Our approach reduces a verification problem into multiple problems ofmodel-checkinghigher-order multi-tree transducers. Unlike previous methods, ourscan deal with arbitrary tree-processing programs as long asappropriate type annotations on intermediate data structures aresupplied by the programmer.Although our approach is incomplete, an experimental result showspractical effectiveness.

S3L-3
Sound Bisimulations for Higher-Order Distributed Process Calculus
Adrien Pierard, Eijiro Sumii

--Abstract--
While distributed systems with transfer of processes have becomepervasive, methods for reasoning about their behaviour areunderdeveloped. In this paper we develop a bisimulation technique forproving behavioural equivalence of such systems modelled in thehigher-order pi-calculus with passivation (and restriction). Previousresearch for this calculus is limited to context bisimulations andnormal bisimulations which are either impractical or unsound. Incontrast, we provide a sound and useful definition of environmentalbisimulations, with several non-trivial examples. Technically, acentral point in our bisimulations is the clause for parallelcomposition, which must account for passivation of the spawnedprocesses in the middle of their execution.

S3L-4
Complexity of Guessing Entropy based Quantitative Information Flow
Hirotoshi Yasuoka, Tachio Terauchi

--Abstract--
[Authors want not to show their abstract on the web page.]

Go back to the Top.


S4J . Invited Lecture 4 .

Location: Room J (3F Ballroom A)
Date & Time: 13:30-14:45 Wednesday, 20 October 2010
Chair: Tachio Terauchi , Assistant Professor


S4J-1
Static analysis of programs, an overview
David Monniaux

--Abstract--
As early as the 1970s, it was argued that programs should be proved mathematically correct. For instance, one may want to prove that a program sorts an integer array, or more simply, that it never crashes. Abstract interpretation is a theoretical framework for developing approximate but safe analyses: they may fail to prove certain properties, but never prove false facts. We shall given an introduction to two successful abstract interpretation approaches: predicate abstraction, and accelerated abstract Kleene iterations. We shall illustrate the second with the Astre'e tool (http://www.astree.ens.fr/), in use at the aicraft manufacturer Airbus and other industries.

S4J-2
Numerical Static Analysis, Least Fixpoints, and Strategy Iteration
Thomas Gawlitza

--Abstract--
In the present paper we focus on computing numerical invariants through abstract interpretation. In the considered cases, this boils down to the problem of computing least fixpoints of certain monotone self-maps on the $n$-dimensional Euclidean vector space which are a finite maximums of simpler self-maps. Similar problems appear in the context of (probabilistic) two-players games. There, strategy improvement algorithms are successfully applied for computing the least (resp.\ unique) fixpoints. Recently, practical strategy improvement algorithms for computing least fixpoints of the monotone self-maps which are relevant in the context of numerical static analysis were developed. The present paper gives an introductory overview over these recent developments.

Go back to the Top.


S5J . Invited Lecture 5 .

Location: Room J (3F Ballroom A)
Date & Time: 15:00-15:45 Wednesday, 20 October 2010
Chair: Jianfeng Li , Research Associate


S5J-1
Physical Layer Security Enhancement using MIMO Systems: Authentication and Key Establishment
Michael A. Jensen

--Abstract--
Because of the inherent vulnerabilities associated with data communicated over a wireless channel, recent attention has focused on increasing wireless communication security at the physical layer. This paper highlights such techniques, with specific emphasis on using the radio-frequency hardware characteristics for authentication and exploiting the physics of multipath propagation for key establishment. The discussion emphasizes the use of multiple antenna capabilities of network nodes to dramatically improve the reliability of radio-frequency authentication as well as the rate at which secret keys can be generated. Simulations and measurements are used to illustrate the implementation and performance of the techniques.

Go back to the Top.


S6J . Invited Lecture 6 .

Location: Room J (3F Ballroom A)
Date & Time: 16:00-16:45 Wednesday, 20 October 2010
Chair: Takuma Okamoto , GCOE Fellow


S6J-1
Professional English Communications Skills for Engineers & Scientists
J. Patrick Frantz

--Abstract--
As an academic, presenting your own ideas and research effectively is the most important skill for achieving both success in the academic/business communities and respect from your peers. The goal of this talk on Professional English Communications Skills for Engineers & Scientists is to help non-native English speakers with their presentation skills in both the written and oral forms. While not exhaustive in scope, this talk intends to lay the foundation upon which the participants can build for future success in English communications.

Go back to the Top.