12.08.2014 |
11:29:11 |
ling. |
system of linguistic means |
система языковых средств |
12.08.2014 |
11:23:45 |
rhetor. |
verbal anemia |
словесное худосочие |
12.08.2014 |
11:09:13 |
polit. |
putative threat |
мнимая угроза (New York Times) |
12.08.2014 |
11:08:29 |
polit. |
win a majority on the first ballot |
получить большинство голосов избирателей в первом туре выборов (in a field of 17 candidates – ..., на которых баллотировалось 17 кандидатов; New York Times) |
12.08.2014 |
10:59:29 |
polit. |
unite around the democratic idea |
объединяться вокруг демократической идеи (New York Times) |
12.08.2014 |
10:58:24 |
polit. |
authoritarian kleptocracy |
авторитарная клептократия (New York Times) |
12.08.2014 |
10:35:23 |
quot.aph. |
it is no exaggeration to worry |
нельзя считать преувеличенными опасения, что (New York Times) |
12.08.2014 |
10:33:04 |
rhetor. |
historic fight over the future of democracy |
историческая битва за будущее демократии (New York Times) |
11.08.2014 |
19:44:39 |
crim.law. |
high-security facility |
пенитенциарное учреждение строгого режима (New York Times) |
11.08.2014 |
19:11:11 |
media. |
defence correspondent |
военный корреспондент (BBC News) |
11.08.2014 |
19:10:32 |
polit. |
parliament's finance committee |
финансовый комитет парламента (BBC News) |
11.08.2014 |
13:53:11 |
mil. |
spray machine gun fire |
открывать пулемётный огонь (Fox News) |
11.08.2014 |
13:45:50 |
dipl. |
deterioration of the humanitarian situation |
ухудшение гуманитарной ситуации (Fox News) |
11.08.2014 |
13:44:57 |
int. law. |
internally displaced people |
внутренне перемещённые лица (Fox News) |
11.08.2014 |
13:44:05 |
media. |
have grabbed world attention |
привлечь внимание всего мира (Fox News) |
11.08.2014 |
13:40:56 |
mil. |
open fire with live ammunition |
открыть огонь боевым патронами (Fox News) |
11.08.2014 |
13:00:02 |
mil. |
have been losing ground to |
отступать под натиском (чьих-либо вооруженных сил, военных формирований; Fox News) |
11.08.2014 |
0:24:17 |
law |
public body |
орган публичной власти |
11.08.2014 |
0:23:44 |
law |
public body |
субъект властных полномочий |
10.08.2014 |
19:06:26 |
law |
judicial conference |
конференция судей |
10.08.2014 |
17:47:20 |
law |
court of appeals for the federal circuit |
апелляционный суд по федеральному округу |
10.08.2014 |
17:40:46 |
law |
judicial vacancy |
вакантная должность судьи |
10.08.2014 |
17:38:23 |
intell. |
foreign intelligence agent |
агент иностранной разведки |
10.08.2014 |
17:35:36 |
law |
special court |
особый суд |
10.08.2014 |
15:53:22 |
law |
High Specialized Court of Ukraine for Civil and Criminal Cases |
Высший специализированный суд Украины по рассмотрению гражданских и уголовных дел |
10.08.2014 |
15:03:13 |
law |
commercial court of appeals |
апелляционный хозяйственный суд |
10.08.2014 |
14:12:51 |
law |
local general jurisdiction court |
местный суд общей юрисдикции |
10.08.2014 |
13:43:53 |
polit. |
National Commission for the Strengthening of Democracy and Rule of Law |
Национальная комиссия по укреплению демократии и утверждению верховенства права |
10.08.2014 |
13:38:12 |
law |
High Council of Justice of Ukraine |
Высший совет юстиции Украины |
10.08.2014 |
13:38:00 |
law |
High Council of Justice |
Высший совет юстиции |
10.08.2014 |
13:36:42 |
law |
High Judicial Qualifications Commission of Ukraine |
Высшая квалификационная комиссия судей Украины |
10.08.2014 |
13:36:18 |
law |
High Judicial Qualifications Commission |
Высшая квалификационная комиссия судей |
10.08.2014 |
13:35:48 |
law |
judicial qualifications commission |
квалификационная комиссия судей |
9.08.2014 |
12:44:39 |
mil. |
self-defense formations |
отряды самообороны |
8.08.2014 |
18:58:51 |
geogr. |
Qaraqosh |
Каракош (город в Ираке) |
8.08.2014 |
18:48:50 |
polit. |
broad-based government |
правительство широкой коалиции (Wall Street Journal) |
8.08.2014 |
17:56:18 |
mil. |
take evasive maneuvers |
совершать манёвры по уклонению от столкновения |
8.08.2014 |
17:56:06 |
mil. |
take evasive maneuvers |
совершать манёвры по уклонению от удара |
8.08.2014 |
17:50:14 |
stat. |
spike in activity |
всплеск активности |
8.08.2014 |
17:25:47 |
avia. |
make a forced landing |
совершить вынужденную посадку |
8.08.2014 |
17:21:28 |
avia. |
eject from the aircraft |
катапультироваться из самолёта |
8.08.2014 |
15:22:43 |
law |
justice administration |
отправление правосудия |
8.08.2014 |
15:18:49 |
ed. |
justice administration faculty |
факультет правосудия (юридического высшего учебного заведения) |
8.08.2014 |
15:18:18 |
law |
criminal justice administration |
отправление правосудия по уголовным делам |
7.08.2014 |
17:43:19 |
polit. |
enjoy huge popularity |
пользоваться высокой популярностью (New York Times) |
7.08.2014 |
17:41:40 |
media. |
make a realistic assessment |
выполнить реалистичную оценку (New York Times) |
7.08.2014 |
17:38:51 |
progr. |
verbatim character |
дословный символ |
7.08.2014 |
17:36:55 |
scient. |
verbatim |
дословно цитируемый |
7.08.2014 |
17:33:14 |
progr. |
yield the defined response |
вызывать адекватную реакцию |
7.08.2014 |
17:27:07 |
progr. |
defined response |
адекватная реакция |
7.08.2014 |
17:07:42 |
media. |
state-run satellite news channel |
государственный спутниковый новостной телевизионный канал (New York Times) |
7.08.2014 |
17:06:48 |
for.pol. |
implement retaliatory measures |
применить ответные меры (New York Times) |
7.08.2014 |
11:42:23 |
scient. |
introduction |
краткая характеристика (контекстуальный перевод на русс. язык) |
7.08.2014 |
11:38:37 |
AI. |
built-in logic |
встроенная логика |
7.08.2014 |
11:32:22 |
AI. |
solver's front-end |
приложение, реализующее пользовательский интерфейс и взаимодействие с решателем |
7.08.2014 |
11:31:55 |
progr. |
front-end |
приложение, реализующее пользовательский интерфейс |
7.08.2014 |
11:07:57 |
progr. |
recursive macro |
рекурсивный макрос |
6.08.2014 |
19:41:21 |
AI. |
conforming solver |
совместимый решатель |
6.08.2014 |
19:41:11 |
AI. |
conforming SMT solver |
совместимый решатель задач выполнимости формул в теориях |
6.08.2014 |
19:19:29 |
mil. |
large-scale troop intervention |
крупномасштабное вторжение сухопутных войск |
6.08.2014 |
19:16:34 |
mil. |
large-scale war games |
крупномасштабные военные учения |
6.08.2014 |
18:12:40 |
inf. |
vindictive guy |
мужик мстительный |
6.08.2014 |
15:32:33 |
law |
stand up for the rights of |
отстаивать права (кого-либо) |
6.08.2014 |
15:24:33 |
quot.aph. |
it remains a biological fact that |
фактом биологии остаётся то, что |
6.08.2014 |
15:23:00 |
law |
institution created to protect the welfare of children |
институт, созданный для защиты благополучия детей |
6.08.2014 |
15:22:09 |
rhetor. |
lead down a slippery slope |
приводить на опасный путь (toward ... – ..., ведущий к ...) |
6.08.2014 |
15:18:41 |
law |
act through a lawful electoral process |
действовать через законный избирательный процесс |
6.08.2014 |
13:01:16 |
EU. |
non-legislative act |
акт вторичного права |
6.08.2014 |
12:51:49 |
EU. |
Council Decision |
Решение Совета |
6.08.2014 |
12:49:34 |
EU. |
regulations |
регламенты (акты вторичного права ЕС) |
6.08.2014 |
12:15:50 |
AI. |
backend constraint solver |
сервер-решатель задач удовлетворения ограничений |
6.08.2014 |
11:41:32 |
progr. |
input-output language |
язык ввода-вывода информации |
6.08.2014 |
11:33:35 |
AI. |
SMT benchmark problem |
эталонная задача для решателя задач выполнимости формул в теориях |
6.08.2014 |
11:23:20 |
AI. |
solver capability |
функциональные возможности решателя |
6.08.2014 |
11:21:34 |
AI. |
capabilities of SMT solvers |
функциональные возможности решателей задач выполнимости формул в теориях |
6.08.2014 |
11:20:19 |
IT |
set of benchmark problems |
набор эталонных задач |
6.08.2014 |
11:15:43 |
IT |
benchmark problem |
контрольная задача (для оценки производительности программного кода или вычислительной системы) |
6.08.2014 |
11:14:14 |
AI. |
objective means of comparing SMT solvers |
объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях (контекстуальный перевод на русс. язык) |
6.08.2014 |
11:13:27 |
scient. |
objective means |
объективное средство |
6.08.2014 |
11:12:49 |
softw. |
capability |
функциональность |
6.08.2014 |
11:11:10 |
AI. |
SMT competition |
соревнование решателей задач выполнимости формул в теориях |
6.08.2014 |
11:10:32 |
AI. |
SMT-COMP |
соревнование решателей задач выполнимости формул в теориях (сокр. от "SMT competition") |
6.08.2014 |
11:06:09 |
AI. |
SMT competition |
соревнования решателей задач выполнимости формул в ограничениях |
6.08.2014 |
10:56:18 |
AI. |
SMT workshop |
семинар по решателям задач выполнимости формул в теориях |
6.08.2014 |
10:54:11 |
IT |
validity check |
инструментальное средство контроля корректности |
6.08.2014 |
10:31:03 |
AI. |
advance in SMT solvers |
прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях (контекстуальный перевод на русс. язык) |
5.08.2014 |
18:48:15 |
rhetor. |
patriotic fervor |
патриотический пыл (агентства Reuters) |
5.08.2014 |
18:47:05 |
media. |
totalitarian propaganda |
тоталитарная пропаганда (агентства Reuters) |
5.08.2014 |
17:21:56 |
AI. |
SMT solver |
решатель задач выполнимости формул в теориях (SMT – сокр. от "satisfiability modulo theories"; Microsoft) |
5.08.2014 |
17:21:04 |
AI. |
SMT solver competition |
соревнование решателей задач выполнимости формул в теориях |
5.08.2014 |
17:19:23 |
names |
Ranise |
Ранизе (итальянская фамилия) |
5.08.2014 |
16:55:43 |
names |
de Moura |
де Моура |
5.08.2014 |
16:47:35 |
names |
Silvio |
Сильвио |
5.08.2014 |
16:39:38 |
names |
Barett |
Баретт |
5.08.2014 |
16:39:06 |
names |
Tinelli |
Тинелли |
5.08.2014 |
16:38:22 |
names |
Cesare |
Чезаре |
5.08.2014 |
13:04:15 |
med. |
surrogacy agency |
агентство суррогатного материнства |
5.08.2014 |
12:50:13 |
progr. |
VHLL |
сверхвысокоуровневый язык программирования (сокр. от "very high-level programming language") |
5.08.2014 |
12:49:01 |
progr. |
very high-level programming language |
сверхвысокоуровневый язык программирования (язык программирования с очень высоким уровнем абстракции; в отличие от языков программирования высокого уровня, в которых код описывает "как нужно сделать", в сверхвысокоуровневых языках программирования код описывает "что нужно сделать") |
5.08.2014 |
12:46:59 |
progr. |
very high-level |
сверхвысокоуровневый |