|
|
JAIST Repository >
一覧: 日付
検索結果: 15786-15806 / 18596.
| 発行日 | タイトル |
著者 |
|---|
| 15-Jun-2001 | 外的情報表現の内包論理 : 可能世界意味論モデル | 桐谷, 理; Kiritani, Osamu; キリタニ, オサム |
| 15-Jun-2001 | Large spontaneous spin splitting in gate-controlled two-dimensional electron gases at normal In_<0.75>Ga_<0.25>As/In_<0.75>Al_<0.25>As heterojunctions | Sato, Y.; Kita, T.; Gozu, S.; Yamada, S. |
| 14-Jun-2001 | Compressibility of the MgB_2 superconductor | Prassides, K.; Iwasa, Y.; Ito, T.; H. Chi, Dam; Uehara, K.; Nishibori, E.; Takata, M.; Sakata, M.; Ohishi, Y.; Shimomura,O.; Muranaka, T.; Akimitsu, J. |
| 4-Jun-2001 | The predicate extension of the minimum orthologic | Miyazaki, Yutaka |
| 4-Jun-2001 | Structural change at the carbon-nanotube tip by field emission | Kuzumaki, Toru; Takamura, Yuzuru; Ichinose, Hideki; Horiike, Yasuhiro |
| 1-Jun-2001 | Temporal epistemic logics for multi-agent systems | MARUYAMA, AKIO |
| 1-Jun-2001 | Ferromagnetism at room temperature in La-Ba-Ca-Mn-O thin films | Hoa Hong, Nguyen; Sakai, Joe; Imai, Syozo |
| Jun-2001 | 漁業の変遷と今後の沿岸域利用 : 対立から調和，さらに持続可能性の実現へ | 敷田, 麻実; Shikida, Asami |
| Jun-2001 | A New Approximation Algorithm for the Capacitated Vehicle Routing Problem on a Tree | Asano, Tetsuo; Katoh, Naoki; Kawashima, Kazuhiro |
| Jun-2001 | An agent-based model of anonymous communication protocols | Shigeki, K.; Soshi, M.; Miyaji, A. |
| Jun-2001 | Specification and verification of a single-track railroad signaling in CafeOBJ | SEINO, Takahiro; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| Jun-2001 | 酸素量を制御したMoO3-xアモルファス薄膜の光学的性質 | 吉元, 伸夫; よしもと, のぶお |
| Jun-2001 | 初期輪郭線から得られる情報を利用した動的輪郭モデルによる領域抽出 | 杉林, 大樹; すぎばやし, おおき |
| Jun-2001 | 多値論理を用いたパターン推論に関する研究 | 艾熱提, 阿布力克木; ガリラート, アブリキム |
| Jun-2001 | ペトリネットの診断可能性についての研究 | 林, 欣; りん, きん |
| Jun-2001 | 疎結合分散環境における耐故障性と適応性を実現するソフトウェアの構成に関する研究 | 豊島, 真澄; とよしま, ますみ |
| 25-May-2001 | 沿岸域管理入門 : 日本の沿岸域利用と保全の新秩序を求めて. 2, 沿岸域の価値と進行する沿岸域の危機 | 敷田, 麻実 |
| 6-May-2001 | Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem | Mano, Ken; Ogawa, Mizuhito |
| 1-May-2001 | On Detecting Digital Line Components in a Binary Image | ASANO, Tetsuo; OBOKATA, Koji; TOKUYAMA, Takeshi |
| 1-May-2001 | A Systolic Array RLS Processor | ASAI, Takahiro; MATSUMOTO, Tadashi |
| May-2001 | IT化時代の水産物流通と消費者 : 今後の水産物流通におけるIT技術の影響と可能性 | 敷田, 麻実 |
|
