|
|
JAIST Repository >
一覧: 日付
検索結果: 13959-13979 / 19264.
| 発行日 | タイトル |
著者 |
|---|
| 22-Oct-2005 | プログラム | |
| 22-Oct-2005 | 表紙，会場，日程，実行委員会，奥付 | |
| 22-Oct-2005 | 表紙，会場，日程，実行委員会，奥付 | |
| Oct-2005 | Fabrication of C_<60> field-effect transistors with polyimide and Ba_<0.4>Sr_<0.6>Ti_,<0.96>O_3 gate insulators | Kubozono, Y; Nagano, T; Haruyama, Y; Kuwahara, E; Takayanagi, T; Ochi, K; Fujiwara, A |
| 21-Sep-2005 | ACTAS : Automated Verification Based on Equational Tree Automata | Ohsaki, Hitoshi |
| 21-Sep-2005 | Specification and Verification of Inter-Component Constraints in CTL | Nguyen, Truong Thang; Katayama, Takuya |
| 21-Sep-2005 | A Parametric Model Checking Approach for Real-Time Systems Design | Sathawornwichit, Chaiwat |
| 21-Sep-2005 | Model Checking Web Specifications : Verification of design specifications for Web applications | CHOI, Eun-Hye; WATANABE, Hiroshi |
| 21-Sep-2005 | An Object-Oriented logic for software analysis and design | Yatake, Kenro; Aoki, Toshiaki; Katayama, Takuya |
| 21-Sep-2005 | A Lightweight Integration of Theorem Proving and Model Checking for System Verification | Kong, Weiqiang; Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 21-Sep-2005 | Verifying Specifications with Proof Scores | FUTATSUGI, Kokichi |
| 21-Sep-2005 | Perspective of Verifiable and Evolvable e-Society | Katayama, Takuya |
| 21-Sep-2005 | Brief overview of AIST/CVS | Kinoshita, Yoshiki |
| 15-Sep-2005 | デジタルペンとPDAを利用した実世界指向インタラクティブ授業支援システム | 三浦, 元喜; 國藤, 進; 志築, 文太郎; 田中, 次郎; Miura, Motoki; Kunifuji, Susumu; Shizuki, Buntarou; Tanaka, Jiro |
| Sep-2005 | On constructing completions | Crosilla, Laura; Ishihara, Hajime; Schuster, Peter |
| Sep-2005 | Frequency-domain MMSE turbo equalization of multilevel coded QAM-convergence in real fields | Kansanen, K.; Matsumoto, T.; Schneider, C.; Thoma, R. |
| Sep-2005 | Room temperature ferromagnetism in laser ablated Ni-doped In_2O_3 thin films | Nguyen, Hoa Hong; Sakai, Joe; Ngo, Thu Huong; Brizé, Virginie |
| Sep-2005 | Capturing window attributes for extending web browsing history records | Miura, M; Kunifuji, S; Sato, S; Tanaka, J |
| Sep-2005 | Maximum entropy models with inequality constraints: A case study on text categorization | Kazama, J; Tsujii, J |
| Sep-2005 | 光応答型ポリロタキサンの調製とその機能評価 | 村松, 英信; むらまつ, ひでのぶ |
| Sep-2005 | フッ化アンモニウムを用いたベータゼオライト結晶（BEA）の合成とその耐熱安定性 | Jon, Hery; ジョン, ヘリー |
|
