Faculty of Letters

Research Output 1980 2020

Filter
Conference contribution
2019

Automated inference of cognitive performance by fusing multimodal information acquired by smartphone

Hamatani, T., Ochiai, K., Inagaki, A., Yamamoto, N., Fukazawa, Y., Kimoto, M., Kiriu, K., Kaminishi, K., Ota, J., Terasawa, Y., Okimura, T. & Maeda, T., 2019 Sep 9, UbiComp/ISWC 2019- - Adjunct Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers. Association for Computing Machinery, Inc, p. 921-928 8 p. (UbiComp/ISWC 2019- - Adjunct Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers).

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

Open Access
Smartphones
Electric fuses
Sensors

Can morality be ascribed to robot?

Nagataki, S., Ohira, H., Kashiwabata, T., Konno, T., Hashimoto, T., Miura, T., Shibata, M. & Kubota, SI., 2019 Jun 25, Proceedings of the 22nd International Conference on Human-Computer Interaction, INTERACCION 2019. Association for Computing Machinery, 44. (ACM International Conference Proceeding Series).

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

Human robot interaction
Robots
Experiments

Development of Multi-View Video Browsing Interface Specialized for Developmental Child Training

Kitamura, N., Shishido, H., Enomoto, T., Kameda, Y., Yamamoto, J. & Kitahara, I., 2019 May 7, Proceedings of the 2019 12th Asia Pacific Workshop on Mixed and Augmented Reality, APMAR 2019. Weng, D., Chan, L., Lee, Y., Liang, X. & Sakata, N. (eds.). Institute of Electrical and Electronics Engineers Inc., 8709275. (Proceedings of the 2019 12th Asia Pacific Workshop on Mixed and Augmented Reality, APMAR 2019).

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

Visibility
Image processing
video
Education
workers' education
3 Citations (Scopus)

Physiological Stress Level Estimation Based on Smartphone Logs

Yamamoto, N., Ochiai, K., Inagaki, A., Fukazawa, Y., Kimoto, M., Kiriu, K., Kaminishi, K., Ota, J., Okimura, T., Terasawa, Y. & Maeda, T., 2019 Feb 26, 2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018. Institute of Electrical and Electronics Engineers Inc., 8653590. (2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018).

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

Smartphones
Supervised learning
Sensors
Health

Using VIAF dataset and the national bibliography for identifying and listing comics and manga authors

Otani, Y., Agata, T., Hashizume, A., Eto, M., Agata, M. & Sugie, N., 2019 Jun 1, Proceedings - 2019 ACM/IEEE Joint Conference on Digital Libraries, JCDL 2019. Bonn, M., Wu, D., Downie, S. J. & Martaus, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 422-423 2 p. 8791205. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries; vol. 2019-June).

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

Bibliographies
2018

Analyzing the relationship between cognitive performance and time to find intended mobile app

Ochiai, K., Yamamoto, N., Hamatani, T., Fukazawa, Y., Kimoto, M., Terasawa, Y., Kiriu, K., Kaminishi, K., Ota, J., Okimura, T. & Maeda, T., 2018 Oct 8, UbiComp/ISWC 2018 - Adjunct Proceedings of the 2018 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2018 ACM International Symposium on Wearable Computers. Association for Computing Machinery, Inc, p. 1686-1690 5 p.

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

Smartphones
Application programs
1 Citation (Scopus)

Conceptual design for comprehensive research support platform: Successful research data management generating big data from little data

Matsubayashi, M. & Kurata, K., 2018 Jan 12, Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 4407-4409 3 p.

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

Upper atmosphere
Data integration
Conceptual Design
Data Management
Conceptual design

Modeling and quantitative measurement method of the tripartite interpersonal distance dynamics for children with ASD

Tsuji, A., Enomoto, T., Matsuda, S., Yamamoto, J. & Suzuki, K., 2018 Jan 1, Computers Helping People with Special Needs - 16th International Conference, ICCHP 2018, Proceedings. Springer Verlag, p. 523-526 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10896 LNCS).

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

Disorder
Modeling
Motion Capture
Person
Children

On the robot as a moral agent

Nagataki, S., Shibata, M., Hashimoto, T., Kashiwabata, T., Konno, T., Ohira, H., Miura, T. & Kubota, S., 2018 Sep 12, Proceedings of the 19th International Conference on Human-Computer Interaction, Interaccion 2018. Association for Computing Machinery, 24

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

Robots
Experiments
1 Citation (Scopus)

Preparation-Free Measurement of Event-Related Potential in Oddball Tasks from Hairy Parts Using Candle-Like Dry Microneedle Electrodes

Yoshida, Y., Kudo, Y., Hoshino, E., Minagawa, Y. & Miki, N., 2018 Oct 26, 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018. Institute of Electrical and Electronics Engineers Inc., p. 4685-4688 4 p. 8513178. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS; vol. 2018-July).

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

Electroencephalography
Evoked Potentials
Electrodes
Enterprise resource planning
Hair Removal

Recognizing whether a person is eating alone or has company by using wearable devices

Kiriu, K., Ochiai, K., Inagaki, A., Yamamoto, N., Fukazawa, Y., Kimoto, M., Okimura, T., Terasawa, Y., Maeda, T. & Ota, J., 2018 Apr 2, 2017 10th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 1-2 2 p.

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

Health
Smartphones
Watches
Industry

The effects of debriefing on the performance and attitude of Japanese University students

Kikkawa, T., Sugiura, J. & Kriz, W. C., 2018 Jan 1, Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures - 48th International Simulation and Gaming Association Conference, ISAGA 2017, Revised Selected Papers. Springer Verlag, p. 173-180 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10825 LNCS).

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

Highway planning
Prisoner's Dilemma Game
Game
Students
Planning
2017
4 Citations (Scopus)

A structural equation model of information retrieval skills

Ishita, M., Miyata, Y., Ueda, S. & Kurata, K., 2017 Mar 7, CHIIR 2017 - Proceedings of the 2017 Conference Human Information Interaction and Retrieval. Association for Computing Machinery, Inc, p. 317-320 4 p.

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

Information retrieval
Internet
Factor analysis
1 Citation (Scopus)

Can Japanese Manga Be Automatically Classified from Public Library Holdings?

Eto, M., Agata, T., Sugie, N., Otani, Y. & Agata, M., 2017 Jul 25, 2017 ACM/IEEE Joint Conference on Digital Libraries, JCDL 2017. Institute of Electrical and Electronics Engineers Inc., 7991593

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

Modeling of the chasing behaviors for developmental program of children with autism spectrum disorders

Tsuji, A., Sekine, S., Enomoto, T., Matsuda, S., Yamamoto, J. & Suzuki, K., 2017 Nov 14, Proceedings of 2017 IEEE 16th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2017. Institute of Electrical and Electronics Engineers Inc., p. 115-120 6 p. 8109739

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

Image coding
Computer Systems
Child Development
Autism Spectrum Disorder
Therapeutics
1 Citation (Scopus)

Sustained Attention Function Evaluation during Cooking Based on Egocentric Vision

Ooi, S., Sano, M., Tabuchi, H., Saito, F. & Umeda, S., 2017 Dec 28, Proceedings - 2017 IEEE International Symposium on Multimedia, ISM 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-January. p. 107-113 7 p.

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

Function evaluation
Cooking
Multitasking
Trail Making Test
Activities of Daily Living
2016
2 Citations (Scopus)

An approach to facilitate turn-taking behavior with paired devices for children with Autism Spectrum Disorder

Nunez, E., Matsuda, S., Hirokawa, M., Yamamoto, J. & Suzuki, K., 2016 Nov 15, 25th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2016. Institute of Electrical and Electronics Engineers Inc., p. 837-842 6 p. 7745216

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

Equipment and Supplies
Cues
Play and Playthings
Sensors
Technology
11 Citations (Scopus)

Effect of the antioxidant supplement pyrroloquinoline quinone disodium salt (BioPQQ™) on cognitive functions

Itoh, Y., Hine, K., Miura, H., Uetake, T., Nakano, M., Takemura, N. & Sakatani, K., 2016, Advances in Experimental Medicine and Biology. Springer New York LLC, Vol. 876. p. 319-325 7 p. (Advances in Experimental Medicine and Biology; vol. 876).

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

PQQ Cofactor
Cognition
Salts
Antioxidants
Stroop Test
2 Citations (Scopus)

Media and Sentiments in the Great East Japan Earthquake Related Tweets-Social Media as "meta Media"

Matsumura, N., Miura, A., Komori, M. & Hiraishi, K., 2016 Mar 22, Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 465-470 6 p. 7439387

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

Earthquakes

Semantics for "enough-certainty" and fitting's embedding of classical logic in S4

Bana, G. & Okada, M., 2016 Aug 1, Computer Science Logic 2016, CSL 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 62.

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

Semantics
Security of data
Network protocols
2015
1 Citation (Scopus)

Paired robotic devices to mediate and represent social behaviors

Nunez, E., Matsuda, S., Hirokawa, M., Yamamoto, J. & Suzuki, K., 2015 Nov 20, Proceedings - IEEE International Workshop on Robot and Human Interactive Communication. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-November. p. 722-727 6 p. 7333669

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

Robotics
Robots
Experiments
2013
4 Citations (Scopus)

Computationally complete symbolic attacker and key exchange

Bana, G., Hasebe, K. & Okada, M., 2013, Proceedings of the ACM Conference on Computer and Communications Security. p. 1231-1246 16 p.

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

Cryptography
Network protocols
1 Citation (Scopus)

Husserl and hilbert on completeness and husserl's term rewrite-based theory of multiplicity

Okada, M., 2013, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 21. p. 4-19 16 p.

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

Tissue

Shape perception in chemistry

Hastings, J., Batchelor, C. & Okada, M., 2013, CEUR Workshop Proceedings. CEUR-WS, Vol. 1007. p. 83-94 12 p.

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

Molecules
Functional groups
Screening
2012
3 Citations (Scopus)

On the cognitive efficacy of euler diagrams in syllogistic reasoning: A relational perspective

Mineshima, K., Sato, Y., Takemura, R. & Okada, M., 2012, CEUR Workshop Proceedings. CEUR-WS, Vol. 854. p. 17-31 15 p.

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

Students
2010

Analyzing viewing patterns while reading picture books

Ishita, E., Mine, S., Kunimoto, C., Shiozaki, J., Kurata, K. & Ueda, S., 2010, Proceedings of the ACM International Conference on Digital Libraries. p. 381 1 p.

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

Eye movements
1 Citation (Scopus)

Competent larva in the starfish, Asterina pectinifera shifts from larval growth to juvenile formation by using environmental cue(s)

Murabe, N., Kaneko, H. & Nakajima, Y., 2010, Echinoderms: Durham - Proceedings of the 12th International Echinoderm Conference. p. 463-466 4 p.

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

Asterina pectinifera
environmental cue
Asteroidea
spicule
larva
38 Citations (Scopus)

Simulator platform that enables social interaction simulation - SIGVerse: SocioIntelliGenesis simulator

Inamura, T., Shibata, T., Sena, H., Hashimoto, T., Kawai, N., Miyashita, T., Sakurai, Y., Shimizu, M., Otake, M., Hosoda, K., Umeda, S., Inui, K. & Yoshikawa, Y., 2010, 2010 IEEE/SICE International Symposium on System Integration: SI International 2010 - The 3rd Symposium on System Integration, SII 2010, Proceedings. p. 212-217 6 p. 5708327

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

Simulators
Robotics
Intelligent robots
Social sciences
Communication
3 Citations (Scopus)

Studies on function of MC5 molecule that is a novel membrane-type metalloproteinase of astacin family during morphogenesis of the starfish, Asterina pectinifera

Hamanaka, G., Matsumoto, M., Hoshi, M. & Kaneko, H., 2010, Echinoderms: Durham - Proceedings of the 12th International Echinoderm Conference. p. 457-462 6 p.

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

Asterina pectinifera
Asteroidea
morphogenesis
metalloproteinases
membrane
7 Citations (Scopus)

Two types of diagrammatic inference systems: Natural deduction style and resolution style

Mineshima, K., Okada, M. & Takemura, R., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6170 LNAI. p. 99-114 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6170 LNAI).

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

Natural Deduction
Diagram
Topological Relations
Correspondence
Style
2009

Analyzing opac use with screen views and eye tracking

Ishita, E., Mine, S., Koizumi, M., Miyata, Y., Kunimoto, C., Shiozaki, J., Kurata, K. & Ueda, S., 2009, Proceedings of the ACM/IEEE Joint Conference on Digital Libraries. p. 405 1 p.

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

Online searching
Human engineering
4 Citations (Scopus)

Computational semantics for first-order logical analysis of cryptographic protocols

Bana, G., Hasebe, K. & Okada, M., 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5458 LNCS. p. 33-56 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5458 LNCS).

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

Cryptographic Protocols
Semantics
Formal Model
First-order
Network protocols
6 Citations (Scopus)

Conservativity for a hierarchy of Euler and Venn reasoning systems

Mineshima, K., Okada, M. & Takemura, R., 2009, CEUR Workshop Proceedings. Vol. 510. p. 37-61 25 p.

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

Semantics
2008
16 Citations (Scopus)

Diagrammatic reasoning system with euler circles: Theory and experiment design

Mineshima, K., Okada, M., Sato, Y. & Takemura, R., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5223 LNAI. p. 188-205 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5223 LNAI).

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

Design of experiments
Euler
Circle
Reasoning
Experiment
2007
1 Citation (Scopus)

Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-calculus

Okada, M. & Takemura, R., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4600 LNCS. p. 167-181 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4600 LNCS).

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

Calculi
Semantics
Completeness
Calculus
Demonstrations
2006
2 Citations (Scopus)

Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences

Okada, M., Sugimoto, Y., Yoshikawa, S. & Konagaya, A., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4060 LNCS. p. 616-642 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4060 LNCS).

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

Drug interactions
Drug Interactions
Ontology
Drugs
Resources
2005
1 Citation (Scopus)

Analysis of land use change around coastal zone in Tuvalu Funafuti atoll

Kuwahara, Y., Yokoki, H., Yamano, H., Kayane, H., Shimazaki, H., Chikamori, M. & Yamaguchi, T., 2005, Asian Association on Remote Sensing - 26th Asian Conference on Remote Sensing and 2nd Asian Space Conference, ACRS 2005. Vol. 3. p. 1614-1617 4 p.

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

Land use
Coastal zones
Sea level
Global warming
Erosion
1999
31 Citations (Scopus)

The calculus of algebraic constructions

Blanqui, F., Jouannaud, J. P. & Okada, M., 1999, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1631. p. 301-316 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1631).

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

Calculus
Abstract data types
Higher Order
Abstract Data Types
Generalise