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