выполнимый

В действительности достаточно взять экземпляр ВЫП Е и преобразовать его в экземпляр ВКНФ F, выполнимый тогда и только тогда, когда выполним Е.

All we have to do is take a SAT instance B and convert it to a CSAT instance F such that F is satisfiable if and only if E is.

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Выполнимый текст

Executable text

Мусумеси, Джан-Паоло Д.,Лукидес, Майк / Настройка производительности UNIX-системMusumeci, Gian-Paolo D.,Loukides, Mike / System Performance Tuning

System Performance Tuning

Musumeci, Gian-Paolo D.,Loukides, Mike

© 2002,1990 O'Reilly & Associates, Inc.

Настройка производительности UNIX-систем

Мусумеси, Джан-Паоло Д.,Лукидес, Майк

© Издательство Символ-Плюс, 2003

© 2002 O'Reilly & Associates Inc.

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

In such instances, where man is unable to muster the courage for some good cause, some higher soul can enter a human body and accomplish the task.

Ошо, Бхагван Шри Раджниш / Здесь и сейчас. О жизни, смерти и прошлых ВоплощенияхOsho, Bhagvan Shree Rajneesh / And Now, And Here: On Death, Dying and Past Lives

And Now, And Here: On Death, Dying and Past Lives

Osho, Bhagvan Shree Rajneesh

Здесь и сейчас. О жизни, смерти и прошлых Воплощениях

Ошо, Бхагван Шри Раджниш

Зубоврачебный инструмент может быть выполнен в виде бора.

The stomatological instruments may appear as a burr.

http://www.patentlens.net/ 01.12.2011

http://www.patentlens.net/ 01.12.2011

В перегородке выполнены перепускные каналы по периферии для пропуска сгустков и твердых включений в верхнюю камеру массообмена.

In the division wall, there are peripheral bypass channels for inlet of clouds and solid inclusions into the upper mass-exchange chamber.

http://www.patentlens.net/ 11/10/2011

http://www.patentlens.net/ 11/10/2011

Шлюхи, Айра, выполняют те же функции, что и жрецы, — только с большим эффектом.

Whores perform the same function as priests, Ira, but far more thoroughly.

Хайнлайн, Роберт / Достаточно времени для любви, или жизни Лазаруса ЛонгаHeinlein, Robert / Time Enough For Love

Time Enough For Love

Heinlein, Robert

© 1973 by Robert Heinlein

Достаточно времени для любви, или жизни Лазаруса Лонга

Хайнлайн, Роберт

© 1973 by Robert A. Heinlein

© Перевод. Ю. Соколов, 2008

© TERRA FANTASTICA, 2008

Эту операцию выполняют аналогично такой же операции по второму варианту выполнения способа передачи сигнала.

This operation is done in the same way as the one according to the second embodiment of the data transmission method.

http://www.patentlens.net/ 14.11.2011

http://www.patentlens.net/ 14.11.2011

Целесообразно шток выполнить с плоским основанием площадью 0,2-4,5 мм2.

It is preferred to provide the rod with a flat base having an area of 0.2 to 1.5 mm2.

http://www.patentlens.net/ 11/10/2011

http://www.patentlens.net/ 11/10/2011

Отсутствие работы в Швейцарии (работа за границей возможна, если она физически не выполняется в Швейцарии).

No employment in Switzerland (employment abroad is possible if not physically performed in Switzerland).

© 2010-2011 PwC

© 2011 PwC

http://www.pwc.ru/ 11/26/2011

© 2010-2011 PwC

http://www.pwc.ru/ 11/26/2011

Над пьезоэлементом расположена ячейка памяти (Ia) изготовленной также на основе PZT и отделенной от пьезоэлемента диэлектрическим слоем (3), выполненным также из окиси кремния.

Over the piezoelement there is a memory cell (1a) made also on the base of PZT and separated from the piezoelement by the dielectric layer (3), made also from silicon oxide.

http://www.patentlens.net/ 10/26/2011

http://www.patentlens.net/ 10/26/2011

При этом в радиальных канавках 25 шарик работает на участке между точками АВ, и на этом участке высота стенок 30 выполнена большей радиуса шарика 5.

Herewith, any ball in radial slot runs in range marked by points A and B, and in that range height of walls 30 exceeds a ball radius.

http://www.patentlens.net/ 11/25/2011

http://www.patentlens.net/ 11/25/2011

В зависимости от области применения предлагаемой установки ее основание 1 может быть выполнено в виде рамы с закрепленными на ней лямками (на черт, не показ.) или в виде транспортного средства, например, тележек и т.д.

Depending on the area of application of the proposed unit, its basis 1 can be made as a frame with straps (not shown on the drawing), or as carrier, for example hand cart, etc.

http://www.patentlens.net/ 12/1/2011

http://www.patentlens.net/ 12/1/2011

Гибридизацию выполняют в коммерчески производимой гибридизационной камере, объемом 30 мкл (Sigma) в течение 4-6 часов при 37оС.

The hybridization was performed in a 30 hybridization chamber (Sigma) for 4 to 6 h at 37° C.

http://www.patentlens.net/ 1/4/2012

http://www.patentlens.net/ 1/4/2012

Поставленная задача решается и тем, что поверхности массирующих элементов, противоположные направлению расширения соответствующего очищающего элемента, выполнены волнообразными.

The object of the invention is also attained due to the fact that the surfaces of the massaging elements opposite to the extension direction of the corresponding cleaning element are wave-shaped.

http://www.patentlens.net/ 12/1/2011

http://www.patentlens.net/ 12/1/2011

Благодаря численному моделированию, выполненному в CEA (Комиссариат по атомной энергии, Франция), был предложен сценарий образования этого кольца: сильное столкновение двух галактик, которое произошло немного более одного миллиарда лет тому назад...

Thanks to numerical simulations made at CEA, a scenario for the formation of this ring has been proposed: a violent collision between two galaxies, slightly more than one billion years ago.

© 1999–2011, Universe Today

© European Space Agency

http://www.universetoday.com/ 21.06.2011

© Astrogorizont.com

http://www.universetoday.com/ 21.06.2011