Get started
Author

Takao Inoué

Machine Learning Model for Predicting Coronary Heart Disease Risk: Development and Validation Using Insights From a Japanese Population–Based Study
2025 · Thien Vu, Yoshihiro Kokubo, et al. · JMIR Cardio · 45
PDF
Machine Learning Approaches for Stroke Risk Prediction: Findings from the Suita Study
2024 · Thien Vu, Yoshihiro Kokubo, et al. · Journal of Cardiovascular Development and Disease · 42
On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics
2021 · Takao Inoué · Studia Logica · 4
PDF
Axiomatic Rejection for the Propositional Fragment of Leśniewski's Ontology
2021 · Inoué, Takao, Ishimoto, Arata, et al. · arXiv (Cornell University) · 4
PDF
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
2010 · Takao Inoué, Noboru Endou, et al. · Formalized Mathematics · 4
PDF
A Note on Stahl's Opposite System
1989 · Takao Inoué · Mathematical logic quarterly · 4
Unveiling Coronary Heart Disease Prediction through Machine Learning Techniques: Insights from the Suita Population-Based Cohort Study
2024 · Thien Vu, Yoshihiro Kokubo, et al. · Research Square · 3
PDF
A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
2021 · Takao Inoue · Bulletin of the Section of Logic · 3
PDF
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
2011 · Takao Inoué, Adam Naumowicz, et al. · Formalized Mathematics · 3
PDF
A Note on Unprovability-Preserving Sound Translations
1990 · Takao Inoué · Logique et analyse/Logique et analyse. Nouvelle série · 3
Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
2024 · Inoué, Takao, Miwa, Tadayoshi · arXiv (Cornell University) · 2
PDF
How to Make a New Logic
2021 · Inoué, Takao · arXiv (Cornell University) · 2
PDF
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces
2011 · Takao Inoué, Adam Naumowicz, et al. · Formalized Mathematics · 2
PDF
Flagg and Friedman's Translation Is Not Faithful
1992 · Takao Inoué, T. Inoué · Mathematical logic quarterly · 2
Epistemic systems and Flagg and Friedman's translation
2023 · Inoué, Takao · arXiv (Cornell University) · 1
PDF
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II
2022 · Takao Inoué, Riku Hanaoka · Formalized Mathematics · 1
PDF
Reading the Paper "Moufang Quasigroups" (Kunen, 1996)
2026 · Inoué, Takao · Zenodo (CERN European Organization for Nuclear Research)
Abstract WP266: Prediction of Stroke Incidence Using Machine Learning: The Suita Study
2024 · Thien Vu, Mai Inoue, et al. · Stroke
On Bergman's Diamond Lemma for Ring Theory
2023 · Inoué, Takao · Journal of Mathematical Techniques and Computational Mathematics
PDF
The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction
2020 · Inoué, Takao · arXiv (Cornell University)
PDF
Partial Differentiation of Real Ternary Functions
2010 · Takao Inoué, Bing Xie, et al. · Formalized Mathematics
PDF
Second-Order Partial Differentiation of Real Ternary Functions
2010 · Takao Inoué · Formalized Mathematics
PDF
On Definitions of Existence
· Inoué, Takao · PhilPapers (PhilPapers Foundation)
PDF
Works count: 24
Citation count: 127
H-index: 4
I10-index: 2
Year
Topic
Type