Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians. |
Доктор Варди является редактором нескольких международных журналов и президентом International Federation of Computational Logicians. |
PLOS Computational Biology is an open access journal. |
PLOS Computational Biology - это журнал по вычислительной биологии, находящийся в открытом доступе. |
EKA is a supercomputer built by the Computational Research Laboratories (a subsidiary of Tata Sons) with technical assistance and hardware provided by Hewlett-Packard. |
ЕКА - суперкомпьютер, созданный в Computational Research Laboratories (дочернее подразделение Tata Consultancy Services) с технической помощью и на базе аппаратного обеспечения Hewlett-Packard. |
He is currently working as one of the leading scientists in Helmholtz Zentrum München (Institute of Computational Biology). |
В настоящее время является одним из ведущих ученых Гельмгольц-центра и работает в Институте вычислительной биологии (нем. Institute of Computational Biology). |
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). |
This idea is also known as a CPU cost function, client puzzle, computational puzzle or CPU pricing function. |
Подобные схемы также известны как client puzzle (функция клиентской головоломки), computational puzzle (вычислительная головоломка), или CPU pricing function. |
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). |
The proceedings of this definitional meeting were published in 1990 as the book Computational Neuroscience. |
Труды этой значимой конференции были опубликованы в 1990 году в виде книги «Вычислительная нейробиология» («Computational Neuroscience»). |
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, или просто теория обучения), это подобласть теории искусственного интеллекта, посвящённая разработке и анализу алгоритмов обучения машин. |
The computational analysis of machine learning algorithms and their performance is a branch of theoretical computer science known as computational learning theory. |
Математический анализ машинных алгоритмов изучения - это раздел теоретической информатики, известный как вычислительная теория обучения (англ. Computational learning theory). |