|
|
JAIST Repository >
一覧: タイトル
検索結果: 1885-1905 / 18124.
| 発行日 | タイトル |
著者 |
|---|
| 11-Mar-2005 | The Focus Problem : A Fundamental Issue in Automatic Verification | Slaney, John |
| 26-Feb-2015 | Folding a Paper Strip to Minimize Thickness | Demaine, Erik D.; Eppstein, David; Hesterberg, Adam; Ito, Hiro; Lubiw, Anna; Uehara, Ryuhei; Uno, Yushi |
| 28-Oct-2015 | Folding a Paper Strip to Minimize Thickness | Demaine, Erik D.; Eppstein, David; Hesterberg, Adam; Ito, Hiro; Lubiw, Anna; Uehara, Ryuhei; Uno, Yushi |
| Nov-2005 | Forecasting of Leaving Probability of Customer by Using Data Mining | Lung, Shu Lin; Wen, Chin Chen; Jifa, Gu; Gerhard, Chroust |
| 9-Oct-2010 | Foreign Investment and Development of Water Business in China Based on Option-Game Approach | Feng, YanYan; Fujiwara, Takao |
| Sep-2004 | Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol | Kong, Weiqiang; Ogata, Kazuhiro; Xiang Jianwen; Futatsugi, Kokichi |
| 20-Aug-2002 | Formal analysis of the iKP electronic payment protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 11-Sep-2012 | A Formal Framework for Access Rights Analysis | Li, Xin; Hua, Vy Le Thanh |
| Dec-2018 | Formal Semantics Extraction from Natural Language Specifications for ARM | VU, Viet Anh; ゔ, ゔぃえ あん |
| Dec-2014 | Formal Semantics of Core SQL Language based on the K Framework | Sitthisak, Pakakorn |
| 17-Feb-2015 | Formal Semantics of Core SQL Language based on the K Framework | Sitthisak, Pakakorn |
| Mar-2015 | Formal Topology における Bishop のコンパクト性 | 河井, 達治; かわい, たつじ |
| Sep-2020 | Formal verification of some mutual exclusion protocols with CafeInMaude, its proof assistant and its proof generator | Tran Dinh, Duong; とらん でぃん, どぅおんぐ |
| Mar-2018 | Formalization and Verification of AUTOSAR OS Standard's Memory Protection | Le, Khanh Trinh; れ, かん ちん |
| 15-Mar-2013 | Formalization and Verification of Behavioral Correctness of Dynamic Software Updates | Zhang, Min; Ogata, Kazuhiro; Futatsugi, Kokichi |
| Feb-2005 | Formation and Characterization of Transmission Holographic Gratings Obtained Using a Novel Siloxane-containing Liquid Crystal | He, Man; Cho, Yeong Hee; Kim, Nam; Kawakami, Yusuke |
| Mar-2008 | Formation and Function of Polymeric Systems Containing Silicon-Oxygen Bonds - Polyhedral Oligomeric Silsesquioxane and Siloxane-containing Spiroorthoester | 李, 澤; り, ずあ |
| 22-Mar-2016 | Formation of amorphous silicon passivation films with high stability against postannealing, air exposure, and light soaking using liquid silicon | Guo, Cheng; Ohdaira, Keisuke; Takagishi, Hideyuki; Masuda, Takashi; Shen, Zhongrong; Shimoda, Tatsuya |
| 6-Dec-2007 | Formation of Highly Uniform Micrometer-Order-Thick Polycrystalline Silicon Films by Flash Lamp Annealing of Amorphous Silicon on Glass Substrate | Ohdaira, Keisuke; Endo, Yohei; Fujiwara, Tomoko; Nishizaki, Shogo; Matsumura, Hideki |
| 15-Jan-2009 | Formation of micrometer-order-thick poly-Si films on textured glass substrates by flash lamp annealing of a-Si films prepared by catalytic chemical vapor deposition | Ohdaira, K.; Fujiwara, T.; Endo, Y.; Nishioka, K.; Matsumura, H. |
| 2009 | Formation of Ohmic Carrier Injection at Anode/organic Interfaces and Carrier Transport Mechanisms of Organic Thin Films | Matsushima, Toshinori; Jin, Guang-He; Kanai, Yoshihiro; Yokota, Tomoyuki; Kitada, Seiki; Kishi, Toshiyuki; Murata, Hideyuki |
|
