Find Research outputs

Search results

• Conference contribution

  Visualization of the catalytic reactions in the fuel cells using THz chemical microscope

  Hagiwara, T., Kusaka, T., Kiwa, T., Sakai, K. & Tsukada, K., Dec 1 2013, 2013 38th International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz 2013. 6665916. (International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz).

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

• Visualizing migration of demographic simulation in prehistoric and protohistoric periods

  Sasakura, M., Akagi, A., Yamaoka, A. & Matsumoto, N., Oct 31 2012, 2012 16th International Conference on Information Visualisation, IV 2012. p. 42-47 6 p. 6295790. (Proceedings of the International Conference on Information Visualisation).

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

• Visual lifting stabilization of dynamic bipedal walking

  Song, W., Minami, M., Maeba, T., Zhang, Y., Yanou, A. & Wang, G., 2011, 2011 11th IEEE-RAS International Conference on Humanoid Robots, HUMANOIDS 2011. p. 345-351 7 p. 6100840. (IEEE-RAS International Conference on Humanoid Robots).

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

• Visual Orientation Sequence Task enhances Working Memory in Younger and Older Adults

  Guo, T., Ren, Y., Yu, Y., Yu, Y., Yun, S., Wu, Q., Yang, J., Takahashi, S., Ejima, Y. & Wu, J., Oct 13 2020, 2020 IEEE International Conference on Mechatronics and Automation, ICMA 2020. Institute of Electrical and Electronics Engineers Inc., p. 1455-1460 6 p. 9233631. (2020 IEEE International Conference on Mechatronics and Automation, ICMA 2020).

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

• Visual-servo-based autonomous docking system for underwater vehicle using dual-eyes camera 3D-pose tracking

  Myint, M., Yonemori, K., Yanou, A., Minami, M. & Ishiyama, S., Feb 10 2016, 2015 IEEE/SICE International Symposium on System Integration, SII 2015. Institute of Electrical and Electronics Engineers Inc., p. 989-994 6 p. 7405161

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

• Visual servoing of patient robot's face and eye-looking direction to moving human

  Nakamura, S., Okumura, K., Yanou, A. & Minami, M., Jan 1 2011, SICE 2011 - SICE Annual Conference 2011, Final Program and Abstracts. Society of Instrument and Control Engineers (SICE), p. 1314-1319 6 p. 6060539. (Proceedings of the SICE Annual Conference).

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

• Visual servoing with quick eye-vergence to enhance trackability and stability

  Yu, F., Song, W. & Minami, M., 2010, IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010 - Conference Proceedings. p. 6228-6233 6 p. 5653400. (IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010 - Conference Proceedings).

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

• Visual servoing with quick eye-vergence to enhance trackability and stability

  Yu, F., Song, W. & Minami, M., 2010, Proceedings of SICE Annual Conference 2010, SICE 2010 - Final Program and Papers. Society of Instrument and Control Engineers (SICE), p. 3268-3273 6 p. 5602610. (Proceedings of the SICE Annual Conference).

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

• Visual temporal cuing effect on the tactile attention: An fMRI study

  Wu, Q., Li, C., Guo, Q. & Wu, J., Oct 24 2012, 2012 ICME International Conference on Complex Medical Engineering, CME 2012 Proceedings. p. 739-743 5 p. 6275633. (2012 ICME International Conference on Complex Medical Engineering, CME 2012 Proceedings).

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

• VMBLS: Virtual machine based logging scheme for prevention of tampering and loss

  Sato, M. & Yamauchi, T., 2011, Availability, Reliability and Security for Business, Enterprise and Health Information Systems - IFIP WG 8.4/8.9 International Cross Domain Conference and Workshop, ARES 2011, Proceedings. p. 176-190 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6908 LNCS).

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

• VM Migration Considering Downtime for Accuracy Improvement in Multi-stage Information Processing System

  Nakane, K., Anjiki, T., Xie, J., Fukushima, Y. & Murase, T., 2022, Proceedings - 2022 IEEE International Conference on Consumer Electronics - Taiwan, ICCE-Taiwan 2022. Institute of Electrical and Electronics Engineers Inc., p. 335-336 2 p. (Proceedings - 2022 IEEE International Conference on Consumer Electronics - Taiwan, ICCE-Taiwan 2022).

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

• Voice-based control of a robotic forceps by using displayed image and auxiliary information

  Watanabe, K., Tokunaga, T. & Izumi, K., Dec 1 2009, Proceedings of the 14th International Symposium on Artificial Life and Robotics, AROB 14th'09. p. 728-733 6 p. (Proceedings of the 14th International Symposium on Artificial Life and Robotics, AROB 14th'09).

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

• Voice control of a robotic forceps using hierarchical instructions

  Izumi, K., Ishii, S. & Watanabe, K., Dec 1 2008, 2008 International Conference on Control, Automation and Systems, ICCAS 2008. p. 810-815 6 p. 4694609. (2008 International Conference on Control, Automation and Systems, ICCAS 2008).

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

• Voice instructions for controlling a robotic forceps with image and auxiliary information

  Izumi, K., Tokunaga, T. & Watanabe, K., Dec 1 2009, ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings. p. 5031-5035 5 p. 5334618. (ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009, Proceedings).

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

• Volume Reduction Effect of Thinly Extended Core Structure for Transformer in Isolated DC-DC Converter

  Murata, R., Shirakawa, T., Umetani, K. & Hiraki, E., May 1 2019, ICPE 2019 - ECCE Asia - 10th International Conference on Power Electronics - ECCE Asia. Institute of Electrical and Electronics Engineers Inc., p. 2132-2138 7 p. 8796964. (ICPE 2019 - ECCE Asia - 10th International Conference on Power Electronics - ECCE Asia).

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

• Volume representation of parenchymatous organs by volumetric self-organizing deformable model

  Miyauchi, S., Morooka, K., Tsuji, T., Miyagi, Y., Fukuda, T. & Kurazume, R., 2016, Spectral and Shape Analysis in Medical Imaging - First International Workshop, SeSAMI 2016 Held in Conjunction with MICCAI 2016, Revised Selected Papers. Lombaert, H., Wachinger, C. & Reuter, M. (eds.). Springer Verlag, p. 39-50 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10126 LNCS).

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

• Volunteer Computing for Solving an Elliptic Curve Discrete Logarithm Problem

  Kajitani, S., Nogami, Y., Miyoshi, S. & Austin, T., Mar 2 2016, Proceedings - 2015 3rd International Symposium on Computing and Networking, CANDAR 2015. Institute of Electrical and Electronics Engineers Inc., p. 122-126 5 p. 7424699

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

• V-shift control for snake robot moving the inside of a pipe with helical rolling motion

  Kamegawa, T., Baba, T. & Gofuku, A., Dec 1 2011, 9th IEEE International Symposium on Safety, Security, and Rescue Robotics, SSRR 2011. p. 1-6 6 p. 6106789. (9th IEEE International Symposium on Safety, Security, and Rescue Robotics, SSRR 2011).

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

• Wafer-scale synthesis and optoelectrical applications of bottom-up graphene nanoribbons

  Kato, T., Suzuki, H. & Kaneko, T., 2018, JSAP-OSA Joint Symposia, JSAP 2018. OSA - The Optical Society, (Optics InfoBase Conference Papers; vol. Part F125-JSAP 2018).

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

• Walking analyses of a humanoid by visual-lifting approach

  Lee, G., Minami, M., Yanou, A., Kobayashi, Y. & Nishiguchi, J., Dec 1 2013, 2013 44th International Symposium on Robotics, ISR 2013. 6695714. (2013 44th International Symposium on Robotics, ISR 2013).

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

• Walk the Talk: Gestures in Mobile Interaction

  Yucel, Z., Zanlungo, F. & Shiomi, M., Jan 1 2017, Social Robotics - 9th International Conference, ICSR 2017, Proceedings. Suzuki, K., He, H., Kheddar, A., Yoshida, E., Eyssel, F., Ge, S. S. & Cabibihan, J-J. (eds.). Springer Verlag, Vol. 10652 LNAI. p. 220-230 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10652 LNAI).

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

• Wall similarity in turbulent boundary layers subjected to weak pressure gradients

  Mochizuki, S., Suzuki, H., Tokunaga, H. & Kameda, T., 2016, Proceedings of the 5th International Conference on Jets, Wakes and Separated Flows, ICJWSF 2015. Segalini, A. (ed.). Springer Science and Business Media, LLC, p. 317-324 8 p. (Springer Proceedings in Physics; vol. 185).

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

• Watermarking for Bézier Polynomial Surface Models

  Ikesako, K., Morooka, K. & Nagahashi, H., 2003, IASTED International Conference on Computer Graphics and Imaging. Hamza, M. H. & Hamza, M. H. (eds.). p. 193-199 7 p. (IASTED International Conference on Computer Graphics and Imaging).

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

• Watermarking with fixed decoder for aesthetic 2D barcode

  Kuribayashi, M., Chang, E. C. & Funabiki, N., 2017, Digital Forensics and Watermarking - 15th International Workshop, IWDW 2016, Revised Selected Papers. Kim, H. J., Liu, F., Perez-Gonzalez, F. & Shi, Y. Q. (eds.). Springer Verlag, p. 379-392 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10082 LNCS).

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

• Waveform-based speech synthesis approach with a formant frequency modification

  Mizuno, H., Abe, M. & Hirokawa, T., Jan 1 1993, Speech Processing. Publ by IEEE, p. II-195-II-198 (Proceedings - ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing; vol. 2).

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

• Wave intensity has clinical usefulness in evaluating exercise capacity in heart disease patients

  Takaya, Y., Taniguchi, M., Sugawara, M., Watanabe, N., Tanabe, Y., Nobusada, S., Toh, N. & Kusano, K., 2009, World Congress on Medical Physics and Biomedical Engineering: Image Processing, Biosignal Processing, Modelling and Simulation, Biomechanics. 4 ed. Springer Verlag, p. 1912-1915 4 p. (IFMBE Proceedings; vol. 25, no. 4).

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

• Wavelength-scanning surface plasmon microscopy for detection of a bubble layer

  Watanabe, K. & Matsuura, K., Oct 18 2013, 2013 Conference on Lasers and Electro-Optics Pacific Rim, CLEO-PR 2013. 6600580. (Pacific Rim Conference on Lasers and Electro-Optics, CLEO - Technical Digest).

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

• Wavelet analysis of unsteady shock-wave motion on two-dimensional airfoil with vortex generators

  Kouchi, T., Yamaguchi, S., Yanase, S., Koike, S., Nakajima, T., Sato, M. & Kanda, H., 2016, 54th AIAA Aerospace Sciences Meeting. American Institute of Aeronautics and Astronautics Inc, AIAA, (54th AIAA Aerospace Sciences Meeting; vol. 0).

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

• Wear properties of Ti-6Al-4V/Ti-29Nb-13Ta-4.6Zr combination for spinal implants

  Lee, Y. S., Niinomi, M., Nakai, M., Hieda, J. & Cho, K., 2014, THERMEC 2013 Supplement. Trans Tech Publications, p. 424-428 5 p. (Advanced Materials Research; vol. 922).

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

• Wear Resistance Behaviour of Laser Additive Manufacture Materials: An Overview

  Mahamood, R. M., Okamoto, Y., Maina, M. R., Akinlabi, S. A., Pityana, S., Tlotleng, M. & Akinlabi, E. T., Aug 2019, 2019 International Conference on Engineering, Science, and Industrial Applications, ICESI 2019. Institute of Electrical and Electronics Engineers Inc., 8863016. (2019 International Conference on Engineering, Science, and Industrial Applications, ICESI 2019).

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

• Web access monitoring mechanism for Android WebView

  Imamura, Y., Uekawa, H., Ishihara, Y., Sato, M. & Yamauchi, T., Jan 29 2018, Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2018. Association for Computing Machinery, 3167942. (ACM International Conference Proceeding Series).

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

• Web intelligence meets brain informatics

  Zhong, N., Liu, J., Yao, Y., Wu, J., Lu, S., Qin, Y., Li, K. & Wah, B., 2007, Web Intelligence Meets Brain Informatics - First WICI International Workshop, WImBI 2006, Revised Selected and Invited Papers. Springer Verlag, p. 1-31 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4845 LNAI).

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

• Web-Server Implementation of Code Completion Problem for Java Programming Learning Assistant System

  Kyaw, H. H. S., Funabiki, N., Ishihara, N., Kuribayashi, M. & Kao, W. C., May 2019, 2019 IEEE International Conference on Consumer Electronics - Taiwan, ICCE-TW 2019. Institute of Electrical and Electronics Engineers Inc., 8991871. (2019 IEEE International Conference on Consumer Electronics - Taiwan, ICCE-TW 2019).

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

• Welcome message

  Tachibana, H. & Wu, J., Oct 24 2012, 2012 ICME International Conference on Complex Medical Engineering, CME 2012 Proceedings. 6275756. (2012 ICME International Conference on Complex Medical Engineering, CME 2012 Proceedings).

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

• Which design seems easy to use? An analysis of individual differences in mental models

  Nishizaki, Y., Doi, T. & Yamaoka, T., 2017, Advances in Affective and Pleasurable Design - Proceedings of the AHFE International Conference on Affective and Pleasurable Design, 2016. Springer Verlag, Vol. 483. p. 79-86 8 p. (Advances in Intelligent Systems and Computing; vol. 483).

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

• Which Metrics Should Researchers Use to Collect Repositories: An Empirical Study

  Yamamoto, K., Kondo, M., Nishiura, K. & Mizuno, O., Dec 2020, Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Institute of Electrical and Electronics Engineers Inc., p. 458-466 9 p. 9282287. (Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020).

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

• White-Box Watermarking Scheme for Fully-Connected Layers in Fine-Tuning Model

  Kuribayashi, M., Tanaka, T., Suzuki, S., Yasui, T. & Funabiki, N., Jun 17 2021, IH and MMSec 2021 - Proceedings of the 2021 ACM Workshop on Information Hiding and Multimedia Security. Association for Computing Machinery, Inc, p. 165-170 6 p. (IH and MMSec 2021 - Proceedings of the 2021 ACM Workshop on Information Hiding and Multimedia Security).

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

  Open Access
  2 Citations (Scopus)

• Why is collaboration needed in OSS projects? A case study of eclipse project

  Hayashi, H., Ihara, A., Monden, A. & Matsumoto, K. I., Sep 13 2013, 2013 5th International Workshop on Social Software Engineering, SSE 2013 - Proceedings. p. 17-20 4 p. (2013 5th International Workshop on Social Software Engineering, SSE 2013 - Proceedings).

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

• Wide-field retinotopy distinguish subregions of the human MT+ by functional magnetic resonance imaging

  Yan, T. & Wu, J., Oct 15 2010, 2010 IEEE/ICME International Conference on Complex Medical Engineering, CME2010. p. 106-110 5 p. 5558864. (2010 IEEE/ICME International Conference on Complex Medical Engineering, CME2010).

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

• Wide range dielectric spectroscopy of barium strontium titanate ceramics

  Teranishi, T., Hoshina, T., Takeda, H. & Tsurumi, T., 2010, Asian Ceramic Science for Electronics III and Electroceramics in Japan XII. Trans Tech Publications Ltd, p. 273-276 4 p. (Key Engineering Materials; vol. 421-422).

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

• Wide range dielectric spectroscopy of SrTiO₃ - SrZrO₃ solid solution

  Tsurumi, T., Teranishi, T., Wada, S., Kakemoto, H., Nakada, M. & Akedo, J., 2006, 2006 15th IEEE International Symposium on Applications of Ferroelectrics, ISAF. 4349296. (IEEE International Symposium on Applications of Ferroelectrics).

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

• Width-3 joint sparse form

  Okeya, K., Kato, H. & Nogami, Y., Dec 23 2010, Information Security Practice and Experience - 6th International Conference, ISPEC 2010, Proceedings. p. 67-84 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6047 LNCS).

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

• Winding design and characteristic of a consequent-pole type bearingless motor with 4-axis active magnetic suspension

  Amada, M., Mizuguchi, A., Asano, Y., Asama, J., Chiba, A., Takemoto, M. & Fukao, T., 2007, Conference Record of the 2007 IEEE Industry Applications Conference 42nd Annual Meeting, IAS. Institute of Electrical and Electronics Engineers Inc., p. 552-557 6 p. 4347838. (Conference Record - IAS Annual Meeting (IEEE Industry Applications Society)).

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

• Word in a Dictionary is used by Numerous Users

  Aramaki, E., Maskawa, S., Miyabe, M., Morita, M. & Yasuda, S., 2013, 6th International Joint Conference on Natural Language Processing, IJCNLP 2013 - Proceedings of the Main Conference. Mitkov, R. & Park, J. C. (eds.). Asian Federation of Natural Language Processing, p. 874-877 4 p. (6th International Joint Conference on Natural Language Processing, IJCNLP 2013 - Proceedings of the Main Conference).

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

• Worker PC performance measurements using benchmarks for user-PC computing system

  Funabiki, N., Aoyagi, Y., Kuribayashi, M. & Kao, W. C., Jul 25 2016, 2016 IEEE International Conference on Consumer Electronics-Taiwan, ICCE-TW 2016. Institute of Electrical and Electronics Engineers Inc., 7521026

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

• Workplace Capacity Design Using the Minimum Dominating Set in Server Migration Services

  Fukushima, Y., Goda, I., Murase, T. & Yokohira, T., Mar 29 2018, 2018 9th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1-5 5 p. (2018 9th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2018 - Proceedings; vol. 2018-January).

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

• Wrapped System-Call: Cooperating Interactions Between User and Kernel Mode in an Operating System for Fine-Grain Multi-Threading

  Kusakabe, S., Nomura, Y., Taniguchi, H. & Amamiya, M., Dec 1 2003, 21st IASTED International Multi-Conference on Applied Informatics. p. 656-661 6 p. (IASTED International Multi-Conference on Applied Informatics; vol. 21).

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

• X-ray magnetic circular dichroism at L edges of Er in laves phase compounds

  Harada, I., Fujiwara, A. & Kotani, A., 2007, X-RAY ABSORPTION FINE STRUCTURE - XAFS13: 13th International Conference. p. 425-427 3 p. (AIP Conference Proceedings; vol. 882).

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

• Yapay gorme tabanli bir kayit ve analiz sistemi ile psikotrop ilaclarin farelerde olursturdugu davranis farkliliklarinin ayirt edilmesi

  Yucel, Z., Esen, E., Duygulu, P., Sara, Y. & Onur, R., 2007, Ulusal Farmakoloji Kongresi 2007.

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

• Zeilberger's holonomic ansatz for pfaffians

  Ishikawa, M. & Koutschan, C., Dec 1 2012, ISSAC 2012 - Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation. p. 227-233 7 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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