Toshiyuki Maeda

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 24

Top Topics

Temporal Properties

Programming Exercises

Top Venues

IPDPS Workshops

J. Chem. Inf. Model.

Publications

Maho Nakata, Toshiyuki Maeda
PubChemQC B3LYP/6-31G*//PM6 dataset: the Electronic Structures of 86 Million Molecules using B3LYP/6-31G* calculations. CoRR (2023)
Maho Nakata, Toshiyuki Maeda
PubChemQC B3LYP/6-31G*//PM6 Data Set: The Electronic Structures of 86 Million Molecules Using B3LYP/6-31G* Calculations. J. Chem. Inf. Model. 63 (18) (2023)
Jesús Cámara, José-Carlos Cano, Javier Cuenca, Toshiyuki Maeda, Mariano Saura-Sánchez, Lewis Tseng, Akiyoshi Wakatani, Martina Barnas
EduPar Virtual Poster Session. IPDPS Workshops (2021)
Maho Nakata, Tomomi Shimazaki, Masatomo Hashimoto, Toshiyuki Maeda
PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties. J. Chem. Inf. Model. 60 (12) (2020)
Dmitry Dereshev, David S. Kirk, Kohei Matsumura, Toshiyuki Maeda
Long-Term Value of Social Robots through the Eyes of Expert Users. CHI (2019)
Toshiyuki Maeda, Akiyoshi Wakatani, Masumi Yajima
Word Length Interval Dependency for Mobile Rapid Sentence Reading. FiCloud Workshops (2019)
Toshiyuki Maeda, Masumi Yajima
Proposal of multi-lingual sentence reading for mobile communication. ICNC (2017)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. VSTTE (2017)
Tatsuya Abe, Toshiyuki Maeda
A general model checking framework for various memory consistency models. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda
Model checking copy phases of concurrent copying garbage collection with various memory models. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Toshiyuki Maeda, Masumi Yajima, Akiyoshi Wakatani
Personalized mobile rapid sentence reading with multi-lingual extension. PIMRC (2017)
Masatomo Hashimoto, Masaaki Terai, Toshiyuki Maeda, Kazuo Minami
An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels: Full Research Paper. ICPE (2017)
Tatsuya Abe, Toshiyuki Maeda
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations. J. Inf. Process. 25 (2017)
Akiyoshi Wakatani, Toshiyuki Maeda
Web applications for learning CUDA programming. IISA (2017)
Akiyoshi Wakatani, Toshiyuki Maeda
Evaluation of Software Education Using Auto-generated Exercises. CSE/EUC/DCABES (2016)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. SETTA (2016)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. CoRR (2016)
Tatsuya Abe, Toshiyuki Maeda
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. APLAS (2016)
Toshiyuki Maeda, Masumi Yajima
Personal skill identification using time series motion picture data. IECON (2015)
Akiyoshi Wakatani, Toshiyuki Maeda
Automatic generation of programming exercises for learning programming language. ICIS (2015)
Masatomo Hashimoto, Masaaki Terai, Toshiyuki Maeda, Kazuo Minami
Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns. MSR (2015)
Tomomi Shimazaki, Masatomo Hashimoto, Toshiyuki Maeda
Developing a high-performance quantum chemistry program with a dynamic scripting language. SE-HPCCSE@SC (2015)
Itaru Kitayama, Brian J. N. Wylie, Toshiyuki Maeda
Execution Performance Analysis of the ABySS Genome Sequence Assembler using Scalasca on the K Computer. PARCO (2015)
Toshiyuki Maeda, Yae Fukushige, Masumi Yajima
Text mining analysis for e-health information system. HealthCom (2015)
Isao Hayashi, Toshiyuki Maeda, Masanori Fujii, Tokio Tasaka
Extraction of attributes and knowledge rules for sport skill by TAM network. SCIS&ISIS (2014)
Tatsuya Abe, Toshiyuki Maeda
Optimization of a General Model Checking Framework for Various Memory Consistency Models. PGAS (2014)
Tatsuya Abe, Toshiyuki Maeda
A General Model Checking Framework for Various Memory Consistency Models. IPDPS Workshops (2014)
Toshiyuki Maeda, Masanori Fujii, Isao Hayashi, Tokio Tasaka
Sport skill classification using time series motion picture data. IECON (2014)
Isao Hayashi, Masanori Fujii, Toshiyuki Maeda, Tokio Tasaka
A Proposal of Adaboost Type TAM Network and Its Application to Sport Skill Analysis. BICT (2014)
Masaaki Terai, Peter Bryzgalov, Toshiyuki Maeda, Kazuo Minami
Extending K-Scope Fortran Source Code Analyzer with Visualization of Performance Profiling Data and Remote Parsing of Source Code. HPCC/CSS/ICESS (2014)
Toshiyuki Maeda, Masanori Fujii, Isao Hayashi
Sport motion picture analysis as time series data. AMC (2014)
Toshiyuki Maeda, Masanori Fujii, Isao Hayashi
Skill Analysis with Time Series Image Data. CoRR (2014)
Toshiyuki Maeda, Masanori Fujii, Isao Hayashi
Time Series Image Data Analysis for Sport Skill. WCSC (2013)
Tatsuya Abe, Toshiyuki Maeda, Mitsuhisa Sato
Model Checking Stencil Computations Written in a Partitioned Global Address Space Language. IPDPS Workshops (2013)
Toshiyuki Maeda, Yae Fukushige, Masumi Yajima
E-health support system in university environment. Healthcom (2013)
Toshiyuki Maeda, Masanori Fujii, Isao Hayashi
Time series data analysis for sport skill. ISDA (2012)
Toshiyuki Maeda, Haruki Sato, Akinori Yonezawa
Extended alias type system using separating implication. TLDI (2011)
Toshiyuki Maeda, Akinori Yonezawa
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts. SSV (2010)
Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada
Mobile Application Framework for Health Care Education. CCNC (2010)
Hajime Fujita, Motohiko Matsuda, Toshiyuki Maeda, Shin'ichi Miura, Yutaka Ishikawa
P-Bus: Programming Interface Layer for Safe OS Kernel Extensions. PRDC (2010)
Junya Sawazaki, Toshiyuki Maeda, Akinori Yonezawa
Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms. PRDC (2010)
Toshiyuki Maeda
Spatial Navigation with Consistency Maintenance System. ACIS-ICIS (2009)
Toshiyuki Maeda, Akinori Yonezawa
Writing an OS Kernel in a Strictly and Statically Typed Language. Formal to Practical Security (2009)
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
Towards an Open Dependable Operating System. ISORC (2009)
Isao Hayashi, Takashi Kobayashi, Yoshinori Arai, Toshiyuki Maeda, Atsushi Inoue
Optimal Location of Wireless LAN Access Points Using Fuzzy ID3. J. Adv. Comput. Intell. Intell. Informatics 13 (2) (2009)
Isao Hayashi, Toshiyuki Maeda, Masanori Fujii, Shuoyu Wang, Tokio Tasaka
Acquisition of embodied knowledge on sport skill using TAM network. FUZZ-IEEE (2009)
Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada
Framework for mobile multi-applications. IADIS AC (2) (2009)
Toshiyuki Maeda, Tadayuki Okamoto, Tetsushi Miura, Yae Fukushige, Takayuki Asada
E-mail-based Education Environment Using Mobile Phone Communication. ICALT (2007)
Toshiyuki Maeda
Interactive operatability for pet-type rehabilitation robot system. SMC (2007)
Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa
Compiling C Programs into a Strongly Typed Assembly Language. ASIAN (2007)
Toshiyuki Maeda
Reconfigurable Interactivity for Net-Accessible PET-Type Rehabilitation robot System. Int. J. Robotics Autom. 22 (1) (2007)
Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Seiji Kajihara
A Statistical Quality Model for Delay Testing. IEICE Trans. Electron. (3) (2006)
Seiji Kajihara, Shohei Morishima, Akane Takuma, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato
A Framework of High-quality Transition Fault ATPG for Scan Circuits. ITC (2006)
Masayasu Fukunaga, Seiji Kajihara, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato
A dynamic test compaction procedure for high-quality path delay testing. ASP-DAC (2006)
Toshiyuki Maeda
Reconfigurable System Architecture for Net-accessible Pet-type Robot System. RO-MAN (2006)
Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Yasuyuki Noduyama, Yasuo Sato
Recognition of Sensitized Longest Paths in Transition Delay Test. ITC (2006)
Isao Hayashi, Toshiyuki Maeda
Structure Evaluation of Receptive Field Layer in TAM Network. SMC (2006)
Noriko Hanakawa, Yoshiko Akazawa, Akira Mori, Toshiyuki Maeda, Shunji Inoue, Shigeyoshi Tsutsui
A Web-based integrated education system for a seamless environment among teachers, students, and administrators. Systems and Computers in Japan 37 (5) (2006)
Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Yasuyuki Nozuyama, Seiji Kajihara
Invisible delay quality - SDQM model lights up what could not be seen. ITC (2005)
Toshiyuki Maeda
Reconfigurable interactivity of pet-type robot rehabilitation system. ICINCO (2005)
Seiji Kajihara, Masayasu Fukunaga, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato
Path delay test compaction with process variation tolerance. DAC (2005)
Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Seiji Kajihara
Evaluation of the statistical delay quality model. ASP-DAC (2005)
Toshiyuki Maeda, Kazumi Yoshida, Hisao Niwa, Kazuhiro Kayashima
Pet-Type Robot Communication System for Mental Care of Single-Resident Elderies. ICINCO (2) (2004)
Toshiyuki Maeda, Akinori Yonezawa
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. ASIAN (2003)
Toshiyuki Maeda, Kazumi Yoshida, Hisao Niwa, Kazuhiro Kayashima, Yuji Maeda
Net-accessible pet-type robot for aged people's welfare. CIRA (2003)
Toshiyuki Maeda, Isao Hayashi, Motohide Umano, Lakhmi C. Jain
An Integration of Fuzzy and Two-Valued Logics on Natural Language Semantics. HIS (2001)
Toshiyuki Maeda, Kozo Kinoshita
test compaction for internal and external bridging faults. Asian Test Symposium (2000)
Toshiyuki Maeda, Kozo Kinoshita
Precise test generation for resistive bridging faults of CMOS combinational circuits. ITC (2000)
Toshiyuki Maeda, Kozo Kinoshita
Compaction of IDDQ Test Sequence Using Reassignment Method. J. Electron. Test. 16 (3) (2000)
Toshiyuki Maeda, Kozo Kinoshita
Compaction of IDDQ test sequence using reassignment method. ETW (1999)
Isao Hayashi, Motohide Umano, Toshiyuki Maeda, Andreas Bastian, Lakhmi C. Jain
Acquisition of fuzzy knowledge by NN and GA-A survey of the fusion and union methods proposed in Japan. KES (1) (1998)
Hiroshi Arakawa, Toshiyuki Maeda, Minoru Etoh
Software architecture for flexible and extensible image decoding. Signal Process. Image Commun. 10 (1-3) (1997)
Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto
Realization of multiwindow system with high-speed operations of nonrectangular windows. Systems and Computers in Japan 27 (10) (1996)
Patrick Olivier, Toshiyuki Maeda, Jun'ichi Tsujii
Automatic Depiction of Spatial Descriptions. AAAI (1994)
Patrick Olivier, Sophia Ananiadou, Toshiyuki Maeda, Jun'ichi Tsujii
Visualisation: mediating the interchange of information from the verbal to the visual domain. ISI (1992)
Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto
Decentralized priority encoder and its applications. Systems and Computers in Japan 22 (10) (1991)
Fumio Maehara, Masamichi Nakagawa, Kunio Nobori, Toshiyuki Maeda, Tsutomu Mori, Makoto Fujimoto
Media conversion into language and voice for intelligent communication. ICSLP (1990)