Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters
Conference contribution

Proof simplification for model generation and its applications

Koshimura, M. & Hasegawa, R., Jan 1 2000, Logic for Programming and Automated Reasoning - 7th International Conference, LPAR 2000, Proceedings. Voronkov, A. & Parigot, M. (eds.). Springer Verlag, p. 96-113 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1955).

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

4 Citations (Scopus)

Propagating mode analysis and field reconstruction in the corrugated waveguides of a high power electron cyclotron heating system

Shimozuma, T., Idei, H., Shapiro, M. A., Temkin, R. J., Kubo, S., Yoshimura, Y., Igami, H., Takahashi, H., Notake, T., Ito, S., Kobayashi, S., Mizuno, Y., Takita, Y. & Mutoh, T., Dec 31 2008, 33rd International Conference on Infrared and Millimeter Waves and the 16th International Conference on Terahertz Electronics, 2008, IRMMW-THz 2008. 4665825. (33rd International Conference on Infrared and Millimeter Waves and the 16th International Conference on Terahertz Electronics, 2008, IRMMW-THz 2008).

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

2 Citations (Scopus)

Propagation Mode Retention Using Strongly Coupled Multi-Core Fiber

Nasef, M., Fujimoto, K., Jiang, H. & Hamamoto, K., Jul 2019, OECC/PSC 2019 - 24th OptoElectronics and Communications Conference/International Conference Photonics in Switching and Computing 2019. Institute of Electrical and Electronics Engineers Inc., 8817726. (OECC/PSC 2019 - 24th OptoElectronics and Communications Conference/International Conference Photonics in Switching and Computing 2019).

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

Propagation of chaos for the two-dimensional Navier-Stokes equation

Osada, H., 1987, Probabilistic methods in mathematical physics (Katata/Kyoto, 1985). Boston: Academic Press Inc., p. 303-334 32 p.

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

Propagation of multiple short length-scale stall cells in an axial compressor rotor

Inoue, M., Kuroumaru, M., Tanino, T. & Furukawa, M., Jan 1 1999, Aircraft Engine; Marine; Turbomachinery; Microturbines and Small Turbomachinery. American Society of Mechanical Engineers (ASME), (Proceedings of the ASME Turbo Expo; vol. 1).

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

4 Citations (Scopus)

Propagation of new Tabebuia heptaphylla (lapacho) clones through grafting method: Rootstock Influence

Facciuto, G., Soto, S., Mata, D., Hagiwara, J. C., Miyajima, I. & Kobayashi, N., Jan 1 2005, V International Symposium on New Floricultural Crops. International Society for Horticultural Science, p. 129-132 4 p. (Acta Horticulturae; vol. 683).

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

1 Citation (Scopus)

Proper design of leachate collection pipe in semi-aerobic landfill by two dimensional simulation

Shi, X., Shimaoka, T., Komiya, T. & Li, J. H., Feb 20 2014, Selected Proceedings of the 8th International Conference on Waste Management and Technology. p. 308-314 7 p. (Advanced Materials Research; vol. 878).

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

1 Citation (Scopus)

Proper learning algorithm for functions of κ terms under smooth distributions

Sakai, Y., Takimoto, E. & Maruoka, A., Jul 5 1995, Proceedings of the 8th Annual Conference on Computational Learning Theory, COLT 1995. Association for Computing Machinery, Inc, p. 206-213 8 p. (Proceedings of the 8th Annual Conference on Computational Learning Theory, COLT 1995; vol. 1995-January).

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

7 Citations (Scopus)

Proper orthogonal decomposition based parallel compression for visualizing big data on the K computer

Bi, C., Ono, K., Ma, K. L., Wu, H. & Imamura, T., Jan 1 2013, IEEE Symposium on Large Data Analysis and Visualization 2013, LDAV 2013 - Proceedings. IEEE Computer Society, p. 121-122 2 p. 6675169

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

6 Citations (Scopus)

Properties of nano-crystalline silicon films for top solar cells

Iwasita, S., Inoue, T., Koga, K., Shiratani, M., Nunomura, S. & Kondo, M., Jan 1 2006, Conference Record of the 2006 IEEE 4th World Conference on Photovoltaic Energy Conversion, WCPEC-4. IEEE Computer Society, p. 1664-1667 4 p. 4059975. (Conference Record of the 2006 IEEE 4th World Conference on Photovoltaic Energy Conversion, WCPEC-4; vol. 2).

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

PROPERTIES OF POWDER METALLURGY PROCESSED Nb//3Sn SUPERCONDUCTING WIRES.

Yamafuji, K., Iwakuma, M., Sumiyoshi, F., Ogawa, R., Miyatake, T. & Matsumoto, K., Dec 1 1985, Unknown Host Publication Title. Swiss Inst for Nuclear Research, p. 468-471 4 p.

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

1 Citation (Scopus)

Properties of signal caused by the Cracks on the back surface of steel plate in low frequency eddy current testing

Tanaka, R., Sasayama, T., Matsuo, M. & Enpuku, K., Aug 10 2017, 2017 IEEE International Magnetics Conference, INTERMAG 2017. Institute of Electrical and Electronics Engineers Inc., 8007648. (2017 IEEE International Magnetics Conference, INTERMAG 2017).

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

Properties of sintered compacts and heat-treated compacts after sintering made of low Cr prealloyed steel powder

Maetani, T., Unami, S., Ozaki, Y. & Yamanishi, Y., Jan 1 2013, International Powder Metallurgy Congress and Exhibition, Euro PM 2013. European Powder Metallurgy Association (EPMA), (International Powder Metallurgy Congress and Exhibition, Euro PM 2013).

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

Properties of sintered compacts made of Ni-free pre-mixed powder based on low Mo prealloyed steel powder

Unami, S., Ozaki, Y. & Ono, T., Jan 1 2010, Proceedings of the World Powder Metallurgy Congress and Exhibition, World PM 2010. European Powder Metallurgy Association (EPMA), (Proceedings of the World Powder Metallurgy Congress and Exhibition, World PM 2010; vol. 3).

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

Properties of yttrium-doped barium zirconate (BZY)-hematite mixed ionic-electronic conductor

Yuan, Y., Kikuchi, R., Takagaki, A. & Oyama, S. T., May 30 2017, ECS Transactions. Kawada, T. & Singhal, S. C. (eds.). 1 ed. Electrochemical Society Inc., p. 451-459 9 p. (ECS Transactions; vol. 78, no. 1).

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

2 Citations (Scopus)

Property of backfilling injection into tail void including lubricant behavior for pipe jacking

Senda, T., Shimada, H., Sasaoka, T., Matsui, K., Fujita, S., Hamanaka, A. & Yoshida, Y., Dec 1 2012, 30th International No-Dig Conference and Exhibition 2012, No-Dig Sao Paulo 2012. p. 162-171 10 p. (30th International No-Dig Conference and Exhibition 2012, No-Dig Sao Paulo 2012).

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

Property of flyash surfactant injection into overcutting area as lubricant for slurry pipe jacking

Shimada, H., Yoshida, Y., Sasaoka, T., Matsui, K., Fujita, S., Kawai, T. & Iino, M., 2009, NASTT/ISTT International No-Dig Conference and Show 2009, including the Annual Technical Conference of North American Society for Trenchless Technology, No-Dig 2009. Vol. 2. p. 1110-1120 11 p.

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

Proposal and evaluation of a security incident response training method using programming

Nagai, K., Koide, H. & Sakurai, K., Sep 26 2019, SIGITE 2019 - Proceedings of the 20th Annual Conference on Information Technology Education. Association for Computing Machinery, Inc, 1 p. (SIGITE 2019 - Proceedings of the 20th Annual Conference on Information Technology Education).

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

Open Access

Proposal and implementation of an elderly-oriented user interface for learning support systems

Lu, M., Tamura, K., Okamoto, T., Oi, M., Shimada, A., Hatano, K., Yamada, M. & Konomi, S., Jun 24 2019, Proceedings of the 6th 2019 ACM Conference on Learning at Scale, L@S 2019. Association for Computing Machinery, Inc, (Proceedings of the 6th 2019 ACM Conference on Learning at Scale, L@S 2019).

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

Proposal and implementation of encounter data transmission with ultrasonic sensor-based active wakeup mechanism for energy efficient sparse wireless sensor network

Nakano, T., Arakawa, Y., Tagashira, S., Fukuda, A. & Dhaou, R., 2013, Proceedings - 27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013. p. 393-400 8 p. 6550428. (Proceedings - 27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013).

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

1 Citation (Scopus)

Proposal and theoretical evaluation of the active shield with self-tunable loop-current array

Goleman, K. & Sasada, I., 2005, INTERMAG ASIA 2005: Digests of the IEEE International Magnetics Conference. p. 770 1 p. (INTERMAG ASIA 2005: Digests of the IEEE International Magnetics Conference).

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

Proposal for home energy management system to survey individual thermal comfort range for HVAC control with little contribution from users

Fukuta, M., Matsui, K., Ito, M. & Nishi, H., Sep 28 2015, Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015. Institute of Electrical and Electronics Engineers Inc., p. 658-663 6 p. 7281813. (Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015).

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

13 Citations (Scopus)

Proposal for using underground mine and geothermal resources for sustainable communities

Koizumi, Y. & Nakagawa, M., Jan 1 2014, ISRM International Symposium - 8th Asian Rock Mechanics Symposium, ARMS 2014. International Society for Rock Mechanics, p. 2616-2625 10 p.

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

Proposal of 128ch coupled multi-core fiber configuration using coil-shape (MCF)

Shota, O., Jiang, H. & Hamamoto, K., Feb 23 2016, MOC 2015 - Technical Digest of 20th Microoptics Conference. Institute of Electrical and Electronics Engineers Inc., 7416520. (MOC 2015 - Technical Digest of 20th Microoptics Conference).

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

Proposal of 1xN Optical Mode Switch Based on Spatial Single Dimensional Mode

Ogawa, S., Jiang, H. & Hamamoto, K., Jul 2019, OECC/PSC 2019 - 24th OptoElectronics and Communications Conference/International Conference Photonics in Switching and Computing 2019. Institute of Electrical and Electronics Engineers Inc., 8817796. (OECC/PSC 2019 - 24th OptoElectronics and Communications Conference/International Conference Photonics in Switching and Computing 2019).

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

Proposal of a matching system for companies and researchers using patents and scientific papers

Yamada, Y., Tansho, T. & Hirokawa, S., Dec 16 2013, Proceedings - 2nd IIAI International Conference on Advanced Applied Informatics, IIAI-AAI 2013. p. 397-398 2 p. 6630381

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

3 Citations (Scopus)

Proposal of a support system for device driver generation

Katayama, T., Saisho, K. & Fukuda, A., Jan 1 1999, Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999. Institute of Electrical and Electronics Engineers Inc., p. 494-497 4 p. 809641. (Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999).

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

4 Citations (Scopus)

Proposal of cleanliness evaluation method of CMP pad, and investigation of cleaning effect by the high-pressure jet

Kitamura, M., Kurokawa, S., Tokumoto, Y., Hayashi, T., Hiyama, H., Wada, Y. & Takatoh, C., Feb 17 2016, 2015 International Conference on Planarization/CMP Technology, ICPT 2015. Institute of Electrical and Electronics Engineers Inc., 7411952. (2015 International Conference on Planarization/CMP Technology, ICPT 2015).

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

1 Citation (Scopus)

Proposal of cost-efficient and low-complexity platform for software defined visible light communication

Che, M., Kuboki, T. & Kato, K., Nov 19 2017, 22nd Microoptics Conference, MOC 2017. Institute of Electrical and Electronics Engineers Inc., p. 330-331 2 p. (22nd Microoptics Conference, MOC 2017; vol. 2017-November).

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

Proposal of estimation method for notched specimen fatigue limit of commercially pure titanium

Fujii, T., Hamada, S. & Noguchi, H., 2008, 17th European Conference on Fracture 2008: Multilevel Approach to Fracture of Materials, Components and Structures. Vol. 2. p. 937-944 8 p.

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

Proposal of F-F-objective optimization for many objectives and its evaluation with a 0/1 knapsack problem

Inoue, M. & Takagi, H., 2010, Proceedings - 2010 2nd World Congress on Nature and Biologically Inspired Computing, NaBIC 2010. p. 520-525 6 p. 5716333. (Proceedings - 2010 2nd World Congress on Nature and Biologically Inspired Computing, NaBIC 2010).

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

1 Citation (Scopus)

Proposal of flexible interface technology for multidomain/multivendor network management

Otsuka, Y., Kimura, T., Miyoshi, Y., Nakatsuji, M. & Fukuda, A., 2006, 2006 Asia-Pacific Conference on Communications, APCC. 4023019. (2006 Asia-Pacific Conference on Communications, APCC).

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

Proposal of multiple slot silica high-mesa waveguide for infrared absorption

Chen, J., Hokazono, H., Tsujino, M., Nakashima, D. & Hamamoto, K., 2013, Technical Digest of the 18th Microoptics Conference, MOC 2013. 6715134. (Technical Digest of the 18th Microoptics Conference, MOC 2013).

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

Proposal of multi-value cell structure for high-density two-dimensional codes and evaluation of readability using smartphones

Teraura, N. & Sakurai, K., Sep 14 2015, 2015 7th International Conference on New Technologies, Mobility and Security - Proceedings of NTMS 2015 Conference and Workshops. Institute of Electrical and Electronics Engineers Inc., 7266514

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

4 Citations (Scopus)

Proposal of novel optical mode demultiplexer based on angled-multimode interference (a-MMI) waveguide

Jiang, H., Oiwane, T. & Hamamoto, K., Feb 23 2016, MOC 2015 - Technical Digest of 20th Microoptics Conference. Institute of Electrical and Electronics Engineers Inc., 7416457. (MOC 2015 - Technical Digest of 20th Microoptics Conference).

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

Proposal of novel strip high-mesa waveguide for infrared absorption sensing

Nakashima, D. & Hamamoto, K., 2011, Conference Program - MOC'11: 17th Microoptics Conference. 6110345. (Conference Program - MOC'11: 17th Microoptics Conference).

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

Proposal of optical mode switch configuration for four modes

Takakura, R., Fujino, A., Tanaka, T. & Hamamoto, K., 2013, Technical Digest of the 18th Microoptics Conference, MOC 2013. 6715086. (Technical Digest of the 18th Microoptics Conference, MOC 2013).

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

Proposal of seam degree and content similarity for web page segmentation

Zeng, J., Flanagan, B., Xiong, Q., Wen, J. & Hirokawa, S., 2013, Proceedings - 2nd IIAI International Conference on Advanced Applied Informatics, IIAI-AAI 2013. p. 9-14 6 p. 6630309. (Proceedings - 2nd IIAI International Conference on Advanced Applied Informatics, IIAI-AAI 2013).

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

Proposal of separate channel fingerprinting using bluetooth low energy

Ishida, S., Takashima, Y., Tagashira, S. & Fukuda, A., Aug 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Hiramatsu, A., Matsuo, T., Kanzaki, A. & Komoda, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 230-233 4 p. 7557608. (Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016).

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

12 Citations (Scopus)

Proposal of the hierarchical file server groups for implementing mandatory access control

Sakuraba, T. & Sakurai, K., Oct 26 2012, Proceedings - 6th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012. p. 639-644 6 p. 6296929. (Proceedings - 6th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012).

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

1 Citation (Scopus)

Proposal of the next incarnation of accelerator test facility at kek for the international linear collider

Araki, S., Hayano, H., Higashi, Y., Honda, Y., Kanazawa, K., Kubo, K., Kume, T., Kuriki, M., Kuroda, S., Masuzawa, M., Naito, T., Okugi, T., Sugahara, R., Takahashi, T., Tauchi, T., Terunuma, N., Toge, N., Urakawa, J., Vogel, V., Yamaoka, H. & 67 others, Yokoya, K., Gao, J., Liu, W., Pei, G., Wang, J., Grishanov, B., Logachev, P., Podgorny, F., Telnov, V., Angal-Kalinin, D., Appleby, R., Jones, J., Kalinin, A., Napoly, O., Payet, J., Braun, H., Schulte, D., Zimmermann, F., Takahashi, T., Iwashita, Y., Mihara, T., Bambade, P., Gronberg, J., Kumada, M., Danagoulian, S., Mtingwa, S., Delerue, N., Howell, D., Reichold, A., Urner, D., Choi, J., Huang, J. Y., Kang, H. S., Kim, E. S., Kim, S., Ko, I. S., Burrows, P., Christian, G., Molloy, S., White, G., Agapov, I., Blair, G., Boorman, G., Carter, J., Driouichi, C., Price, M., Walker, N., Bane, K., Brachmann, A., Himel, T., Markiewicz, T., Nelson, J., Phinney, N., Pivi, M., Raubenheimer, T., Ross, M., Ruland, R., Seryi, A., Spencer, C., Tenenbaum, P., Woodley, M., Boogert, S., Liapine, A., Malton, S., Torrence, E., Sanuki, T. & Suehara, T., 2005, Proceedings of the Particle Accelerator Conference, PAC 2005. Institute of Electrical and Electronics Engineers Inc., p. 874-876 3 p. 1590594. (Proceedings of the IEEE Particle Accelerator Conference; vol. 2005).

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

Proposal of THz phase control system utilizing chromatic dispersion at optical device and its feasibility demonstration

Yamanaka, Y., Kuboki, T. & Kato, K., Nov 17 2017, 2017 Opto-Electronics and Communications Conference, OECC 2017 and Photonics Global Conference, PGC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-2 2 p. (2017 Opto-Electronics and Communications Conference, OECC 2017 and Photonics Global Conference, PGC 2017; vol. 2017-November).

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

Proposal of THz Phase Control System Utilizing Chromatic Dispersion at Optical Device and Its Feasibility Demonstration

Yamanaka, Y., Kuboki, T. & Kato, K., Aug 2017, CLEO-PR/OECC/PGC2017.

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

Proposal of waveguided PPLN SHG device with conversion efficiency modulator

Oki, Y., Onda, H., Ohnishi, K. & Okada, T., Jan 1 2005, 2005 Conference on Lasers and Electro-Optics, CLEO. Optical Society of America, p. 957-958 2 p. CTuS3. (2005 Conference on Lasers and Electro-Optics, CLEO; vol. 2).

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

1 Citation (Scopus)

Proposal of waveguided PPLN SHG device with conversion efficiency modulator

Oki, Y., Onda, H., Ohnishi, K. & Okada, T., 2005, Conference on Lasers and Electro-Optics, CLEO 2005. Optical Society of America

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

Proposal of waveguided PPLN SHG device with conversion efficiency modulator

Oki, Y., Onda, H., Ohnishi, K. & Okada, T., 2006, Conference on Lasers and Electro-Optics, CLEO 2006. Optical Society of America

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

Proposal of wireless peer-to-peer system using the wireless multi-hop network to access wireless hot spot

Shimada, H., Tagashira, S., Kitasuka, T., Nakanishi, T. & Fukuda, A., 2003, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2003. Arabnia, H. R., Mun, Y., Arabnia, H. R. & Mun, Y. (eds.). Vol. 2. p. 877-881 5 p.

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

1 Citation (Scopus)

Proposal on 3-D endoscope by using grid-based active stereo

Aoki, H., Furukawa, R., Aoyama, M., Hiura, S., Asada, N., Sagawa, R., Kawasaki, H., Tanaka, S., Yoshida, S. & Sanomura, Y., 2013, 2013 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2013. p. 5694-5697 4 p. 6610843. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS).

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

7 Citations (Scopus)

Proposed data audit system enhances use in accordance with the data owner's policy

Uchibayashi, T., Hiji, M., Suganuma, T., Hashi, Y. & Hidano, S., Jun 16 2017, Proceedings - 11th 2016 International Conference on Knowledge, Information and Creativity Support Systems, KICSS 2016. Institute of Electrical and Electronics Engineers Inc., 7951439. (Proceedings - 11th 2016 International Conference on Knowledge, Information and Creativity Support Systems, KICSS 2016).

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

1 Citation (Scopus)

Prospects of bitumen emulsification using polymeric surfactant for production and transportation: Synergistic effect of NaOH combination

Alade, O. S., Sasaki, K., Sugai, Y. & Ademoji, B., Sep 2016, Proceedings of 8th World Heavy Oil Congress (WHOC) (Calgary, Canada). p. 1-5 5 p.

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