| 発行日 | タイトル |
著者 |
|---|
| 23-Mar-2007 | Algebraic approaches to formal analysis of the mondex electronic purse system | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
| Jul-2004 | Algebraic aspects of cut elimination | Belardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira |
| 2008 | Algebraic characterizations of variable separation properties | KIHARA, Hitoshi; ONO, Hiroakira |
| Mar-1999 | An Algebraic Formal Method for Component based Software Developments | 飯田, 周作; いいだ, しゅうさく |
| 2007 | An algebraic foundation for linguistic reasoning | Huynh, Van Nam; Murai, Tetsuya; Nakamori, Yoshiteru |
| Sep-2014 | Algebraic Mozart by Tree Synthesis | Hirata, Keiji; Tojo, Satoshi; Hamanaka, Masatoshi |
| Jun-2006 | Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL | Galatos, Nikolaos; Ono, Hiroakira |
| Nov-2005 | Algorithm for Generating All Spanning Trees of Complete Undirected Graphs | El, Bekkaye Mermri; Katagiri, Hideki; Sakawa, Masatoshi; Kato, Kosuke; Jifa, Gu; Gerhard, Chroust |
| 1-Nov-2001 | An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order Method | HIRAISHI, Kunihiko; TANAKA, Hirohide |
| Jan-2006 | Algorithmic Painter: a NPR method to generate various styles of painting | Kasao, A; Miyata, K |
| Jul-2021 | Algorithmically Improved Framework for Image-only Robotic Mapping | ELIBOL, Armagan; Nak-Young, Chong |
| Apr-2001 | Alignment of Grain Boundary in a Si film Crystallized by a Linearly Polarized Laser Beam on a Glass Substrate | Horita, S; Nakata, Y; Shimoyama, A |
| 12-Jul-2020 | Alkaline stability of ether bond free fluorene-based anion exchange polymer containing cycloaliphatic quaternary ammonium groups | Salma, Umme; Nagao, Yuki |
| 22-May-2019 | All-Electron Quantum Monte Carlo with Jastrow Single Determinant Ansatz: Application to the Sodium Dimer | Nakano, Kousuke; Maezono, Ryo; Sorella, Sandro |
| 22-Oct-2005 | Alliance networks of US. Indian and Chinese IT services companies and the divergence of sectoral innovation systems | WU, Qiong; KLINCWEICZ, Krzysztof; MIYAZAKI, Kumiko |
| Mar-2012 | AlN/GaAsおよびAlN/Ge/GaAs 構造における容量周波数分散の温度依存性 | 丹下, 健; たんげ, たけし |
| Mar-2021 | AlNゲート絶縁膜とゲートリセスを用いたAlN/AlGaN/GaN MISデバイスの閾値電圧制御 | 新村, 純平; しむら, じゅんぺい |
| Mar-1997 | alpha-Fe_2O_3バッファー層を持つガーネット基板上へのBaFe_12O_19膜の成長 | 山田, 知明; やまだ, ともゆき |
| Mar-1997 | ALPに基づく仮説選択機構の国際統一売買法への適用に関する研究 | 松永, 佳丈; まつなが, よしたけ |
| 26-Jun-2008 | Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata | Nguyen, Van Tang; Ogawa, Mizuhito |
| Mar-2015 | AlTiO/InAlN/AlN/GaN金属-絶縁体-半導体電界効果トランジスタにおけるゲートリーク電流の伝導機構 | 梁, 吉慶; りょう, きっけい |
