|
JAIST Repository >
一覧: タイトル
検索結果: 241-261 / 18596.
発行日 | タイトル |
著者 |
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金属-絶縁体-半導体電界効果トランジスタにおけるゲートリーク電流の伝導機構 | 梁, 吉慶; りょう, きっけい |
Mar-2022 | AlTiO絶縁膜を用いたGaN系MISデバイスにおけるノーマリーオフ動作のための界面電荷エンジニアリング | NGUYEN, DAI DUONG; ぐえん, だい ずうおん |
Mar-2017 | AlTiO絶縁膜を用いた低誘電率基板上InAsチャネルFETの作製 | 森, 涼介; もり, りょうすけ |
Nov-2010 | Alzheimer's amyloid beta:lipid membrane interactions, detected in real-time | Vestergaard, Mun'delanji C.; Morita, Masumune; Hamada, Tsutomu; Takagi, Masahiro |
1-Sep-2004 | Amalgamation property of Commutative Residuated Lattices | Takamura, Hiroki |
Mar-2000 | Amazon. com Vs Barnes & Noble ~ オンラインリテール時代における大型実店舗の将来性の考察 ~ | 東, 教志; ひがし, のりゆき |
Mar-1999 | Ambient Calculus を用いた移動エージェントの形式化 | 峯下, 聡志; みねした, さとし |
|