Osamu Takaki

According to our database, Osamu Takaki authored at least 17 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Implementation of Anonymization Algorithms for Log Data Analysis on a Cloud-Based Learning Management System.

Osamu Takaki, Nobukuni Hamamoto, Atsuko Takefusa, Shigetoshi Yokoyama, Kento Aida

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

2022

Reasonable Setting Values for Anonymization Algorithms for Online Educational Data Analysis Support System.

Osamu Takaki, Nobukuni Hamamoto, Atsuko Takefusa, Shigetoshi Yokoyama, Kento Aida

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

2015

Segmental HOG: new descriptor for glomerulus detection in kidney microscopy image.

Tsuyoshi Kato, Raissa Relator, Hayliang Ngouv, Yoshihiro Hirohashi, Osamu Takaki, Tetsuhiro Kakimoto, Kinya Okada

BMC Bioinform., 2015

2012

Workflows with Passbacks and Incremental Verification of Their Correctness.

Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida

IEICE Trans. Inf. Syst., 2012

Evaluation of a representation system of quality indicators.

Osamu Takaki, Noriaki Izumi, Koichiro Murata, Mitsuru Ikeda, Kôiti Hasida

Proceedings of the Knowledge-Based Software Engineering, 2012

2011

A Medical Information Retrieval based on Retrievers' Intentions.

Osamu Takaki, Koichiro Murata, Noriaki Izumi, Kôiti Hasida

Proceedings of the HEALTHINF 2011, 2011

2010

Syntax and Semantics of Workflows That Include Passbacks.

Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2009

Service System Development Based on Web Process Ontology.

Noriaki Izumi, Osamu Takaki, Kôiti Hasida

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2008

Workflow Diagrams Based on Evidence Life Cycles.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the Knowledge-Based Software Engineering, 2008

Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.

Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the ICEIS 2008, 2008

2007

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

2006

Verification of Transition System Reduction via PVS.

Osamu Takaki, Makoto Takeyama, Hiroshi Watanabe

Inf. Media Technol., 2006

A Coalgebraic Representation of Reduction by Cone of Influence.

Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

2005

Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM.

Osamu Takaki

Arch. Math. Log., 2005

2000

Finite presentability of strongly finite dilators.

Osamu Takaki

RAIRO Theor. Informatics Appl., 2000

1997

Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction.

Osamu Takaki

Notre Dame J. Formal Log., 1997