F-logic (frame logic) is a knowledge representation and ontology language. |
F-логика - (англ. frame logic) - язык представления знаний и онтологий. |
Companies such as LSI Logic developed derivatives of the R3000 specifically for embedded systems. |
Ряд компаний, таких как LSI Logic, создали производные решения на базе R3000 специально для встраиваемых систем. |
Automated Logic distributes and installs commercial systems through a network of independent dealers. |
Automated Logic распространяет и устанавливает промышленные системы через сеть независимых дилеров. |
Paul Halmos and Steven Givant (1998) Logic as Algebra. |
Алгебра множеств Экстремально несвязное пространство Проконечная группа Paul Halmos and Steven Givant (1998) Logic as Algebra. |
Open-source platforms like Docassemble and companies such as Neota Logic have begun to offer artificial intelligence and machine learning-based legal expert systems. |
Такие компании, как Neota Logic начали предлагать правовые экспертные системы на основе искусственного интеллекта и машинного обучения. |
The Tone Rebellion is a science fiction real-time strategy game created by The Logic Factory. |
The Tone Rebellion - фантастическая стратегия в реальном времени от компании The Logic Factory. |
Barnet Logic Group Corporation (British Columbia, Canada) is the company working in IT sphere. |
Barnet Logic Group Corporation (British Columbia, Canada) - компания, работающая в области информационных технологий. |
The microprocessor was manufactured by LSI Logic Corp. with technology licensed from SGI. |
Микропроцессор произведён LSI Logic Corp. при помощи технологии, лицензированной у SGI. |
Philips, LSI Logic and IDT have since joined them. |
Вскоре к ним присоединились Philips, LSI Logic и IDT. |
In 2009 ARC International was acquired by Virage Logic Corporation. |
В 2009 году ARC International в свою очередь была куплена компанией Virage Logic. |
Logic released his fifth mixtape, Bobby Tarantino, in 2016. |
В 2016 году Logic выпустил свой пятый микстейп, Bobby Tarantino (англ.)русск... |
Nintendo's Wii console shares many audio components with the Nintendo GameCube from the previous generation, including Dolby Pro Logic II. |
Приставка Wii, произведённая компанией «Nintendo», разделяет многие аудиокомпоненты с Nintendo GameCube из предыдущего поколения, включая Dolby Pro Logic II. В настоящее время у разработчиков игр есть много вариантов создания музыки. |
Both Dell and LSI Logic have indicated that they no longer support these models in the 2.6 kernel. |
И Dell, и LSI Logic подтвердили отмену поддержки этих моделей в ядре 2.6. |
In late 1993, Blüchel left MFS and signed onto Logic Records, a record label owned by BMG. |
В конце 1993 года Блюхель покинул MFS и подписал контракт с Logic Records, лейбл принадлежавший BMG. |
Carrier Corporation, USA, has reached a definitive agreement to acquire Automated Logic Corporation, a technology leader in building automation systems. |
Carrier Corporation, США, достигла определенного соглашения о приобретении Automated Logic Corporation, лидера в области создания автоматических систем. |
Founded in 1977, Automated Logic designs and manufactures innovative building automation and control systems primarily for heating, ventilation, air conditioning and energy management applications. |
Основанная в 1977 году, Automated Logic разрабатывает и производит новаторские системы управления и автоматизации строительства в основном для применения в сфере отопления, вентиляции и кондиционирования воздуха. |
During the last quarter-final best-of-three match on October 6 between European team Counter Logic Gaming EU and Chinese team World Elite, multiple technical difficulties occurred. |
Во время последнего матча ВоЗ четверть-финала, 6 октября, между европейской командой Counter Logic Gaming EU и китайской World Elite, произошли многочисленные технические неполадки. |
Rea would later pay the same compliment to his youngest daughter, Julia, on the album Espresso Logic (1993). |
Позже подобный комплимент он сделает своей младшей дочери, Джулии (альбом «Espresso Logic», 1993). |
We have published the photos from LGS2 (Logic, Game Theory and Social Choice). This photos you can find under this link. |
Опубликованы фотографии, сделанные на конференции LGS2 (Logic, Game Theory and Social Choice), которая проходила с 21 по 24 июня 2001 года. |
Bibliographical description: Logic Programming in Knowledge Domains/ Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh// ICLP 2006, LNCS 4079 - 0451. |
Библиографическое описание: Logic Programming in Knowledge Domains/ Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh// ICLP 2006, LNCS 4079 - 0451. |
Expeditions: Conquistador was developed by Danish developers Logic Artists, with a core team of 8 to 10 full-time developers and additional freelancers and interns. |
Expeditions: Conquistador была создана датскими разработчиками Logic Artists, основу команды составляло от 8 до 10 программистов вместе с фрилансерами и интернами. |
Audigy 2 ZS uses the Cirrus Logic CS4382 DAC together with the op-amps and can produce an output SNR of 108 dB. |
В Audigy 2 ZS применен ЦАП CS4382 от Cirrus Logic, который совместно с новыми операционными усилителями обеспечивает отношение сигнал/шум 108 дБА. |
It was also chosen by the British band Coldplay to play out after the band had left the stage at concerts on their 2005-2006 Twisted Logic Tour. |
Именно этой песней британская группа Coldplay сопровождала свой уход со сцены на концертах тура Twisted Logic Tour (2005-2006). |
Newer Futurebus+ transceivers that meet the IEEE Std 1194.1-1991 Backplane Transceiver Logic (BTL) standard are still made by Texas Instruments. |
В частности, трансиверы Futurebus+, соответствующие требованиям стандарта IEEE Std 1194.1-1991 Backplane Transceiver Logic (BTL) продолжают выпускаться компанией Texas Instruments. |
She referred only to the Port-Royal Logic as a source of contemporary influence, though still relied upon classical rhetorical theories as she presented her own original ideas. |
Она ссылалась только на «Port-Royal Logic» как источник современного влияния, однако все ещё полагалась на классические теории риторики, представляя свои идеи. |