Kenneth Cheng · Macau
From pattern formation and nonlinear mechanics to scientific institutions, reliability, and experimental design: reproducible computation, explicit assumptions, and honest limits turn models into testable research questions.
Latest writing
Every research article is manually written from verified private ScienceProject results and supported by approved figures, numerical checks, negative findings, claim boundaries, and references.
A controlled ring-road study separates hidden velocity, projection-induced memory, noisy observation, and numerical sensitivity, asking when a better traffic forecast also gives a better stability diagnosis.
Read article
Two spatial maps can share a convincing least-cost explanation without revealing the history that produced them. A controlled unbalanced optimal transport study separates endpoint fit, numerical convergence and evidence for movement versus local growth.
Read article
Delayed regional totals can support a precise-looking estimate without tightly constraining the hidden state. A six-region synthetic SIR benchmark compares ensemble intervals with validated set bounds, including the cost of bounds that become almost useless.
Read articleResearch map
Research is organized by questions and methods, not only by publication date.
Spatial disease, ecosystems, coastal risk, climate forcing, and energy-environment interactions.
Pathways from an open-ended question to assumptions, computation, critique, and communication.
Sensitivity, calibration, robustness, and decision-making when model inputs or operating conditions are uncertain.
Models of routing, accessibility, traffic stability, fleet operations, and infrastructure trade-offs.
Selected research
Only projects with a clear question, reviewed figures, and visible assumptions and limitations appear here.
A study of verification-only entity repair separates finding the highest score from choosing a useful repair, and fewer complete evaluations from lower total cost.
Structural analysis · Constructed controls · Natural-data diagnostics
A reproducible Phase-1 study checks a synthetic low-copy exclusive genetic toggle with an error-bounded finite-state reference and seeded direct SSA.
A controlled false-threshold audit of melt-pond connectivity under blur, downsampling, segmentation error, finite windows, and morphology shift.
Teaching
Courses, interactive models, Python laboratories, and mentoring form a path from first assumptions to independent inquiry.
New local teaching resourceMacau School Mathematics Competition ArchiveJunior and Senior Divisions from 2019 to 2025/2026: 214 source-verified solutions, 46 diagrams, and expandable examples.Open the solution archive →Student research milestoneAI4Nature@AVSS 2026 · Paper ID 7A student team I mentored is listed with me as co-author for “From Pixels to Patrols,” scheduled in the workshop's oral programme on 31 August 2026.See the mentoring outcome and official record →