Cs-Cc

자연어 처리 (NLP) 25 JAN, 2008

언어 형식화와 리처드‑베리 역설의 모순

By Stefano Crespi Reghizzi

수리 논리학 24 JAN, 2018

정규 선형 CNF 공식의 부분지수 복잡도와 분리성 개념

By ** (저자 정보 제공되지 않음) **

컴퓨터 논리학 24 JAN, 2009

벡터에서 메네수로

By 정보가 제공되지 않음 (저자 미상)

데이터 구조 및 알고리즘 29 JAN, 2010

이분 그래프의 최대 고유 제한 매칭을 다항시간에 판별하는 새로운 접근법

By ** *논문에 저자 정보가 명시되어 있지 않음.* (가능하면 원문에서 확인 필요) **

인공지능 (AI) 18 JAN, 2012

어디에 어려운 조작 문제들이 있는가

By - **Toby Walsh** – NICTA 및 University of New South Wales

계산 복잡도 7 JAN, 2010

지식 인식 알고리즘으로 보는 P 와 NP의 동일성

By ** *논문에 저자 정보가 명시되어 있지 않음.* (제시된 텍스트에서는 “Han (Han08)”만 언급됨) **

수리 논리학 11 JAN, 2007

시간 자동화 이론의 불가능성: 결정 불가능 문제들의 종합

By ** - **O. Finkel** (주요 저자

계산 복잡도 19 JAN, 2007

P행렬 인식 문제는 coNP완전이다

By ** G. E. Coxson (주요 증명자) – 원 논문 저자 S. Poljak

양자 물리학 21 JAN, 2011

양자 푸리에 샘플링과 코드 동등성 맥엘리시와 시델니코프 암호의 양자 보안

By ** - **Thanh‑Dũng Dinh** (University of Waterloo) - **Christopher Moore** (University of Waterloo) - **Alex

컴퓨터 논리학 11 JAN, 2017

깊은 추론에서 원자 흐름을 이용한 준다항식 정규화

By - **G. Brünnler** (주요 저자

계산 복잡도 31 JAN, 2007

그래프 동형성은 PSPACE 완전이다

By ** Matthew Delacorte **

데이터 구조 및 알고리즘 30 JAN, 2010

근사 알고리즘 한계와 PCP·유니크 게임

By ** - Matthew Andrews - Sanjeev Arora - Moses Charikar - Prahladh Harsha - Subhash Khot - Dana Moshkovitz - Lisa Zhang **Scribes (필기자)** Ashkan Aazami

계산 복잡도 2 JAN, 2014

기하복잡도 이론 입문

By ** - **Ketan D. Mulmuley** (시카고 대학교

계산 복잡도 23 JAN, 2009

불린 CSP 근사 계산의 삼분법 정리

By ** (저자 정보 제공되지 않음) **

계산 복잡도 28 JAN, 2007

특성 3에서 영구함수의 다항시간 계산 주장과 그 한계

By ** 작성자 정보가 논문에 명시되지 않아 **“저자 미상”**으로 표기합니다. **

양자 물리학 25 JAN, 2008

제약 최적화와 에너지 풍경: 새로운 쉬운‑어려운 경계

By *저자 정보가 논문 본문에 명시되지 않아 확인할 수 없습니다.*

수리 논리학 27 JAN, 2009

무한 그림 언어의 인식 가능성 비교와 불가능성 결과

By Olivier Finkel (ELM)

데이터 구조 및 알고리즘 14 JAN, 2015

증강 인덱스와 스트리밍 언어 인식의 정보 비용 트레이드오프

By KOINEU Research Team

이산 수학 10 JAN, 2011

압축 문자열에서 부분 수열 인식 속도 혁신

By ** (원문에 저자 정보가 명시되지 않았으므로

데이터 구조 및 알고리즘 16 JAN, 2009

빠른 최소 가중치 이중 트리 단축법, 최적은 충분한가

By ** V. Deineko

형식 언어 및 오토마타 17 JAN, 2009

내재적 보편성을 갖는 셀룰러 오토마타의 탐구

By Nicolas Ollinger

데이터 구조 및 알고리즘 23 JAN, 2007

제한된 mRNA 구조에서 단백질 유사도 탐색을 위한 다항식 알고리즘

By ** 논문 본문에 저자 정보가 명시되어 있지 않음. (제공된 텍스트에 저자 명단이 포함되지 않았습니다.) **

계산 복잡도 22 JAN, 2010

파라미터화된 제어 복잡도와 폴백 투표의 난이도 분석

By ** - **Erdélyi

정보 검색 (IR) 25 JAN, 2009

폴리로그 공간 압축 푸시다운 압축 LZ 압축의 비교 불가능성

By ** 논문에 명시된 저자 정보가 본문에 포함되지 않아 정확히 파악할 수 없습니다. (원문에 저자 명단이 누락된 것으로 보입니다.) **