Research Output

2011

A method for detecting unusual defects in enterprise system using model checking techniques

Aoki, Y. & Matsuura, S., 2011 Jun 17, Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11. p. 165-171 7 p. (Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Analysis of backside-electrode and gate-field-plate effects on buffer-related current collapse in AlGaN/GaN high electron mobility transistors

Horio, K., Onodera, H. & Nakajima, A., 2011 Jun 1, In : Journal of Applied Physics. 109, 11, 114508.

Research output: Contribution to journalArticle

36 Citations (Scopus)

A transmission range optimization algorithm to avoid energy holes in wireless sensor networks

Tran-Quang, V., Nguyen Huu, P. & Miyoshi, T., 2011 Nov, In : IEICE Transactions on Communications. E94-B, 11, p. 3026-3036 11 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

Comparison of hadron interaction models with measurement of forward spectra by the LHCf apparatus

Menjo, H., Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'Alessandro, R., Faus, A., Fukatsu, K., Haguenauer, M., Itow, Y., Kasahara, K., Kawade, K., Macina, D., Mase, T., Masuda, K., Matsubara, Y., Mitsuka, G., Muraki, Y., Nakai, M., Noda, K. & 14 others, Papini, P., Perrot, A. L., Ricciarini, S., Sako, T., Suzuki, K., Suzuki, T., Shimizu, Y., Taki, K., Tamura, T., Torii, S., Tricomi, A., Velasco, J., Turner, W. C. & Yoshida, K., 2011, In : Nuovo Cimento della Societa Italiana di Fisica C. 34, 2, p. 135-140 6 p.

Research output: Contribution to journalArticle

Conflict resolving system among integrated services in home network system

Arakawa, K. & Inoue, M., 2011, 2011 IEEE International Conference on Consumer Electronics, ICCE 2011. p. 579-580 2 p. 5722748. (Digest of Technical Papers - IEEE International Conference on Consumer Electronics).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Consumer electronics recall support system by search of product user and improvement of recall notice

Miyata, H. & Inoue, M., 2011 Sep 9, ISCE 2011 - 15th IEEE International Symposium on Consumer Electronics. p. 462-463 2 p. 5973871. (Proceedings of the International Symposium on Consumer Electronics, ISCE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data analysis techniques for LHCf

Mitsuka, G., Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'Alessandro, R., Fukatsu, K., Haguenauer, M., Itow, Y., Kasahara, K., Kawade, K., Marina, D., Mase, T., Masuda, K., Matsubara, Y., Menjo, H., Muraki, Y., Nakai, M., Noda, K., Papini, P. & 12 others, Perrot, A. L., Ricciarini, S., Sako, T., Shimizu, Y., Suzuki, K., Suzuki, T., Taki, K., Tamura, T., Torii, S., Tricomi, A., Turner, W. C. & Yoshida, K., 2011, International Symposium on the Recent Progress of Ultra-High Energy Cosmic Ray Observation. p. 212-215 4 p. (AIP Conference Proceedings; vol. 1367).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Dependency analysis for learning class structure for novice Java programmer

Wakabayashi, T., Ogata, S. & Matsuura, S., 2011, ICSESS 2011 - Proceedings: 2011 IEEE 2nd International Conference on Software Engineering and Service Science. p. 532-535 4 p. 5982370. (ICSESS 2011 - Proceedings: 2011 IEEE 2nd International Conference on Software Engineering and Service Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Early results of the LHCf experiment and their contribution to ultra-high-energy cosmic ray physics

Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'Alessandro, R., Faus, A., Fukatsu, K., Haguenauer, M., Itow, Y., Kasahara, K., Macina, D., Mase, T., Masuda, K., Matsubara, Y., Menjo, H., Mitsuka, G., Muraki, Y., Nakai, M., Noda, K., Papini, P. & 13 others, Perrot, A. L., Ricciarini, S., Sako, T., Suzuki, K., Suzuki, T., Shimizu, Y., Taki, K., Tamura, T., Torii, S., Tricomi, A., Velasco, J., Turner, W. C. & Yoshida, K., 2011 Mar, In : Nuclear Physics B - Proceedings Supplements. 212-213, p. 270-276 7 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Efficient motion estimation algorithm using edge feature and arithmetic coding for video compression on WVSNs

Huu, P. N., Tran-Quang, V. & Miyoshi, T., 2011 Nov 24, 2011 International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2011. p. 178-182 5 p. 6064410. (2011 International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Efficient transfer method for on-demand video delivery based on streaming packet analysis

Miyoshi, T. & Sekiya, K., 2011 Aug 18, Proceedings - 1st ACIS/JNU International Conference on Computers, Networks, Systems, and Industrial Engineering, CNSI 2011. p. 141-146 6 p. 5954299. (Proceedings - 1st ACIS/JNU International Conference on Computers, Networks, Systems, and Industrial Engineering, CNSI 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Enhancement of requirements specification traceability by model driven requirements analysis employing automatic prototype generation

Ogata, S., Matsuura, S., Sakai, R., Sato, H. & Kobayashi, T., 2011, Proceedings of the 10th IASTED International Conference on Software Engineering, SE 2011. p. 55-63 9 p. (Proceedings of the 10th IASTED International Conference on Software Engineering, SE 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Expected CALET telescope performance from monte carlo simulations

Akaike, Y., Kasahara, K., Torii, S., Ozawa, S., Shimizu, Y., Karube, M., Yoshida, K., Yoshida, K. & Ichimura, M., 2011 Jan 1, p. 371-374. 4 p.

Research output: Contribution to conferencePaper

13 Citations (Scopus)

First year results from LHCf

Kasahara, K., Nakai, M., Shimizu, Y., Suzuki, T., Torii, S., Yoshida, K., Tamura, T., Fukatsu, K., Itow, Y., Kawade, K., Mase, T., Masuda, K., Matsubara, Y., Mitsuka, G., Sako, T., Suzuki, K., Taki, K., Menjo, H., Muraki, Y., Haguenauer, M. & 15 others, Turner, W. C., Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'Alessandro, R., Grandi, M., Papini, P., Ricciarini, S., Noda, K., Tricomi, A., Faus, A., Velasco, J., Macina, D. & Perrot, A. L., 2011, International Symposium on the Recent Progress of Ultra-High Energy Cosmic Ray Observation. p. 58-63 6 p. (AIP Conference Proceedings; vol. 1367).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

High-energy electron observations from 30 GeV to 3 TeV with emulsion chambers

Kobayashi, T., Komori, Y., Yoshida, K. & Nishimura, J., 2011 Jan 1, p. 63-66. 4 p.

Research output: Contribution to conferencePaper

High precision adaptive control for XY-table driven by piezo-actuator

Chen, X., 2011 Oct 12, 2011 International Conference on Advanced Mechatronic Systems, ICAMechS 2011 - Final Program. p. 466-471 6 p. 6024938. (2011 International Conference on Advanced Mechatronic Systems, ICAMechS 2011 - Final Program).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

High precision control for nano-positioner actuated by smart materials

Chen, X., 2011 Sep 27, Proceedings of the 30th Chinese Control Conference, CCC 2011. p. 6099-6104 6 p. 6000858. (Proceedings of the 30th Chinese Control Conference, CCC 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Home network with cloud computing for home management

Suzuki, K. & Inoue, M., 2011 Sep 9, ISCE 2011 - 15th IEEE International Symposium on Consumer Electronics. p. 421-425 5 p. 5973862. (Proceedings of the International Symposium on Consumer Electronics, ISCE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Lifestyle improvement support system using context

Suzuki, T. & Inoue, M., 2011 Sep 9, ISCE 2011 - 15th IEEE International Symposium on Consumer Electronics. p. 357-362 6 p. 5973849. (Proceedings of the International Symposium on Consumer Electronics, ISCE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Low-complexity motion estimation algorithm using edge feature for video compression on wireless video sensor networks

Huu, P. N., Tran-Quang, V. & Miyoshi, T., 2011 Dec 16, APNOMS 2011 - 13th Asia-Pacific Network Operations and Management Symposium: Managing Clouds, Smart Networks and Services, Final Program. 6077043. (APNOMS 2011 - 13th Asia-Pacific Network Operations and Management Symposium: Managing Clouds, Smart Networks and Services, Final Program).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Market data gathering system by using shoppers' confused behavior

Takata, K. & Inoue, M., 2011 Sep 9, ISCE 2011 - 15th IEEE International Symposium on Consumer Electronics. p. 458-461 4 p. 5973870. (Proceedings of the International Symposium on Consumer Electronics, ISCE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Measurement of zero degree single photon energy spectra for √s=7 TeV proton-proton collisions at LHC

Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'Alessandro, R., Faus, A., Fukatsu, K., Haguenauer, M., Itow, Y., Kasahara, K., Kawade, K., Macina, D., Mase, T., Masuda, K., Matsubara, Y., Menjo, H., Mitsuka, G., Muraki, Y., Nakai, M., Noda, K. & 15 others, Papini, P., Perrot, A. L., Ricciarini, S., Sako, T., Shimizu, Y., Suzuki, K., Suzuki, T., Taki, K., Tamura, T., Torii, S., Tricomi, A., Turner, W. C., Velasco, J., Viciani, A. & Yoshida, K., 2011 Sep 7, In : Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 703, 2, p. 128-134 7 p.

Research output: Contribution to journalArticle

93 Citations (Scopus)

Measurements of cosmic-ray electron and gamma-ray flux with balloon-borne CALET prototype

Niita, T., Torii, S., Kasahara, K., Tamura, T., Yoshida, K., Katayose, Y., Murakami, H., Ozawa, S., Shimizu, Y., Akaike, Y., Ueyama, Y., Ito, D., Karube, M., Kondo, K. & Kyutan, M., 2011 Jan 1, p. 21-24. 4 p.

Research output: Contribution to conferencePaper

2 Citations (Scopus)

Monte Carlo study of forward π0 production spectra to be measured by the LHCf experiment for the purpose of benchmarking hadron interaction models at 1017 eV

Menjo, H., Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'Alessandro, R., Faus, A., Fukui, K., Haguenauer, M., Itow, Y., Kasahara, K., Kawade, K., MacIna, D., Mase, T., Masuda, K., Matsubara, Y., Mitsuka, G., Mizuishi, M., Muraki, Y., Nakai, M. & 13 others, Papini, P., Perrot, A. L., Ricciarini, S., Sako, T., Shimizu, Y., Taki, K., Tamura, T., Torii, S., Tricomi, A., Turner, W. C., Velasco, J., Viciani, A. & Yoshida, K., 2011 Feb, In : Astroparticle Physics. 34, 7, p. 513-520 8 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

Motion recovery by using stereo perspective observation

Chen, X. & Kano, H., 2011 Nov 1, In : IEEE Transactions on Automatic Control. 56, 11, p. 2660-2665 6 p., 5779707.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Network power saving with sensing data characteristic

Arai, A., Takeda, Y., Nakamura, M., Yamaguchi, T. & Inoue, M., 2011, ISCE 2011 - 15th IEEE International Symposium on Consumer Electronics. p. 166-170 5 p. 5973806. (Proceedings of the International Symposium on Consumer Electronics, ISCE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

North Korea: From the Inside Looking Out

Darrell, M., 2011 Dec 1, In : Hitotsubashi Journal of Social Studies. 43, p. 43-57

Research output: Contribution to journalArticle

Physics-based simulation of back-electrode effects on lag and current collapse in field-plate AlGaN/GaN HEMTs

Onodera, H., Nakajima, A. & Horio, K., 2011 Dec 1, European Microwave Week 2011: "Wave to the Future", EuMW 2011, Conference Proceedings - 6th European Microwave Integrated Circuit Conference, EuMIC 2011. p. 45-48 4 p. 6102761. (European Microwave Week 2011: "Wave to the Future", EuMW 2011, Conference Proceedings - 6th European Microwave Integrated Circuit Conference, EuMIC 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Pulse compression of linear chirp signals using a quadrature detector

Aziz, N. M. K. B. A., Kurabayashi, H. & Tanaka, N., 2011 Nov 21, In : Acoustical Science and Technology. 32, 6, p. 261-263 3 p.

Research output: Contribution to journalLetter

2 Citations (Scopus)

Segmentation of nuclei in hepatic histological images using multimodal method

Takahashi, M., Koichi, J., Makino, Y., Kitani, T. & Nakano, M., 2011 Nov 9, In : IFMBE Proceedings. 37, p. 639-642 4 p.

Research output: Contribution to journalArticle

Simulation of field-plate effects on surface-state-related lag and current slump in GaAs FETs

Tanaka, T., Itagaki, K., Nakajima, A. & Horio, K., 2011, Technical Proceedings of the 2011 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2011. p. 595-598 4 p. (Technical Proceedings of the 2011 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2011; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Smart Outlet for realizing secure and green living

Nozawa, T. & Inoue, M., 2011, ISCE 2011 - 15th IEEE International Symposium on Consumer Electronics. p. 432-437 6 p. 5973864. (Proceedings of the International Symposium on Consumer Electronics, ISCE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Study of GSO scintillator for the LHCf upgrade

Kawade, K., Suzuki, T., Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'Alessandro, R., Fukatsu, K., Haguenauer, M., Itow, Y., Kasahara, K., Macina, D., Mase, T., Masuda, K., Matsubara, Y., Menjo, H., Mitsuka, G., Muraki, Y., Nakai, M., Noda, K. & 12 others, Papini, P., Perrot, A. L., Ricciarini, S., Sako, T., Shimizu, Y., Suzuki, K., Taki, K., Tamura, T., Torii, S., Tricomi, A., Turner, W. C. & Yoshida, K., 2011, International Symposium on the Recent Progress of Ultra-High Energy Cosmic Ray Observation. p. 220-223 4 p. (AIP Conference Proceedings; vol. 1367).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Study of GSO scintillator for upgrade of LHCf detectors

Kawade, K., Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'alessandro, R., Fukatsu, K., Haguenauer, M., Itow, Y., Kasahara, K., Macina, D., Mase, T., Masuda, K., Menjo, H., Mitsuka, G., Muraki, Y., Noda, K., Papini, P., Perrot, A. L., Ricciarini, S. & 10 others, Sako, T., Shimizu, Y., Suzuki, K., Suzuki, T., Taki, K., Tamura, T., Torii, S., Tricomi, A., Turner, W. C. & Yoshida, K., 2011, p. 55-58. 4 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Support system for handwriting using projector

Yamada, K. & Takahashi, M., 2011 Jan 1, SICE 2011 - SICE Annual Conference 2011, Final Program and Abstracts. Society of Instrument and Control Engineers (SICE), p. 2869-2872 4 p. 6060472. (Proceedings of the SICE Annual Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

The balloon-bone CALET prototype detector (bCALET)

Ozawa, S., Torii, S., Kasahara, K., Murakami, H., Akaike, Y., Ueyama, Y., Ito, D., Karube, M., Kondo, K., Niita, T., Tamura, T., Katayose, Y., Yoshida, K., Saito, Y., Fuke, H. & Kawada, J., 2011 Jan 1, p. 71-74. 4 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

The method of agent-based model and its progress in sociology

Kanazawa, Y., Horiuchi, S., Asaoka, M., Sekiguchi, T. & Nakai, Y., 2011 Aug 26, In : Sociological Theory and Methods. 26, 1, p. 141-160 20 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

The performance of the LHCf detector

Mase, T., Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'Alessandro, R., Fukatsu, K., Haguenauer, M., Itow, Y., Kasahara, K., Kawade, K., Macina, D., Masuda, K., Matsubara, Y., Menjo, H., Mitsuka, G., Muraki, Y., Nakai, M., Noda, K., Papini, P. & 12 others, Perrot, A. L., Ricciarini, S., Sako, T., Shimizu, Y., Suzuki, K., Suzuki, T., Taki, K., Tamura, T., Torii, S., Tricomi, A., Turner, W. C. & Yoshida, K., 2011, International Symposium on the Recent Progress of Ultra-High Energy Cosmic Ray Observation. p. 216-219 4 p. (AIP Conference Proceedings; vol. 1367).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The performance of the LHCf detectors

Mase, T., Adriani, O., Bonechi, L., Bongi, M., Castellini, G., D'alessandro, R., Fukatsu, K., Haguenauer, M., Itow, Y., Kasahara, K., Kawade, K., Macina, D., Masuda, K., Menjo, H., Mitsuka, G., Muraki, Y., Noda, K., Papini, P., Perrot, A. L., Ricciarini, S. & 10 others, Sako, T., Shimizu, Y., Suzuki, K., Suzuki, T., Taki, K., Tamura, T., Torii, S., Tricomi, A., Turner, W. C. & Yoshida, K., 2011, p. 27-30. 4 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

The science objectives for CALET

Yoshida, K., 2011 Jan 1, p. 367-370. 4 p.

Research output: Contribution to conferencePaper

4 Citations (Scopus)

Two-dimensional analysis of field-plate effects on surface-state-related current transients and power slump in GaAs FETs

Horio, K., Tanaka, T., Itagaki, K. & Nakajima, A., 2011 Mar 1, In : IEEE Transactions on Electron Devices. 58, 3, p. 698-703 6 p., 5667052.

Research output: Contribution to journalArticle

24 Citations (Scopus)

Validation code generation for unexpected user operation on Web user interface

Ogata, S. & Matsuura, S., 2011 Oct 26, 2011 International Conference on Communications, Computing and Control Applications, CCCA 2011. 6031236. (2011 International Conference on Communications, Computing and Control Applications, CCCA 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Verification of embedded system by a method for detecting defects in source codes using model checking

Aoki, Y. & Matsuura, S., 2011 Sep 1, ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics. p. 530-535 6 p. 5958972. (ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

xNumerical analysis of buffer-trap effects on gate lag in AlGaN/GaN high electron mobility transistors

Nakajima, A., Fujii, K. & Horio, K., 2011 Oct 1, In : Japanese Journal of Applied Physics. 50, 10 PART 1

Research output: Contribution to journalArticle

14 Citations (Scopus)

X-ray and near-infrared observations of GX 339-4 in the low/hard state with Suzaku and IRSF

Shidatsu, M., Ueda, Y., Tazaki, F., Yoshikawa, T., Nagayama, T., Nagata, T., Oi, N., Yamaoka, K., Takahashi, H., Kubota, A., Cottam, J., Remillard, R. & Negoro, H., 2011 Nov 25, In : Publications of the Astronomical Society of Japan. 63, SPEC. ISSUE 3, p. S785-S801

Research output: Contribution to journalArticle

Open Access
45 Citations (Scopus)
2010

Adaptive control for systems preceded by hysteresis represented by Preisach model

Chen, X., 2010, IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, ALCOSP 2010 - Proceedings. PART 1 ed. IFAC Secretariat, p. 13-18 6 p. (IFAC Proceedings Volumes (IFAC-PapersOnline); vol. 1, no. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adaptive control for uncertain continuous-time systems using implicit inversion of Prandtl-Ishlinskii hysteresis representation

Chen, X., Hisayama, T. & Su, C. Y., 2010 Oct 1, In : IEEE Transactions on Automatic Control. 55, 10, p. 2357-2363 7 p., 5491113.

Research output: Contribution to journalArticle

61 Citations (Scopus)

Adaptive high precision control for piezo-actuated nano-positioner

Ozaki, T. & Chen, X., 2010 Nov 30, 2010 IEEE International Symposium on Intelligent Control, ISIC 2010. p. 2278-2283 6 p. 5612884. (IEEE International Symposium on Intelligent Control - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution