| Unless otherwise specified: "JPL HORIZONS solar system data and ephemeris computation service". | Используется устаревший параметр |coauthors= (справка) JPL HORIZONS solar system data and ephemeris computation service (неопр.). |
| The journal Argument & Computation is dedicated to exploring the intersection between argumentation and computer science. | Журнал Argument & Computation посвящён изучению взаимосвязи аргументации и информатики. |
| Together with Alex Shvartsman, they co-authored the monograph Fault-Tolerant Parallel Computation. | В соавторстве с Алексом Шварцманом писал монографию «Fault-Tolerant Parallel Computation». |
| In 1994, his paper Molecular Computation of Solutions To Combinatorial Problems described the experimental use of DNA as a computational system. | В 1994 году в работе «Молекулярное вычисление решений к комбинаторным задачам» (Molecular Computation of Solutions To Combinatorial Problems) он описывает экспериментальное применение ДНК как вычислительной системы. |
| Leiserson's dissertation, Area-Efficient VLSI Computation, won the first ACM Doctoral Dissertation Award. | Диссертация Лейзерсона, «Зонально эффективные вычисления с помощью СБИС» (Area-Efficient VLSI Computation), выиграла первую награду на конкурсе Ассоциации вычислительной техники по докторским диссертациям. |
| His 1992 technical book on advanced nanotechnologies Nanosystems: Molecular Machinery, Manufacturing, and Computation describes manufacturing systems that are desktop-scale factories with specialized machines in fixed locations and conveyor belts to move parts from place to place. | В его книге 1992 года «Nanosystems: Molecular Machinery, Manufacturing, and Computation» описываются уже только производственные системы макроскопических размеров с фиксированными специализированными автоматами, доставка компонентов между которыми осуществляется конвейерами. |
| In 1985 he started the Journal of Symbolic Computation, which has now become the premier publication in the field of computer algebra. | В 1985 году он основал журнал символьных вычислений (англ. Symbolic Computation), который сейчас стал ведущим изданием в области компьютерной алгебры. |
| CARDIAC (CARDboard Illustrative Aid to Computation) is a learning aid developed by David Hagelbarger and Saul Fingerman for Bell Telephone Laboratories in 1968 to teach high school students how computers work. | CARDIAC (англ. CARDboard Illustrative Aid to Computation - «Картонное Наглядное Пособие по Вычислениям») - учебная модель компьютера, сделанная из бумаги, разработанная Дэвидом Хагельбаргером и Солом Фингерманом в 1968 для Bell Telephone Laboratories в целях обучения студентов принципам работы компьютера. |
| Hopper remained at the Harvard Computation Lab until 1949, turning down a full professorship at Vassar in favor of working as a research fellow under a Navy contract at Harvard. | Хоппер оставалась в Гарвардской лаборатории вычислений (Harvard Computation Lab) до 1949 г., отказавшись от должности профессора (Full Professorship) в Вассаре в пользу исследовательской работы в Гарварде по контракту с флотом. |
| The Research Institute for Symbolic Computation (RISC Linz) is a leading research institute in the area of symbolic computation, including automated theorem proving and computer algebra. | Институт исследований символьных вычислений (англ. Research Institute for Symbolic Computation (RISC Linz)) - один из ведущих исследовательских институтов в области символьных вычислений, включая автоматическое доказательство теорем и компьютерную алгебру. |
| Ways to come closer to reproducible scientific computation are discussed under the catchword "open research computation". | Проблема воспроизводимости научных данных решается в рамках инициативы «компьютеризованные открытые источники» (en:Open research computation). |