Translation for 'формализация' from Russian to English

формализация {ж}

formalization

formalisation [Br.]

• Основная математическая идея анализа формальных понятий — возможность построения полной решётки по любому бинарному отношению и формализация описания понятия в виде пары (объём, содержание).
• В 2020 году доктор философских наук, доцент кафедры философии науки и техники Института философии СПбГУ Илья Егорычев опубликовал научную статью на тему «"Категорная формализация „Методологии мышления“ А. В. Курпатова в контексте перспективных разработок AGI"», в которой он формализовал основные методологические концепты, которые использует в своих работах Курпатов.
• , MDL) — это формализация бритвы Оккама, в которой лучшая гипотеза (модель и её параметры) для данного набора данных это та, которая ведёт к лучшему сжиманию данных.
• произошла формальная формализация выборов в Советы.
• Однако именно в этот период началась формализация страхования как вида деятельности.

• На втором этапе осуществляется формализация ответов обследуемого посредством классификации по оценочным категориям.
• Первой задачей стала формализация и пополнение системы аксиом евклидовой геометрии.
• Задачи SLA — гармонизация стандартов качества оказания услуг провайдера и ожиданий заказчика, контроль работы провайдера и управление его мотивацией, формализация результатов работы провайдера.
• Окончательная формализация холдинговой структуры завершилась в 2013 году.
• Любая формализация по определению игнорирует некоторую часть доступной информации и, следовательно, обедняет содержательное представление об исследуемом объекте.

• Математические исследования отдельных экономических проблем, математическая формализация числового материала проводилась ещё в XIX веке.
• В современной математике формализация фигурных чисел происходит с помощью многочленов Эрара.
• После 1985 года и начала перестройки произошла формализация отдельных рок-организаций и соответствующее размежевание на нью-вейв и панк.
• Одной из проблем применения концепции в прикладных исследованиях, в том числе эконометрических оценках, является недостаточная формализация понятия, ограниченная возможность построения динамических оценок для всех регионов, городов.
• Целью процесса авторизации является формализация принятых решений, выделение и распределение ресурсов необходимых для развития бизнеса или выполнения отдельных компонентов.

• По его мнению, происшедшее — формализация с помощью ООН этого грабежа.
•  — формализация уникального успешного практического опыта.
• Частичная формализация понятия алгоритма началась с попыток решения проблемы разрешения (...), которую сформулировал Давид Гильберт в 1928 году.
• Целью использования "PCG" может являться создание игрового контента без участия человека (что может быть как менее затратно, так и помогать геймдизайнерам в решении их задач), разработка других типов игр (улучшение показателей разнообразия и реиграбельности), адаптация игр под игрока «на лету», улучшение контента с помощью алгоритмических решений, а также формализация геймдизайна как широкая научная задача [...].
• Отсутствие родства с Юлиями-Клавдиями определило особенность императорского культа в эту эпоху: начинаются его формализация и превращение индивидуального культа императора в почитание Римского государства как такового [...].