Kevin Dao

most citedRule-based autocorrection of Piping and Instrumentation Diagrams (P&IDs) on graphs

7 citations · 7 across the 1 of their papers we have counts for

collaborators

2 papers

math.AG2026

Fujita's Very Ampleness Conjecture for $P^{n - 1}$ -Bundles over Curves

Kevin Dao

Let $E$ be a vector bundle of rank $n \geq 2$ over a smooth projective curve $C$ over $C$ . We prove that $ω_{\mathbb{P}_C(\mathcal{E})}\otimes\mathcal{L}_1\otimes…

cs.CE2025★ 7 cited

Rule-based autocorrection of Piping and Instrumentation Diagrams (P&IDs) on graphs

Lukas Schulze Balhorn, Niels Seijsener, Kevin Dao +4

A piping and instrumentation diagram (P&ID) is a central reference document in chemical process engineering. Currently, chemical engineers manually review P&IDs through visual insp…

Fujita's Very Ampleness Conjecture for Pn−1-Bundles over Curves

Rule-based autocorrection of Piping and Instrumentation Diagrams (P&IDs) on graphs

Fujita's Very Ampleness Conjecture for $P^{n - 1}$ -Bundles over Curves