Поскольку разметка корпуса выполняется вручную или почти вручную, а сами по себе корпуса довольно велики (речь идёт о сотнях тысяч словоупотреблений) то эти размеченные данные составляют существенную часть стоимости получающихся технологий.

Источник: 0151835

Были намечены определенные планы, и, должен сказать, они выполняются.

Источник: Ежегодное послание Президента Путина

Следовательно, основная цель и предназначение международной программы Work&Travel USA выполняются.

Источник: Начался сезон Work&Travel USA

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

Источник: 0000856 Ленивая квантовая волна-частица

Т.е., программа работает себе (вычисляет какую-то свою полезную вещь), и в это время на экране должен отображаться прогресс-бар, который показывает, какая работа сейчас выполняется, какая часть работы сделана и показывает, сколько времени еще осталось до завершения.

Источник: 0016582

Действуя в тесной связке с компанией «Еврохим», администрация Краснодарского края этим фальшивым мероприятием перед планируемым запуском Туапсинского балкерного терминала пыталась создать видимость того, что поручение президента России якобы выполняется.

Источник: 24224 Вопреки решению президента

Серьезная новация Chrome — выделение для каждой веб-страницы (окна программы) собственного исполняемого процесса и собственной памяти, подобно тому, как в современных операционных системах программы выполняются в отдельных «песочницах», что позволяет уменьшить вероятность краха системы в целом при сбое или аварийном завершении какой-то одной программы.

Источник: 00100 Хромирование Сети

Кроме того, Александр Мишарин проинформировал Дмитрия Медведева о том, как выполняется программа по развитию сети детских дошкольных учреждений.

Источник: Свердловский губернатор и президент Медведев решили развивать частные детские сады

Идеи Дюркгейма были развиты американским социологом Робертом Мертоном, который, проанализировав причины роста преступности в американском обществе, сделал вывод, что независимо от классовой структуры общества, от его экономического, политического и иного развития интенсивность антисоциального поведения будет расти, если выполняются два условия:

Источник: Личность преступника

Для векторов выполняется условие ортогональности A·L=0, а энергия входит в выражение для квадрата длины вектора Лапласа — Рунге — Ленца, полученного выше A² = m²k² + 2mEL².

Источник: Вектор Лапласа — Рунге — Ленца

Продолжительная и интенсивная физическая работа выполняется, не оставляя ощущения усталости.

Источник: Кокаин

Все это как бы работает, только медленно немного: запрос на один журнал агента выполняется минуту-другую, а, например, всех отрицательных («важных») кодов за сегодня — минут от 8 до 25, в зависимости от погоды в Атлантике и личного расположения сервера к запрашивающему (других факторов не пока выявлено).

Источник: 00116885:Практическая задача по хранению уймы временных результатов

Наиболее эффективно они выполняются при изменённом состоянии сознания, которое я, вслед за eagleson, буду называть работун.

Источник: 098963 Работун и человеко-часы

Рейс компании Исраэйр, но почему-то выполнялся экипажем и самолётом компании Аркиа.

Источник: 0938522

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

Источник: Ионический ордер

Захваты выполняются за пояс и выше пояса за чоху.

Источник: Кох (борьба)

Собственно статическую типизацию можно представить как предикат ST(Property,P), где Property — некоторое свойство, а P — кусок программы, который проверяет, выполняется ли свойство Property в P.

Источник: 003540 Еще про статическую типизацию

То есть, статическая типизация может и не давать точного ответа на вопрос, выполняется ли свойство Property в P, или нет.

Источник: 003540 Еще про статическую типизацию

Априори считать, что если не можем доказать свойство, то оно не выполняется?

Источник: 003540 Еще про статическую типизацию

1. Если статическая типизация может доказать, что необходимые для корректности свойства программы не выполняются, то это должно приводить к ошибкам компиляции.

Источник: 003540 Еще про статическую типизацию

2. Если статическая типизация не может доказать, что необходимое для корректности программы свойство выполняется, то это не должно быть ошибкой компиляции, а warning'ом.

Источник: 003540 Еще про статическую типизацию

Либо же, невозможность доказать считается ошибкой компиляции, если программист не вставил явное объявление о том (но в форме type-cast'а, так как это очень-очень нехорошо, а в какой-нибудь другой, более красивой, форме), что такое свойство выполняется, и используется динамическая проверка этого свойства.

Источник: 003540 Еще про статическую типизацию

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

Источник: 003540 Еще про статическую типизацию

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

Источник: Труп

Если же условие равенства не выполняется, значит станок работает вхолостую.

Источник: Станок-качалка

Они нацелены на поиск решения задачи и выполняются разработчиком.

Источник: Основы системного проектирования

На каждом этапе внутреннего проектирования выполняются следующие процедуры:

Источник: Основы системного проектирования

Но мы имеем право говорить о системности подхода, если существуют и выполняются его принципы.

Источник: Основы системного проектирования

Идеальная система — такая, у которой вес, объем или размеры (или другие исследуемые характеристики) стремятся к нулю (наилучшему значению), а функция сохраняется и выполняется.

Источник: Основы системного проектирования

Если хотят подчеркнуть, что первоначальное решение задачи выполнялось в условиях полной или большой неопределенности, первый цикл итераций называют «нулевым приближением».

Источник: Основы системного проектирования

• масса, размеры, время действия стремятся к нулю, т.е. потребная функция выполняется мгновенно, а самого объекта как материального тела нет.

Источник: Основы системного проектирования

Эффективны действия, направленные на совмещение выполнения одной частью изделия нескольких функций и на максимальную реализацию принципа ИКР (функция выполняется, а ее носителя нет).

Источник: Основы системного проектирования

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

Источник: Основы системного проектирования

Если подсистемы второго уровня отсутствуют (как в примере на рис.18), то техническое предложение для подсистем часто не выполняется, поскольку практически было завершено на уровне системы.

Источник: Основы системного проектирования

Здесь выполняется вся основная конструктивная проработка объекта и его частей.

Источник: Основы системного проектирования

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

Источник: Реферат

С использованием этого пакета формировались временные зависимости сигналов, вычислялся спектр этих сигналов с использованием алгоритма быстрого преобразования Фурье, выполнялось двойное интегрирование сигналов в цифровом виде для перехода от спектра ускорений к спектру перемещений.

Источник: 3. Исследование дымовой трубы.

Этим установлено, что они являются степенными рядами от u, u1, ... , ur или x — а, х1 — a1, ..., xr — ar, которые сходятся все внутри определенной области, причем в этом случае выполняются условия, которые приведены в указанном месте в пунктах a), b).

Источник: К теории уравнений частных производных (отрывок)

Организация подключения этих модулей к ядру системы выполняется только в случае обращения к ним из соответствующего меню программы, что существенно экономит ресурсы системы и позволяет распределять их на визуализацию среды и работу с БД.

Источник: Визуализация и информационное сопровождение добычи угля открытыми способами

3. Раз уж выполняется поиск в документах (а это действительно нужная вещь), то подсвечивание того, что именно и в каком именно документе найдено – весьма полезная функциональность.

Источник: 35279 Бизнес на открытых данных по госзаказу

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

Источник: 20749 Вперёд в прошлое