Posts
커리 스타일 타입 동형과 게임 의미론
관계형 데이터베이스에서 일차 모달 언어를 관계 대수로 변환하기
국소 보존계의 해석역학
수의 독특한 성질에 대한 고찰
음악의 거리 기하학: 유클리드 리듬의 비밀
합리적 파생을 갖는 항변환 시스템 연구
대수적 다형성 연구
동적 서식지 이용의 정량적 해석과 고속 계산을 위한 메커니즘 기반 모델
선형 테이블링 전략과 최적화
수학의 본질과 학습 구조
양화 제약의 일관성 및 기타 제약 속성 일반화
오픈소스 소프트웨어 테스트 방법 연구
입자 물리학 오픈 액세스 출판 입문자 가이드
친구와 함께 저레인즈 수영: 미생물 상호작용의 새로운 시각
선호의 비순환성 내시 균형 및 서브게임 완전 균형 형식적이고 구성적인 동등성
확률과 역설
3‑RPR 평면 병렬 로봇의 관절공간 특이면 및 최대 무특이 박스 탐색
3R 위치 조작기 계열의 쿠스프 포인트 기반 분류 연구
3자유도 하이브리드 매니퓰레이터의 기구 설계와 특성 분석
3축 가공용 병렬 메커니즘 최적 설계
ANDNA: 넷스투쿠의 탈중앙화 호스트네임 관리 시스템
BDD 기반 대화형 구성의 유효 도메인 계산
