نتایج جستجو برای: sawada
تعداد نتایج: 297 فیلتر نتایج به سال:
Keiichi Itoi,1,2 Naoya Sugimoto,1 Saya Suzuki,1,2 Keisuke Sawada,1 Gopal Das,1 Katsuya Uchida,1 Toshimitsu Fuse,1 Shinji Ohara,3 and Kazuto Kobayashi4 1Laboratory of Information Biology, Graduate School of Information Sciences, and 2Division of Neuroendocrinology, Graduate School of Medicine, Tohoku University, Sendai 980-8579, Japan, 3Department of Neurology, Matsumoto Medical Center, Matsumot...
Acupuncture and moxibustion, which medical doctors are licensed by the government of Japan to perform, can improve the psychological relationship between doctors and patients, especially when it is disturbed by a "game", a dysfunctional interpersonal interaction that is repeated unintentionally. This advantage is due to the essential properties of acupuncture and moxibustion. Acupuncture and mo...
Microglia are one of three types of glial cells in the central nervous system (CNS). Although the origin of the cells is still controversial, several lines of evidences suggest that they are bone marrow-derived, monocyte-macrophage lineage cells that enter the brain during embryonic development and differentiate into ramified resting microglia through a series of morphologic transformations. Af...
This paper presents several techniques for formally verifying pipelined microprocessor implementations that contain out-of-order execution and dynamic resolution of data-dependent hazards. Our principal technique models the trace of executed instructions using a table-based representation called a MAETT. We express invariant properties of pipelined implementations by specifying relations betwee...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید