Reasonable Setting Values for Anonymization Algorithms for Online Educational Data Analysis Support System von Takaki, Osamu, Hamamoto, Nobukuni, Takefusa, Atsuko, Yokoyama, Shigetoshi, Aida, Kento

Volltext

Segmental HOG: new descriptor for glomerulus detection in kidney microscopy image von Kato, Tsuyoshi, Relator, Raissa, Ngouv, Hayliang, Hirohashi, Yoshihiro, Takaki, Osamu, Kakimoto, Tetsuhiro, Okada, Kinya

Volltext

Workflows with Passbacks and Incremental Verification of Their Correctness von TAKAKI, Osamu, TAKEUTI, Izumi, IZUMI, Noriaki, HASIDA, Koiti

Volltext

Graphical representation of quality indicators based on medical service ontology von Takaki, Osamu, Takeuti, Izumi, Takahashi, Koichi, Izumi, Noriaki, Murata, Koichiro, Ikeda, Mitsuru, Hasida, Koiti

Volltext

Implementation of Anonymization Algorithms for Log Data Analysis on a Cloud-Based Learning Management System von Takaki, Osamu, Hamamoto, Nobukuni, Takefusa, Atsuko, Yokoyama, Shigetoshi, Aida, Kento

Volltext

Factors Related to Diagnosis of Diabetes After Detecting High Blood Glucose Levels Through Screening: One-Year Follow-up Among Publicly Insured Adults in Gunma, Japan von Oba, Shino, Murakami, Hirokazu, Saitoh, Takayuki, Hayashi, Kunihiko, Okada, Yoshihisa, Imano, Yasuko, Takaki, Osamu, Kiryu, Ikue, Ishikawa, Mai, Sato, Yumi

Volltext

Workflows with Passbacks and Incremental Verification of Their Correctness von TAKAKI, Osamu, TAKEUTI, Izumi, IZUMI, Noriaki, HASIDA, Koiti

Volltext

Evaluation of a Network Switch with Whitelist-Based Packet Monitoring and Control in Hospital Networks von Atarashi, Yoshifumi, Saito, Yuichiro, Kato, Tsuyoshi, Takaki, Osamu, Suzuta, Ichiro, Torikai, Kota, Sato, Tetsuya, Endo, Hiroki

Volltext

Finite presentability of strongly finite dilators von Takaki, Osamu

Volltext

Workflows with Passbacks and Incremental Verification of Their Correctness : Knowledge-Based Software Engineering von TAKAKI, Osamu, TAKEUTI, Izumi, IZUMI, Noriaki, HASIDA, Koiti

Volltext

Verification of Transition System Reduction via PVS von TAKAKI, Osamu, TAKEYAMA, Makoto, WATANABE, Hiroshi

Volltext

Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM von Takaki, Osamu

Volltext

Verification of Transition System Reduction via PVS von Takaki, Osamu, Takeyama, Makoto, Watanabe, Hiroshi

Volltext

Strong Normalization Theorem for a Constructive Arithmetic with Definition von Takaki, Osamu

Volltext

Clinical Evaluation of Cerebral Oxygen Balance During Cardiopulmonary Bypass: On-Line Continuous Monitoring of Jugular Venous Oxyhemoglobin Saturation von Nakajima, Toshito, Kuro, Masakazu, Hayashi, Yukio, Kitaguchi, Katsuyasu, Uchida, Osamu, Takaki, Osamu

Volltext

Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction von Takaki, Osamu

Volltext

学術・医療ネットワークの統合による大規模無線LAN環境の構築 von 高木理, 浜元信州, 青木高, 鳥飼幸太, 辻村真一, 鈴木亮二, 齋藤勇一郎

Volltext

A Tutorial on an Interactive Proof Assistance Tool PVS von TAKAKI, Osamu, WATANABE, Hiroshi, TAKEYAMA, Makoto

Volltext

Internal Jugular Vein Catheterization in Infants Undergoing Cardiovascular Surgery: An Analysis of the Factors Influencing Successful Catheterization von Hayashi, Yukio, Uchida, Osamu, Takaki, Osamu, Ohnishi, Yoshihiko, Nakajima, Toshito, Kataoka, Hiroto, Kuro, Masakazu

Volltext

Differential Effect of Prostaglandin E1 and Nitroglycerin on Right Ventricular Performance During Infrarenal Aortic Cross-clamping von IKEZAKI, Hiroyuki, TAKAKI, Osamu, OHNISHI, Yoshihiko, INOUE, Satoshi, KURO, Masakazu

Volltext