| 発行日 | タイトル |
著者 |
|---|
| 22-Sep-2009 | A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method | Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| Mar-2008 | Tools and Technologies in the CEq Emergence Assistant | Senachak, Jittisak; セナチャク, ジッテイサク |
| 19-Aug-1996 | Top-down labelling and modularity of term rewriting systems | Aoto, Takahito; Toyama, Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト |
| Nov-2005 | Topic Map and Its Application to Document Retrieval | Haiyan, Tian; Jiangning, Wu; Guangfei, Yang; Jifa, Gu; Gerhard, Chroust |
| Mar-2003 | A topological approach to modal logics | 大下, 健史; おおした, たけひと |
| 2013 | Topological Similarity of Motor Coordination in Rhythmic Movements | Hidaka, Shohei; Fujinami, Tsutomu |
| Jul-2019 | Topology Graph Pruning for Optical Mapping Methods using Edge Betweenness Centrality | ELIBOL, Armagan; Nak-Young, Chong |
| 10-Sep-2003 | Total Order Broadcast and Multicast Algorithms : Taxonomy and Survey | Defago, Xavier; Schiper, Andre; Urban, Peter |
| Dec-2004 | Total order broadcast and multicast algorithms: Taxonomy and survey | Defago, Xavier; Schiper, Andre; Urban, Peter |
| 29-Oct-2010 | Totally solution-processed ferroelectric-gate thin-film transistor | Miyasako, Takaaki; Trinh, Bui Nguyen Quoc; Onoue, Masatoshi; Kaneda, Toshihiko; Tue, Phan Trong; Tokumitsu, Eisuke; Shimoda, Tatsuya |
| Nov-2012 | Toward a computational model of creativity: Novel hypothesis generation from structural knowledge | Hidaka, Shohei |
| 8-Jul-2017 | Toward a mechanistic account for imitation learning: an analysis of pendulum swing-up | Torii, Takuma; Hidaka, Shohei |
| 14-Apr-2016 | Toward a Molecular Understanding of the Mechanism of Cryopreservation by Polyampholytes: Cell Membrane Interactions and Hydrophobicity | Rajan, Robin; Hayashi, Fumiaki; Nagashima, Toshio; Matsumura, Kazuaki |
| 2005 | Toward a rule-based synthesis of emotional speech on linguistic description of perception | Huang, Chun-Fang; Akagi, Masato |
| 22-Sep-2009 | Toward Agda-2 Agda at CVS | Takeyama, Makoto |
| 24-Nov-2006 | Toward an automatic reusable software using textual entailment | Kotb, Yasser; Katayama, Takuya |
| 2-Jul-2011 | Toward Dynamic Attribute-Based Signcryption (Poster) | Emura, Keita; Miyaji, Atsuko; Rahman, Mohammad Shahriar |
| 28-Oct-2015 | Toward Improving Estimation Accuracy of Emotion Dimensions in Bilingual Scenario Based on Three-layered Model | LI, Xingfeng; Akagi, Masato |
| 29-Oct-2024 | Toward Integrating Semantic-aware Path Planning and Reliable Localization for UAV Operations | Nguyen Canh, Thanh; Ngo, Huy-Hoang; HoangVan, Xiem; Chong, Nak Young |
| Nov-2007 | Toward Integration of Knowledge Creation Theories By Primitives Synthesis Through Reflective Verification | Sugiyama, Kozo; Meyer, Bertolt; Nakamori, Yoshiteru; Wang, Zhongtuo; Gu, Jifa; Ma, Tieju |
| Nov-2005 | Toward Policymaking Support Based on Remote Sensing Data | Miyashita, Mitsumi; Nakamori, Yoshiteru; Jifa, Gu; Gerhard, Chroust |
