Расширенная формализация - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
расширение трубы - pipe dilatation
духовное расширение прав и возможностей - spiritual empowerment
инъективное расширение - injective extension
может быть расширена - can be expanded
расширение их участия - increasing their participation
расширение прав и возможностей маргинальным - empowering the marginalized
расширение бетонной смеси - swell of concrete
расширение на восток - eastward expansion
расширение финансирования - expansion of funding
расширение в другие страны - expansion to other countries
формализация входного сообщения - input message formalization
склонная к формализму - inclined to formalism
абстрактно-формализованный - abstract and formalized
формализованной - formalized
более формализованным - more formalised
отсутствие формализации - lack of formalization
псевдоволновой векторный формализм - pseudo-wave vector formalism
полуклассический формализм параметра соударений - semiclassical impact parameter formalism
формализм кластерного разложения - cluster expansion formalism
процесс формализации - formalization process
Синонимы к формализация: официализация
Это формализация и расширение диверсификации в инвестировании, идея о том, что владение различными видами финансовых активов менее рискованно, чем владение только одним типом. |
It is a formalization and extension of diversification in investing, the idea that owning different kinds of financial assets is less risky than owning only one type. |
В последние десятилетия были разработаны многочисленные расширения классического формализма DEVS. |
Numerous extensions of the classic DEVS formalism have been developed in the last decades. |
Полученная в результате калибровочная теория гравитации, Хиггса и калибровочных бозонов является расширением формализма Макдауэлла-Мансури на более высокие измерения. |
The resulting gauge theory of gravity, Higgs, and gauge bosons is an extension of the MacDowell-Mansouri formalism to higher dimensions. |
С усложнением нашего общества и расширением торговых границ мы построили более формализованные институты, например, валютные банки, правительства и корпорации. |
As our societies grew more complex and our trade routes grew more distant, we built up more formal institutions, institutions like banks for currency, governments, corporations. |
Кроме того, в пересмотренном Положении о трудовых нормах для женщин, которое вступило в силу в январе 2013, расширен перечень веществ за счет включения в него этилбензола. |
Furthermore, the revised Regulations on Labour Standards for Women, which were put into effect in January 2013, expanded the coverage to include ethyl benzene. |
Так, я предполагаю ты думал о формализации нашего соглашения? |
So I assume you've been giving some thought to formalizing our arrangement? |
Были усилены крылья, добавлены пикирующие тормоза, расширен фюзеляж и увеличено число членов экипажа до четырех человек. |
The wings were strengthened, dive brakes were added, the fuselage was extended and the number of crewmen was increased to four. |
Его сельские пейзажи повлияли на некоторых молодых художников того времени, заставив их отказаться от формализма и черпать вдохновение непосредственно из природы. |
His rural scenes influenced some of the younger artists of the time, moving them to abandon formalism and to draw inspiration directly from nature. |
Когда мы пытаемся формализовать этику с помощью стандартной модальной логики, мы сталкиваемся с некоторыми проблемами. |
When we try and formalize ethics with standard modal logic, we run into some problems. |
Этот запрет еще более расширен в каббалистической литературе. |
This prohibition is further expanded upon in kabbalistic literature. |
Наиболее ярко это проявилось во второй половине века с постмодернизмом, но ранее модернизм и русский формализм предвосхитили эту перспективу. |
This most prominently happened in the second half of the century with postmodernism, but earlier modernism and Russian formalism had anticipated this perspective. |
В Нидерландах существует традиция изучения иностранных языков, формализованная в голландском законодательстве об образовании. |
The Netherlands has a tradition of learning foreign languages, formalised in Dutch education laws. |
Этот мета-анализ был позднее повторен и расширен теми же авторами, подтвердив предыдущие результаты. |
This meta-analysis was later repeated and extended by the same authors, confirming the previous results. |
Ситуационное исчисление - это логический формализм, предназначенный для представления и рассуждения о динамических областях. |
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. |
Другой формализм математически эквивалентен регулярным выражениям, конечные автоматы используются в схемном проектировании и в некоторых видах решения задач. |
Another formalism mathematically equivalent to regular expressions, Finite automata are used in circuit design and in some kinds of problem-solving. |
Дуэли, в то время как также сражались, чтобы поддержать честь, обычно не были формализованы и иногда были вызваны жаром момента. |
Duels, while also fought to uphold honor, were usually not formalized and sometimes were due to the heat of the moment. |
Обязанность заботиться может рассматриваться как формализация общественного договора, подразумеваемая ответственность индивидов перед другими членами общества. |
Duty of care may be considered a formalisation of the social contract, the implicit responsibilities held by individuals towards others within society. |
Эта теория является математической формализацией бритвы Оккама. |
This theory is a mathematical formalization of Occam's razor. |
По мере того как порядок рос, добавлялось все больше руководящих принципов, и первоначальный список из 72 пунктов был расширен до нескольких сотен в его окончательной форме. |
As the order grew, more guidelines were added, and the original list of 72 clauses was expanded to several hundred in its final form. |
Эта идея была формализована Хомским в иерархии Хомского. |
The idea was formalized by Chomsky in the Chomsky hierarchy. |
В январе 2019 года разработчики сформировали Совет Lubuntu, новый орган, формализовавший их предыдущую организацию, со своей собственной письменной Конституцией. |
In January 2019 the developers formed the Lubuntu Council, a new body to formalize their previous organization, with its own written constitution. |
В 2006 году в рамках совместной провинциально-федеральной инициативы был расширен паводковый путь. |
The Floodway was expanded in 2006 as a joint provincial/federal initiative. |
Список кандзи дзее был расширен до 2136 символов в 2010 году. |
The jōyō kanji list was extended to 2,136 characters in 2010. |
Он подробно показывает, как подход в синтаксических структурах восходит непосредственно к работе математического логика Эмиля поста по формализации доказательства. |
He shows in detail how the approach in Syntactic Structures goes directly back to the work of the mathematical logician Emil Post on formalizing proof. |
Двигатели производились на заводе Сальмсона в Билланкуре, который был расширен во время Первой мировой войны, а второй завод был открыт в Вильербане. |
The engines were produced at Salmson's factory at Billancourt, which was expanded during the First World War, and a second factory was opened at Villeurbanne. |
Железный стержень был обшит носками или, как правило, расширен до плоского выступа. |
The iron shank was socketed or, more usually, widened to a flat tang. |
Край крышки изогнут книзу, иногда слегка расширен, а иногда имеет прозрачные радиальные бороздки, отмечающие положение жабр под ним. |
The cap margin is curved downward, sometimes slightly flared, and sometimes has translucent radial striations marking the positions of the gills underneath. |
Шаблоны проектирования-это формализованные рекомендации, которые программист может использовать для решения общих проблем при проектировании приложения или системы. |
Design patterns are formalized best practices that the programmer can use to solve common problems when designing an application or system. |
Хотя формализм MIME был разработан в основном для SMTP, его типы контента также важны в других протоколах связи. |
Although the MIME formalism was designed mainly for SMTP, its content types are also important in other communication protocols. |
В 2017 году групповой этап был расширен с 8 до 16 команд, а мини-лиги - с 2 до 4 и добавлением одного дополнительного раунда нокаута. |
In 2017, the group phase was expanded from 8 to 16 teams and the mini-leagues from 2 to 4 and the addition of one extra knock-out round. |
Такая абстракция или формализация делает математическое знание более общим, способным к множеству различных значений и, следовательно, полезным в различных контекстах. |
Such abstraction or formalization makes mathematical knowledge more general, capable of multiple different meanings, and therefore useful in multiple contexts. |
Он руководил формализацией теоремы о четырех цветах и доказательством теоремы Фейта-Томпсона о нечетном порядке. |
He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem. |
Город был еще больше расширен с завершением строительства Лос-Анджелесского акведука в 1913 году, который доставляет воду из Восточной Калифорнии. |
The city was further expanded with the completion of the Los Angeles Aqueduct in 1913, which delivers water from Eastern California. |
Майкл Х. Харт формализовал основные моменты аргументации в статье 1975 года. |
Michael H. Hart formalized the basic points of the argument in a 1975 paper. |
Курс был расширен до 18 лунок в 1961 году и использовался в качестве отборочного турнира к Открытому чемпионату. |
The course was expanded to 18 holes in 1961 and has been used as a qualifier for The Open Championship. |
В 1997-98 годах Faxe был расширен новым подвальным зданием с резервуарами, которые могут вместить до 600 000 литров, и новой линией банок, которая может выпускать 90 000 банок в час. |
In 1997-98, Faxe was expanded with a new basement building with tanks, which can hold up to 600,000 litres and a new can line, which can tap 90,000 cans per hour. |
Оба они были вдохновлены целью формализации анализа функций и работой Жозефа-Луи Лагранжа. |
Both were inspired by the goal of formalizing the analysis of functions and the work of Joseph-Louis Lagrange. |
В RWB заявили, что список не является исчерпывающим и будет расширен в ближайшие месяцы. |
RWB said that the list is not exhaustive and will be expanded in the coming months. |
Явка избирателей была зафиксирована на уровне 95,6%, и это подтверждение послужило толчком к формализации новой системы-президентской. |
The voter turnout was recorded at 95.6% and such confirmation was used as impetus to formalise the new system – a presidential system. |
Он включает в себя оригинальный георгианский дом и имеет красивый египетский фасад гробницы до электрической улицы; он был расширен вперед Эрнестом Дж.Томасом в 1931 году. |
It incorporates the original Georgian house and has a beautiful Egyptian tomb facade to Electric Lane; it was extended forward by Ernest J Thomas in 1931. |
Точная формализация заключается в следующем. |
The precise formalization is as follows. |
Кэмпбелл расширен по мнению С. С. |
Campbell expanded upon the opinion of C. C. |
Берр ответил вызовом Гамильтона на дуэль, личный бой по формализованным правилам дуэли, кодекс дуэли. |
Burr responded by challenging Hamilton to a duel, personal combat under the formalized rules for dueling, the code duello. |
Отмена Манориальных прав Уизингтона в 1840-х годах означала, что местное самоуправление начало формализовываться. |
The abolition of Withington's manorial rights in the 1840s meant that local government began to be formalised. |
Шестое звено индийско-Австралийского Союза было бы логическим следствием, формализованным как новый четырехугольник стратегического оплота. |
A sixth link of the India-Australia would be the logical corollary, formalized as a new quadrilateral of strategic bulwark. |
В 1975 году сериал был также первым на канале Си-би-эс, который был расширен до 60 минут. |
The series was also CBS' first to expand to a 60-minute running time in 1975. |
Сервис также был расширен до United Airlines, American Airlines, Scandinavian Airlines, Virgin America и Qantas. |
The service has also been expanded to United Airlines, American Airlines, Scandinavian Airlines, Virgin America and Qantas. |
Стремление к формализации может привести к гораздо большей сложности, которая нежелательна и которая отвлекает от обсуждения соответствующего вопроса. |
The quest for formalization might introduce much more complexity, which is not wanted, and which detracts from communicating the relevant issue. |
Отчасти это произошло потому, что сторонники неформальной логики стали хранителями аргументации и риторики, настаивая на том, что формализм является анафемой для аргументации. |
This was in part because proponents of informal logic became the keepers of argument and rhetoric while insisting that formalism was anathema to argument. |
Древние знали физику и технику без метода или формализованного признания тех, кто практиковал этот метод. |
Ancients knew physics and technology without the method or a formalized recognition of those practicing the method. |
Начиная примерно с 1238 года, замок был расширен на восток, север и Северо-Запад. |
Beginning around 1238, the castle was expanded to the east, north, and north-west. |
Он был расширен поэтапно с 1952 года, достигнув своей нынешней длины в 1981 году, чтобы привлечь дальнемагистральные международные перевозки. |
It was extended in stages from 1952, reaching its current length in 1981 to attract long-haul international traffic. |
Один патрубок на одном из плоских концов ствола расширен тремя трубами, по одной из которых ведет в каждую из различных перегородок. |
A single spigot on one of the flat ends of the barrel is extended with three pipes, one leading into each of the different partitions. |
Зрачок может быть расширен и вяло реагировать. |
Pupil may be dilated and sluggishly reactive. |
Он был расширен в 16-м и 17-м веках до четырехкрылого здания. |
It was enlarged in the 16th and 17th centuries to a four-winged building. |
Дворец был построен в конце 17-го века и значительно расширен в течение 18-го века. |
The palace was built at the end of the 17th century and was greatly expanded during the 18th century. |
В 1990-х годах целевой рынок для Hello Kitty был расширен, чтобы включить подростков и взрослых в качестве ретро-бренда. |
In the 1990s, the target market for Hello Kitty was broadened to include teens and adults as a retro brand. |
На 11-м съезде был расширен состав ЦК, который стал отвечать за надзор за партийной дисциплиной. |
At the 11th Congress, the brief of the CCs was expanded; it became responsible for overseeing party discipline. |
15 августа 2015 года список имеющих право на получение гражданства был расширен за счет 36 новых стран. |
The list of eligible nationalities was extended with 36 new countries on 15 August 2015. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «расширенная формализация».
А именно, здесь можно найти перевод (значение) «расширенная формализация» на английском языке, синонимы, антонимы, краткое определение слов: расширенная, формализация . Также, к фразе «расширенная формализация» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
