発行日 | タイトル |
著者 |
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 |
17-Nov-2007 | Formation of Ohmic hole injection by inserting an ultrathin layer of molybdenum trioxide between indium tin oxide and organic hole-transporting layers | Matsushima, Toshinori; Kinoshita, Yoshiki; Murata, Hideyuki |
2004 | Formation of periodic grain boundary in an Si thin film crystallized by a linearly polarized Nd:YAG pulse laser with an ultra sonic oscillator | Kaki, H; Ootani, T; Horita, S |
6-Aug-2015 | The formation of poly-Si films on flat glass substrates by flash lamp annealing | Watanabe, Taiki; Ohdaira, Keisuke |
14-Nov-2008 | Formation of Several-Micrometer-Thick Polycrystalline Silicon Films on Soda Lime Glass by Flash Lamp Annealing | Ohdaira, Keisuke; Fujiwara, Tomoko; Endo, Yohei; Nishizaki, Shogo; Matsumura, Hideki |
12-May-2008 | Formation of silicon-fullerene-linked nanowires inside carbon nanotubes: A molecular-dynamics and first-principles study | Nishio, Kengo; Ozaki, Taisuke; Morishita, Tetsuya; Mikami, Masuhiro |
2001 | Formation of social norms in communicating agents with cognitive frameworks | Hashimoto, Takashi; Egashira, Susumu |
18-Jun-2013 | Formation of vertical concentration gradients in poly(3-hexylthiophene-2,5-diyl): Phenyl-C_<61>-butyric acid methyl ester-graded bilayer solar cells | Vohra, Varun; Higashimine, Koichi; Tsuzaki, Shogo; Ohdaira, Keisuke; Murata, Hideyuki |
17-Jan-2011 | Formulating Team-Sport Video Summarization as a Resource Allocation Problem | Chen, Fan; De Vleeschouwer, Christophe |
10-Oct-1991 | Forward link capacity limit of coded FFH/CDMA multiuser mobile radios | Kawahara, T.; Matsumoto, T. |
11-Apr-2001 | Fourfold symmetric anisotropy in the CuO_2 planes of 60-K-Yba_2Cu_3O_〈7-δ〉 single crystals | Naito, Tomoyuki; Haraguchi, Seiya; Iwasaki, Hideo; Sasaki, Takahiko; Nishizaki, Terukazu; Shibata, Kenji; Kobayashi, Norio |
Mar-2011 | Fox-2タンパク質の選択的アイソフォームの解析 | 星野, 栄; ほしの, ひさし |