|
JAIST Repository >
一覧: タイトル
検索結果: 5390-5410 / 18593.
発行日 | タイトル |
著者 |
8-Mar-2024 | Two-Stage Successive Wyner-Ziv Lossy Forward Relaying for Lossy Communications: Rate-Distortion and Outage Probability Analyses | Matsumoto, Tad; Zribi, Amin; Asvadi, Reza; Dupraz, Elsa; Lin, Wensheng |
Jun-2009 | A Two-Step Execution Mechanism for Thin Secure Hypervisors | Hirano, Manabu; Shinagawa, Takahiro; Eiraku, Hideki; Hasegawa, Shoichi; Omote, Kazumasa; Tanimoto, Kouichi; Horie, Takashi; Mune, Seiji; Kato, Kazuhiko; Okuda, Takeshi; Kawai, Eiji; Yamaguchi, Suguru |
18-Jun-2004 | A Type Theory for Krivine-style Evaluation and Compilation | Choi, Kwanghoon; Ohori, Atsushi |
31-Jan-2005 | A Type Theory for Krivine-style Evaluation and Compilation | Choi, Kwanghoon; Ohori, Atsushi |
Mar-2006 | Type-directed Compilation of ML Supporting Interoperable Memory Management System | Huu-Duc, Nguyen |
2005 | Tyrolean Termination Tool | Hirokawa, Nao; Middeldorp, Aart |
Sep-2007 | Tyrolean termination tool: Techniques and features | Hirokawa, Nao; Middeldorp, Aart |
Mar-2014 | T細胞における細胞膜の流動性と信号伝達 | 薮内, 里実; やぶうち, さとみ |
Aug-2013 | UAV Dynamic Path Planning for Intercepting of a Moving Target: A Review | Triharminto, Hendri Himawan; Prabuwono, Anton Satria; Adji, Teguh Bharata; Setiawan, Noor Akhmad; Chong, Nak Young |
Mar-2021 | UAV 搭載可能な不整系壁面に対応する壁面吸着機構の開発 | 長谷川, 羽廷; はせがわ, うじょう |
26-Aug-2016 | UAV-based Multiple Source Localization and Contour Mapping of Radiation Fields | Newaz, Abdullah Al Redwan; Jeong, Sungmoon; Lee, Hosun; Ryu, Hyejeong; Chong, Nak Young |
Jul-2021 | A UAV-UUV Transformative Housing for Minimal Logistics Underwater Exploration | Tsai, Chung Hsuan; Elibol, Armagan; Chong, Nak-Young |
Mar-2017 | UAVを用いた放射能汚染地図作製と汚染源位置推定 | Redwan Newaz, Abdullah Al; れっどわん ねーわっず, あぶどぅらー ある |
Sep-2023 | UAVを用いた音声による避難誘導シミュレーション | 鍵本, 悠理子; かぎもと, ゆりこ |
Mar-2019 | UHV-TEMに組み込んだ周波数変調型力学測定による金ナノ接点ヤング率の方位依存性の解明 | 小堀, 雄稀; こぼり, ゆうき |
Nov-2005 | UK Radioactive Waste Disposal Policy; a role for Social Systems Science? | Michael, G Norton; Jifa, Gu; Gerhard, Chroust |
23-Oct-2000 | Ultrathin silicon nitride gate dielectrics prepared by catalytic chemical vapor deposition at low temperatures | Sato, Hidekazu; Izumi, Akira; Matsumura, Hideki |
Sep-2011 | A UML Approximation of a Subset of the CK Metrics and Their Ability to Predict Faulty Classes | CAMARGO CRUZ, Ana Erika |
Mar-2012 | UML2.4を対象とするUML図・UMLモデリン グ要素間の依存関係の自動生成法 | 王, 亜莉; わん, やり |
Mar-2002 | UMLからのコンポーネントソフトウェア自動生成に関する研究 | 片山, 仁史; かたやま, よしひと |
Sep-2003 | UMLステートチャートに対するモデル検査に関する研究 | 林, 信宏; リン, シンコウ |
|