Формальные методы - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
формальных - formal
водный раствор формальдегида - aqueous formaldehyde solution
дать формальное - give formal
формальное предложение - formal bid
формальная и неформальная экономика - formal and informal economy
формальное участие в торгах - formal tendering
резорцино-формальдегидные - resorcinol-formaldehyde
формальные транспозиции - formal transposition
формальный судебный процесс - formal legal process
обращаясь формально - addressing formally
более эффективные методы - more effective methods
действующие методы - acting techniques
интегрированные методы борьбы с вредителями - integrated pest control management
методы обслуживания - service techniques
старые методы - old practices
методы участия - participation techniques
поразительные методы - striking techniques
профилактические методы - preventative methods
методы документов - document methods
методы консервации - preservation techniques
Синонимы к методы: способ, метод, процедура, методичность, образ действий, принцип, обращение, пользование, управление, манипулирование
Другой подход использует формальные методы для получения доказательств того, что код соответствует требованиям. |
Another approach uses formal methods to generate proofs that the code meets requirements. |
Методы включают в себя формальные меры тестирования, интервью, просмотр прошлых записей, клиническое наблюдение и физическое обследование. |
Methods include formal testing measures, interviews, reviewing past records, clinical observation, and physical examination. |
Методы, основанные на автоматах, широко использовались в областях, где существуют алгоритмы, основанные на теории автоматов, такие как анализ формальных языков. |
Automata-based techniques were used widely in the domains where there are algorithms based on automata theory, such as formal language analyses. |
В рамках формального подхода к управлению качеством принимаемых решений были разработаны специальные методы, помогающие руководителям справляться с усталостью от принятия решений. |
In the formal approach to decision quality management, specific techniques have been devised to help managers cope with decision fatigue. |
Он использует методы проверки формальной эквивалентности и логического синтеза для получения списка ЭКО-сетей на уровне ворот на основе измененного RTL. |
It uses formal equivalence checking and logic synthesis techniques to produce a gate-level ECO netlist based on the changed RTL. |
Некоторые методы формальной верификации исключают эти формы поведения Из анализа, если они не эквивалентны поведению не-Зенона. |
Some formal verification techniques exclude these behaviours from analysis, if they are not equivalent to non-Zeno behaviour. |
Летающий цирк популяризировал инновационные формальные методы, такие как холодный открытый, в котором эпизод начинался без традиционных вступительных названий или объявлений. |
Flying Circus popularised innovative formal techniques, such as the cold open, in which an episode began without the traditional opening titles or announcements. |
Общие методы визуализации включают КТ грудной клетки, формальную эхокардиографию, ангиографию, эзофагоскопию, эзофагографию и бронхоскопию в зависимости от признаков и симптомов. |
Common imaging modalities include chest CT, formal echocardiography, angiography, esophagoscopy, esophagography, and bronchoscopy depending on the signs and symptoms. |
Формальные методы могут включать официальные суды, местные органы власти, полицию и вооруженные силы. |
Formal methods may involve official courts, local government officials, police, and the military. |
Необязательно использовать формальные методы. Важно просто понаблюдать за тем, как люди взаимодействуют с вашим приложением. |
It doesn't have to be formal to be useful, but make sure to watch people run through the experience. |
Аналитики разработали различные методы формального определения программных систем. |
Analysts have developed various methods to formally specify software systems. |
Однако это не формально определенный математический символ. |
However, it is not a formally defined mathematical symbol. |
Представление диссертации является последним формальным требованием для большинства студентов после защиты. |
A submission of the thesis is the last formal requirement for most students after the defense. |
Вместе с этой профессией формально развивался интерес к трудовым отношениям, мотивации рабочей силы, эффективности производства. |
With this profession a formal interest developed in labor relations, motivation of a work force, and efficiency in production. |
Мы настоятельно призываем правительства в течение пяти лет реализовать этот подход как в формальном, так и в неформальном образовании. |
We urge Governments to implement this approach in both formal and informal education within five years. |
Использование высоких технологий в статистике сельского хозяйства и землепользования включает в себя спутниковую технологию и такие методы, применяемые в рамочных статистических обследованиях земельных угодий, как ГПС. |
High tech applications in agricultural and land use statistics include satellite technology and the approaches used in Area Frame statistical work such as GPS. |
Президент исправляется, стал более формальным. |
The President's getting better, he's more formal. |
В связи с этим простого увеличения занятости в формальном секторе становится недостаточно. Необходимо также улучшать положение молодёжи, занятой на низкооплачиваемых рабочих местах в неформальном секторе. |
Given this, simply expanding formal-sector employment is not enough, unless it also improves the situation of young people in low-income informal-sector jobs. |
А что насчет Клары...формально, миссис спасение от финансового краха? |
What about Clara... formally, Mrs. Bailout? |
Мне просто пришло на ум, что я формально так и не поздравил вас с помолвкой. |
It just occurred to me that I never formally congratulated you on your pending nuptials. |
Я решительно против всех этих формальностей, которые доставили мне столько беспокойства. |
I dare say I am resolving against the very things that have given me the most trouble just now.' |
Without any inquiry, without any formality? |
|
Дорогой Джарндис, - отозвался мистер Скимпол, - я готов на все, чтобы доставить вам удовольствие, но это кажется мне пустой формальностью... предрассудком. |
My dear Jarndyce, returned Mr. Skimpole, I will do anything to give you pleasure, but it seems an idle form-a superstition. |
Мы не давали разрешения на какие-либо инвазивные методы или проведение исследований Анока. |
We jusdiscovered... we have not authorized any invasive or investigative procedures on anok. |
All the formalities have been gone through; the inquiry is already made. |
|
Ты действительно хочешь соблюдения формальностей? |
You really want the formal treatment? |
Люди разработали новые инструменты, а также методы приготовления пищи, что является важным шагом в развитии цивилизации. |
The people developed new tools as well as techniques to cook food, an important step in civilization. |
Estimation methods broadly follow evaluation designs. |
|
Усилия по изменению сексуальной ориентации - это методы, направленные на изменение сексуальной ориентации, используемые для того, чтобы попытаться обратить гомосексуалистов и бисексуалов в гетеросексуальность. |
Sexual orientation change efforts are methods that aim to change sexual orientation, used to try to convert homosexual and bisexual people to heterosexuality. |
Другие методы подачи воды под давлением включают в себя МОКа-кастрюлю и вакуумную кофеварку. |
Other pressurized water methods include the moka pot and vacuum coffee maker. |
Поскольку некоторые области психологии опираются на методы исследования, такие как опросы и анкетирование, критики утверждали, что психология не является объективной наукой. |
Because some areas of psychology rely on research methods such as surveys and questionnaires, critics asserted that psychology is not an objective science. |
Интернализованное угнетение - это концепция социальной справедливости, в которой угнетенная группа начинает использовать против себя методы угнетателя. |
Internalized oppression is a concept in social justice, in which an oppressed group comes to use against itself the methods of the oppressor. |
Какой формальный статус имеют подпольные церкви? |
What formal status do the underground churches have? |
Геодезические методы являются косвенным методом для определения баланса массы ледника. |
Geodetic methods are an indirect method for the determination of mass balance of glacier. |
Некоторые из его выводов были правильными, некоторые ошибочными; современные микробиологические и микроскопические методы облегчили бы воспроизведение его исследований. |
Some of his conclusions were correct, some erroneous; modern microbiological and microscopic methods would make his studies easier to reproduce. |
Другие авторы использовали более быстрые методы и рассчитывали дополнительную точную статистику распределения. |
Other authors used faster methods and calculated additional precise distribution statistics. |
25-я поправка к Конституции Соединенных Штатов еще не была предложена, и вице-президент не имел формальных полномочий действовать. |
The 25th Amendment to the United States Constitution had not yet been proposed, and the Vice President had no formal power to act. |
Они также обычно требуют от пациента попробовать альтернативные методы лечения, такие как физиотерапия в течение года или более. |
They also commonly require the patient to try alternative treatments like physical therapy for a year or more. |
Некоторые другие методы представляют интерес, поскольку они могут стерилизовать космический аппарат после прибытия на планету. |
Some other methods are of interest as they can sterilize the spacecraft after arrival on the planet. |
Методы исследования - это методы, используемые для получения научных знаний. |
Research methods are methods used to produce scholarly knowledge. |
Методы, которые важны для производства знаний, также важны и для оценки знаний. |
The methods that are relevant for producing knowledge are also relevant for evaluating knowledge. |
В то время как большинство врачей могут легко заметить брадикинезию, формальная оценка требует, чтобы пациент делал повторяющиеся движения пальцами и ногами. |
While most physicians may readily notice bradykinesia, formal assessment requires a patient to do repetitive movements with their fingers and feet. |
Проблема заключается в том, что, хотя organic использует и совершенствует традиционные методы, сама по себе она не является традиционной. |
The problem is that while organic draws on and improves traditional methods, it is not traditional in and of itself. |
С другой стороны, даже когда набор данных состоит из точных измерений, некоторые методы вводят случайность в процесс поиска, чтобы ускорить прогресс. |
On the other hand, even when the data set consists of precise measurements, some methods introduce randomness into the search-process to accelerate progress. |
Многие методы суммирования используются для присвоения числовых значений расходящимся рядам, некоторые из них более мощные, чем другие. |
Many summation methods are used to assign numerical values to divergent series, some more powerful than others. |
Таблицы Дионисия заменили более ранние методы, использовавшиеся Римом. |
Dionysius's tables replaced earlier methods used by Rome. |
С помощью насильственной экономической тактики и юридических формальностей афроамериканцы были вынуждены делиться и постепенно отстранялись от процесса голосования. |
Through violent economic tactics and legal technicalities, African-Americans were forced into sharecropping and were gradually removed from the voting process. |
Эти методы потенциально могут помочь в адаптации контролируемых моделей к различным областям. |
These techniques have the potential to help in the adaptation of supervised models to different domains. |
Хотя формально они граничили друг с другом, Монгольская и Хорезмская империи соприкасались далеко от родины каждого народа. |
Though they technically bordered each other, the Mongol and Khwarezm Empires touched far away from the homeland of each nation. |
Еще до того, как она была описана, форма стала центральной для создания музыки, поглощая или изменяя другие формальные схемы для произведений. |
Even before it had been described the form had become central to music making, absorbing or altering other formal schemas for works. |
В 1951 году она предприняла вторую поездку в Европу и отправилась в студию Поля Сезанна, чтобы возобновить интерес к формальной структуре своей работы. |
She had a second venture to Europe in 1951 and went to the studio of Paul Cézanne to renew interest in the formal structure of her work. |
Этот тип был придуман Майклом Triebold в 1997 году, но никогда не были формально описаны и в настоящее время является номен nudum. |
The type was coined by Michael Triebold in 1997, but has never been formally described and is currently a nomen nudum. |
Историки утверждают, что формальное образование было обязательным для всех, независимо от социального класса и пола. |
Historians cite that formal education was mandatory for everyone regardless of social class and gender. |
Теперь я не предлагаю формальное правило, что люди только добавляют взгляды, которые им не нравятся. |
Now i am not suggesting a formal rule that people only add views they do not like. |
Учащиеся, получившие менее восьми лет формального образования на своем родном языке, иногда называются взрослыми учащимися, изучающими грамотность ESL. |
Learners who have had less than eight years of formal education in their first language are sometimes called adult ESL literacy learners. |
Они также формально являются коалиционными силами... |
They're also technically coalition forces... |
Однако ратификация обычно была простой формальностью, хотя иногда даже эта формальность не соблюдалась. |
Although many show evidence of being by artists mainly used to decorating palaces, no early secular wall-paintings survive. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «формальные методы».
А именно, здесь можно найти перевод (значение) «формальные методы» на английском языке, синонимы, антонимы, краткое определение слов: формальные, методы . Также, к фразе «формальные методы» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.