A FORMAL DEFINITION на Русском - Русский перевод

• формальное определение
• официальное определение
• формального определения

Примеры использования A formal definition на Английском языке и их переводы на Русский язык

As yet, Beninese law does not give a formal definition of torture.
В законодательстве Бенина пока не закреплено формальное определение пыток.

A formal definition may not be necessary, but it should be understood what these terms mean.
Возможно, в официальном определении нет необходимости, но нужно понимать значение этих терминов.

A number of indigenous representatives referred to the question of a formal definition of indigenous peoples.
Ряд представителей коренных народов коснулись вопроса об официальном определении коренных народов.

FAO has not adopted a formal definition of free, prior and informed consent.
У ФАО нет формального определения принципа добровольного предварительного и осознанного согласия.

When discovered in 1930, it was considered to be the ninth planet; this changed in 2006 with the adoption of a formal definition of planet.
После обнаружения в 1930 году считался девятой планетой; положение изменилось в 2006 году с принятием формального определения планеты.

A formal definition may not be necessary, but it should be understood what these terms mean.
Официального определения возможно и не требуется, но должно быть понятно, что эти термины означают.

Theodore G. Ostrom had suggested the name conicoid for these conic-like figures but did not provide a formal definition and the term does not seem to be widely used.
Остром Т. Г. предложил название конкоид для этих подобных коническим сечениям фигур, но не привел формального определения и термин, как видно, не получил широкого распространения.

Before giving a formal definition of universal properties, we offer some motivation for studying such constructions.
Прежде чем давать формальное определение, предложим некоторую мотивировку для изучения подобных конструкций.

According to the mandate, indigenous people were those who identified themselves and were recognized by others as such, whether or not a formal definition existed.
Согласно мандату, коренными жителями считаются те, кто идентифицирует себя в таком качестве и кто признается в этом качестве другими, независимо от того, имеется ли официальное определение.

A formal definition of computation and computability, and proof that there are computationally unsolvable and intractable problems.
Дано формальное определение вычислений и вычислимости, и доказательство того, что существуют алгоритмически неразрешимые задачи.

Many indigenous representatives from other regions than Asia, in particular those coming from Australia, strongly opposed the idea of a formal definition of indigenous peoples.
Многие представители коренных народов из других регионов мира, в частности из Австралии, высказали резкое несогласие с предложением о разработке официального определения коренных народов.

In this paper we provide a formal definition for inter-procedural buffer overflow errors and discuss different kinds of such errors.
В работе предложено формальное определение межпроцедурного дефекта и рассмотрены некоторые типы межпроцедурных ошибок доступа к буферу.

In its reply to question 1 of the list of issues, the State party maintained that the case law of the Constitutional Court made up for the lack of a formal definition of torture in domestic law.
В своем ответе на вопрос 1 из списка вопросов государство- участник утверждает, что прецедентное право Конституционного суда компенсирует отсутствие формального определения пытки в национальном законодательстве.

Moreover, the lack of a formal definition of TNCs makes it more difficult to identify the entity involved because they do not legally exist.
Кроме того, отсутствие официального определения ТНК затрудняет выявление соответствующей компании, поскольку, строго говоря, с правовой точки зрения она не существует.

Alexander polynomial Bracket polynomial HOMFLY polynomial Jones polynomial Kauffman polynomial Graph polynomial, a similar class of polynomial invariants in graph theory Skein relation for a formal definition of the Alexander polynomial.
Многочлен Александера Скобка Кауффмана Многочлен HOMFLY Полином Джонса Многочлен Кауфмана Скейн- соотношение для формального определения многочлена Александера.

We propose a formal definition for buffer overflow errors that are caused by executing a particular sequence of program control-flow edges.
В работе приведено формальное определение ошибки доступа к буферу, возникающей при прохождении некоторой последовательности ребер графа потока управления программы.

In recent decades, formal definitions have become more common in national legislation concerning rights and issues of indigenous peoples, whereas in other cases such legislation exists without a formal definition.
В последние десятилетия официальные определения стали все чаще встречаться в национальном законодательстве стран, регулирующем права и вопросы коренных народов, в то время как в других случаях такое законодательство существует без каких-либо формальных определений.

While a formal definition of torture did not yet exist in Beninese legislation, that gap was bridged by the abundant case law of the Constitutional Court.
Хотя в законодательстве Бенина пока отсутствует формальное определение пытки, этот недостаток компенсируется богатой практикой Конституционного суда в области прецедентного права.

Some indigenous representatives from Asia stated that, in view of the new working group of the Commission, a formal definition was urgently needed to prevent Governments from denying the existence of indigenous peoples in their countries.
Некоторые представители коренного населения стран Азии заявили, что, учитывая перспективу создания новой рабочей группы Комиссии, необходимо срочно сформулировать официальное определение и воспрепятствовать попыткам правительств отрицать существование коренных народов в своих странах.

A formal definition is as follows: Given a point set P⊂ ℝd, find a point set S⊂ ℝd,|S| k, so that maxp∈ P(minq∈ S(d(p, q))) is minimized.
Формальное определение следующее: Если задано множество точек P⊂ ℝd, нужно найти множество точек S⊂ ℝd,| S| k, такое, что значение maxp∈ P( minq∈ S( d( p, q))) будет минимальным.

In metaphysics, Chaitin claims that algorithmic information theory is the key to solving problems in the field of biology(obtaining a formal definition of'life', its origin and evolution) and neuroscience the problem of consciousness and the study of the mind.
В метафизике Хайтин утверждает, что алгоритмическая теория информации- ключ к разрешению проблем в таких областях, как биология( получение формального определения жизни, ее происхождение и эволюция) и нейробиология проблема сознания и изучение процессов мышления.

In the absence of a formal definition, these clarifications by the Constitutional Court are of enormous help in arriving at a more precise notion of what constitutes an"act of torture.
В отсутствие официального определения пытки различные уточнения, внесенные Конституционным судом, существенно способствуют более четкой квалификации акта пытки.

Further clarification was sought on the time frame for debate and adoption of a draft law on trafficking in children and domestic violence that had been submitted to the National People's Assembly in a package, as well as on whether a formal definition of domestic violence had been established.
Запрашивается дополнительная информация о сроках обсуждения и принятия проекта закона о торговле детьми и бытовом насилии, который был представлен Национальной народной ассамблее в виде одного пакета, а также о том, утверждено ли официальное определение бытового насилия.

The lack of a formal definition of an integrated mission had resulted in a lack of understanding of the functions and structures of such missions and of the collective responsibilities of key actors.
Отсутствие официального определения комплексной миссии обусловило недопонимание функций и структуры таких миссий и коллективной ответственности их главных участников.

It should be also mentioned that some indigenous representatives from Asia stated that, in view of the establishment of the new working group of the Commission on Human Rights, a formal definition was urgently needed to prevent Governments from denying the existence of indigenous peoples in their countries.
Следует также отметить, что некоторые представители коренных народов Азии заявили, что ввиду учреждения новых рабочих групп Комиссии по правам человека безотлагательно необходимо разработать официальное определение, чтобы у правительств не было повода отрицать существование коренных народов в своих странах 17/.

The review will no doubt give rise to a formal definition of the concept of enforced disappearance in domestic law and the establishment of a special regime pertaining to it.
В процессе подготовки таких новых редакций во внутреннее законодательство безусловно будет включено официальное определение самого понятия насильственного исчезновения, и также будет установлен соответствующий ему режим.

A formal definition of the term"victim" was not considered necessary but for purposes of the present draft principles the term includes natural and legal persons, including States as custodians of public property.
Формальное определение термина" жертва" не было сочтено необходимым, но для целей настоящих проектов принципов этот термин включает физических и юридических лиц, в том числе государства, как хранителей государственной собственности.

It is not only a good mechanism for such purposes, but is also an effective means to enforce accountabilities by providing for a formal definition of:(a) services needed by each mission from the Department of Field Support; and(b) benchmarks to measure the performance of the Department in providing support to missions.
Это не только хороший механизм для таких целей, но и эффективное средство обеспечения подотчетности благодаря тому, что мы получаем официальное определение следующего: а услуги, которые каждая миссия должна получить от Департамента полевой поддержки; b контрольные показатели, позволяющие определить, насколько эффективно Департамент оказывает помощь миссиям.

The absence of a formal definition of torture pursuant to article 1 of the Convention does not have much bearing on convictions and punishment, where appropriate, in respect of acts treated as torture in the Beninese legal system.
Отсутствие официального определения пытки, которое соответствовало бы статье 1 Конвенции, не оказывает серьезного влияния на вынесение, в надлежащих случаях, обвинительных приговоров и наказаний за совершение деяний, которые в судебной системе Бенина приравниваются к пыткам.

A service-level agreement is not only a good mechanism for such purposes, but is also an effective means to enforce accountabilities by providing for a formal definition of(a) services needed by each mission from the Department of Field Support and(b) benchmarks to measure the performance of the Department in providing support to missions, which have not yet been defined and agreed on.
Соглашение об уровне услуг является не только хорошим механизмом для таких целей, но и эффективным средством обеспечения ответственности посредством официального определения: a предоставляемых Департаментом полевой поддержки услуг, в которых нуждается каждая миссия, и b контрольных показателей для оценки работы Департамента по оказанию поддержки миссиям, которые еще не определены и не согласованы.