| The primary focus of ATS is to support theorem proving in combination with practical programming. | Основной целью ATS являлась поддержка проверки теорем в сочетании с практическим программированием. |
| The ATS company created some revolutionary new lightweight wheels for Porsche and VW automobiles. | Компания ATS изобрела и изготавливала новые революционно легкосплавные колесные диски для автомобилей Порше и VW. |
| Dependent ML has been superseded by ATS and is no longer under active development. | Dependent ML был замещен языком ATS и по этой причине в фазе активной разработки больше не находится. |
| In 1981 he returned to ATS but only raced the first four races of the year. | В 1981 он вернулся в ATS, но провёл там лишь первые четыре гонки сезона. |
| In 1980 he moved to Günther Schmidt's ATS team. | В 1980 Ян переходит в команду Гюнтера Шмидта - ATS. |
| "Dawood behind Mumbai attacks: ATS sources" Archived October 19, 2013, at the Wayback Machine. | «Dawood behind Mumbai attacks: ATS sources» Архивировано 19 октября 2013 года... |
| In 1977, ATS purchased the remaining PC4 chassis from Penske Racing. | В 1977 году, ATS у компании Пенске Рэйсинг купила готовое шасси PC4. |
| Dependent types play a central role in intuitionistic type theory and in the design of functional programming languages like Idris, ATS, Agda and Epigram. | Зависимые типы играют ключевую роль в интуиционистской теории типов и построении функциональных языков программирования таких как ATS, Agda и Epigram. |
| The Auxiliary Territorial Service (ATS) was the women's branch of the British Army during the Second World War. | Женский вспомогательный территориальный корпус (англ. Auxiliary Territorial Service - ATS) - женское подразделение в британской армии во время Второй мировой войны. |
| The ATS had its roots in the Women's Auxiliary Army Corps (WAAC), which was formed in 1917 as a voluntary service. | Корни ATS находятся в WAAC (Women's Auxiliary Army Corps - Женский вспомогательный армейский корпус) - подразделении, которое было создано в 1917 году во время Первой мировой войны и также комплектовалось добровольцами. |
| Teixeira also competed in two races of the German ATS Formel 3 Cup in 2007, and has driven in two Masters of Formula Three races, with a best finish of 24th. | Тейшейра также выступил в двух гонках ATS Formel 3 Cup в 2007 и двух гонках Формула-3 Мастерс, где его лучшим результатом стало 24-е место. |
| These were the ATS, the Women's Royal Naval Service (WRNS), the Women's Auxiliary Air Force (WAAF) and the Women's Transport Service. | Кроме ATS женщины могли вступить в Женский Королевский морской корпус (WRNS), Женский вспомогательный военно-воздушный корпус (WAAF) и Женский транспортный корпус. |
| ATS is derived mostly from the ML and OCaml programming languages. | Большая часть ATS была позаимствована у языков программирования ML и Objective Caml. |
| ATS manufactured a light aluminum alloy 5 spoked wheel for AMG, the high performance tuner for Mercedes-Benz automobiles, in the 1970s and 1980s. | ATS изготавливала лёгкие алюминиевые диски с пятью спицами для AMG, которая тюнинговала автомобили Мерседес-Бенц в 1970-е и 1980-е годы. |
| In 2009 Abkhazava's team started to compete in the German ATS Formula-3 Cup with its own chassis ArtTech and won Trophy title. | В 2009-м команда Абхазава участвует в немецком кубке Deutscher ATS Formel-3-Cup на автомобилях собственного производства и побеждает в зачете Trophy. |
| As more men joined the war effort, it was decided to increase the size of the ATS, with numbers reaching 65,000 by September 1941. | В связи с тем, что в войне оказывалось задействовано всё больше мужчин, было принято решение увеличить состав ATS, и в сентябре 1941 года в рядах корпуса насчитывалось уже 65000 женщин-солдат. |
| Rosberg was not able to qualify for a race afterwards, and was signed by another uncompetitive team, ATS, for three races after the Theodore team scrapped its unreliable car design. | Затем Росбергу никак не удавалось пройти квалификацию следующие три гонки, и он подписал контракт с другой неконкурентоспособной командой - ATS, так как болид Theodore страдал от неудачного дизайна. |
| In mid-September, the UN Office on Drugs and Crime admitted that Burma and China were the world's top producers of ATS. | В середине сентября Программа ООН по международному контролю над наркотиками и преступлениям признала, что Бирма и Китай были главными мировыми производителями ATS. |
| American Tribal Style Belly Dance (also known as ATS) is a modern style of belly dance created by FatChanceBellyDance director, Carolena Nericcio-Bohlman. | Трайбл (англ. American Tribal Style Belly Dance, ATS) - это система танцевальной импровизации, созданной Каролиной Нериккио (Carolena Nericcio) и её коллективом FatChanceBellyDance. |
| At the end of the 1961 season, in what is called "the walk-out", car designer Carlo Chiti and team manager Romolo Tavoni left to set up their own team, ATS. | В конце сезона 1961 года команду в форме «демонстративного ухода» покидают разработчик шасси Карло Кити и менеджер команды Ромоло Тавони с целью создания собственной команды (ATS). |
| According to the author (Hongwei Xi), ATS's efficiency is largely due to the way that data is represented in the language and tail-call optimizations (which are generally important for the efficiency of functional programming languages). | Согласно автору (Хонвей Хи), эффективность ATS в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов (которые в целом весьма важны для эффективности функциональных языков программирования). |
| MATISSE (VLTI) The Multi Aperture Mid-Infrared Spectroscopic Experiment is an infrared spectro-interferometer of the VLT-Interferometer, which potentially combines the beams of all four Unit Telescopes (UTs) and four Auxiliary Telescopes (ATs). | MATISSE Многодиафрагменный средне-ИК спектроскопический эксперимент (англ. Multi Aperture Mid-Infrared Spectroscopic Experiment) - представляет собой ИК-спектро-интерферометр VLT-интерферометр, который потенциально сочетает в себе лучи, полученные во всех четырёх телескопах (ЕТС) и четырёх вспомогательных телескопах (ATS). |
| On 9 May 1941, the ATS rank structure was reorganized, and as of July 1941 the ATS was given full military status and members were no longer volunteers. | 9 мая 1941 структура рангов ATS была реорганизована, и в июле 1941 года женщины-солдаты были признаны в качестве настоящих военнослужащих и более не считались добровольцами. |