| 発行日 | タイトル |
著者 |
|---|
| 13-Dec-2010 | Flow Instability for Binary Blends of Linear Polyethylene and Long-Chain Branched Polyethylene | Mieda, Naoya; Yamaguchi, Masayuki |
| 22-May-2015 | Flow property at capillary extrusion for ethylene–tetrafluoroethylene copolymer | Kotera, Seigo; Yamaguchi, Masayuki |
| Apr-2006 | Fluorescence labeling of DNA based on photochemical ligation | Ami, Takehiro; Fujimoto, Kenzo |
| 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 |
