|
|
JAIST Repository >
一覧: タイトル
検索結果: 15086-15106 / 18593.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2011 | 直接合成カーボンナノチューブトランジスタにおけるゲート絶縁膜の影響 | 有延, 康; ありのべ, やすし |
| Mar-2008 | 直接合成法によるカーボンナノチューブ電界効果トランジスタの作製とデバイス特性評価 | 井波, 暢人; いなみ, のぶひと |
| Mar-2017 | 直示語を扱うための Indexical Hybrid Logic の拡張 | 関, 帆志生; せき, ほしお |
| Mar-2002 | 直線偏光Nd:YAGパルスレーザーによる溶融結晶化Si薄膜の粒界制御 | 可貴, 裕和; かき, ひろかず |
| Mar-2021 | 直観主義及び他の否定への探求 | 仁木, 哲; にき, さとる |
| Mar-1998 | 直観主義様相論理における cut 除去定理とその応用 | 近藤, 援; こんどう, たすく |
| Mar-1998 | 直観主義様相論理の意味論的研究 | 橋本, 安司; はしもと, やすし |
| Sep-2001 | 直観主義線形論理に対するペトリネットモデル | 石原, 啓子; いしはら, けいこ |
| Mar-2009 | 直観主義論理に基づくトポス意味論に関する研究 | 平田, 晋也; ひらた, しんや |
| Sep-2008 | 直観主義論理に基づく理論体系の保守的拡大に関する研究 | 立澤, 正博; たつざわ, まさひろ |
| Mar-2001 | 直観主義論理に対する図を用いた推論システムの構築 | 石田, 泰三; いしだ, たいぞう |
| Mar-2002 | 直観主義論理のいくつかの部分論理に対するゲンツェン流Sequent計算 | 菊池, 健太郎; きくち, けんたろう |
| Jun-2000 | 直角二等辺三角形への 8, 9, 10 個の最密円パッキング | 原山, 友弘; はらやま, ともひろ |
| Mar-2025 | 相互作用のあるシミュレーションを統合する都市デジタルツイン基盤の研究 | 大懸, 崇一郎; おおがけ, しゅういちろう |
| Mar-1996 | 相互侵入高分子網目ヒドロゲルのミクロ相分離構造による複合酵素分解性の制御 | 山本, 宣之 |
| 6-Jun-2014 | 相分離ベシクルの張力誘起構造転移と単分子膜結合挙動 | 濱田, 勉; Hamada, Tsutomu |
| 22-Oct-2005 | 相対的引用度格付け曲線の共通性(評価 (2), 第20回年次学術大会講演要旨集I) | 大野, 博教 |
| Mar-2006 | 相手の状況を表す音による状況アウェアネス支援に関する研究 | 半場, 雄介; はんば, ゆうすけ |
| Mar-2009 | 相補対称パストランジスタを用いたマルチプレクサ論理による低消費電力論理回路の研究 | 荒井, 大輔; あらい, だいすけ |
| Mar-2002 | 相関ルールマイニングにおける冗長性削減アルゴリズムに関する研究 | 鈴木俊行; すずき, としゆき |
| 27-Oct-2012 | 省エネルギー技術におけるテーマ公募型事業者を対象とした省エネルギー効果量についての分析 | 鍛治, 日奈子; 丸内, 亮; 臼田, 浩幸 |
|
