Какво е " FORMALIZATION " на Български - превод на Български

• формализация
• формализиране
• формализирането
• оформянето
• официализиране
• сформиране
• формализацията

Примери за използване на Formalization на Английски и техните преводи на Български

A low level of formalization.
Ниска степен на формализация.

Formalization of reservation and registration.
Формализиране на резервацията и регистрацията.

In Italy, there is no formalization.
В Италия няма формализация.

Formalization of labor relationships with employees.
Оформяне на трудовите взаимоотношения с работниците.

Creation and development of concepts and formalization of results.
Създаване и развитие на концепции и формализация на резултатите.

A step-by-step formalization using the Coq proof assistant.
Формализация стъпка по стъпка чрез асистент за доказателства„Coq".

Their most significant features are standardization and formalization.
Техните най-важните функции са стандартизация и формализация.

Drafting of documentation for the formalization and execution of the transaction.
Изготвяне на документация за оформяне и изпълнението на сделката.

Formalization- displaying meaningful knowledge in sign-symbolic form.
Формализиране- показва значително знанията на знак- символна форма(формален език).

WSDL 1.1, published in March 2001, is the formalization of WSDL 1.0.
WSDL 1.1, публикуван през март 2001 г., е формализирането на WSDL 1.

Since then, the formalization and training are essential in case of avalanches.
Оттогава формализацията и обучението са от съществено значение в случай на лавини.

Structure is composed of three components: complexity, formalization and centralization.
Структурата се характеризира с три основни параметъра: сложност, формализация и централизация.

Why do we call for the formalization of this document in Russia? First, it's cheaper.
Защо призоваваме за формализирането на този документ в Русия? Първо, това е по-евтино.

All objects of analysis must meet the requirements of formalization and static significance.
Всички обекти на анализ трябва да отговарят на изискванията за формализиране и статично значение.

There is still no formalization of ayurveda by state bodies, except for some regional attempts, for example in Piedmont.
Все още няма формализиране на аюрведа от държавните органи, с изключение на някои регионални опити, например в Пиемонт.

Structure is made up of three component parts viz., complexity, formalization and centralization.
Структурата се характеризира с три основни параметъра: сложност, формализация и централизация.

Compliance with labor law- formalization, vacation, sick leave and other social guarantees.
Спазване на трудовото законодателство- формализация, ваканция, отпуск по болест и други социални гаранции.

Not all documents are amenable to content analysis through problems with content formalization.
Не всички документи са податливи на анализ на съдържанието чрез проблеми със формализирането на съдържанието.

Existing political borders are often a formalization of such historical, natural obstacles.
Съществуващите политически граници често са формализация на тези исторически, естествени граници.

But the formalization of religious groups many times destroys the very values for the promotion of which the group was organized.
Но формализацията на религиозните групи нерядко разрушава същите тези ценности, заради съдействието на които се създава.

With that truth in mind, we have mutually chose to put off the formalization of our marriage and put our faith in the process.
Имайки предвид тази универсална истина, решихме да отложим оформянето на удостоверението за брак и да заложим на вярата си в процеса.

Before any formalization and automation there must be a man, his desires and thoughts, his own motives and your dialogue with him.
Преди каквато и да било формализация и автоматизация трябва да е човека, неговите желания и мисли, неговите собствени мотиви и вашия диалог с него.

Very often young people do not pay enough attention to the formalization of work, but eventually realize how important this document.
Много често младите хора не обръщат достатъчно внимание на формализирането на работа, но в крайна сметка осъзнават колко е важно този документ.

A formalization using the Isabelle proof assistant, where the theorems(and some additional lemmata) have been automated with Sledgehammer and Metis.”[…].
Формализация чрез асистент за доказателства„Isabelle", където теоремите(и някои допълнителни леми) са били автоматизирани със„Sledgehammer and Metis.".

The basis for this distinction is the degree of the existing links formalization, interactions and relationships in them.
Критерият за това разграничение, както следва от тези видове организации е степента на формализация на съществуващата в техните отношения, взаимодействия и взаимоотношения.

It also represented the formalization of the unipolar Western Balkans' penetration into the heart of the Central Balkans.
Това представляваше също и официализиране на проникването на еднополюсните Западни Балкани в сърцето на Централните Балкани.

The price for delivery is determined separately from the price for the products in the platform upon the formalization of the order as per the tariffs of Econt courier service company.
Цената за доставка се определя отделно от цената на продуктите в платформата при оформянето на поръчката, съгласно тарифите на куриерска фирма Еконт.

Any formalization of the Saudi-Russia cooperation would be in the interest of lifting oil prices from their current roughly $60-a-barrel levels.
Всяко официализиране на сътрудничеството между Саудитска Арабия и Русия ще бъде в интерес на повишаването на цените на петрола от сегашните им нива от близо 60 долара за барел.

Mi can completely automate any manual processes that do not lend themselves to formalization, from IT support and the creation of accounting documents to financial audits.
Mi може да автоматизира напълно всякакви ръчни процеси, които се поддават на формализация- от ИТ-поддъжка и създаване на счетоводни документи до финансов одит.

Lisp's formalization of quotation has been noted by Douglas Hofstadter(in Gödel, Escher, Bach) and others as an example of the philosophical idea of self-reference.
Формализация на котиране Lisp е е било отбелязано от Дъглас Hofstadter(в Гьодел, Ешер, Бах) и други като пример на философската идея за самостоятелно справка.