Noriyuki Yamaguchi, Emiko Hiraoka, Masaki Fujita, Naoya Hijikata, Mutsuyuki Ueta, Kentaro Takagi, ...
Wild birds, in particular waterfowl, are common reservoirs of low pathogenic avian influenza viruses, and infected individuals could spread the viruses during migrations. We used satellite telemetry...
Arithmetic Circuit Verification Based on Symbolic Computer Algebra (2008)
WATANABE, Yuki, HOMMA, Naofumi, AOKI, Takafumi, HIGUCHI, Tatsuo
This paper presents a formal approach to verify arithmetic circuits using symbolic computer algebra. Our method describes arithmetic circuits directly with high-level mathematical objects based on...
Gravitational inflaton decay and the hierarchy problem (2007)
Watanabe, Yuki, Komatsu, Eiichiro
We study implications of the large-N species solution to the hierarchy problem, proposed by G. Dvali, for reheating of the universe after inflation. Dvali's proposal contains additional N~10^{32}...
Reheating of the universe after inflation with f(phi)R gravity (2006)
Watanabe, Yuki, Komatsu, Eiichiro
We show that reheating of the universe occurs spontaneously in a broad class of inflation models with f(phi)R gravity (phi is inflaton). The model does not require explicit couplings between phi and...
Improved Calculation of the Primordial Gravitational Wave Spectrum in the Standard Model (2006)
Watanabe, Yuki, Komatsu, Eiichiro
We show that the energy density spectrum of the primordial gravitational waves has characteristic features due to the successive changes in the relativistic degrees of freedom during the radiation...
Formal Design of Arithmetic Circuits Based on Arithmetic Description Language (2006)
HOMMA, Naofumi, WATANABE, Yuki, AOKI, Takafumi, HIGUCHI, Tatsuo
This paper presents a formal design of arithmetic circuits using an arithmetic description language called ARITH. The key idea in ARITH is to describe arithmetic algorithms directly with high-level...
Includes bibliographical references.
Photocopy.
Ono, Etsuro, Amagai, Keiko, Taharaguchi, Satoshi, Tomioka, Yukiko, Yoshino, Saori, Watanabe, Yuki, ...
An approach to genetically engineered resistance to pseudorabies virus (PRV) infection was examined by using a transgene encoding a soluble form of nectin-1, also known as herpesvirus entry mediator...
Ono, Etsuro, Amagai, Keiko, Taharaguchi, Satoshi, Tomioka, Yukiko, Yoshino, Saori, Watanabe, Yuki, ...
An approach to genetically engineered resistance to pseudorabies virus (PRV) infection was examined by using a transgene encoding a soluble form of nectin-1, also known as herpesvirus entry mediator...