1. They are not based on abstruse theoretical assumptions, but rather on practical consequences.

그것은 난해한 이론상의 가정에 근거한 것이 아니라 실제적인 결과에 근거를 둔 것이다.

2. Context-free languages are the theoretical basis for the syntax of most programming languages.

문맥 자유 언어는 대부분의 프로그래밍 언어 문법의 이론적 기초이다.

3. And I can see their point, because I started my career as a theoretical nuclear physicist.

(웃음) 저는 그들의 요점을 볼 수 있습니다 왜냐면 저는 저의 경력을 이론 핵 물리학자로 시작했으니까요

4. Barman took Knutson's Hubble data on HD 209458 b, applied to his theoretical model, and allegedly identified water absorption in the planet's atmosphere.

바먼은 넛슨의 HD 209458 b에 대한 허블 망원경 자료를 넘겨 받았고 이 값들을 그의 이론적 모형에 적용했고, 그 결과 행성 대기 중 물 흡수선이 있다는 주장을 내세웠다.

5. Using a combination of previously published Hubble Space Telescope measurements and new theoretical models, Barman found strong evidence for water absorption in the planet's atmosphere.

이전에 출판되었던 허블 우주 망원경 응용 논문 및 이론적 모형을 조합한 결과 바먼은 행성 대기 내 물의 흡수선이 있다는 유력한 증거를 찾아냈다.

6. So, Von Neumann was already off in a theoretical cloud, doing abstract sorts of studies of how you could build reliable machines out of unreliable components.

그래서 von Neumann은 최초로 이론상의 모호함으로 부터 벗어나 추상적인 연구로 부터 어떻게 여러분이 믿기 어려운 부분들로부터 믿을 수 있는 기계를 만들어 내는지 보여줍니다.

7. This enabled worldwide access to better measurements, theoretical models, complex simulations, theory predictive model experimentation, analysis, worldwide internet observational data reporting, open peer-review, collaboration, and internet publication.

이를 통해 더 나은 측정, 이론 모델, 복잡한 시뮬레이션, 이론 예측 모델 실험, 분석, 전세계적인 인터넷 관측 데이터 보고, 공개적인 동료 간의 검토, 공동 연구 및 인터넷 발표에 대한 전세계적인 접근이 가능해졌다.

8. In the early '70s, Roger Payne and an ocean acoustician published a theoretical paper pointing out that it was possible that sound could transmit over these large areas, but very few biologists believed it.

이어서, 70년대 초반에 로저 페인이라는 해양 음향 전문가가 이론서를 낸 적이 있었는데 그는 소리가 넓은 공간에서도 전송될 수 있다고 지적했었죠. 그러나 소수의 생물학자만 지지하였구요.

9. The theoretical explanation for this limit is that stars above this mass can not radiate energy fast enough to remain stable, so any additional mass will be ejected in a series of pulsations until the star reaches a stable limit.

이 한계의 이론적 설명은, 이보다 질량이 큰 별들은 안정을 유지할 수 있을 정도로 빨리 에너지를 복사하지 못하고, 그 결과 안정한 한계에 도달할 때까지 넘치는 질량이 맥동의 형태로 방출된다는 것이다.