| His book Turtle Geometry, written with Andrea diSessa in 1981, presented a computational approach to geometry which has been cited as "the first step in a revolutionary change in the entire teaching/learning process." | Его книга Turtle Geometry, написанная совместно с Андреа диСесса (Andrea diSessa) в 1981 году, представила вычислительный подход к геометрии, который приводится в качестве «первого шага в революционном изменении всего процесса преподавания/обучения». |
| The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop). | Вычислительный процесс, включенный в конструкцию набора решателей это надстройка над DPLL-алгоритмом, который всегда конечен (в отличие от оценки запроса в Prolog, то может привести к бесконечному циклу). |
| But the exciting thing that I've found in the last few years is that you actually don't have to go very far in the computational universe before you start finding candidate universes that aren't obviously not our universe. | Но самое интересное, что я обнаружил несколько лет назад - оказывается, не нужно глубоко погружаться в вычислительный мир, чтобы начать сталкиваться с такими вселенными, про которые сразу не скажешь, что это не наша вселенная. |
| But I wanted to look not at the astronomical universe, but at the computational universe. | Но я хотел познать не астрономический, а вычислительный мир. |
| But the exciting thing that I've found in the last few years is that you actually don't have to go very far in the computational universe before you start finding candidate universes that aren't obviously not our universe. | Но самое интересное, что я обнаружил несколько лет назад - оказывается, не нужно глубоко погружаться в вычислительный мир, чтобы начать сталкиваться с такими вселенными, про которые сразу не скажешь, что это не наша вселенная. |
| Considerable analysis and computational efforts were put into the design of a cost-effective auxiliary network. | При построении затратоэффективной вспомогательной сети были предприняты значительные усилия, связанные с проведением анализа и вычислений. |
| First, a bunch of new ideas about linguistics that came from studying the computational universe; | Во-первых, масса новых лингвистических идей, пришедших из исследований мира вычислений. |
| Blinn-Phong model, resembling Phong, but allowing for certain quantities to be interpolated, reducing computational overhead. | Модель Блинн-Фонга, похожая на модель Фонга, но подсчитывающая некоторые величины путём интерполяции, тем самым снижая количество вычислений. |
| Folding@home uses novel computational methods coupled to distributed computing, to simulate problems millions of times more challenging than previously achieved. | Folding@home использует новые компьютерные методы вместе с принципом распределенных вычислений для решения проблем, которые в миллионы раз сложнее тех, которые уже преодолены. |
| In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation. | Для ответа на первый вопрос в теории вычислимости рассматриваются вычислительные задачи, решаемые на различных теоретических моделях вычислений. |
| More recently he has been a scholar on computational linguistics in Sanskrit. | Совсем недавно он был ученым по компьютерной лингвистике на санскрите. |
| Heavy atom - term used in computational chemistry to refer to any element other than hydrogen and helium. | Тяжёлый атом - термин, используемый в компьютерной химии для описания всех элементов, кроме водорода и гелия. |
| The area of research within computer science that uses genetic algorithms is sometimes confused with computational evolutionary biology, but the two areas are not necessarily related. | Область в компьютерных науках, которая использует генетические алгоритмы, часто путают с компьютерной эволюционной биологией, но две эти области не обязательно связаны. |
| Computation of visibility is among the basic problems in computational geometry and has applications in computer graphics, motion planning, and other areas. | Вычисление видимости является базовой задачей вычислительной геометрии и имеет приложения в компьютерной графике, планировании движений и других областях. |
| Mathematical chemistry has also sometimes been called computer chemistry, but should not be confused with computational chemistry. | В связи с этим математическую химию, в узком смысле, иногда называют компьютерной химией (Computer chemistry), которую не следует путать с вычислительной химией (Computational chemistry). |
| Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians. | Доктор Варди является редактором нескольких международных журналов и президентом International Federation of Computational Logicians. |
| In Japan, in 2013, the RIKEN Advanced Institute for Computational Science began planning an exascale system for 2020, intended to consume less than 30 megawatts. | В Японии институт RIKEN (Advanced Institute for Computational Science) планировал при участии Fujitsu создание системы эксафлопсного уровня к 2020-2021 годам с энергопотреблением не выше 30 МВт. |
| Mathematical chemistry has also sometimes been called computer chemistry, but should not be confused with computational chemistry. | В связи с этим математическую химию, в узком смысле, иногда называют компьютерной химией (Computer chemistry), которую не следует путать с вычислительной химией (Computational chemistry). |
| Paola Zizzi has formulated a realization of this concept in what has come to be called "computational loop quantum gravity", or CLQG. | Паола Цицци сформулировала осмысление этой идеи в том, что называется «вычислительная петлевая квантовая гравитация» (computational loop quantum gravity). |
| Computational learning theory - In computer science, computational learning theory (or just learning theory) is a subfield of artificial intelligence devoted to studying the design and analysis of machine learning algorithms. | Теория вычислительного обучения (англ. computational learning theory, или просто теория обучения), это подобласть теории искусственного интеллекта, посвящённая разработке и анализу алгоритмов обучения машин. |
| This amount has been corrected, where necessary, for computational errors. | При необходимости эта сумма корректировалась с учетом ошибок в расчетах. |
| The "amount claimed" column shows the compensation sought by the Claimants (with amendments, where applicable) expressed in United States dollars (USD) and corrected, where necessary, for computational errors. | В столбце "истребуемая сумма" показана сумма компенсации, запрошенная заявителями (с исправлениями, где это применимо), после ее пересчета в доллары Соединенных Штатов и, при необходимости, исправления допущенных ошибок в расчетах. |
| There is no provision in the UNCC provisional rules for claims procedure for a reconsideration of claims, only for the correction of computational and other technical errors under article 41. | Во Временном регламенте урегулирования претензий ККООН пересмотр претензий только для исправления ошибок в расчетах или других технических ошибок согласно статье 41 не предусматривается». |
| From the 631 claims affected by the computational error as described above, a correction is proposed in connection with the awards for 592 claims. | Из 631 претензии, на компенсации по которым сказалась вышеупомянутая ошибка в расчетах, предлагается исправить компенсацию по 592 претензиям. |
| Of the 631 claims affected by the computational error as described above, proposed corrections in connection with the awards for 592 claims were reported in the "Twenty-fifth report of the Executive Secretary pursuant to article 41 of the Provisional Rules for Claims Procedure". | В "Двадцатом пятом докладе Исполнительного секретаря в соответствии со статьей 41 Временного регламента урегулирования претензий" были рассмотрены исправления, которые предлагалось внести в суммы компенсации по 592 претензиям из числа 631 претензии, на которых сказалась вышеупомянутая ошибка в расчетах. |
| Women are also a minority in centres of research, science and computational technology. | Женщины составляют также меньшинство среди лиц, работающих в научно-исследовательских центрах и в области компьютерных технологий. |
| Extropians share an optimistic view of the future, expecting considerable advances in computational power, life extension, nanotechnology and the like. | Экстропианцы разделяют в целом оптимистичный взгляд на будущее, ожидая значительный рост компьютерных мощностей, увеличение продолжительности жизни, прогресс в нанотехнологии и др. |
| The World Climate Research Programme includes among its main scientific activities the Global Energy and Water Cycle Experiment aimed at determining the fluxes of water and energy globally, using both observations and computational models. | К числу основных научных мероприятий, проводимых в рамках Всемирной программы исследования климата, относится глобальный эксперимент в области энергетики и водооборота, целью которого является определение притоков воды и энергии в глобальных масштабах на основе использования наблюдений и компьютерных моделей. |
| Today, however, the journal and meaning of jurimetrics seems to have broadened far beyond what would fit under the areas of applications of computers and computational methods to law. | К настоящему времени и тематика журнала и содержание самой юриметрики как дисциплины расширились далеко за рамки компьютерных приложений и вычислительных методов к закону. |
| In more recent times, cryo-electron microscopy of large macromolecular assemblies and computational protein structure prediction of small protein domains are two methods approaching atomic resolution. | В настоящее время криоэлектронная микроскопия крупных белковых комплексов и предсказание пространственных структур белковых доменов с помощью компьютерных программ приближаются к атомарной точности. |
| One clear lesson learned from the ICP 2011 round is that the computational methods must not be changed in any way once results are known to countries. | Одним из главных уроков, извлеченных из цикла ПМС 2011 года, стало то, что методы расчетов ни в коем случае нельзя менять после того, как странам становятся известны результаты. |
| Computational Intelligence Methods in GIS data analysis. | Методы логических расчетов в анализе данных ГИС |
| BRLESC was designed primarily for scientific and military tasks requiring high precision and high computational speed, such as ballistics problems, army logistical problems, and weapons systems evaluations. | BRLESC был создан для проведения научных и военных расчетов, в которых требовалась высокая точность и скорость вычислений, например, расчетов по задачам баллистики, логистики, оценки систем вооружения. |
| Stresses the importance of continued flexibility with regard to the eligibility criteria for the enhanced Heavily Indebted Poor Countries Initiative, in particular for countries in post-conflict situations, and the need to keep the computational procedures and assumptions underlying debt sustainability analysis under review; | подчеркивает важное значение сохранения гибкости в применении критериев для охвата расширенной Инициативой в отношении бедных стран с крупной задолженностью, в частности стран, переживающих постконфликтный период, и необходимость держать под постоянным контролем процедуры расчетов и посылки, лежащие в основе анализа приемлемости уровня задолженности; |
| Computational aspects of estimating basic heading and aggregated PPPs (within regional and between regional) | Методические аспекты расчетов ППС по основным позициям и на агрегированных уровнях (внутри региона и между регионами) |