5.08.2014 |
12:35:18 |
med. |
be placed in an isolation unit |
быть помещённым в изолятор (напр., в инфекционной больнице; Wall Street Journal) |
5.08.2014 |
12:20:23 |
med. |
decision made by the treating physician |
решение, принятое лечащим врачом (Wall Street Journal) |
5.08.2014 |
12:03:24 |
quot.aph. |
it is naive to think that |
наивно думать, что (Wall Street Journal) |
5.08.2014 |
11:56:33 |
dipl. |
be working through diplomatic channels |
вести работу по дипломатическим каналам (Wall Street Journal) |
5.08.2014 |
11:42:59 |
polit. |
mixed results |
неоднозначные результаты (New York Times) |
5.08.2014 |
11:40:53 |
mil. |
return to the front line |
вернуться на фронт (Washington Post) |
5.08.2014 |
11:38:15 |
mil. |
be under strict orders |
получить чёткие приказы (not to fire into ... – не стрелять в ...) |
5.08.2014 |
11:31:55 |
mil. |
nobody but us |
никто, кроме нас (девиз ВДВ; англ. перевод взят из статьи в газете Washington Post) |
5.08.2014 |
11:17:00 |
psychol. |
gnawing fear |
постоянно гложущий страх (Washington Post) |
5.08.2014 |
11:13:45 |
dipl. |
preference for a diplomatic solution to the crisis |
предпочтение дипломатического решения кризиса (New York Times) |
5.08.2014 |
11:08:44 |
mil. |
appeal for reservists to report for up to two months of training |
призвать резервистов на военные сборы на срок до двух месяцев (New York Times) |
5.08.2014 |
11:07:14 |
mil. |
air exercise |
учения ВВС (New York Times) |
5.08.2014 |
11:05:40 |
intell. |
have no independent confirmation that |
не иметь подтверждений из независимых источников о том, что (New York Times) |
5.08.2014 |
11:03:48 |
mil. |
peacekeeping insignia |
эмблема миротворческих сил (New York Times) |
5.08.2014 |
11:02:40 |
for.pol. |
closed-door briefing |
совещание за закрытыми дверями (New York Times) |
5.08.2014 |
11:00:20 |
for.pol. |
peacekeeping intervention |
миротворческая интервенция (New York Times) |
5.08.2014 |
10:55:01 |
for.pol. |
raw military power |
грубая военная сила (New York Times) |
5.08.2014 |
10:53:25 |
for.pol. |
calibrated economic sanctions |
продуманные экономические санкции (New York Times) |
5.08.2014 |
10:52:12 |
mil. |
air force and air defense exercise |
учение сил ПВО и ВВС (New York Times) |
5.08.2014 |
10:50:28 |
mil. |
be on the verge of defeat |
находиться на грани поражения (New York Times) |
4.08.2014 |
16:25:54 |
progr. |
sexp |
символьное выражение (сокр. от "symbolic expression") |
4.08.2014 |
16:25:28 |
progr. |
sexpr |
символьное выражение (сокр. от "symbolic expression") |
4.08.2014 |
15:53:27 |
progr. |
S-expression |
символьное выражение (сокр. от "symbolic expression") |
4.08.2014 |
15:50:08 |
progr. |
SMT solver |
решатель задач выполнимости формул в комбинации теорий |
4.08.2014 |
14:19:53 |
law |
under the terms and conditions herein |
на условиях настоящего договора |
4.08.2014 |
14:14:11 |
ling. |
transcription of audio |
расшифровка аудиоматериала |
4.08.2014 |
14:11:23 |
ling. |
voiceover |
запись дикторского голоса |
4.08.2014 |
12:46:40 |
progr. |
graphical tracer |
графический трассировщик |
4.08.2014 |
12:46:23 |
progr. |
graphical profiler |
графический профилировщик |
4.08.2014 |
12:43:30 |
progr. |
documenting tool |
инструментальное средство генерации документации |
4.08.2014 |
11:41:41 |
AI. |
interpolation solver |
интерполирующий решатель |
4.08.2014 |
11:39:06 |
logic |
mixed terms |
смешанный терм |
4.08.2014 |
11:18:11 |
AI. |
combinations of theories |
комбинация теорий (множество формул в объединенной сигнатуре, являющееся дедуктивным замыканием их объединения) |
4.08.2014 |
11:13:33 |
IT |
information systems analyst |
аналитик информационных систем |
4.08.2014 |
10:58:22 |
names |
McMillan |
Макмиллан |
4.08.2014 |
10:53:31 |
logic |
quantor-free |
не содержащий кванторов |
4.08.2014 |
10:53:05 |
logic |
quantor-free formula |
бескванторная формула |
4.08.2014 |
10:49:19 |
progr. |
solver |
инструментальное средство проверки |
4.08.2014 |
10:48:17 |
progr. |
unsatisfiable core |
минимальная невыполнимая формула |
4.08.2014 |
10:46:57 |
progr. |
unsatisfiable core |
ядро невыполнимости |
4.08.2014 |
10:45:43 |
progr. |
CEGAR |
уточнение абстракции по контрпримеру (сокр. от "counter-example guided abstraction refinement") |
4.08.2014 |
10:44:33 |
progr. |
counter-example guided abstraction refinement |
уточнение абстракции по контрпримеру |
4.08.2014 |
10:41:46 |
logic |
quantified |
подкванторный |
4.08.2014 |
10:38:22 |
math. |
Craig interpolant |
интерполянт Крейга |
4.08.2014 |
10:31:35 |
progr. |
with arbitrary size |
произвольного размера |
1.08.2014 |
15:21:27 |
fin. |
International Swaps and Derivatives Association |
Международная ассоциация профессиональных участников рынка свопов и производных инструментов |
1.08.2014 |
14:36:08 |
med. |
be quarantined in the special isolation unit |
быть помещённым в карантин в специальный изолятор (инфекционой больницы) |
1.08.2014 |
14:33:53 |
med. |
special isolation unit |
специальный изолятор (напр., with 10 beds – на 10 койкомест; NBC News) |
1.08.2014 |
14:32:33 |
tech. |
airtight gasket |
герметичная уплотнительная прокладка (NBC News) |
1.08.2014 |
14:30:25 |
med. |
isolation unit |
изолятор (в инфекционной больнице) |
1.08.2014 |
12:21:12 |
rel., christ. |
witness to faith |
свидетельство веры (NBC News) |
31.07.2014 |
16:36:01 |
econ. |
Xiaomi |
Сяоми (китайский товарный знак) |
31.07.2014 |
15:35:50 |
econ. |
Xiao mi |
Сяоми (китайский товарный знак) |
30.07.2014 |
15:39:31 |
bank. |
banking job |
работа в банковской системе |
30.07.2014 |
15:39:19 |
bank. |
banking job |
работа в банковской сфере |
30.07.2014 |
15:38:41 |
fin. |
hedge fund client |
клиент хеджевого фонда |
30.07.2014 |
0:33:19 |
rhetor. |
fall into hysterics |
впадать в истерику (over ...) |
29.07.2014 |
20:32:49 |
psychol. |
standard for behavior |
стандарт поведения (Fox News) |
29.07.2014 |
20:28:18 |
mil. |
full-on military incursion |
полномасштабное военное вторжение (Fox News) |
29.07.2014 |
20:27:56 |
mil. |
launch a full-on military incursion |
начать полномасштабное военное вторжение (Fox News) |
29.07.2014 |
20:23:58 |
commun. |
videoconference call |
звонок по видеоконференцсвязи (Fox News) |
29.07.2014 |
20:21:48 |
mil. |
place an embargo on future arms sales |
вводить эмбарго на продажу оружия по вновь заключённым договорам (Fox News) |
29.07.2014 |
20:18:43 |
mil. |
peace-keeping intervention |
миротворческая интервенция (Fox News) |
29.07.2014 |
20:16:29 |
polit. |
ramp up pressure |
усилить давление (on ... – на ...; Fox News) |
29.07.2014 |
20:06:25 |
law |
return to compliance |
возобновить соблюдение (напр., договора; Time) |
29.07.2014 |
20:03:32 |
sec.sys. |
unleash an anti-corruption campaign |
развернуть антикоррупционную кампанию (Time) |
29.07.2014 |
20:01:36 |
media. |
mouthpiece |
печатный орган (Time) |
29.07.2014 |
20:00:24 |
sec.sys. |
anti-graft authorities |
органы по борьбе со взяточничеством (Time) |
29.07.2014 |
19:59:20 |
law |
be placed under formal investigation for suspected serious disciplinary violation |
попасть под служебное расследование по подозрению в грубом нарушении дисциплины (Time) |
29.07.2014 |
19:58:22 |
law |
disciplinary violation |
нарушение дисциплины (Time) |
29.07.2014 |
19:56:38 |
media. |
anti-corruption crusade |
антикоррупционная кампания (Time) |
28.07.2014 |
14:43:08 |
progr. |
intensional predicate |
интенциональный предикат (в языке логического программирования Datalog) |
28.07.2014 |
14:42:30 |
progr. |
extensional predicate |
экстенсиональный предикат (в языке логического программирования Datalog) |
28.07.2014 |
14:34:05 |
progr. |
query language for deductive databases |
язык запросов к дедуктивным базам данных |
28.07.2014 |
12:43:15 |
obs. |
solid oil |
тавот |
28.07.2014 |
12:18:08 |
gen. |
have no hand in |
быть не причастным к |
28.07.2014 |
12:10:18 |
progr. |
nonrecursive predicate |
нерекурсивный предикат |
28.07.2014 |
12:08:18 |
progr. |
mutually recursive goal |
взаимно рекурсивная цель |
28.07.2014 |
12:08:01 |
progr. |
mutually recursive |
взаимно рекурсивный |
28.07.2014 |
12:05:19 |
progr. |
solve a goal |
сформировать решение для цели (в языке логического программирования) |
28.07.2014 |
12:05:05 |
progr. |
solve a goal |
находить решение для цели (в языке логического программирования) |
28.07.2014 |
11:51:40 |
ed. |
sixth-grader |
шестиклассник |
22.07.2014 |
20:31:58 |
scient. |
in laboratory setting |
в лабораторных условиях |
22.07.2014 |
20:30:50 |
scient. |
neurovirology |
нейровирусология |
22.07.2014 |
20:12:58 |
sec.sys. |
be cleared for public release |
быть разрешённым к опубликованию в открытых источниках (говоря о разрешении режимно-секретного органа на опубликование материалов, в которых подтверждено отсутствие сведений, составляющих государственную тайну; Bloomberg) |
22.07.2014 |
20:10:29 |
med. |
sustained virological remission of varying degrees of duration |
устойчивая ремиссия вирусного заболевания различной степени длительности (Bloomberg) |
22.07.2014 |
20:06:30 |
scient. |
by 2.1 times more than normal |
в 2,1 раза выше нормы (another example: by 2.1 to 3.9 times more than normal; Bloomberg) |
22.07.2014 |
19:14:42 |
scient. |
anecdotal |
единичный |
22.07.2014 |
15:36:01 |
stat. |
by numbers |
в цифрах (Microsoft) |
22.07.2014 |
15:31:41 |
progr. |
fuzzing |
анализ предельных значений (определение доступных диапазонов входных значений программы и тестирование значений, которые выходят за этот диапазон либо находятся на пределах диапазона) |
22.07.2014 |
15:26:19 |
IT |
remote file sharing |
совместное использование дистанционных файлов |
22.07.2014 |
15:16:58 |
softw. |
distributed file sharing system |
система совместного использования распределённых файлов (Microsoft) |
22.07.2014 |
15:12:29 |
progr. |
model-based software design |
проектирование программного обеспечения на основе моделей (Microsoft) |
22.07.2014 |
15:11:45 |
progr. |
model-based software |
программное обеспечение на основе моделей (Microsoft) |
22.07.2014 |
15:04:01 |
progr. |
software model checking |
проверка модели программного обеспечения (Microsoft) |
22.07.2014 |
15:03:16 |
lab.law. |
main line of work |
основное направление работы (Microsoft) |
22.07.2014 |
15:01:50 |
progr. |
test-case generation |
генерация тестовых сценариев (Microsoft) |
22.07.2014 |
15:01:27 |
progr. |
test-case generation tool |
инструментальное средство генерации тестовых сценариев (Microsoft) |
22.07.2014 |
14:58:10 |
progr. |
static driver verifier |
инструментальное средство статической верификации драйверов (Microsoft) |
22.07.2014 |
14:56:53 |
AI. |
satisfiability modulo theories solving |
решение задач выполнимости в теориях (Microsoft) |