Find Research outputs

Search results

• Conference contribution

  Uniform (111) textured Cu CVD on vacuum annealed Cu seed layer

  Ueno, K., Sekiguchi, A. & Kobayashi, A., 1998, Proceedings of the IEEE 1998 International Interconnect Technology Conference, IITC 1998. Institute of Electrical and Electronics Engineers Inc., p. 119-121 3 p. (Proceedings of the IEEE 1998 International Interconnect Technology Conference, IITC 1998; vol. 1998-June).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Uniform optical flow model by foveation effect for virtual cylindrical screen algorithm

  Shimizu, S. & Hashizume, T., 2009 Dec 1, ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings. p. 1121-1126 6 p. 5335010. (ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• UNISEC challenge: How can UNISEC contribute to capacity building in space science and technology?

  Kawashima, R., 2013, RAST 2013 - Proceedings of 6th International Conference on Recent Advances in Space Technologies. p. 1075-1079 5 p. 6581162. (RAST 2013 - Proceedings of 6th International Conference on Recent Advances in Space Technologies).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• UNISEC-Global challenge: How can UNISEC-Global contribute to long term sustainability of space activities?

  Kawashima, R., Nakasuka, S., Schilling, K., Miyazaki, Y. & Sweeting, S. M., 2015 Aug 17, RAST 2015 - Proceedings of 7th International Conference on Recent Advances in Space Technologies. Unal, M. F., Basturk, S., Kaynak, O., Hacioglu, A. & Ince, F. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 797-801 5 p. 7208449. (RAST 2015 - Proceedings of 7th International Conference on Recent Advances in Space Technologies).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Unit Traffic Classification by Two-stage Clustering on P2PTV Applications

  Ooka, R., Miyoshi, T., Yamazaki, T. & Silverston, T., 2021, 2021 IEEE International Conference on Consumer Electronics-Taiwan, ICCE-TW 2021. Institute of Electrical and Electronics Engineers Inc., (2021 IEEE International Conference on Consumer Electronics-Taiwan, ICCE-TW 2021).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Universal design with robots for the wide use of robots - Core concept for interaction design between robots and environment

  Matsuhira, N., Hirokawa, J., Ogawa, H. & Wada, T., 2009 Dec 1, ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings. p. 1654-1657 4 p. 5335039. (ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Unsupervised Body Hair Detection by Positive-Unlabeled Learning in Photoacoustic Image

  Kikkawa, R., Kajita, H., Imanishi, N., Aiso, S. & Bise, R., 2021, 43rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2021. Institute of Electrical and Electronics Engineers Inc., p. 3349-3352 4 p. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Unvoiced speech recognition using EMG - Mime Speech Recognition

  Manabe, H., Hiraiwa, A. & Sugimura, T., 2003 Dec 1, CHI'03 Extended Abstracts on Human Factors in Computing Systems, CHI EA'03. p. 794-795 2 p. (Conference on Human Factors in Computing Systems - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  60 Citations (Scopus)

• Urban Design in Architecture

  Maeda, H., 2013 Aug 26, Poster session, Design of Excellence. IASDR

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• URBAN RIVER MAPPING by BOAT-BASED MOBILE LASER SCANNING with PPP-RTK

  Naoto, K., Nakagawa, M., Kurita, K., Ozeki, T., Kubo, N., Shimizu, E. & Shibasaki, R., 2021, 42nd Asian Conference on Remote Sensing, ACRS 2021. Asian Association on Remote Sensing, (42nd Asian Conference on Remote Sensing, ACRS 2021).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Urgent information presentation using listed sign language

  Yonemura, S., Eitoku, S. & Shimokura, K., 2007, Universal Access in Human-Computer Interaction: Coping with Diversity - 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007. Held as Part of HCI Int. 2007 Proc.. PART 1 ed. Springer Verlag, p. 824-830 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4554 LNCS, no. PART 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access
  2 Citations (Scopus)

• Usability and design guideline for designing single handle faucet’s and handle shape

  Takagi, R., Hashida, N. & Takeuchi, H., 2019 Jan 1, Advances in Usability, User Experience and Assistive Technology - Proceedings of the AHFE 2018 International Conferences on Usability and User Experience and Human Factors and Assistive Technology, 2018. Falcao, C. & Ahram, T. Z. (eds.). Springer Verlag, p. 89-98 10 p. (Advances in Intelligent Systems and Computing; vol. 794).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Usability evaluation of newly developed three-dimensional input device for drone operation

  Ohkura, M., Sano, H. & Mochiyoshi, Y., 2017, Human–Computer Interaction: Interaction Contexts - 19th International Conference, HCI International 2017, Proceedings. Kurosu, M. (ed.). Springer Verlag, p. 499-511 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10272 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• USB memory size antenna for 2.4 GHz wireless LAN and UWB

  Sekine, K. & Iwasaki, H., 2008, Proceedings of the 38th European Microwave Conference, EuMC 2008. p. 1173-1176 4 p. 4751668. (Proceedings of the 38th European Microwave Conference, EuMC 2008).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 Citations (Scopus)

• USB memory size broadband monopole antenna for UWB

  Matsuzaki, K. & Iwasaki, H., 2007, 18th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC'07. 4394465. (IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Usefulness verification of handheld photoacoustic imaging system for evaluating hypodermal tissue

  Uchimoto, Y., Namita, T., Kondo, K., Yamakawa, M. & Shiina, T., 2019, Photons Plus Ultrasound: Imaging and Sensing 2019. Wang, L. V. & Oraevsky, A. A. (eds.). SPIE, 108786K. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 10878).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Use of the parallel and perpendicular characteristics of building shape for indoor map making and positioning

  Bando, S. & Yuta, S., 2010, IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010 - Conference Proceedings. p. 4318-4323 6 p. 5650220. (IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010 - Conference Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  5 Citations (Scopus)

• User Behavior Analysis of WPT Motivated Ad Hoc Networks

  Taniguchi, Y., Yamazaki, T., Miyoshi, T. & Asaka, T., 2020 Sep 28, 2020 IEEE International Conference on Consumer Electronics - Taiwan, ICCE-Taiwan 2020. Institute of Electrical and Electronics Engineers Inc., 9258090. (2020 IEEE International Conference on Consumer Electronics - Taiwan, ICCE-Taiwan 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• User-centric performance and cost analysis for selecting access networks in heterogeneous overlay systems

  Kafle, B. P., Kamioka, E. & Yamada, S., 2005, Management of Multimedia Networks and Services - 8th International Conference on Management of Multimedia Networks and Services, MMNS 2005, Proceedings. p. 277-288 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3754 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• User cooperation mechanism for temporal traffic smoothing in mobile networks

  Tanaka, Y., Shinkuma, R., Takahashi, E. & Onishi, T., 2016 Nov 21, 2016 17th International Telecommunications Network Strategy and Planning Symposium, Networks 2016 - Conference Proceedings. Gregoire, J-C., Dziong, Z. & Rak, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 227-232 6 p. 7751180. (2016 17th International Telecommunications Network Strategy and Planning Symposium, Networks 2016 - Conference Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• User Interface Characteristics of Mobile Applications Across Cross-Cultures

  Akiba, M. & Yang, W. S., 2021, Advances in Industrial Design - Proceedings of the AHFE 2021 Virtual Conferences on Design for Inclusion, Affective and Pleasurable Design, Interdisciplinary Practice in Industrial Design, Kansei Engineering, and Human Factors for Apparel and Textile Engineering, 2021. Shin, C. S., Di Bucchianico, G., Fukuda, S., Ghim, Y-G., Montagna, G. & Carvalho, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 32-39 8 p. (Lecture Notes in Networks and Systems; vol. 260).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• User selection method for block diagonalization in multiuser MIMO systems

  Kudo, R., Takatori, Y., Nishimori, K., Ohta, A. & Kubota, S., 2007 Dec 1, IEEE GLOBECOM 2007 - 2007 IEEE Global Telecommunications Conference, Proceedings. p. 3295-3300 6 p. 4411535. (GLOBECOM - IEEE Global Telecommunications Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  9 Citations (Scopus)

• User's intention understanding system design for RT service according situation-investigation on the construction of RT (robot technology) ontology-

  Ukai, K., Mizukawa, M. & Ando, Y., 2008 Dec 1, Proceedings of SICE Annual Conference 2008 - International Conference on Instrumentation, Control and Information Technology. p. 3518-3522 5 p. 4655273. (Proceedings of the SICE Annual Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Using continuations and aspects to tame asynchronous programming on the web

  Leger, P. & Fukuda, H., 2016 Mar 14, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity. Association for Computing Machinery, Inc, p. 79-82 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Using Coq in specification and program extraction of Hadoop MapReduce applications

  Ono, K., Hirai, Y., Tanabe, Y., Noda, N. & Hagiya, M., 2011, Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Proceedings. p. 350-365 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7041 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  22 Citations (Scopus)

• Using fault injection for programming task generation

  Habibi, B., Nakanishi, T., Hisazumi, K., Furusho, H. & Fukuda, A., 2018, Teaching and Learning in a Digital World - Proceedings of the 20th International Conference on Interactive Collaborative Learning. Auer, M. E., Simonics, I. & Guralnick, D. (eds.). Springer Verlag, p. 559-566 8 p. (Advances in Intelligent Systems and Computing; vol. 716).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Using GPS outdoor autonomous driving system for robot development (ICCAS2008)

  Erikawa, Y., Ando, Y. & Mizukawa, M., 2008 Dec 1, 2008 International Conference on Control, Automation and Systems, ICCAS 2008. p. 2400-2403 4 p. 4694208. (2008 International Conference on Control, Automation and Systems, ICCAS 2008).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Using the GPGPU for scaling up mining software repositories

  Nagano, R., Nakamura, H., Kamei, Y., Adams, B., Hisazumi, K., Ubayashi, N. & Fukuda, A., 2012, Proceedings - 34th International Conference on Software Engineering, ICSE 2012. p. 1435-1436 2 p. 6227077. (Proceedings - International Conference on Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Using virtualized operating systems as a ubiquitous computing infrastructure

  Oikawa, S., Sugaya, M., Iwasaki, M. & Nakajima, T., 2004, Proceedings - Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems. Mock, M., Nakajima, T. & Moody, S. (eds.). p. 109-113 5 p. (Proceedings - Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  6 Citations (Scopus)

• Utility Based Scheduling for Multi-UAV Search System in Disaster Scenarios

  Miyano, K., Shinkuma, R., Oki, E. & Sato, T., 2018 Dec 12, 2018 IEEE 7th Global Conference on Consumer Electronics, GCCE 2018. Institute of Electrical and Electronics Engineers Inc., p. 217-218 2 p. 8574880. (2018 IEEE 7th Global Conference on Consumer Electronics, GCCE 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Utilization of Behavior Data Due to Differences in Determination of Activity

  Anzai, R. & Yang, W. S., 2021, Advances in Industrial Design - Proceedings of the AHFE 2021 Virtual Conferences on Design for Inclusion, Affective and Pleasurable Design, Interdisciplinary Practice in Industrial Design, Kansei Engineering, and Human Factors for Apparel and Textile Engineering, 2021. Shin, C. S., Di Bucchianico, G., Fukuda, S., Ghim, Y-G., Montagna, G. & Carvalho, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 40-46 7 p. (Lecture Notes in Networks and Systems; vol. 260).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Utilization of machine learning for analyzing concrete material consumption in Japan

  Vios, N. A., Henry, M. & Opon, J., 2021, EASEC16 - Proceedings of the 16th East Asian-Pacific Conference on Structural Engineering and Construction, 2019. Wang, C. M., Kitipornchai, S. & Dao, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1271-1281 11 p. (Lecture Notes in Civil Engineering; vol. 101).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• UV-assisted intermittently-spinning ozone steam etching of SU-8 for micromolding process

  Yoshida, S., Suzuki, K., Esashi, M. & Tanaka, S., 2013, 2013 Transducers and Eurosensors XXVII: The 17th International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS and EUROSENSORS 2013. p. 1621-1624 4 p. 6627094. (2013 Transducers and Eurosensors XXVII: The 17th International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS and EUROSENSORS 2013).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (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 proceeding › Conference contribution
  2 Citations (Scopus)

• Vanadium dioxide thin films deposited on TiO₂ buffer layer for smart thermochromic glazing of windows

  Ma, J., Xu, G. & Miao, L., 2012, Sustainable Development of Urban Environment and Building Material. p. 1365-1368 4 p. (Advanced Materials Research; vol. 374-377).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Vanadium dioxide thin films deposited on ZnO buffer layer for smart thermochromic glazing of windows

  Ma, J. W., Song, Y. R., Xu, G. & Miao, L., 2013, Sustainable Cities Development and Environment Protection. p. 370-373 4 p. (Applied Mechanics and Materials; vol. 361-363).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Variable characteristics DC motor by changing brush lead angle to expand the operation range

  Takura, D. & Akatsu, K., 2015 Jul 27, 9th International Conference on Power Electronics - ECCE Asia: "Green World with Power Electronics", ICPE 2015-ECCE Asia. Institute of Electrical and Electronics Engineers Inc., p. 695-700 6 p. 7167859

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Variable compliance control with posture stabilization for biped robot

  Kusano, K., Zharif, M. & Uchimura, Y., 2015 Apr 9, Proceedings - 2015 IEEE International Conference on Mechatronics, ICM 2015. Institute of Electrical and Electronics Engineers Inc., p. 410-415 6 p. 7084011. (Proceedings - 2015 IEEE International Conference on Mechatronics, ICM 2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• VARiable HMD: Optical see-through HMD for AR and VR

  Yamada, W., Manabe, H., Ikeda, D. & Rekimoto, J., 2019 Oct 14, UIST 2019 Adjunct - Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 131-133 3 p. (UIST 2019 Adjunct - Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Variable-horizon based Model Predictive Control for Tele-operation with Time-varying Delay

  Arai, H., Nagakura, H. & Uchimura, Y., 2020 Jun, 2020 IEEE 29th International Symposium on Industrial Electronics, ISIE 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 586-591 6 p. 9152502. (IEEE International Symposium on Industrial Electronics; vol. 2020-June).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Variable leakage flux interior permanent magnet synchronous machine for improving efficiency on duty cycle

  Minowa, M., Hijikata, H., Akatsu, K. & Kato, T., 2014 Jan 1, 2014 International Power Electronics Conference, IPEC-Hiroshima - ECCE Asia 2014. IEEE Computer Society, p. 3828-3833 6 p. 6870049. (2014 International Power Electronics Conference, IPEC-Hiroshima - ECCE Asia 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 Citations (Scopus)

• Vascular remodeling processes in an integrated microfluidic device

  Futai, N., Sano, T., Sumita, M., Takano, A., Yokokawa, R. & Miura, T., 2020, 21st International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2017. Chemical and Biological Microsystems Society, p. 1080-1081 2 p. (21st International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2017).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Vector control for switched reluctance motor drives using an improved current controller

  Nakao, N. & Akatsu, K., 2014 Nov 11, 2014 IEEE Energy Conversion Congress and Exposition, ECCE 2014. Institute of Electrical and Electronics Engineers Inc., p. 1379-1386 8 p. 6953579. (2014 IEEE Energy Conversion Congress and Exposition, ECCE 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  17 Citations (Scopus)

• Vector control specialized for switched reluctance motor drives

  Nakao, N. & Akatsu, K., 2014 Nov 17, Proceedings - 2014 International Conference on Electrical Machines, ICEM 2014. Institute of Electrical and Electronics Engineers Inc., p. 943-949 7 p. 6960294. (Proceedings - 2014 International Conference on Electrical Machines, ICEM 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  48 Citations (Scopus)

• Vehicle 3D localization in mountainous woodland environments

  Morales, Y., Tsubouchi, T. & Yuta, S., 2009 Dec 11, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2009. p. 3588-3594 7 p. 5354818. (2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2009).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  12 Citations (Scopus)

• Vehicle command system and trajectory control for autonomous mobile robots

  Iida, S. & Yuta, S., 1992 Dec 1, Proc 91 IEEE RSJ Int Workshop Intell Robots Syst IROS 91. Publ by IEEE, p. 212-217 6 p. (Proc 91 IEEE RSJ Int Workshop Intell Robots Syst IROS 91).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  44 Citations (Scopus)

• Verification and optimization advantage of inerter devices apply to grounded vehicle dynamics

  Tran, T. T. & Hasegawa, H., 2015, Proceedings of the ECCOMAS Thematic Conference on Multibody Dynamics 2015, Multibody Dynamics 2015. International Center for Numerical Methods in Engineering, p. 1341-1352 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verification model translation method toward behavior model for CAST

  Ando, T., Wang, B., Hisazumi, K., Kong, W., Fukuda, A., Michiura, Y., Sakemi, K. & Matsumoto, M., 2018 Dec 5, Proceedings - 2018 5th International Conference on Dependable Systems and Their Applications, DSA 2018. Institute of Electrical and Electronics Engineers Inc., p. 142-147 6 p. 8563204. (Proceedings - 2018 5th International Conference on Dependable Systems and Their Applications, DSA 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Verification of airflow control methods according to individual differences in the development of combined convection-radiation air conditioning system

  Chiba, T., Akimoto, T., Takahashi, M., Nakamoto, S., Ito, S. & Kawamura, A., 2020, 16th Conference of the International Society of Indoor Air Quality and Climate: Creative and Smart Solutions for Better Built Environments, Indoor Air 2020. International Society of Indoor Air Quality and Climate, (16th Conference of the International Society of Indoor Air Quality and Climate: Creative and Smart Solutions for Better Built Environments, Indoor Air 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 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 proceeding › Conference contribution