|
|
JAIST Repository >
一覧: タイトル
検索結果: 15093-15113 / 18595.
| 発行日 | タイトル |
著者 |
|---|
| 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 | 省エネルギー技術におけるテーマ公募型事業者を対象とした省エネルギー効果量についての分析 | 鍛治, 日奈子; 丸内, 亮; 臼田, 浩幸 |
| 2-Nov-2013 | 省エネルギー技術開発におけるフォローアップ調査を通じた一考察 | 臼田, 浩幸 |
| 27-Oct-2007 | 省エネルギー製品における補完的技術の創出メカニズムに関する研究(分野別のR&Dマネジメント(2),一般講演,第22回年次学術大会) | 佐々, 広晃; 古川, 柳蔵 |
| 3-Jun-2015 | 省メモリ計算モデル上でのアルゴリズム設計技法の開発 | 浅野, 哲夫; Asano, Tetsuo |
| Mar-2017 | 省リソースデバイス向けの安全な擬似乱数生成器に関する研究 | 野間口, 広; のまぐち, ひろし |
| 27-Oct-2012 | 省庁所管内の独立行政法人間における共著論文調査 | 清水, 毅志 |
| 10-Oct-2015 | 省庁横断的政策におけるフレーミングの多様性がもたらす歪み : 『バイオマス・ニッポン総合戦略』の事例 | 谷口, 諒 |
| 27-Oct-2012 | 省水型・環境調和型水循環プロジェクトの今後の海外普及可能性についての検討 | 吉井, 博紀 |
|
