| Several design elements of Launcher are generated algorithmically. | Некоторые элементы дизайна Лончера генерируются алгоритмически. |
| This mixture was then operated upon algorithmically using biochemical techniques to winnow out the 'incorrect' strands, leaving behind only those strands that 'satisfied' the problem. | Затем эту смесь обработали алгоритмически с помощью биохимических методов, отсеивая «неправильные» нити, оставляя только те нити, которые «удовлетворяют» проблеме. |
| Alfred Tarski's method of quantifier elimination (1948) showed the existential theory of the reals (and more generally the first order theory of the reals) to be algorithmically solvable, but without an elementary bound on its complexity. | Метод Альфреда Тарского исключения кванторов (1948) показывает, что экзистенциальная теория вещественных чисел (и, более обще, теория первого порядка вещественных чисел) алгоритмически разрешимы, но без элементарных границ на сложность. |
| Algorithmically, these numbers may be assigned by performing a depth-first search and assigning each node's number in postorder. | Алгоритмически эти числа можно назначить путём осуществления поиска в глубину и назначения каждому узлу числа Стралера в обратном порядке. |
| Algorithmically, the problem of recognizing linkless and flat embeddable graphs was settled once the forbidden minor characterization was proven: an algorithm of Robertson & Seymour (1995) can be used to test in polynomial time whether a given graph contains any of the seven forbidden minors. | Алгоритмически задача распознавания вложимых без зацеплений и плоско вложимых графов была решена, когда была доказана характеризация запрещёнными минорами - алгоритм Робертсона и Сеймура может быть использован для проверки за полиномиальное время, содержит ли заданный граф любой из семи запрещённых миноров. |
| In turn, imposing restrictions on the available resources is what distinguishes computational complexity from computability theory: the latter theory asks what kind of problems can, in principle, be solved algorithmically. | Сильное ограничение доступных ресурсов отличает теорию вычислительной сложности от вычислительной теории, последняя отвечает на вопрос какие задачи, в принципе, могут быть решены алгоритмически. |
| The song's popularity has been attributed to the Elsagate phenomenon of potentially disturbing or absurd YouTube videos being algorithmically shown to children through the YouTube website and the YouTube Kids app. | Популярность песни объясняется феноменом Эльзагата, который может привести видео на YouTube к потенциальному беспорядку или абсурду, если алгоритмически показывать их детям через сайт YouTube и через приложение YouTube Kids. |
| The news of the protests was all over my algorithmically unfiltered Twitter feed, but nowhere on my Facebook. Was it my Facebook friends? | Новости о протестах заполонили мой алгоритмически нефильтрованный Twitter, но в моём Facebook их не было. Может, это из-за моих друзей в Facebook? |
| The second one was written by an algorithm that took all the language from my Facebook feed on one day and then regenerated it algorithmically, according to methods that I'll describe a little bit later on. | Очень смело, потому что первое стихотворение было написано поэтом Вильямом Блейком. Второе было написано при помощи алгоритма, который запомнил все записи из моей ленты Facebook за один день и затем восстановил их алгоритмически в соответствии с методами, которые я опишу немного позже. |
| He went on to prove that there was no solution to the Entscheidungsproblem by first showing that the halting problem for Turing machines is undecidable: in general, it is not possible to decide algorithmically whether a given Turing machine will ever halt. | Далее Тьюринг показал, что не существует решения Entscheidungsproblem, сперва доказав, что Проблема остановки для машины Тьюринга неразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга. |
| Some functions may be algorithmically linear. | Но удовлетворение некоторых условий может являться алгоритмически неразрешимым. |
| (Though it is not considered obligatory that in an application the partial transformers were algorithmically always ordered just in the sequence they stay in the model. | (Хотя при этом не считается обязательным, чтобы в прикладной системе парциальные преобразователи алгоритмически всегда воплощались строго в той же последовательности, в которой они стоят в модели. |