Toshiyuki Maeda

According to our database, Toshiyuki Maeda authored at least 75 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

PubChemQC B3LYP/6-31G*//PM6 Data Set: The Electronic Structures of 86 Million Molecules Using B3LYP/6-31G* Calculations.

Maho Nakata, Toshiyuki Maeda

J. Chem. Inf. Model., September, 2023

PubChemQC B3LYP/6-31G*//PM6 dataset: the Electronic Structures of 86 Million Molecules using B3LYP/6-31G* calculations.

Maho Nakata, Toshiyuki Maeda

CoRR, 2023

2021

EduPar Virtual Poster Session.

Jesús Cámara, José-Carlos Cano, Javier Cuenca, Toshiyuki Maeda, Mariano Saura-Sánchez, Lewis Tseng, Akiyoshi Wakatani, Martina Barnas

Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2021

2020

PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties.

Maho Nakata, Tomomi Shimazaki, Masatomo Hashimoto, Toshiyuki Maeda

J. Chem. Inf. Model., 2020

2019

Word Length Interval Dependency for Mobile Rapid Sentence Reading.

Toshiyuki Maeda, Akiyoshi Wakatani, Masumi Yajima

Proceedings of the 7th International Conference on Future Internet of Things and Cloud Workshops, 2019

Long-Term Value of Social Robots through the Eyes of Expert Users.

Dmitry Dereshev, David S. Kirk, Kohei Matsumura, Toshiyuki Maeda

Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2017

A general model checking framework for various memory consistency models.

Tatsuya Abe, Toshiyuki Maeda

Int. J. Softw. Tools Technol. Transf., 2017

Model checking copy phases of concurrent copying garbage collection with various memory models.

Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda

Proc. ACM Program. Lang., 2017

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations.

Tatsuya Abe, Toshiyuki Maeda

J. Inf. Process., 2017

An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels: Full Research Paper.

Masatomo Hashimoto, Masaaki Terai, Toshiyuki Maeda, Kazuo Minami

Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models.

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Personalized mobile rapid sentence reading with multi-lingual extension.

Toshiyuki Maeda, Masumi Yajima, Akiyoshi Wakatani

Proceedings of the 28th IEEE Annual International Symposium on Personal, 2017

Web applications for learning CUDA programming.

Akiyoshi Wakatani, Toshiyuki Maeda

Proceedings of the 8th International Conference on Information, 2017

Proposal of multi-lingual sentence reading for mobile communication.

Toshiyuki Maeda, Masumi Yajima

Proceedings of the 2017 International Conference on Computing, 2017

2016

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Evaluation of Software Education Using Auto-generated Exercises.

Akiyoshi Wakatani, Toshiyuki Maeda

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models.

Tatsuya Abe, Toshiyuki Maeda

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Developing a high-performance quantum chemistry program with a dynamic scripting language.

Tomomi Shimazaki, Masatomo Hashimoto, Toshiyuki Maeda

Proceedings of the 3rd International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2015

Execution Performance Analysis of the ABySS Genome Sequence Assembler using Scalasca on the K Computer.

Itaru Kitayama, Brian J. N. Wylie, Toshiyuki Maeda

Proceedings of the Parallel Computing: On the Road to Exascale, 2015

Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns.

Masatomo Hashimoto, Masaaki Terai, Toshiyuki Maeda, Kazuo Minami

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Personal skill identification using time series motion picture data.

Toshiyuki Maeda, Masumi Yajima

Proceedings of the IECON 2015, 2015

Text mining analysis for e-health information system.

Toshiyuki Maeda, Yae Fukushige, Masumi Yajima

Proceedings of the 17th International Conference on E-health Networking, 2015

Automatic generation of programming exercises for learning programming language.

Akiyoshi Wakatani, Toshiyuki Maeda

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2014

Skill Analysis with Time Series Image Data.

Toshiyuki Maeda, Masanori Fujii, Isao Hayashi

CoRR, 2014

Extraction of attributes and knowledge rules for sport skill by TAM network.

Isao Hayashi, Toshiyuki Maeda, Masanori Fujii, Tokio Tasaka

Proceedings of the 2014 Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS) and 15th International Symposium on Advanced Intelligent Systems (ISIS), 2014

Optimization of a General Model Checking Framework for Various Memory Consistency Models.

Tatsuya Abe, Toshiyuki Maeda

Proceedings of the 8th International Conference on Partitioned Global Address Space Programming Models, 2014

Sport skill classification using time series motion picture data.

Toshiyuki Maeda, Masanori Fujii, Isao Hayashi, Tokio Tasaka

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

Extending K-Scope Fortran Source Code Analyzer with Visualization of Performance Profiling Data and Remote Parsing of Source Code.

Masaaki Terai, Peter Bryzgalov, Toshiyuki Maeda, Kazuo Minami

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

A Proposal of Adaboost Type TAM Network and Its Application to Sport Skill Analysis.

Isao Hayashi, Masanori Fujii, Toshiyuki Maeda, Tokio Tasaka

Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

Sport motion picture analysis as time series data.

Toshiyuki Maeda, Masanori Fujii, Isao Hayashi

Proceedings of the IEEE 13th International Workshop on Advanced Motion Control, 2014

2013

Time Series Image Data Analysis for Sport Skill.

Toshiyuki Maeda, Masanori Fujii, Isao Hayashi

Proceedings of the Advance Trends in Soft Computing, 2013

Model Checking Stencil Computations Written in a Partitioned Global Address Space Language.

Tatsuya Abe, Toshiyuki Maeda, Mitsuhisa Sato

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

E-health support system in university environment.

Toshiyuki Maeda, Yae Fukushige, Masumi Yajima

Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

2012

Time series data analysis for sport skill.

Toshiyuki Maeda, Masanori Fujii, Isao Hayashi

Proceedings of the 12th International Conference on Intelligent Systems Design and Applications, 2012

2011

Extended alias type system using separating implication.

Toshiyuki Maeda, Haruki Sato, Akinori Yonezawa

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

2010

Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts.

Toshiyuki Maeda, Akinori Yonezawa

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms.

Junya Sawazaki, Toshiyuki Maeda, Akinori Yonezawa

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

P-Bus: Programming Interface Layer for Safe OS Kernel Extensions.

Hajime Fujita, Motohiko Matsuda, Toshiyuki Maeda, Shin'ichi Miura, Yutaka Ishikawa

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Mobile Application Framework for Health Care Education.

Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada

Proceedings of the 7th IEEE Consumer Communications and Networking Conference, 2010

2009

Optimal Location of Wireless LAN Access Points Using Fuzzy ID3.

Isao Hayashi, Takashi Kobayashi, Yoshinori Arai, Toshiyuki Maeda, Atsushi Inoue

J. Adv. Comput. Intell. Intell. Informatics, 2009

Writing an OS Kernel in a Strictly and Statically Typed Language.

Toshiyuki Maeda, Akinori Yonezawa

Proceedings of the Formal to Practical Security, 2009

Towards an Open Dependable Operating System.

Yutaka Ishikawa, Hajime Fujita, Toshiyuki Maeda, Motohiko Matsuda, Midori Sugaya, Mitsuhisa Sato, Toshihiro Hanawa, Shin'ichi Miura, Taisuke Boku, Yuki Kinebuchi, Lei Sun, Tatsuo Nakajima, Jin Nakazawa, Hideyuki Tokuda

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Framework for mobile multi-applications.

Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada

Proceedings of the IADIS International Conference Applied Computing 2009, 2009

Acquisition of embodied knowledge on sport skill using TAM network.

Isao Hayashi, Toshiyuki Maeda, Masanori Fujii, Shuoyu Wang, Tokio Tasaka

Proceedings of the FUZZ-IEEE 2009, 2009

Spatial Navigation with Consistency Maintenance System.

Toshiyuki Maeda

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Lecture Sequence Management System Using Mobile Phone Messages.

Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada

Proceedings of the Computer and Information Science [outstanding papers from IEEE/ACIS ICIS/IWEA 2008], 2008

2007

Reconfigurable Interactivity for Net-Accessible PET-Type Rehabilitation robot System.

Toshiyuki Maeda

Int. J. Robotics Autom., 2007

Interactive operatability for pet-type rehabilitation robot system.

Toshiyuki Maeda

Proceedings of the IEEE International Conference on Systems, 2007

E-mail-based Education Environment Using Mobile Phone Communication.

Toshiyuki Maeda, Tadayuki Okamoto, Tetsushi Miura, Yae Fukushige, Takayuki Asada

Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007

Compiling C Programs into a Strongly Typed Assembly Language.

Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa

Proceedings of the Advances in Computer Science, 2007

2006

A Web-based integrated education system for a seamless environment among teachers, students, and administrators.

Noriko Hanakawa, Yoshiko Akazawa, Akira Mori, Toshiyuki Maeda, Shunji Inoue, Shigeyoshi Tsutsui

Syst. Comput. Jpn., 2006

A Statistical Quality Model for Delay Testing.

Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Seiji Kajihara

IEICE Trans. Electron., 2006

Structure Evaluation of Receptive Field Layer in TAM Network.

Isao Hayashi, Toshiyuki Maeda

Proceedings of the IEEE International Conference on Systems, 2006

Reconfigurable System Architecture for Net-accessible Pet-type Robot System.

Toshiyuki Maeda

Proceedings of the 15th IEEE International Symposium on Robot and Human Interactive Communication, 2006

A Framework of High-quality Transition Fault ATPG for Scan Circuits.

Seiji Kajihara, Shohei Morishima, Akane Takuma, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato

Proceedings of the 2006 IEEE International Test Conference, 2006

Recognition of Sensitized Longest Paths in Transition Delay Test.

Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Yasuyuki Noduyama, Yasuo Sato

Proceedings of the 2006 IEEE International Test Conference, 2006

A dynamic test compaction procedure for high-quality path delay testing.

Masayasu Fukunaga, Seiji Kajihara, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

Invisible delay quality - SDQM model lights up what could not be seen.

Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Yasuyuki Nozuyama, Seiji Kajihara

Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

Reconfigurable interactivity of pet-type robot rehabilitation system.

Toshiyuki Maeda

Proceedings of the ICINCO 2005, 2005

Path delay test compaction with process variation tolerance.

Seiji Kajihara, Masayasu Fukunaga, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato

Proceedings of the 42nd Design Automation Conference, 2005

Evaluation of the statistical delay quality model.

Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Seiji Kajihara

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

Pet-Type Robot Communication System for Mental Care of Single-Resident Elderies.

Toshiyuki Maeda, Kazumi Yoshida, Hisao Niwa, Kazuhiro Kayashima

Proceedings of the ICINCO 2004, 2004

2003

Net-accessible pet-type robot for aged people's welfare.

Toshiyuki Maeda, Kazumi Yoshida, Hisao Niwa, Kazuhiro Kayashima, Yuji Maeda

Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Computational Intelligence in Robotics and Automation for the New Millennium, 2003

Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.

Toshiyuki Maeda, Akinori Yonezawa

Proceedings of the Advances in Computing Science, 2003

2001

An Integration of Fuzzy and Two-Valued Logics on Natural Language Semantics.

Toshiyuki Maeda, Isao Hayashi, Motohide Umano, Lakhmi C. Jain

Proceedings of the Hybrid Information Systems, 2001

2000

Compaction of IDDQ Test Sequence Using Reassignment Method.

Toshiyuki Maeda, Kozo Kinoshita

J. Electron. Test., 2000

Precise test generation for resistive bridging faults of CMOS combinational circuits.

Toshiyuki Maeda, Kozo Kinoshita

Proceedings of the Proceedings IEEE International Test Conference 2000, 2000

Memory reduction of I_DDQ test compaction for internal and external bridging faults.

Toshiyuki Maeda, Kozo Kinoshita

Proceedings of the 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, 2000

1998

Acquisition of fuzzy knowledge by NN and GA-A survey of the fusion and union methods proposed in Japan.

Isao Hayashi, Motohide Umano, Toshiyuki Maeda, Andreas Bastian, Lakhmi C. Jain

Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998

1997

Software architecture for flexible and extensible image decoding.

Hiroshi Arakawa, Toshiyuki Maeda, Minoru Etoh

Signal Process. Image Commun., 1997

1996

Realization of multiwindow system with high-speed operations of nonrectangular windows.

Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto

Syst. Comput. Jpn., 1996

1994

Automatic Depiction of Spatial Descriptions.

Patrick Olivier, Toshiyuki Maeda, Jun'ichi Tsujii

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1992

Visualisation: mediating the interchange of information from the verbal to the visual domain.

Patrick Olivier, Sophia Ananiadou, Toshiyuki Maeda, Jun'ichi Tsujii

Proceedings of the Mensch und Maschine, 1992

1991

Decentralized priority encoder and its applications.

Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto

Syst. Comput. Jpn., 1991

1990

Media conversion into language and voice for intelligent communication.

Fumio Maehara, Masamichi Nakagawa, Kunio Nobori, Toshiyuki Maeda, Tsutomu Mori, Makoto Fujimoto

Proceedings of the First International Conference on Spoken Language Processing, 1990