|
|
JAIST Repository >
一覧: タイトル
検索結果: 1907-1927 / 18405.
| 発行日 | タイトル |
著者 |
|---|
| 15-Dec-2003 | Fluorescence modulation of long DNA molecules adsorbed onto a microelectrode surface | Ueda, Masanori; Takai, Madoka; Taniguchi, Kazutake; Takamura, Yuzuru; Horiike, Yasuhiro; Baba, Yoshinobu |
| Mar-2009 | FMO-QMC法を用いたDNAの分子間力結合に関する研究 | 対馬, 孔聖; つしま, こうせい |
| Sep-2022 | Focus On Precise Semantic Unit : Utilize Elementary Discourse Units for Automated Text Summarization | XIONG, YE; ゆう, よう |
| 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 |
|
