Sung Woo Choi

Available identifiers

zbMath Open choi.sungwooMaRDI QIDQ361192

List of research outcomes

Publication	Date of Publication	Type
Quantitative Verification for Neural Networks using ProbStars	2024-02-21	Paper
Verification of Recurrent Neural Networks with Star Reachability	2024-02-21	Paper
Explicit characteristic equations for integral operators arising from well-posed boundary value problems of finite beam deflection on elastic foundation	2022-06-03	Paper
Existence and uniqueness of finite beam deflection on nonlinear non-uniform elastic foundation with arbitrary well-posed boundary condition	2022-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4991407	2021-06-03	Paper
Spectral analysis for the class of integral operators arising from well-posed boundary value problems of finite beam deflection on elastic foundation: characteristic equation	2019-10-02	Paper
Nonparametric additive model with grouped Lasso and maximizing area under the ROC curve	2018-11-23	Paper
Shortest path amidst disc obstacles is computable	2017-10-20	Paper
ON POSITIVENESS AND CONTRACTIVENESS OF THE INTEGRAL OPERATOR ARISING FROM THE BEAM DEFLECTION PROBLEM ON ELASTIC FOUNDATION	2015-10-08	Paper
Plug-in tests for nonequivalence of means of independent normal populations	2014-11-21	Paper
Existence and uniqueness of nonlinear deflections of an infinite beam resting on a non-uniform nonlinear elastic foundation	2013-08-28	Paper
Spectral analysis of the integral operator arising from the beam deflection problem on elastic foundation. I: Positiveness and contractiveness	2012-03-29	Paper
Degree bound for evaluation of algebraic functions	2011-12-19	Paper
Complete subdivision algorithms, II	2009-01-20	Paper
Two-dimensional offsets and medial axis transform	2008-03-12	Paper
On the stability of medial axis transform	2007-04-05	Paper
SHORTEST PATH AMIDST DISC OBSTACLES IS COMPUTABLE	2007-02-09	Paper
Stationary subdivision schemes reproducing polynomials	2006-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4449636	2004-02-11	Paper
Linear one-sided stability of MAT for weakly injective domain	2003-05-04	Paper
Minkowski sum of semi-convex domains in R2	2003-01-28	Paper
Hyperbolic Hausdorff Distance for Medial Axis Transform	2002-07-08	Paper
Mathematical theory of medial axis transform	1996-12-15	Paper

Research outcomes over time

This page was built for person: Sung Woo Choi