| Vinyl Goddess from Mars is a 2D action platformer published by Union Logic Software Publishing, Inc and developed by Six Pound Sledge Studios. | Vinyl Goddess from Mars - компьютерная игра в жанре двухмерного платформера, разработанная компанией Six Pound Sledge Studios и изданная Union Logic Software Publishing, Inc. в 1995 году эксклюзивно для MS-DOS. |
| In 1994 Jordan Hargraphix Software released SVGA BGI drivers version 5.5 that are compatible with some SVGA hardware like ATI or Cirrus Logic cards and VESA VBE-compatible cards. | В 1994 компания Jordan Hargraphix Software выпустила BGI-драйверы для видеорежима SVGA версии 5.5, которые стали совместимы с некоторыми SVGA-адаптерами, среди которых ATI или Cirrus Logic и VESA- и VBE-совместимые карты. |
| Magnum Semiconductor was formed in 2003 as a spinout of the Cirrus Logic Video Division which developed MPEG video recording and enabled consumer DVD recorders. | Magnum Semiconductor отделилась от подразделения видеотехнологий компании Cirrus Logic, которая в 2003 году была одним из пионеров видеозаписи с применением MPEG-сжатия, что позволяло массово производить недорогие записывающие DVD-устройства. |
| Carrier and Automated Logic brands will be positioned for growth through the combined and coordinated activities of the two companies' expanded network across North America and around the world. | Марки Carrier и Automated Logic будут продолжать расти и развиваться совместными усилиями расширенной сети двух компаний по всей Северной Америке и за рубежом. |
| Together with his wife Anita Burdman Feferman, he wrote a biography of Alfred Tarski: Alfred Tarski: Life and Logic in 2004. | Вместе со своей супругой выпустил биографию Альфреда Тарского (Alfred Tarski: Life and Logic, 2004). |
| On November 7, 2017, Weinstein Books published Shlesinger's book Girl Logic: The Genius and the Absurdity with an introduction by Mayim Bialik. | 7 ноября 2017 года свет увидела первая книга Шлезингер, Girl Logic: The Genius and the Absurdity, являющаяся во многом автобиографической. |
| Automated Logic's leading controls technology enhances Carrier's current electronics controls business, said Mr. Ken Fox, vice president and general manager of Carrier Electronics. | "Превосходство Automated Logic в области технологии управления усилит положение Carrier на рынке управляющей электроники", сказал Гн. Кен Фокс, вице-президент и генеральный управляющий Carrier Electronics. |
| He stopped when he was 15 or 16 and started producing music with Logic Studio and a MIDI keyboard while watching several tutorials on YouTube. | Когда ему было 15-16 лет он начал создавать музыку в Logic Studio с помощью MIDI-клавиатуры с помощью учебных курсов на YouTube. |
| When she was 17, she learned Pro Tools, Reason, and Logic Pro and began performing and producing her own music. | В 17 лет освоила программы Reason, Pro Tools и Logic Pro, и начала записывать и продюсировать собственную музыку. |
| He used Logic 8 recording software on his Mac Pro and often worked late nights in a nearby conference room while they recorded in the studio with drafts of his beats. | Во время работы Смит пользовался софтом Logic 8 и часто программировал бит на своем Mac Pro до поздней ночи - расположившись в соседнем конференц-зале, пока остальная часть группы записывалась в студии. |
| Popular audio-recording software includes Apple Logic Pro, Digidesign's Pro Tools-near standard for most professional studios-Cubase and Nuendo both by Steinberg, MOTU Digital Performer-popular for MIDI and film scoring. | Популярный аудиозаписывающий софт включает Apple Logic Pro, Pro Tools от Digidesign - почти стандарт для большинства профессиональных студий; Cubase и Nuendo от Steinberg и MOTU Digital Performer - популярный для записи MIDI и музыки к фильмам. |
| Automated Logic systems are installed in commercial office buildings, educational facilities, industrial plants, critical data facilities, healthcare facilities, government complexes, hospitality/entertainment venues and retail locations worldwide. | Системы Automated Logic устанавливаются в коммерческих офисах, образовательных учреждениях, на промышленных заводах, архивах данных, в здравоохранительных учреждениях, на государственных предприятиях, в зданиях отелей и торговых центрах по всему миру. |
| Lynne Cartwright, the Visual Effects Supervisor at Animal Logic, supervised the creation of the film's opening title sequence, as well as the general look of the Matrix code throughout the film, in collaboration with Lindsay Fleay and Justen Marshall. | Линн Картрайт, супервайзер по визуальным эффектам на студии Animal Logic, контролировала создание последовательности начальной заставки фильма, а также общий вид кода Матрицы на протяжении всего фильма, в сотрудничестве с Линдси Флееем и Джастеном Маршаллом. |
| MIPS was a fabless semiconductor company, so the R3000 was fabricated by MIPS partners including Integrated Device Technology (IDT), LSI Logic, NEC Corporation, Performance Semiconductor, and others. | Компания MIPS Technologies не имеет собственных производственных мощностей (фаблесс-компания), поэтому производство R3000 осуществлялось её партнерами, включая Integrated Device Technology, LSI Logic, NEC Corporation, Performance Semiconductor и другими. |
| With the exhibition "Liquid Logic", then direction of Peter Noever gave Krystufek access to all storages of the Museum of Applied Arts in Vienna and the MAK. | После её выставки «Liquid Logic», Питер Ноевера - директор Музея прикладного искусства в Вене - дал Элке полный доступ ко всем хранилищам и запасникам как Музея искусства, так и Музея прикладного искусства. |
| The team at Animal Logic were initially brought on to the film to work on the story vignettes that were used to explain the backstory, which started as oil paintings before evolving to falling sand, and eventually the final plastic sculptures that were used. | Animal Logic первоначально пригласили, чтобы создать часть фильма, в которой была рассказана предыстория Эго и которая вначале походила на обычную картинку, потом использовались объёмные фигуры из песка, а в конце концов предыстория была показана при помощи пластиковых скульптур. |
| More recently, Michael Wooldridge has extended BDICTL to define LORA (the Logic Of Rational Agents), by incorporating an action logic. | Позднее Майкл Вулдридж расширил BDICTL до LORA (the Logic Of Rational Agents (логика рациональных агентов)), используя логику действий (action logic). |
| Since their inception in 1985, the basic structure of the FPGAs has continued to consist of two-dimensional array of Configurable Logic blocks (CLBs) and a programmable interconnect matrix. | С самого начала использования ПЛИС в 1985 их базовая структура состоит из двухмерного массива конфигурационных логических блоков (Configurable Logic Blocks) объединенных пространственной коммутационной средой в виде программируемой матрицы интерконнекта. |
| The assertion language of separation logic is a special case of the logic of bunched implications (BI). | Язык утверждений логики разделения является специальным случаем логики пучковых импликаций (англ. logic of bunched implications). |
| Since 1993 Gakken has been publishing monthly logic puzzle magazines under the name Logic Paradise. | С 1993 Gakken выпускает ежемесячный журнал логических головоломок Logic Paradise. |
| Modal logic Normal modal logic Kripke semantics Chellas, B. F. (1980) Modal Logic: An Introduction. | Модальная логика Нормальная модальная логика Семантика Крипке Chellas, B. F. (1980) Modal Logic: An Introduction. |
| Two of Kripke's earlier works, A Completeness Theorem in Modal Logic and Semantical Considerations on Modal Logic, the former written when he was a teenager, were on modal logic. | Две первые работы Крипке - А Completeness Theorem in Modal Logic и Semantical Considerations on Modal Logic (написанная еще в школе) - посвящены модальной логике. |
| Lora Logic, formerly of X-Ray Spex, founded Essential Logic. | Лоджик покинула X-Ray Spex на два года раньше, образовав Essential Logic. |
| In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic. | S5 - одна из пяти систем модальной логики, предложенных Льюисом и Лэнгфордом в книге «Символическая логика» (англ. Symbolic Logic, 1932). |
| When designing digital integrated circuits with a hardware description language, the designs are usually engineered at a higher level of abstraction than transistor level (logic families) or logic gate level. | Проектирование схемы на языке описания аппаратуры - проектирование на более высоком уровне абстракции, чем уровень транзисторов (см. logic family) или уровень логических вентилей. |