1. Kowalski was one of the developers of Abductive Logic Programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates.

Ковальский был одним из первых разработчиков абдуктивной логики программирования, где логические программы дополнены ограничениями целостности и с неопределенными, абдуктивними предикатами.

2. Thus the same core logic can be made to generate 32-bit or 128-bit hashes.

Таким образом, одна и та же основная логика может быть применена для генерации 32 или 128-битных хешей.

3. In response to the gracious invitation of His Highness Sheikh Jaber Al-Ahmad Al-Jaber Al-Sabah, Emir of the State of Kuwait, the Supreme Council held its twenty-fourth session at Kuwait, in the State of Kuwait, on Sunday 27 and Monday 28 Shawwal A.H. 1424, corresponding to 21 and 22 December A.D. 2003, under the chairmanship of His Highness Sheikh Jaber Al-Ahmad Al-Jaber Al-Sabah, Emir of the State of Kuwait, and in the presence of:

В ответ на любезное приглашение Его Высочества шейха Джабера аль-Ахмеда аль-Джабера ас-Сабаха, эмира Государства Кувейт, Высший совет созвал свою двадцать четвертую сессию в Кувейте, Государство Кувейт, в воскресенье и понедельник 17–28 шавваля 1424 года хиджры, соответствующего 21–22 декабря 2003 года, под председательством Его Высочества шейха Джабера аль-Ахмада аль-Джабера ас-Сабаха, эмира Государства Кувейт, при участии их Величеств и их Высочеств:

4. Titanium alloys (Ti-A1-X or Ti-X-Al);

Титановые сплавы (Ti-Al-X или Ti-X-Al);

5. Abbreviation: PDD = project design document.

Сокращение: ПТД = проектно-технический документ.

6. We have developed design of bendable A4 sized flyers...

Мы разработали серию социальных постеров для наружной рекламы.

7. Potentiometers are also available in miniature size for space saving design requirements.

Кроме того, имеются потенциометры миниатюрных размеров, пригодные для применения в конструкциях малого размера.

8. Didi Contractor, an American artist, became a design consultant to this hotel project.

Диди Контрактор, американский художник, стал консультантом по дизайну в этом проекте.

9. · Interface settings: interface language, theme – program interface language and graphical design theme selection.

Настройки продукта: язык, тема – выбор языка интерфейса программы и темы графического оформления.

10. 2011: 3D-design of nuclear island and VVER-TOI power unit; Safety justifying calculations.

2011 год: 3D-проект ядерного острова и энергоблока; выполнение расчётных обоснований безопасности.

11. He added that a wider space would allow proper design solutions to cope with submarining.

Он добавил, что увеличение ширины пространства дает возможность предлагать надлежащие конструкционные решения, позволяющие устранить проблему проскальзывания под ремнем.

12. He added that a wider space would allow proper design solutions to cope with submarining

Он добавил, что увеличение ширины пространства дает возможность предлагать надлежащие конструкционные решения, позволяющие устранить проблему проскальзывания под ремнем

13. In another case, three women were allegedly captured and beaten by Al–Shabaab for failing to wear the abaya in June.

В другом случае три женщины были, по сообщениям, схвачены и избиты боевиками "Аш-Шабааб" за отказ носить абайю в июне.

14. Adenuga subsequently graduated from the University of Greenwich receiving first class honours in 3D Digital Design.

Аденуга впоследствии с отличием окончил Университет Гринвича, защитив диплом по цифровому 3D дизайну.

15. AAD and AAB coordinated their actions, provided training and logistical support to AQIM and established links to Al Mourabitoun and AAS-T.

ААШД и ААШБ координировали свои действия, обеспечивали подготовку и материально-техническую поддержку АКИМ и установили связи с «Аль-Мурабитун» и ААШ-Т.

16. Table A4-2: CN concentrations [μg/kg lipid] in invertebrates and fish as compiled from ten independent sources in Bidleman et al. (2010)

Таблица A4-2, Концентрации ХН [мкг/кг липидов] у беспозвоночных и рыбы по итогам обобщения данных из десяти независимых источников, приведенных в работе Bidleman et al, (2010)

17. b) Relevant information for the clearance of ERW, including sharing information on military targeting and weapon design

b) соответствующая информация на предмет обезвреживания ВПВ, включая обмен информацией о военном целеопределении и оружейной конструкции

18. Terrence W. Pratt and Marvin V. Zelkowitz: Programming Languages: Design and Implementation (4th ed.), Prentice Hall 2000.

Terrence W. P., Zelkowitz M. V. Programming Languages: Design and Implementation. — 3. — Prentice Hall, 1996 год.

19. Right, and he also said that the length of the tubes is twice that of Zippe's design.

Да, а еще он сказал, что те трубы в 2 раза длиннее труб Зиппе

20. Women's hakama differ from men's in a variety of ways, most notably fabric design and method of tying.

Женские хакама отличаются от мужских; в первую очередь дизайном ткани и способом завязывания.

21. If the people who use such logic see everything that happens between our countries and in the world from the perspective of Russia's guilt a priori, then no dialogue can probably be expected to take place.

Если все, что происходит между нашими странами и в мире в целом, люди, которые проповедуют такую логику, рассматривают через призму вины России во всем и вся, тогда, наверное, не приходится ожидать никакого диалога.

22. With a simple, open design, the structure had a wooden frame, an iron roof, and walls of plaited palm leaves.

Конструкция этого строения была простой — деревянный каркас с железной крышей и плетеными из пальмовых ветвей стенами.

23. Abbreviations: UI, User Interface; UX, User Experience; SDET, Software Design Engineer, Testing; OP, Operations; DevOps, Development Operations; and DBA Database Administrator.

Сокращения: ПИ — пользовательский интерфейс; ВП — взаимодействие с пользователем; РОПО — разработчик и отладчик программного обеспечения; АБД — администратор баз данных.

24. Using in-house technical and linguistic expertise, programming and graphic design is now carried out as a common service for all languages

С использованием имеющихся в Департаменте технических и языковых ресурсов разработка программы и графического дизайна в настоящее время осуществляется в качестве общей функции для всех языков

25. Using in-house technical and linguistic expertise, programming and graphic design is now carried out as a common service for all languages.

С использованием имеющихся в Департаменте технических и языковых ресурсов разработка программы и графического дизайна в настоящее время осуществляется в качестве общей функции для всех языков.

26. The W65C816S (also 65C816 or 65816) is an 8/16-bit microprocessor (MPU) developed and sold by the Western Design Center (WDC).

W65C816S (а также 65C816 или 65816) — 16-битный микропроцессор, разработанный компанией Western Design Center (WDC).

27. Our company owns many software applications for 3D construction modelling, design and control calculations, designing, strength calculations, static and dynamic analyses, etc.

Наша компания располагает современным программным обеспечением для 3D моделирования построек, проектных и контрольных расчетов, проектирования, расчетов на прочность, статического и динамического анализов и т.п.

28. Using in-house technical and linguistic expertise, the Web Services Section has introduced programming and graphic design as a common service for all languages

Благодаря использованию собственных технических и языковых специалистов Секция обслуживания веб-сайта внедрила в качестве общей услуги для всех языков программирование и графический дизайн

29. In solid modeling and computer-aided design, boundary representation—often abbreviated as B-rep or BREP—is a method for representing shapes using the limits.

В твердотельном моделировании и компьютерном проектировании, граничное представление, часто обозначаемое как B-rep или BREP, — способ представления фигур с помощью границ.

30. At 1635 hours on 25 Rajab A.H. 1436 (14 May A.D. 2015), members of the Houthi terrorist group fired a mortar shell at our forces in Abu al-Radif, opposite border marker 61.

В 16 ч. 35 м. 25 раджаба 1436 года хиджры (14 мая 2015 года) боевики террористической группы «Аль-Хуси» произвели выстрел из миномета по нашим силам, находившимся в Абу-ар-Радифе напротив пограничного знака 61.

31. Using in-house technical and linguistic expertise, the Department of Public Information has also introduced programming and graphic design as a common service for all official languages.

Опираясь на внутренние технические и языковые кадры, Департамент общественной информации внедрил также в качестве общей услуги на всех официальных языках разработку программ и проектов компьютерной графики.

32. Using in-house technical and linguistic expertise, the Department of Public Information has also introduced programming and graphic design as a common service for all official languages

Опираясь на внутренние технические и языковые кадры, Департамент общественной информации внедрил также в качестве общей услуги на всех официальных языках разработку программ и проектов компьютерной графики

33. This led to a significant decrease, though not a total cessation, of attacks by such groups, but the PA failed to bring to justice al-Aqsa Brigades militants responsible for killings, abductions and other attacks.

Эти шаги привели к существенному снижению количества нападений со стороны вооружённых группировок, хотя полностью их пресечь не удалось. Кроме того, власти ПА не привлекли к уголовной ответственности боевиков «Бригад мучеников Аль-Аксы», на которых лежит вина за убийства, похищения и акции насилия.

34. Abbreviation for HP; G raphical L anguage; a & HP; printer language mainly used for plotters; many CAD (Computer Aided Design) software programs output & HP;/GL files for printing

Сокращение от HP; G raphical L anguage (Язык обработки графики Hewlett-Packard). Это " язык общения " с принтером, разработанный & HP; и используемый в основном для плоттеров. Многие CAD-программы выводят на печать файлы в формате & HP;/GL

35. In 1897, under the abbess Yevgeniya Govorovich, a monumental five-domed Cross Exaltation Cathedral was erected, designed according to the design of architect V.F. Korshikov in the neo-Byzantine style .

В 1897 году при игуменьи Евгении (Говорович) возведён монументальный пятиглавый Крестовоздвиженский собор, построенный по проекту архитектора В. Ф. Коршикова в неовизантийском стиле.

36. In addition, we're able to throw the entire polymer chemistry textbook at this, and we're able to design chemistries that can give rise to the properties you really want in a 3D-printed object.

Кроме того, мы можем применить при этом знания из всего учебника по полимерной химии, разработав химические составы, обладающие свойствами, которыми вы хотите наделить объекты 3D-печати.

37. Architect Gregor Eichinger has taken his cue from industrial design in this beautiful old building – artistically scraped walls and powerful ceiling lamps give the main room a trashy appeal and put the designs by A.F.

Для оформления красивого старинного здания архитектор Грегор Айхингер заимствовал детали индустриального дизайна: Искуссно обработанные стены и мощные лампы придают главному помещению «треш»-очарование и оптимально подчёркивают ценность коллекций A.F.

38. In this regard, while presiding over the meeting of the Council of Ministers held on 7 Muharram A.H. 1424 (corresponding to 10 March 2003), the Custodian of the Two Holy Places, King Fahd Bin Abdul-Aziz Al Saud, stressed the importance of ridding the Middle East

В этом отношении, председательствуя на заседании Совета министров, проходившем 7 дня месяца мухаррам 1424 года хиджры (что соответствует 10 марта 2003 года), Блюститель двух святых мест король Фадх Ибн Абдель Азиз ас-Сауд подчеркнул важность избавления ближневосточного региона от всех видов оружия массового уничтожения.

39. Objective: To assist member States in the design and implementation of new institutional mechanisms, regulatory frameworks and policy instruments affecting the different meso- and microeconomic behaviour of economic agents and productive sectors, with a view to raising production growth rates and narrowing the productivity gap in relation to the developed countries.

Цель: Оказание государствам-членам помощи в разработке и внедрении новых организационных механизмов, регулятивных рамок и программных инструментов, влияющих на поведение экономических субъектов и производственных секторов на макро- и мезоэкономическом уровне, в целях повышения темпов роста объема производства и уменьшения разрыва в производительности труда между странами региона и развитыми странами.

40. Autodesk's first notable product was AutoCAD, a computer-aided design application designed to run on the systems known as "microcomputers" at the time, including those running the 8-bit CP/M operating system and two of the new 16-bit systems, the Victor 9000 and the IBM Personal Computer (PC).

Первым продуктом компании стал разработанный в 1982 году AutoCAD — система автоматизированного проектирования, предназначенная для работы на устройствах, известных в то время как «микрокомпьютеры», включая восьмиразрядную операционную систему CP/M и новые шестнадцатиразрядные IBM PC.

41. Under the august sponsorship of His Highness Sheikh Hamad bin Khalifa Al-Thani, Emir of the State of Qatar, Chairman of the Ninth Islamic Summit Conference; at the invitation of the Islamic Educational, Scientific and Cultural Organization (ISESCO); and in cooperation and coordination with the Government of the State of Qatar and with the secretariat of the Ninth Islamic Summit Conference, the Islamic Conference of Ministers of Culture held its third session, generously hosted by His Highness, in Doha from 14 to 16 Shawwal 1422 a.h., corresponding to 29 to 31 December 2001 a.d.

Под августейшим покровительством эмира Государства Катар Председателя девятой Исламской конференции на высшем уровне Его Высочества шейха Хамада бен Халифы Аль Тани, по приглашению Исламской организации по вопросам образования науки и культуры (ИСЕСКО) и в сотрудничестве и координации с правительством Государства Катар и секретариатом девятой Исламской конференции на высшем уровне в Дохе 14–16 шавваля 1422 года хиджры, что соответствует 29–31 декабря 2001 года, состоялась, по приглашению Его Высочества, третья сессия Исламской конференции министров культуры.