MIT
- SDS-PAGE 방법의 개선을 발표
- 고델의 존재론적 증거
- Richard Greenblatt (프로그래머) 는 토너먼트 플레이에서 클래스 C 등급을 달성하기에 충분한 지식 기반 체스 재생 프로그램 인 MacHack을 구축
- Wallace and Boulton의 프로그램 인 Snob는 Occam 면도기의 수학적 실현 인 베이지안 최소 메시지 길이 기준을 사용
- Limitations of Neural Networks
- Automatic Differentiation (Backpropagation)
UIAST
- GIM 매커니즘
- 시메틱 네크 시연
- Dendral 프로그램은 유기 화학 화합물의 질량 스펙트럼을 해석하는 것으로 나타났습니다.
(과학적 추론을위한 최초의 성공적인 지식 기반 프로그램)
- 자연어 이해를 위한 개념적 의존성 모델을 정의
- 생물 활성 유리
HKUST
- Macsyma 프로그램의 통합 문제에 대한 상징적 추론 의 힘을 보여주었습니다 .
수학에 관한 최초의 성공적인 지식 기반 프로그램 .
- Shakey robbot은 동물 운동 , 인식 및 문제 해결을 결합하여 시연
- Nearest Neighbor
연세대학교
- Minimal group paradigm
마이크로소프트
- FLOW (프로그래밍 언어)
- Datapoint 2200
- Hypertext Editing System
- Dantzig 알고리즘
- Viterbi 알고리즘
- Cocky–Younger–Kasami (CYK) 알고리즘
- A * 그래프 검색 알고리즘
구글
- FRESS (File Retrieval and Editing System, successor to HES)
- NLS (oN-Line System)
- Risch 알고리즘
- Strassen 알고리즘
- Dinic의 알고리즘
- Knuth–Bendix 완성 알고리즘
- BFGS 방법
- 마크 업 언어
원 인터내셔널
- 세계에서 세일 깊은 시추공, 콜라 딥 슈퍼 시추공
일렉트로닉 아츠
- Conway's Game of Life(콘웨이의 인생게임)
존스홉킨스
- Exeter 고관절 최초로 이식
로슈
- 세팔렉신
SK하이닉스
- 실리카 광섬유
- 포켓 계산기
- 테이저
LG 유플러스
- 무선 근거리 통신망(LAN)
애나하임 일렉트로닉스
- 채프먼 스틱
- 뒤틀린 네마틱 전계효과
3M
- 접착제 스틱
