一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

一覧: タイトル

移動先: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
タイトルの先頭数文字を入力して移動:   

検索結果: 213-233 / 17593.

前ページ 次ページ
発行日タイトル 著者
26-Oct-2019 AI倫理分野における人文・社会科学の「輸入学問」から「発信学問」への転換／JST・RISTEX「人と情報のエコシステム」領域の取り組み茅, 明子
27-Oct-2018 AI化が日本の産業界と雇用に与える影響の大きさと方向性奥和田, 久美
26-Oct-2019 AI関連技術を活用したクローズアップ科学技術領域の抽出蒲生, 秀典; 小柴, 等; 重茂, 浩美
Mar-2005 Al-CDS-1ゼオライトの調製とそのキャラクタリゼーション飛田, 英士; ひだ,　えいじ
Mar-2018 Al2O3あるいはAlTiOゲート絶縁膜を用いた AlGaN/GaN 金属-絶縁体-半導体(MIS)デバイスにおける界面電荷エンジニアリング大槻, 圭生; おおつき, けいせい
Mar-2017 Al2O3およびAlTiOの化合物半導体異種材料融合集積技術への応用宇井, 利昌; うい, としまさ
Mar-2022 AlGaN/GaN ヘテロ構造に対するリセスオーミック接触抵抗のサイズ依存性木内, 翔太; きうち, しょうた
Mar-2017 AlGaN/GaNデバイスにおける絶縁体-半導体界面電荷と界面結合状態長谷川, 貴大; はせがわ, たかひろ
Mar-2012 AlGaN/GaN電界効果トランジスタおよびショットキーダイオードにおける低周波揺らぎ四郎園, 政隆; しろうぞの, まさたか
16-Jul-2002 An algebraic approach to linguistic hedges in Zadeh's fuzzy logicNguyen, Ho C.; Huynh, V. Nam
Mar-2005 An algebraic approach to the disjunction property of substructural logics相馬, 大輔; そうま, だいすけ
7-Mar-2007 Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse SystemKong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi
23-Mar-2007 Algebraic approaches to formal analysis of the mondex electronic purse systemKong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi
Jul-2004 Algebraic aspects of cut eliminationBelardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira
2008 Algebraic characterizations of variable separation propertiesKIHARA, Hitoshi; ONO, Hiroakira
Mar-1999 An Algebraic Formal Method for Component based Software Developments飯田, 周作; いいだ, しゅうさく
2007 An algebraic foundation for linguistic reasoningHuynh, Van Nam; Murai, Tetsuya; Nakamori, Yoshiteru
Sep-2014 Algebraic Mozart by Tree SynthesisHirata, Keiji; Tojo, Satoshi; Hamanaka, Masatoshi
Jun-2006 Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FLGalatos, Nikolaos; Ono, Hiroakira
Nov-2005 Algorithm for Generating All Spanning Trees of Complete Undirected GraphsEl, 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 MethodHIRAISHI, Kunihiko; TANAKA, Hirohide
前ページ 次ページ

 
お問い合わせ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係