default search action
Toshiyuki Maeda
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j13]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): 5734-5754 (2023) - [i3]Maho Nakata, Toshiyuki Maeda:
PubChemQC B3LYP/6-31G*//PM6 dataset: the Electronic Structures of 86 Million Molecules using B3LYP/6-31G* calculations. CoRR abs/2305.18454 (2023) - 2021
- [c61]Jesús Cámara
EduPar Virtual Poster Session. IPDPS Workshops 2021: 336-341 - 2020
- [j12]Maho Nakata
PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties. J. Chem. Inf. Model. 60(12): 5891-5899 (2020)
2010 – 2019
- 2019
- [c60]Dmitry Dereshev
Long-Term Value of Social Robots through the Eyes of Expert Users. CHI 2019: 666 - [c59]Toshiyuki Maeda, Akiyoshi Wakatani, Masumi Yajima:
Word Length Interval Dependency for Mobile Rapid Sentence Reading. FiCloud Workshops 2019: 49-52 - 2017
- [j11]Tatsuya Abe
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations. J. Inf. Process. 25: 244-255 (2017) - [j10]Tomoharu Ugawa, Tatsuya Abe
Model checking copy phases of concurrent copying garbage collection with various memory models. Proc. ACM Program. Lang. 1(OOPSLA): 53:1-53:26 (2017) - [j9]Tatsuya Abe
A general model checking framework for various memory consistency models. Int. J. Softw. Tools Technol. Transf. 19(5): 623-647 (2017) - [c58]Toshiyuki Maeda, Masumi Yajima:
Proposal of multi-lingual sentence reading for mobile communication. ICNC 2017: 872-875 - [c57]Akiyoshi Wakatani, Toshiyuki Maeda:
Web applications for learning CUDA programming. IISA 2017: 1-5 - [c56]Toshiyuki Maeda, Masumi Yajima, Akiyoshi Wakatani:
Personalized mobile rapid sentence reading with multi-lingual extension. PIMRC 2017: 1-4 - [c55]Tatsuya Abe
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. VSTTE 2017: 170-190 - [c54]Masatomo Hashimoto
An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels: Full Research Paper. ICPE 2017: 361-372 - 2016
- [c53]Tatsuya Abe
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. APLAS 2016: 63-84 - [c52]Akiyoshi Wakatani, Toshiyuki Maeda:
Evaluation of Software Education Using Auto-generated Exercises. CSE/EUC/DCABES 2016: 732-735 - [c51]Tatsuya Abe
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. SETTA 2016: 118-135 - [i2]Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto:
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. CoRR abs/1608.05893 (2016) - 2015
- [c50]Akiyoshi Wakatani, Toshiyuki Maeda:
Automatic generation of programming exercises for learning programming language. ICIS 2015: 461-465 - [c49]Toshiyuki Maeda, Yae Fukushige, Masumi Yajima:
Text mining analysis for e-health information system. HealthCom 2015: 50-54 - [c48]Toshiyuki Maeda, Masumi Yajima:
Personal skill identification using time series motion picture data. IECON 2015: 2475-2478 - [c47]Masatomo Hashimoto
Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns. MSR 2015: 13-23 - [c46]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: 63-72 - [c45]Tomomi Shimazaki, Masatomo Hashimoto
Developing a high-performance quantum chemistry program with a dynamic scripting language. SE-HPCCSE@SC 2015: 9-15 - 2014
- [c44]Toshiyuki Maeda, Masanori Fujii, Isao Hayashi:
Sport motion picture analysis as time series data. AMC 2014: 530-535 - [c43]Isao Hayashi, Masanori Fujii, Toshiyuki Maeda, Tokio Tasaka:
A Proposal of Adaboost Type TAM Network and Its Application to Sport Skill Analysis. BICT 2014 - [c42]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: 866-873 - [c41]Toshiyuki Maeda, Masanori Fujii, Isao Hayashi, Tokio Tasaka:
Sport skill classification using time series motion picture data. IECON 2014: 5272-5277 - [c40]Tatsuya Abe
A General Model Checking Framework for Various Memory Consistency Models. IPDPS Workshops 2014: 332-341 - [c39]Tatsuya Abe
Optimization of a General Model Checking Framework for Various Memory Consistency Models. PGAS 2014: 14:1-14:10 - [c38]Isao Hayashi, Toshiyuki Maeda, Masanori Fujii, Tokio Tasaka:
Extraction of attributes and knowledge rules for sport skill by TAM network. SCIS&ISIS 2014: 782-787 - [i1]Toshiyuki Maeda, Masanori Fujii, Isao Hayashi:
Skill Analysis with Time Series Image Data. CoRR abs/1401.5157 (2014) - 2013
- [c37]Toshiyuki Maeda, Yae Fukushige, Masumi Yajima:
E-health support system in university environment. Healthcom 2013: 265-267 - [c36]Tatsuya Abe
Model Checking Stencil Computations Written in a Partitioned Global Address Space Language. IPDPS Workshops 2013: 365-374 - [c35]Toshiyuki Maeda, Masanori Fujii, Isao Hayashi:
Time Series Image Data Analysis for Sport Skill. WCSC 2013: 181-190 - 2012
- [c34]Toshiyuki Maeda, Masanori Fujii, Isao Hayashi:
Time series data analysis for sport skill. ISDA 2012: 392-397 - 2011
- [c33]Toshiyuki Maeda, Haruki Sato, Akinori Yonezawa:
Extended alias type system using separating implication. TLDI 2011: 29-42 - 2010
- [c32]Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada:
Mobile Application Framework for Health Care Education. CCNC 2010: 1-2 - [c31]Junya Sawazaki, Toshiyuki Maeda, Akinori Yonezawa:
Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms. PRDC 2010: 37-46 - [c30]Hajime Fujita, Motohiko Matsuda, Toshiyuki Maeda, Shin'ichi Miura, Yutaka Ishikawa:
P-Bus: Programming Interface Layer for Safe OS Kernel Extensions. PRDC 2010: 235-236 - [c29]Toshiyuki Maeda, Akinori Yonezawa:
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts. SSV 2010
2000 – 2009
- 2009
- [j8]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): 128-134 (2009) - [c28]Toshiyuki Maeda:
Spatial Navigation with Consistency Maintenance System. ACIS-ICIS 2009: 695-700 - [c27]Isao Hayashi, Toshiyuki Maeda, Masanori Fujii, Shuoyu Wang, Tokio Tasaka:
Acquisition of embodied knowledge on sport skill using TAM network. FUZZ-IEEE 2009: 1038-1043 - [c26]Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada:
Framework for mobile multi-applications. IADIS AC (2) 2009: 350-352 - [c25]Yutaka Ishikawa, Hajime Fujita, Toshiyuki Maeda, Motohiko Matsuda, Midori Sugaya, Mitsuhisa Sato, Toshihiro Hanawa
Towards an Open Dependable Operating System. ISORC 2009: 20-27 - [c24]Toshiyuki Maeda, Akinori Yonezawa:
Writing an OS Kernel in a Strictly and Statically Typed Language. Formal to Practical Security 2009: 181-197 - 2008
- [p1]Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada:
Lecture Sequence Management System Using Mobile Phone Messages. Computer and Information Science 2008: 181-187 - 2007
- [j7]Toshiyuki Maeda:
Reconfigurable Interactivity for Net-Accessible PET-Type Rehabilitation robot System. Int. J. Robotics Autom. 22(1) (2007) - [c23]Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa:
Compiling C Programs into a Strongly Typed Assembly Language. ASIAN 2007: 17-32 - [c22]Toshiyuki Maeda, Tadayuki Okamoto, Tetsushi Miura, Yae Fukushige, Takayuki Asada:
E-mail-based Education Environment Using Mobile Phone Communication. ICALT 2007: 427-429 - [c21]Toshiyuki Maeda:
Interactive operatability for pet-type rehabilitation robot system. SMC 2007: 2594-2599 - 2006
- [j6]Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Seiji Kajihara:
A Statistical Quality Model for Delay Testing. IEICE Trans. Electron. 89-C(3): 349-355 (2006) - [j5]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. Syst. Comput. Jpn. 37(5): 14-24 (2006) - [c20]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: 348-353 - [c19]Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Yasuyuki Noduyama, Yasuo Sato:
Recognition of Sensitized Longest Paths in Transition Delay Test. ITC 2006: 1-6 - [c18]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: 1-6 - [c17]Toshiyuki Maeda:
Reconfigurable System Architecture for Net-accessible Pet-type Robot System. RO-MAN 2006: 668-673 - [c16]Isao Hayashi, Toshiyuki Maeda:
Structure Evaluation of Receptive Field Layer in TAM Network. SMC 2006: 1541-1547 - 2005
- [c15]Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Seiji Kajihara:
Evaluation of the statistical delay quality model. ASP-DAC 2005: 305-310 - [c14]Seiji Kajihara, Masayasu Fukunaga, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato:
Path delay test compaction with process variation tolerance. DAC 2005: 845-850 - [c13]Toshiyuki Maeda:
Reconfigurable interactivity of pet-type robot rehabilitation system. ICINCO 2005: 257-262 - [c12]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: 9 - 2004
- [c11]Toshiyuki Maeda, Kazumi Yoshida, Hisao Niwa, Kazuhiro Kayashima:
Pet-Type Robot Communication System for Mental Care of Single-Resident Elderies. ICINCO (2) 2004: 322-325 - 2003
- [c10]Toshiyuki Maeda, Akinori Yonezawa:
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. ASIAN 2003: 3-17 - [c9]Toshiyuki Maeda, Kazumi Yoshida, Hisao Niwa, Kazuhiro Kayashima, Yuji Maeda:
Net-accessible pet-type robot for aged people's welfare. CIRA 2003: 130-133 - 2001
- [c8]Toshiyuki Maeda, Isao Hayashi, Motohide Umano, Lakhmi C. Jain:
An Integration of Fuzzy and Two-Valued Logics on Natural Language Semantics. HIS 2001: 301-311 - 2000
- [j4]Toshiyuki Maeda, Kozo Kinoshita:
Compaction of IDDQ Test Sequence Using Reassignment Method. J. Electron. Test. 16(3): 243-249 (2000) - [c7]Toshiyuki Maeda, Kozo Kinoshita:
Memory reduction of IDDQ test compaction for internal and external bridging faults. Asian Test Symposium 2000: 350-355 - [c6]Toshiyuki Maeda, Kozo Kinoshita:
Precise test generation for resistive bridging faults of CMOS combinational circuits. ITC 2000: 510-519
1990 – 1999
- 1999
- [c5]Toshiyuki Maeda, Kozo Kinoshita:
Compaction of IDDQ test sequence using reassignment method. ETW 1999: 40-45 - 1998
- [c4]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: 69-78 - 1997
- [j3]Hiroshi Arakawa, Toshiyuki Maeda, Minoru Etoh:
Software architecture for flexible and extensible image decoding. Signal Process. Image Commun. 10(1-3): 235-248 (1997) - 1996
- [j2]Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto:
Realization of multiwindow system with high-speed operations of nonrectangular windows. Syst. Comput. Jpn. 27(10): 48-58 (1996) - 1994
- [c3]Patrick Olivier, Toshiyuki Maeda, Jun'ichi Tsujii:
Automatic Depiction of Spatial Descriptions. AAAI 1994: 1405-1410 - 1992
- [c2]Patrick Olivier, Sophia Ananiadou, Toshiyuki Maeda, Jun'ichi Tsujii:
Visualisation: mediating the interchange of information from the verbal to the visual domain. ISI 1992: 324-337 - 1991
- [j1]Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto:
Decentralized priority encoder and its applications. Syst. Comput. Jpn. 22(10): 9-17 (1991) - 1990
- [c1]Fumio Maehara, Masamichi Nakagawa, Kunio Nobori, Toshiyuki Maeda, Tsutomu Mori, Makoto Fujimoto:
Media conversion into language and voice for intelligent communication. ICSLP 1990: 985-988
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: