Формализм матрицы когерентности - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы

Формализм матрицы когерентности - перевод на английский, синонимы, антонимы, примеры в контексте
coherency matrix formalism
Translate
формализм матрицы когерентности -

- формализм [имя существительное]

имя существительное: formalism, precisianism, beadledom



Бергман использовал ряд методов дезинфекции и стерилизации, которые Шиммельбуш документировал и формализовал.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Bergmann used a number of methods of disinfection and sterilisation, which Schimmelbusch documented and formalised.

С усложнением нашего общества и расширением торговых границ мы построили более формализованные институты, например, валютные банки, правительства и корпорации.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

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.

Такой формализм в подобных условиях лишил его дара речи.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

So much formality under such circumstances left him speechless.

Ансамблевый формализм также может быть использован для анализа общих механических систем с неопределенностью в знаниях о состоянии системы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The ensemble formalism also can be used to analyze general mechanical systems with uncertainty in knowledge about the state of a system.

Его сельские пейзажи повлияли на некоторых молодых художников того времени, заставив их отказаться от формализма и черпать вдохновение непосредственно из природы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

His rural scenes influenced some of the younger artists of the time, moving them to abandon formalism and to draw inspiration directly from nature.

Подобный формализм встречается в широком спектре социал-демократических и марксистских дискурсов, которые позиционируют политическое действие как антагонистическое рынку.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Similar formalism occurs in a wide variety of social democratic and Marxist discourses that situate political action as antagonistic to the market.

Когда мы пытаемся формализовать этику с помощью стандартной модальной логики, мы сталкиваемся с некоторыми проблемами.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

When we try and formalize ethics with standard modal logic, we run into some problems.

Некоторые примеры включают оптическую когерентную томографию, интерферометрию белого света, оптическое зондирование и волоконно-оптические гироскопы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Some examples include optical coherence tomography, white light interferometry, optical sensing and fibre optic gyroscopes.

Ученые исследовали формализм синтаксиса и психологию грамматики в рамках этой модели.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Scholars explored the formalism of syntax and psychology of grammar under this model.

Однако после формализации свободы слова в лондонском уголке спикеров в 1878 году было решено, что домен станет местом для свободы слова в Сиднее.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

However, following the formalisation of free speech in Speakers' Corner in London it was decided in 1878 that The Domain would be the place for free speech in Sydney.

Наиболее ярко это проявилось во второй половине века с постмодернизмом, но ранее модернизм и русский формализм предвосхитили эту перспективу.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

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.

Мастера танцев постепенно формализовали и трансформировали как сольные, так и социальные танцы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The dance masters slowly formalized and transformed both solo and social dances.

Ситуационное исчисление - это логический формализм, предназначенный для представления и рассуждения о динамических областях.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains.

Было по крайней мере две успешные попытки формализовать вероятность, а именно формулировка Колмогорова и формулировка Кокса.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

There have been at least two successful attempts to formalize probability, namely the Kolmogorov formulation and the Cox formulation.

Другой формализм математически эквивалентен регулярным выражениям, конечные автоматы используются в схемном проектировании и в некоторых видах решения задач.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

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.

Таким образом, Мити формализовала сотрудничество между японским правительством и частной промышленностью.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In this way, MITI formalized cooperation between the Japanese government and private industry.

Кроме того, флуктуации когерентны на угловых масштабах, которые больше, чем кажущийся космологический горизонт при рекомбинации.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Moreover, the fluctuations are coherent on angular scales that are larger than the apparent cosmological horizon at recombination.

Я могу попытаться найти больше примеров обоих обычаев, если это необходимо для принятия каких-либо формализованных решений, но это может занять некоторое время.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

I can try to find more examples of both usages if that's needed to make any imformed decisions, but it may take awhile.

Эта идея была формализована Хомским в иерархии Хомского.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

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.

Как таковая, когерентность включает в себя вывод, основанный на собственном знании.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

As such, coherence encompasses inferencing based on one's knowledge.

Он подробно показывает, как подход в синтаксических структурах восходит непосредственно к работе математического логика Эмиля поста по формализации доказательства.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

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.

В результате некоторые области знания не могут быть точно и полностью формализованы в виде математических теорий.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

As a result, some domains of knowledge cannot be formalized, accurately and completely, as mathematical theories.

По Лиссабонскому договору эта система была формализована, и Юнкер был утвержден на другой срок.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Under the Lisbon Treaty, this system was formalised and Juncker was confirmed for another term.

Когерентный аналитический проект, таким образом, включает в себя процесс обоснования того, что подразумевается под адекватными критериями недогматической истины.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The Coherentist analytic project then involves a process of justifying what is meant by adequate criteria for non-dogmatic truth.

Шаблоны проектирования-это формализованные рекомендации, которые программист может использовать для решения общих проблем при проектировании приложения или системы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Design patterns are formalized best practices that the programmer can use to solve common problems when designing an application or system.

Те когерентисты, которые задавались вопросом, почему эмпирические убеждения должны быть взвешены сильнее, чем другие, также впадали в фундаментализм.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Those coherentists who wondered why experiential beliefs should be weighted more heavily than others were also falling into foundationalism.

Если понятие имеет градации значимого значения, то необходимо уточнить и формализовать, что это за градации, если они могут иметь важное значение.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

If the concept has gradations of meaningful significance, it is necessary to specify and formalize what those gradations are, if they can make an important difference.

Хотя формализм MIME был разработан в основном для SMTP, его типы контента также важны в других протоколах связи.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Although the MIME formalism was designed mainly for SMTP, its content types are also important in other communication protocols.

Например, язык, в котором есть формализованные средства выражения.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

For example, a language where there's a formalised means of saying.

Такая абстракция или формализация делает математическое знание более общим, способным к множеству различных значений и, следовательно, полезным в различных контекстах.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

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.

Это известно как допущение замкнутого мира и формализуется в логике по умолчанию, используя значение по умолчанию, подобное следующему для каждого факта F.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This is known as the Closed World Assumption, and is formalized in default logic using a default like the following one for every fact F.

Майкл Х. Харт формализовал основные моменты аргументации в статье 1975 года.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Michael H. Hart formalized the basic points of the argument in a 1975 paper.

Оба они были вдохновлены целью формализации анализа функций и работой Жозефа-Луи Лагранжа.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Both were inspired by the goal of formalizing the analysis of functions and the work of Joseph-Louis Lagrange.

Это формализуется с помощью системы координат, которая движется вместе с контактным пятном.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This is formalised by using a coordinate system that is moving along with the contact patch.

Точная формализация заключается в следующем.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The precise formalization is as follows.

Культурный контекст часто сводится к технике и интенциям художника,и в этом случае анализ идет по линии, сходной с формализмом и интенционализмом.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The cultural context often reduces to the artist's techniques and intentions, in which case analysis proceeds along lines similar to formalism and intentionalism.

Берр ответил вызовом Гамильтона на дуэль, личный бой по формализованным правилам дуэли, кодекс дуэли.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Burr responded by challenging Hamilton to a duel, personal combat under the formalized rules for dueling, the code duello.

Когерентность заменяет цепь целостной паутиной.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Coherentism replaces the chain with a holistic web.

Рука ребенка поднимается в формализованном и традиционном восточном благословении.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The Child's hand is raised in a formalized and traditional Eastern blessing.

Шестое звено индийско-Австралийского Союза было бы логическим следствием, формализованным как новый четырехугольник стратегического оплота.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A sixth link of the India-Australia would be the logical corollary, formalized as a new quadrilateral of strategic bulwark.

Хотя эти формализованные формы грамотности подготовили туземную молодежь к существованию в изменяющемся обществе, они уничтожили все следы ее культурной грамотности.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

While these formalized forms of literacy prepared Native youth to exist in the changing society, they destroyed all traces of their cultural literacy.

Племенные культуры были формализованы в то, что мы назвали бы феодальными системами, и многие права и обязанности были приняты монархией и связанной с ней аристократией.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Tribal cultures were formalized into what we would call feudal systems, and many rights and obligations were assumed by the monarchy and related aristocracy.

Стремление к формализации может привести к гораздо большей сложности, которая нежелательна и которая отвлекает от обсуждения соответствующего вопроса.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

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.

Формализованные метательные виды спорта часто имеют строго определенные критерии для снарядов, такие как заранее определенный размер и вес.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Formalised throwing sports often have strictly defined criteria for projectiles, such as a pre-determined size and weight.

Древние знали физику и технику без метода или формализованного признания тех, кто практиковал этот метод.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Ancients knew physics and technology without the method or a formalized recognition of those practicing the method.

Если ограничиться импликационным интуитивистским фрагментом, то простой способ формализовать логику в стиле Гильберта выглядит следующим образом.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

If one restricts to the implicational intuitionistic fragment, a simple way to formalize logic in Hilbert's style is as follows.

Он перевел Шелеровский формализм и этику субстанциальных ценностей.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

He translated Scheler's Formalism and the Ethics of Substantive Values.

Большинство из этих планов имели такой лимит, но ACA формализовала ежегодный лимит расходов из кармана.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Most of these plans had such a limit but ACA formalized the annual out of pocket spend limit.

Такое разделение является частотным и фазовым когерентным к источнику в зависимости от изменений окружающей среды, включая температуру.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Such division is frequency and phase coherent to the source over environmental variations including temperature.

В то время как вышеупомянутые системы единиц основаны на произвольных единичных значениях, формализованных как стандарты, некоторые единичные значения естественным образом встречаются в науке.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

While the above systems of units are based on arbitrary unit values, formalised as standards, some unit values occur naturally in science.

Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics.

Я просто выступаю за формализацию в политике того, что уже существует как практика де - факто-и оправданная, на мой взгляд.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

I'm simply arguing for formalizing in policy what already exists as a de facto practice - and a justifiable one in my view.

Лишь очень немногие авторы пытались обосновать квантовый формализм как таковой с помощью SED.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Only a very few authors have attempted to motivate the quantum formalism as such using SED.



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «формализм матрицы когерентности». А именно, здесь можно найти перевод (значение) «формализм матрицы когерентности» на английском языке, синонимы, антонимы, краткое определение слов: формализм, матрицы, когерентности . Также, к фразе «формализм матрицы когерентности» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information