What is the translation of " ПАРАМЕТРИЗОВАННЫХ " in English?

• parameterized
• parametrized

Examples of using Параметризованных in Russian and their translations into English

Проверка параметризованных Promela- моделей протоколов когерентности памяти.
Checking Parameterized Promela Models of Cache Coherence Protocols.

NET провайдер в паре с IBProvider- ом предоставляют полную поддержку для параметризованных запросов.
NET provider and IBProvider are given a full support for parameterized queries.

Камкин Проверка параметризованных Promela- моделей протоколов когерентности памяти Стр.
Kamkin Checking Parameterized Promela Models of Cache Coherence Protocols pp.

Сейчас принято считать эту технику одной из фундаментальных техник в области параметризованных алгоритмов.
It is now considered to be one of the fundamental techniques in the area of parameterized algorithmics.

Поддержка разработки параметризованных тестов, генерацией кода которых можно управлять с помощью специальных шаблонов.
Support for development of parameterized tests, fully customizable via T2C-style templates.

Разработка этих алгоритмов приводит к методу итеративного сжатия, более общий метод для многих других параметризованных алгоритмов.
The development of these algorithms led to the method of iterative compression, a more general tool for many other parameterized algorithms.

Консервативная семантика для параметризованных предпочтений при прочих равных на атомарных конъюнкциях трансляция.
Conservative semantics for parametrized preferences on atomic conjunctions all else being equal broadcast.

Вариации были получены путем последовательного комбинирования в постоянно меняющихся способах набора простых основных параметризованных геометрических операций.
Variations were obtained by procedurally combining in ever changing ways a set of simple basic parameterized geometric operations.

Камкин Проверка параметризованных Promela- моделей протоколов когерентности памяти Труды Института системного программирования РАН.
Kamkin Checking Parameterized Promela Models of Cache Coherence Protocols Proceedings of the Institute for System Programming.

Данное решение обеспечивает великолепное сочетание функциональных возможностей для быстрого и надежного создания полностью параметризованных геометрических моделей оснастки.
This solution offers an outstanding mix of functionalities for the fast and reliable generation of fully parameterized tooling geometry.

Построение твердотельных параметризованных геометрических моделей проводили путем свертки созданных плоских разверток по цилиндрической поверхности соответствующего диаметра.
The solid parametrized geometric models were obtained by wrapping the created planar mesh into cylindrical shape of relevant diameter.

Многомерная задача Плато в классе спектральных поверхностей( параметризованных спектрами многообразий с фиксированным краем) была в 1969 году решена А. Т. Фоменко.
Multidimensional Plateau problem in the class of spectral surfaces(parametrized by the spectra of the manifolds with a fixed boundary) was solved in 1969 by Anatoly Fomenko.

GML позволяет получить сжатое представление параметризованных трехмерных объектов, которые могут быть оценены« на лету» во время выполнения, визуализированы с адаптивным уровнем детализации, и позволяют интерактивно манипулировать всеми параметрами.
GML permits a concise representation of parameterized 3D objects which can be evaluated on-the-fly at runtime, rendered with adaptive level-of-detail, and allows for the interactive manipulation of all parameters.

Непараметрическая статистика- раздел статистики, который не базируется исключительно на параметризованных семействах вероятностных распределений примером могут служить матожидание и дисперсия.
Nonparametric statistics is the branch of statistics that is not based solely on parametrized families of probability distributions common examples of parameters are the mean and variance.

Там вы найдете десятки отлично проработанных макросов, параметризованных и хорошо документированных, которые помогают решать широкий спектр задач, от управления данными до специальных статистических приложений, таких как расчет критериев кластеризации или генерация правильных облаков данных.
It contains dozens of thoroughly developed macro applications, well parametrized and documented, covering wide range of topics, from data manipulation to special statistical questions, like clustering criterion or regular clouds.

Аналитическое, численное, графическое исследование реализовано с помощью пакета Mathematica7 и представлено в виде компьютерных анимаций, графиков, параметризованных по кинетическому моменту маховика, начальным условиям движения и углу β.
Analytical, numerical, graphic research is realized by means of package Mathematica7 and presented in the form of computer animations, plots, parametrized by the flywheel angular momentum, initial motion conditions and the angle β.

Другой пример: попарное сложение двух векторов, параметризованных по их длине: total pairAdd: Num a=> Vect n a-> Vect n a-> Vect n a pairAdd Nil Nil Nil pairAdd( x:: xs)( y:: ys) x+ y:: pairAdd xs ys Num означает, что тип a принадлежит к классу типов Num.
Another common example is pairwise addition of two vectors that are parameterized over their length: total pairAdd: Num a=> Vect n a-> Vect n a-> Vect n a pairAdd Nil Nil Nil pairAdd(x:: xs)(y:: ys) x+ y:: pairAdd xs ys Num a signifies that the type a belongs to the type class Num.

Маркова Логика интерпретатора, которая фокусируется на эффективном умозаключений MAP и онлайнового обучения с участием умозаключение MAP с использованием отсекающих плоскостей в сочетании с программированием Max- Walk- Sat, параметризованных весов, интерпретатор оболочки и ограничений мощности.
A Markov Logic Interpreter that focuses on efficient MAP inference and Online Learning featuring MAP inference using Cutting Planes combined with Max-Walk-Sat programming, parametrized weights, a shell interpreter, and cardinality constraints.

Сайт содержит описание алгоритмов и реализующие их программы составления, исследования уравнений движения, построения геометрических иллюстраций и параметризованных анимаций движений механических систем с неголономными связями на языке системы Mathematica.
The site contains a description of the algorithms and realizing their program of the construction, the study of equations of motion, the creating of geometric illustrations and parameterized animations of mechanical systems with nonholonomic constraints motions in the language of Mathematica.

В теории вероятностей и математической статистике распределение Дирихле( по имени Иоганна Петера Густава Лежен- Дирихлe) часто обозначаемое Dir( α)- это семейство непрерывных многомерных вероятностных распределений параметризованных вектором α неотрицательных вещественных чисел.
In probability and statistics, the Dirichlet distribution(after Peter Gustav Lejeune Dirichlet), often denoted Dir⁡( α){\displaystyle\operatorname{Dir}({\boldsymbol{\alpha}})}, is a family of continuous multivariate probability distributions parameterized by a vector α{\displaystyle{\boldsymbol{\alpha}}} of positive reals.

Буренков Методика параметризованной верификации протоколов когерентности памяти Стр.
Burenkov A Technique for Parameterized Verification of Cache Coherence Protocols pp.

Параметризованный конструктор- это конструктор класса, который имеет параметры.
A parametrized constructor is a class constructor that has parameters.

Методика параметризованной верификации протоколов когерентности памяти.
A Technique for Parameterized Verification of Cache Coherence Protocols.

На втором шаге построенная параметризованная модель абстрагируется от числа процессоров.
Second, the parameterized model is abstracted from the number of processors.

Оптимизация работы с параметризованными запросами из ADODB.
Optimization of work with the parametrized queries from ADODB.

Для комфортной работы с параметризованными SQL- запросами есть все.
You have got all for comfort work with parameterized SQL-queries.

Но потом они были кодифицированы и параметризованы.
But then they got codified and parametrized.

Вызов функции из параметризованного запроса.
Calling functions from parameterized queries.

Поскольку кривая является рациональной, она может быть параметризована рациональными функциями.
Because the curve is rational, it can be parametrized by rational functions.

BuildWithParameters- указывает на то, что нужно запустить параметризованную сборку;
BuildWithParameters- indicates that a parameterized build will be launched;