22.07.2014 |
1:16:17 |
NATO |
major Non-NATO Ally of the United States of America |
основной союзник США вне НАТО |
22.07.2014 |
0:53:15 |
scient. |
be awarded on the basis of a career of published work |
присуждаться по совокупности научных работ (говоря о присуждении ученой степени) |
22.07.2014 |
0:43:47 |
AI. |
SMT formula |
формула задачи выполнимости в теориях |
22.07.2014 |
0:29:30 |
avia. context. |
downing |
крушение (самолёта, в знач. "сбитие") |
22.07.2014 |
0:23:59 |
logic |
many-sorted logic |
многосортная логика (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега) |
22.07.2014 |
0:20:17 |
softw. |
be under active development |
находиться в процессе активной разработки |
22.07.2014 |
0:18:42 |
AI. |
quantifier-free uninterpreted function |
бескванторная неинтерпретируемая функция |
22.07.2014 |
0:15:12 |
AI. |
automated reasoning tool |
инструментальное средство автоматизированных рассуждений |
22.07.2014 |
0:13:13 |
logic |
propositional expression |
пропозициональное выражение |
22.07.2014 |
0:11:26 |
logic |
many-sorted first-order logic |
многосортная логика первого порядка |
22.07.2014 |
0:09:40 |
logic |
many-sorted propositional calculus |
многосортное пропозициональное исчисление |
22.07.2014 |
0:08:43 |
logic |
many-sorted |
многосортный |
22.07.2014 |
0:04:21 |
logic |
quantified |
кванторный |
22.07.2014 |
0:04:12 |
logic |
quantified expression |
кванторное выражение |
21.07.2014 |
23:55:29 |
progr. |
free constant |
свободная константа |
21.07.2014 |
23:43:25 |
scient. |
gain a more thorough understanding of |
получить более полное понимание (чего-либо) |
21.07.2014 |
23:38:55 |
AI. |
theorem proving |
доказывание теорем |
21.07.2014 |
23:38:32 |
AI. |
automated theorem proving |
автоматическое доказательство теорем |
21.07.2014 |
23:36:22 |
AI. |
2-SAT |
задача выполнимости булевых формул в 2-конъюнктивной нормальной форме |
21.07.2014 |
23:35:51 |
AI. |
k-SAT |
задача выполнимости булевых формул в k-конъюнктивной нормальной форме |
21.07.2014 |
23:35:21 |
AI. |
SATCNF |
задача выполнимости булевых формул в конъюнктивной нормальной форме |
21.07.2014 |
23:33:29 |
AI. |
SAT solver |
решатель задач выполнимости булевых формул |
21.07.2014 |
23:08:30 |
AI. |
solver performance |
производительность решателя |
21.07.2014 |
23:04:36 |
logic |
quantified formula |
формула с кванторами |
21.07.2014 |
23:04:24 |
logic |
quantified formula |
формула с квантором |
21.07.2014 |
23:04:03 |
logic |
quantified formula |
кванторная формула |
21.07.2014 |
22:55:58 |
AI. |
SMT |
задача выполнимости формул в теориях (сокр. от "satisfiability modulo theories"; задача выполнимости в теориях – это задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми в информатике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д.) |
21.07.2014 |
22:53:30 |
AI. |
SMT |
выполнимость формул в теориях (сокр. от "satisfiability modulo theories") |
21.07.2014 |
22:50:37 |
AI. |
conflict analysis |
анализ конфликтов |
21.07.2014 |
22:41:20 |
market. |
developer experience |
восприятие со стороны разработчика (Microsoft) |
21.07.2014 |
21:01:53 |
progr. |
tool window |
окно инструментальных средств (Microsoft) |
21.07.2014 |
20:51:58 |
progr. |
pretty-printing |
структурная распечатка программного кода |
21.07.2014 |
20:50:41 |
progr. |
support for quantifiers |
поддержка кванторов (в выражениях) |
21.07.2014 |
20:49:44 |
progr. |
in a type-safe way |
с обеспечением типобезопасности |
21.07.2014 |
20:49:30 |
progr. |
in a type-safe way |
типобезопасно |
21.07.2014 |
20:49:07 |
AI. |
uninterpreted function |
неинтерпретируемая функция |
21.07.2014 |
20:48:21 |
gen. |
in a concise way |
лаконично |
21.07.2014 |
20:48:14 |
gen. |
in a concise way |
кратко |
21.07.2014 |
20:44:55 |
ling. |
co-reference |
кореференция |
21.07.2014 |
20:43:42 |
ling. |
co-reference resolution |
разрешение кореференции (кореференция – это попытка связать несколько разных отсылок в тексте к одному реальному объекту) |
21.07.2014 |
20:43:12 |
ling. |
named entity extraction |
извлечение именованных объектов |
21.07.2014 |
20:42:55 |
ling. |
named entity extraction |
извлечение именованных сущностей |
21.07.2014 |
20:41:52 |
ling. |
part-of-speech tagging |
частеречная разметка |
21.07.2014 |
20:41:37 |
ling. |
part-of-speech tagging |
морфологическая разметка |
21.07.2014 |
20:31:02 |
progr. |
statistical library |
статистическая библиотека |
21.07.2014 |
20:30:09 |
progr. |
perform interactive analysis |
выполнять интерактивный анализ |
21.07.2014 |
20:28:59 |
progr. |
numerical code |
код для организации численных вычислений |
21.07.2014 |
20:26:55 |
progr. |
functional pattern |
шаблон проектирования для функционального программирования |
21.07.2014 |
20:26:39 |
progr. |
functional pattern |
функциональный шаблон проектирования |
21.07.2014 |
20:24:44 |
fin. |
professional risk manager |
специалист по управлению рисками |
21.07.2014 |
20:24:30 |
fin. |
risk professional |
специалист по управлению рисками |
21.07.2014 |
20:24:11 |
fin. |
PRMIA |
Международная ассоциация специалистов по управлению рисками (сокр. от "Professional Risk Managers' International Association") |
21.07.2014 |
20:22:58 |
fin. |
Professional Risk Managers' International Association |
Международная ассоциация специалистов по управлению рисками |
21.07.2014 |
20:19:36 |
adv. |
practically focused |
практически ориентированный |
21.07.2014 |
18:12:16 |
softw. |
toolkit for the processing of natural language text |
комплект инструментальных средств обработки текстов на естественном языке |
21.07.2014 |
18:07:44 |
AI. |
custom theory |
пользовательская теория (Microsoft) |
21.07.2014 |
18:07:32 |
AI. |
custom theory |
специальная теория (Microsoft) |
21.07.2014 |
18:07:02 |
AI. |
base of theories |
база теорий (Microsoft) |
21.07.2014 |
18:04:53 |
AI. |
random forest |
случайный лес (метод машинного обучения на основе комитета регрессионных деревьев принятия решений) |
21.07.2014 |
18:03:35 |
AI. |
decision forest |
лес принятия решений (syn: random forest) |
21.07.2014 |
18:02:20 |
AI. |
quantifier-elimination procedure |
процедура элиминации кванторов (Microsoft) |
21.07.2014 |
18:01:41 |
AI. |
quantifier elimination |
элиминация кванторов (Microsoft) |
21.07.2014 |
18:00:43 |
AI. |
quantifier instantiation procedure |
процедура инстанцирования квантора (Microsoft) |
21.07.2014 |
17:59:51 |
AI. |
quantifier instantiation |
инстанцирование квантора (Microsoft) |
21.07.2014 |
17:59:08 |
AI. |
satisfiability of logical formulas |
выполнимость логических формул (Microsoft) |
21.07.2014 |
17:58:43 |
AI. |
satisfiability of logical formulas with quantifiers |
выполнимость логических формул, содержащих кванторы (Microsoft) |
21.07.2014 |
17:55:53 |
progr. |
applicative |
функциональный (Microsoft) |
21.07.2014 |
17:55:25 |
progr. |
applicative array |
функциональный массив (Microsoft) |
21.07.2014 |
17:49:42 |
AI. |
propositional satisfiability |
пропозициональная выполнимость (Microsoft) |
21.07.2014 |
17:47:48 |
AI. |
constraint solving technology |
технология решения задач удовлетворения ограничений (Microsoft) |
21.07.2014 |
17:47:16 |
progr. |
constraint solving |
удовлетворение ограничений (Microsoft) |
21.07.2014 |
17:45:55 |
progr. |
data-type theory |
теория типов данных (Microsoft) |
21.07.2014 |
17:45:37 |
progr. |
data-type theory |
теория типов (Microsoft) |
21.07.2014 |
17:43:03 |
AI. |
high-performance theorem prover |
высокопроизводительный доказатель теорем (Microsoft) |
21.07.2014 |
17:42:30 |
AI. |
theorem prover |
доказатель теорем (Microsoft) |
21.07.2014 |
13:26:26 |
ecol. |
environmental economist |
экоэкономист |
21.07.2014 |
12:50:28 |
progr. |
built-in multitasking support |
встроенные средства многозадачности |
21.07.2014 |
12:49:42 |
progr. |
task body definition |
определение тела задачи |
21.07.2014 |
12:18:01 |
gambl. |
be stacked on each reeland |
расположенный на каждом игровом поле |
21.07.2014 |
12:15:42 |
gambl. |
5-reel slot game |
5-барабанный игровой автомат (контекстуальный перевод на русс. язык) |
21.07.2014 |
12:14:58 |
gambl. |
free game feature |
специальная бесплатная игра |
21.07.2014 |
12:14:27 |
gambl. |
bet per line |
ставка на линию выплат |
21.07.2014 |
12:13:04 |
gambl. |
reeland |
игровое поле (в игровом автомате) |
21.07.2014 |
12:12:22 |
gambl. |
scatter that triggers the free game feature with multipliers |
разбросанный символ, который запускает специальную бесплатную игру с множителями |
21.07.2014 |
12:11:02 |
gambl. |
scatter |
разбросанный символ |
18.07.2014 |
19:29:22 |
polygr. |
softbound print |
экземпляр в мягкой обложке (отпечатанный экземпляр) |
18.07.2014 |
17:17:27 |
tech. |
be used to indicate |
использоваться для обозначения (чего-либо; IBM) |
18.07.2014 |
17:16:01 |
progr. |
slanted bracket |
наклонная квадратная скобка (IBM) |
18.07.2014 |
16:51:04 |
progr. |
by strengthening |
в силу усиления инварианта типа (IBM; контекстуальный перевод на русс. язык) |
18.07.2014 |
16:47:46 |
progr. |
by subclassing |
в силу создания подкласса (IBM) |
18.07.2014 |
13:25:18 |
progr. |
be a subclass of |
являться подклассом (IBM) |
18.07.2014 |
13:21:23 |
scient. |
be by definition |
по определению являться |
18.07.2014 |
13:07:01 |
progr. |
strengthening |
усиление инвариантов типа (IBM; контекстуальный перевод на русс. язык) |
18.07.2014 |
12:59:24 |
progr. |
subtyping based on the strengthening of type invariants |
создание подтипов на основе усиления инвариантов типов |
18.07.2014 |
12:57:28 |
progr. |
subtyping with strengthening type invariants |
создание подтипов на основе усиления инвариантов типов |
18.07.2014 |
12:33:23 |
progr. |
top type |
высший тип (универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов; высший тип иногда именуется универсальным супертипом, то есть все остальные типы в любой отдельно взятой системе типов являются подтипами самого верхнего) |
18.07.2014 |
12:20:01 |
progr. |
element of the supertype |
элемент супертипа (IBM) |
18.07.2014 |
11:52:53 |
progr. |
supertyping |
выделение надтипа |
18.07.2014 |
11:49:19 |
media. |
peak of popularity |
пик популярности |
18.07.2014 |
11:47:44 |
progr. |
subclassing |
создание подклассов (IBM) |