Math-Oc
텐서 분류를 위한 트레이스 노름 정규화와 온라인 학습
분산 재귀 최소제곱 알고리즘의 안정성 및 성능 분석
연결 구조와 시스템 식별의 한계
불완전 근접 그래디언트 방법의 수렴 속도 분석
SE(3) 기반 쿼드로터 비행체의 비선형 강인 추적 제어
네트워크 파괴를 위한 새로운 부하 최대화 프레임워크
열대대수 기반 네트워크 최대 합의 분석
침입자 탐지를 위한 최적 센서 배치
전역 LTL 사양으로부터 분산 제어와 통신 전략 합성
온라인에서 부분 정보만으로 강인한 서브스페이스 추적
합성 유전자 네트워크 설계를 위한 형식 검증 접근법
대규모 연계 시스템을 위한 계층형 모델 예측 제어: 분산 최적화와 제한된 반복으로 실현 가능한 해 확보
뼈 질환 진단을 위한 다중 검증 모델링
시간 측정 집합으로부터의 파라볼릭 방정식 관측 가능성
차원 저주를 극복하는 맥스플러스 근사법의 이론적 한계와 효율적 가지치기 알고리즘
에너지 저장이 재생에너지 통합에 미치는 한계와 최적 운용 정책
패킷 손실 환경에서 평균 합의를 위한 분산 알고리즘의 통계적 순간 분석
분산 선형 파라미터 추정: 적응형 효율성 달성
조합 최적화와 레스트리스 마코프 보상: 온라인 학습 알고리즘 CLRMR
반응‑확산 시스템의 폐루프 제어와 존재성 증명
비협력 미분 게임의 내시 균형 수치 근사 방법
연속시간 데이터 동화의 민감도와 샘플외 오류
