2 papers
cs.SE2026
Making Software Meaningful
Eagon Meng, Abutalib Namazov, Carmel Schare +2
Adopting a single measure can improve the usability, modularity and accountability of software: a commitment to explicit meaning. This entails constructing and agreeing upon a repr…
math.OC2026
Stabilization of the Marine Riser model by controllers depending on finitely many parameters
V. K. Kalantarov, A. A. Namazov, E. S. Titi
We prove global stabilization of the marine riser models using a feedback controller that depend on finitely many finite-volume elements and finitely many nodal observables. Our ap…