• Japan

研究成果

フィルター
Conference contribution
Conference contribution

A fixpoint logic and dependent effects for temporal property verification

Nanjo, Y., Unno, H., Koskinen, E. & Terauchi, T., 2018 7 9, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., 巻 Part F138033. p. 759-768 10 p.

研究成果: Conference contribution

5 引用 (Scopus)

A flexible protocol composition for multi-party coordination protocols in multi-agent systems

Takahashi, R., Tei, K., Fukazawa, Y., Ishikawa, F. & Honiden, S., 2008 8 15, 6th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2008. p. 609-614 6 p. 4517464. (6th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2008).

研究成果: Conference contribution

A flexible surgical tool localization using a 3D ultrasound calibration system for fetoscopic tracheal occlusion (FETO)

Xu, R., Ohya, J., Zhang, B., Sato, Y. & Fujie, M. G., 2013 1 1, Clinical Image-Based Procedures: From Planning to Intervention - International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Revised Selected Papers. Springer Verlag, p. 17-24 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 7761 LNCS).

研究成果: Conference contribution

A flexible tour route planning problem with time-depndent parameters considering rescheduling based on current conditions

Hasuike, T., Katagiri, H., Tsubaki, H. & Tsuda, H., 2013 12 1, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. p. 2091-2096 6 p. 6722111. (Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013).

研究成果: Conference contribution

4 引用 (Scopus)

A floorplan-aware high-level synthesis algorithm for multiplexer reduction targeting FPGA designs

Fujiwara, K., Abe, S., Kawamura, K., Yanagisawa, M. & Togawa, N., 2015 2 5, 2014 IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2014. February 版 Institute of Electrical and Electronics Engineers Inc., p. 244-247 4 p. 7032765. (IEEE Asia-Pacific Conference on Circuits and Systems, Proceedings, APCCAS; 巻数 2015-February, 番号 February).

研究成果: Conference contribution

1 引用 (Scopus)

A floorplan-aware high-level synthesis technique with delay-variation tolerance

Kawamura, K., Hagio, Y., Shi, Y. & Togawa, N., 2015 9 30, Proceedings of the 2015 IEEE International Conference on Electron Devices and Solid-State Circuits, EDSSC 2015. Institute of Electrical and Electronics Engineers Inc., p. 122-125 4 p. 7285065

研究成果: Conference contribution

2 引用 (Scopus)

A floorplan-driven high-level synthesis algorithm with multiple-operation chainings based on path enumeration

Terada, K., Yanagisawa, M. & Togawa, N., 2015 7 27, Proceedings - IEEE International Symposium on Circuits and Systems. Institute of Electrical and Electronics Engineers Inc., 巻 2015-July. p. 2129-2132 4 p. 7169100

研究成果: Conference contribution

1 引用 (Scopus)

A floorplan-driven high-level synthesis algorithm with operation chainings using chaining enumeration

Teradat, K., Yanagisawa, M. & Togawa, N., 2015 2 5, 2014 IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2014. February 版 Institute of Electrical and Electronics Engineers Inc., p. 248-251 4 p. 7032766. (IEEE Asia-Pacific Conference on Circuits and Systems, Proceedings, APCCAS; 巻数 2015-February, 番号 February).

研究成果: Conference contribution

1 引用 (Scopus)

A flowable service model for seamless integration of services

Zhu, Y., Shtykh, R. Y., Jin, Q. & Ma, J., 2009 12 1, Proceedings of the IASTED International Conference on Advances in Computer Science and Engineering, ACSE 2009. p. 199-204 6 p. (Proceedings of the IASTED International Conference on Advances in Computer Science and Engineering, ACSE 2009).

研究成果: Conference contribution

6 引用 (Scopus)

A flow analysis for mining traffic anomalies

Kanda, Y., Fukuda, K. & Sugawara, T., 2010 8 13, 2010 IEEE International Conference on Communications, ICC 2010. 5502463. (IEEE International Conference on Communications).

研究成果: Conference contribution

11 引用 (Scopus)

A Formal Analysis of Timing Channel Security via Bucketing

Terauchi, T. & Antonopoulos, T., 2019 1 1, Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Nielson, F. & Sands, D. (版). Springer-Verlag, p. 29-50 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11426 LNCS).

研究成果: Conference contribution

公開

A FORTRAN compiling method for dataflow machines and its prototype compiler for the parallel processing system -Harray-

Yasue, T., Yamana, H. & Muraoka, Y., 1993 1 1, Languages and Compilers for Parallel Computing - 5th International Workshop, Proceedings. Springer-Verlag, p. 482-496 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 757 LNCS).

研究成果: Conference contribution

A four-limbed disaster-response robot having high mobility capabilities in extreme environments

Hashimoto, K., Matsuzawa, T., Teramachi, T., Uryu, K., Sun, X., Hamamoto, S., Koizumi, A. & Takanishi, A., 2017 12 13, IROS 2017 - IEEE/RSJ International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers Inc., 巻 2017-September. p. 5398-5405 8 p. 8206436

研究成果: Conference contribution

4 引用 (Scopus)

A four-participant group facilitation framework for conversational robots

Matsuyama, Y., Akiba, I., Saito, A. & Kobayashi, T., 2013, SIGDIAL 2013 - 14th Annual Meeting of the Special Interest Group on Discourse and Dialogue, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 284-293 10 p.

研究成果: Conference contribution

A framework for connecting home computing middleware

Tokunaga, E., Ishikawa, H., Kurahashi, M., Morimoto, Y. & Nakajima, T., 2002, Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002. Institute of Electrical and Electronics Engineers Inc., 巻 2002-January. p. 765-770 6 p. 1030860

研究成果: Conference contribution

25 引用 (Scopus)

A framework for measuring and evaluating program source code quality

Washizaki, H., Namiki, R., Fukuoka, T., Harada, Y. & Watanabe, H., 2007 10 15, Product-Focused Software Process Improvement - 8th International Conference, PROFES 2007, Proceedings. p. 284-299 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 4589 LNCS).

研究成果: Conference contribution

20 引用 (Scopus)

A framework for navigating human behavior through gameful digital rhetoric

Sakamoto, M. & Nakajima, T., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 巻 9189. p. 97-108 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9189).

研究成果: Conference contribution

A framework for perceptual functions of symbiotic computing

Konno, S., Manabe, Y., Fujita, S., Sugawara, K., Kinoshita, T. & Shiratori, N., 2008, Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. p. 501-504 4 p. 4740829

研究成果: Conference contribution

2 引用 (Scopus)

A framework for self-healing device drivers

Ishikawa, H., Courbot, A. & Nakajima, T., 2008 12 30, Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008. p. 277-286 10 p. 4663431. (Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008).

研究成果: Conference contribution

8 引用 (Scopus)

A framework for self-verification of firmwareupdates over the air in vehicle ecus

Nilsson, D. K., Sun, L. & Nakajima, T., 2008 12 1, 2008 IEEE Globecom Workshops, GLOBECOM 2008. 4746641. (2008 IEEE Globecom Workshops, GLOBECOM 2008).

研究成果: Conference contribution

25 引用 (Scopus)

A framework of organic streams: Integrating dynamically diversified contents into ubiquitous personal study

Chen, H., Zhou, X., Man, H., Wu, Y., Ahmed, A. U. & Jin, Q., 2010 12 1, Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010. p. 386-391 6 p. 5667166. (Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010).

研究成果: Conference contribution

6 引用 (Scopus)

A framework of personal data analytics for well-being oriented life support

Kasuya, S., Zhou, X., Nishimura, S. & Jin, Q., 2016, Lecture Notes in Electrical Engineering. Springer Verlag, 巻 354. p. 443-449 7 p. (Lecture Notes in Electrical Engineering; 巻数 354).

研究成果: Conference contribution

2 引用 (Scopus)

A framework of roadmap for implementation of 3R technology in Asia

Shimizu, K. & Owada, S., 2015, EARTH 2015 - Proceedings of the 13th International Symposium on East Asian Resources Recycling Technology. International Symposium on East Asian Resources Recycling Technology, p. 249-258 10 p.

研究成果: Conference contribution

A framework of route recommendation system for sightseeing from subjective and objective evaluation of tourism data

Hasuike, T., Katagiri, H. & Tsuda, H., 2016 8 31, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Institute of Electrical and Electronics Engineers Inc., p. 801-806 6 p. 7557721

研究成果: Conference contribution

1 引用 (Scopus)

A framework of social interaction support for ubiquitous learning

Zhang, G., Jin, Q. & Lin, M., 2005 12 1, Proceedings - 19th International Conference on Advanced Information Networking and Applications, AINA 2005. p. 639-643 5 p. 1423767. (Proceedings - International Conference on Advanced Information Networking and Applications, AINA; 巻数 2).

研究成果: Conference contribution

39 引用 (Scopus)

A framework of state identification for operational support based on task-phase and attentional-condition identification

Kamezaki, M., Iwata, H. & Sugano, S., 2010 8 26, 2010 IEEE International Conference on Robotics and Automation, ICRA 2010. p. 1267-1272 6 p. 5509513. (Proceedings - IEEE International Conference on Robotics and Automation).

研究成果: Conference contribution

6 引用 (Scopus)

After-fracture redundancy analysis of an aged truss bridge in Japan

Yoda, T., Ge, H., Lin, W., Kasano, H., Nogami, K., Murakoshi, J., Enomoto, T. & Tashiro, D., 2015, Life-Cycle of Structural Systems: Design, Assessment, Maintenance and Management - Proceedings of the 4th International Symposium on Life-Cycle Civil Engineering, IALCCE 2014. CRC Press/Balkema, p. 715-721 7 p.

研究成果: Conference contribution

A fully integrated approach for screening of well completion and stimulation methods in low permeability, heterogeneously distributed sandstone reservoirs in the deepwater slope channel, Kita-Akita oil field, Northern Japan

Ueda, K., Ono, K., Fuse, K., Nonoue, A., Furui, K., Mustapha, H., Tsusaka, K., Furuta, K., Rodriguez-Herrera, A., Makimura, D., Manai, T. & Ito, T., 2018 1 1, Society of Petroleum Engineers - SPE Asia Pacific Oil and Gas Conference and Exhibition 2018, APOGCE 2018. Society of Petroleum Engineers, (Society of Petroleum Engineers - SPE Asia Pacific Oil and Gas Conference and Exhibition 2018, APOGCE 2018).

研究成果: Conference contribution

1 引用 (Scopus)

A function clustering algorithm for resource utilization in service function chaining

Kanemitsu, H., Kanai, K., Katto, J. & Nakazato, H., 2019 7 1, Proceedings - 2019 IEEE International Conference on Cloud Computing, CLOUD 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Goul, M. & Oyama, K. (版). IEEE Computer Society, p. 193-195 3 p. 8814541. (IEEE International Conference on Cloud Computing, CLOUD; 巻数 2019-July).

研究成果: Conference contribution

A gain scheduling model of temperature compensation for circadian rhythm of cyanobacteria

Shimada, M. & Uchida, K., 2013, 2013 9th Asian Control Conference, ASCC 2013. 6606018

研究成果: Conference contribution

A game-Theoretical green networking approach for information-centric networks

Nguyen, N. Q., Yu, K., Sato, T. & Arifuzzaman, M., 2017 10 27, 2017 IEEE Conference on Standards for Communications and Networking, CSCN 2017. Institute of Electrical and Electronics Engineers Inc., p. 132-137 6 p. 8088611

研究成果: Conference contribution

6 引用 (Scopus)

A game theory based power control algorithm for future MTC NOMA networks

Kang, K., Pan, Z., Liu, J. & Shimamoto, S., 2017 7 17, 2017 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017. Institute of Electrical and Electronics Engineers Inc., p. 203-208 6 p. 7983106

研究成果: Conference contribution

9 引用 (Scopus)

A gamified tool for motivating developers to remove warnings of bug pattern tools

Arai, S., Sakamoto, K., Washizaki, H. & Fukazawa, Y., 2014 12 4, Proceedings - 2014 6th International Workshop on Empirical Software Engineering in Practice, IWESEP 2014. Institute of Electrical and Electronics Engineers Inc., p. 37-42 6 p. 6976020. (Proceedings - 2014 6th International Workshop on Empirical Software Engineering in Practice, IWESEP 2014).

研究成果: Conference contribution

23 引用 (Scopus)

A generalization of independence in naive bayes model

Fujimoto, Y. & Murata, N., 2010 11 8, Intelligent Data Engineering and Automated Learning, IDEAL 2010 - 11th International Conference, Proceedings. p. 153-161 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 6283 LNCS).

研究成果: Conference contribution

8 引用 (Scopus)

A generalized file replication scheme with diffusion-based storage load balancing function in unstructured P2P file-sharing networks

Takaoka, M., Uchida, M. & Oie, Y., 2010 12 1, Proceedings - 2nd International Conference on Intelligent Networking and Collaborative Systems, INCOS 2010. p. 350-355 6 p. 5702124. (Proceedings - 2nd International Conference on Intelligent Networking and Collaborative Systems, INCOS 2010).

研究成果: Conference contribution

A generalized product rule and weak independence based on Bregman divergence

Yu, F. & Noboru, M., 2008 12 1, WMSCI 2008 - The 12th World Multi-Conference on Systemics, Cybernetics and Informatics, Jointly with the 14th International Conference on Information Systems Analysis and Synthesis, ISAS 2008 - Proc.. p. 248-253 6 p. (WMSCI 2008 - The 12th World Multi-Conference on Systemics, Cybernetics and Informatics, Jointly with the 14th International Conference on Information Systems Analysis and Synthesis, ISAS 2008 - Proc.; 巻数 5).

研究成果: Conference contribution

A generalized software reliability model considering uncertainty and dynamics in development

Honda, K., Washizaki, H. & Fukazawa, Y., 2013 10 8, Product-Focused Software Process Improvement - 14th International Conference, PROFES 2013, Proceedings. p. 342-346 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 7983 LNCS).

研究成果: Conference contribution

6 引用 (Scopus)

A generation method for arbitrary patterned pulse train in the THz region by spectral synthesis of optical combs

Morohashi, I., Sakamoto, T., Kawanishi, T. & Hosako, I., 2013 10 18, 2013 Conference on Lasers and Electro-Optics Pacific Rim, CLEO-PR 2013. 6600531. (Pacific Rim Conference on Lasers and Electro-Optics, CLEO - Technical Digest).

研究成果: Conference contribution

Agent-based analysis for design of signage systems in large-scale facilities

Utsumi, S., Takahashi, S., Ohori, K. & Anai, H., 2016 2 16, 2015 Winter Simulation Conference, WSC 2015. Institute of Electrical and Electronics Engineers Inc., p. 3134-3135 2 p. 7408436. (Proceedings - Winter Simulation Conference; 巻数 2016-February).

研究成果: Conference contribution

2 引用 (Scopus)

Agent-based organizational cybernetic approach to organizational learning

Takahashi, S., 2006 12 1, 2006 SICE-ICASE International Joint Conference. p. 4591-4595 5 p. 4108487. (2006 SICE-ICASE International Joint Conference).

研究成果: Conference contribution

6 引用 (Scopus)

Agent-based simulation analysis for security planning based on structures of urban road networks

Goto, A., Takahashi, S., Ohori, K., Yamane, S., Iwashita, H. & Anai, H., 2016 7 2, 2016 Winter Simulation Conference: Simulating Complex Service Systems, WSC 2016. Roeder, T. M., Frazier, P. I., Szechtman, R. & Zhou, E. (版). Institute of Electrical and Electronics Engineers Inc., p. 3720-3721 2 p. 7822417. (Proceedings - Winter Simulation Conference; 巻数 0).

研究成果: Conference contribution

Agent-based simulation for evaluating signage system in large public facility focusing on information message and location arrangement

Shimada, E., Yamane, S., Ohori, K., Yamada, H. & Takahashi, S., 2018 1 1, New Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Revised Selected Papers. Springer-Verlag, p. 67-82 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10838 LNAI).

研究成果: Conference contribution

Agent based simulation for evaluation of signage system considering expression form in airport passenger terminals and other large facilities

Shimada, E., Yamane, S., Ohori, K., Yamada, H. & Takahashi, S., 2018 1 1, PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, 2018, Proceedings. Oren, N., Sakurai, Y., Noda, I., Cao Son, T., Miller, T. & Savarimuthu, B. T. (版). Springer-Verlag, p. 621-629 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11224 LNAI).

研究成果: Conference contribution

1 引用 (Scopus)

Agent-based simulation model of electricity market with stochastic unit commitment

Watanabe, I., Yamaguchi, N., Shiina, T. & Kurihara, I., 2004 12 1, 2004 International Conference on Probabilistic Methods Applied to Power Systems. p. 403-408 6 p. (2004 International Conference on Probabilistic Methods Applied to Power Systems).

研究成果: Conference contribution

11 引用 (Scopus)

Agents support for flexible Inter-AS policy control

Akashi, O., Hirotsu, T., Sato, K., Kourai, K., Maruyama, M. & Sugawara, T., 2003 1 1, Proceedings - 2003 Symposium on Applications and the Internet Workshops, SAINT 2003. Institute of Electrical and Electronics Engineers Inc., p. 294-298 5 p. 1210175. (Proceedings - 2003 Symposium on Applications and the Internet Workshops, SAINT 2003).

研究成果: Conference contribution

2 引用 (Scopus)

A geometric approach to constraint stabilization for holonomic lagrangian systems

Yoshimura, H., 2008 6 17, 2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC2007. p. 659-666 8 p. (2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC2007; 巻数 5 PART A).

研究成果: Conference contribution

3 引用 (Scopus)

Agile wideband light source for optical coherence tomography using optical SSB frequency sweep technique

Yamamoto, T., Kohno, R., Chiba, A., Sakamoto, T. & Kawanishi, T., 2007 12 1, 2007 Digest of the IEEE/LEOS Summer Topical Meetings. p. 137-138 2 p. 4288370. (LEOS Summer Topical Meeting).

研究成果: Conference contribution

4 引用 (Scopus)

Aging mechanism of silicone rubber by heat and gamma-rays

Ohki, Y., Hanada, S., Miyamoto, M., Hirai, N. & Yang, L., 2016 12 15, 2016 IEEE Conference on Electrical Insulation and Dielectric Phenomena, CEIDP 2016. Institute of Electrical and Electronics Engineers Inc., 巻 2016-December. p. 869-872 4 p. 7785487

研究成果: Conference contribution

6 引用 (Scopus)

Aging State Analysis of Safety-related Cables for Nuclear Power Plants Exposed to Simulated Accident Conditions

Minakawa, T., Ikeda, M., Hirai, N. & Ohki, Y., 2018 11 26, 2018 IEEE CEIDP Conference on Electrical Insulation and Dielectric Phenomena, CEIDP 2018. Institute of Electrical and Electronics Engineers Inc., 巻 2018-October. p. 602-605 4 p. 8544872

研究成果: Conference contribution

1 引用 (Scopus)

A GMM sound source model for blind speech separation in under-determined conditions

Hirasawa, Y., Yasuraoka, N., Takahashi, T., Ogata, T. & Okuno, H. G., 2012 2 27, Latent Variable Analysis and Signal Separation - 10th International Conference, LVA/ICA 2012, Proceedings. p. 446-453 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 7191 LNCS).

研究成果: Conference contribution

2 引用 (Scopus)