Zobrazeno 1 - 10
of 155
pro vyhledávání: '"Kenichi Taniguchi"'
Autor:
Shin-ichirou Kawabata, Koichi Tanaka, Kenichi Taniguchi, Shunsuke Izumi, Keiko Furuichi, Chihiro Nakajima, Yuko Fukuyama
Publikováno v:
Analytical Chemistry. 85:9444-9448
Hydrophobic peptides are difficult to detect in matrix-assisted laser desorption/ionization mass spectrometry (MALDI-MS), because of the hydrophilic properties of conventional matrices and the low affinity for hydrophobic peptides. Recently, we repor
Publikováno v:
Systems and Computers in Japan. 37:64-72
Publikováno v:
Computer Networks. 36:291-310
In this paper, we propose a method for implementing distributed systems using the formal description language LOTOS. First, we give a sub-class of LOTOS for specifying distributed systems. In the sub-class, each system's behavior is described as a se
Publikováno v:
Electronics and Communications in Japan (Part I: Communications). 82:50-60
Publikováno v:
Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 81:18-26
Publikováno v:
Journal of mass spectrometry : JMS. 48(8)
This paper describes an improved method for the sequence analysis of Arg-containing glycopeptide by MALDI mass spectrometry (MS). The method uses amino group derivatization (4-aza-6-(2,6-dimethyl-1-piperidinyl)-5-oxohexanoic acid N-succinimidyl ester
Publikováno v:
Systems and Computers in Japan. 27:25-38
In this paper, new methods for providing the correctness of refinement among abstract sequential machine style programs are described. The programs are described in algebraic language ASL using some useful notions, i.e., the extended projection and t
Publikováno v:
Electronics and Communications in Japan (Part I: Communications). 77:1-14
It is known as generally impossible to generate automatically the test cases for arbitrary LOTOS expression containing data parameters. A subclass of LOTOS, called P-LOTOS, is defined. In P-LOTOS, the data type is restricted to be integer and Boolean
Autor:
Mikihiro Yamada, Sumio Terakawa, Yasushi Kubota, Taketoshi Matsumoto, Kenichi Taniguchi, Hiroshi Tsuji, Shigeki Imai, Hikaru Kobayashi
Publikováno v:
2010 International Electron Devices Meeting.
We have succeeded in fabrication of ultra-low power poly-Si based thin film transistors (TFTs) with 10 nm gate insulators and 1 V driving voltage. An ultrathin interfacial SiO 2 layer formed in 68 wt% nitric acid (HNO 3 ) aqueous solutions at 120°C
Publikováno v:
Systems and Computers in Japan. 23:1-11
The algebraic method as a formal approach in the design and development of the program has earned attention. The authors, in order to examine its usefulness, have defined the algebraic language ASL and constructed the ASL program developing system. B