Эхуд Шапиро
Эхуд Шапиро | |
|---|---|
 | |
| Рожденный | 1955 Иерусалим, Израиль |
| Альма-матер | Йельский университет |
| Научная карьера | |
| Учреждения | Научный институт Вейцмана |
| Тезис | Алгоритмическая отладка программ (1982) |
| Докторантура | Англуин Фонд [1] |
| Докторанты | Авив Регев |
Эхуд Шапиро ( иврит : אהוד שפירא ; род. 1955) — израильский учёный, предприниматель, художник и политический активист, профессор компьютерных наук и биологии в Институте науки Вейцмана . [2] Имея международную репутацию, он внес фундаментальный вклад во многие научные дисциплины. [3] заложить в каждом из них долгосрочную программу исследований, задав новый базовый вопрос и предложив первый шаг к ответу на него, включая способы компьютеризации процесса научных открытий, предоставив алгоритмическую интерпретацию Карла Поппера ; методологии предположений и опровержений [4] [5] [6] как автоматизировать отладку программ , используя алгоритмы локализации неисправностей; [7] [8] как объединить параллельное, распределенное и системное программирование с помощью языка программирования высокого уровня, основанного на логике; [9] [10] как использовать метавселенную как основу для социальных сетей; [11] как разработать молекулярные компьютеры, которые смогут функционировать как умные программируемые лекарства; [12] [13] [14] как раскрыть древо происхождения клеток человека с помощью геномики отдельных клеток; [15] [16] [17] как поддержать цифровую демократию, разработав альтернативную архитектуру цифровой сфере на низовом уровне. [18] [19] [20] [21] [22]
Шапиро также был пионером Интернета, предпринимателем, [11] а также пионер и сторонник глобальной цифровой демократии . [18] [22]
Шапиро — основатель рок-группы Ba. [23] и основатель израильской политической партии «Демократический». [24] Он является победителем двух передовых грантов ERC ( Европейского исследовательского совета ). [25] [26]
Молодость образование и
Родившийся в Иерусалиме в 1955 году Шапиро познакомился с философией науки Карла Поппера в рамках школьного проекта, которым руководил Моше Крой с факультета философии Тель-Авивского университета. [ нужна цитата ] В 1979 году Шапиро закончил бакалавриат в Тель-Авивском университете . по математике и философии [ нужна цитата ] В докторской работе Шапиро с Даной Англуин в области компьютерных наук в Йельском университете была предпринята попытка предоставить алгоритмическую интерпретацию философского подхода Поппера к научным открытиям , в результате чего были созданы компьютерная система для вывода логических теорий из фактов; [5] и методология отладки программ , [7] разработан с использованием языка программирования Пролог . Его дипломная работа « Алгоритмическая отладка программ ». [7] был опубликован MIT Press как выдающаяся диссертация ACM 1982 года, за которым в 1986 году последовал учебник «Искусство Пролога», написанный в соавторстве с Леоном Стерлингом. [27]
Карьера [ править ]
Перейдя на факультет компьютерных наук и прикладной математики Института наук Вейцмана в 1982 году в качестве постдокторанта, Шапиро был вдохновлен японским проектом «Компьютерные системы пятого поколения» по созданию языка программирования высокого уровня для параллельных и распределенных компьютерных систем. , названный Параллельным Прологом . [9] Двухтомная книга о Concurrent Prolog и связанных с ней работах была опубликована MIT Press в 1987 году. [9]
В 1993 году Шапиро взял отпуск со своей постоянной должности в Weizmann, чтобы основать Ubique Ltd. (и стать ее генеральным директором), израильского пионера программного обеспечения для Интернета. Опираясь на Concurrent Prolog, Ubique разработала «Virtual Places», двухмерную метавселенную и программное обеспечение для социальных сетей, которое включало обмен мгновенными сообщениями, чаты, совместный просмотр, онлайн-мероприятия и игры, а также передачу голоса по IP. Ubique была продана America Online в 1995 году, а после выкупа менеджментом в 1997 году снова продана IBM в 1998 году. [28]
Шапиро попытался построить компьютер из биологических молекул, руководствуясь идеей « Доктора в клетке »: биомолекулярного компьютера, который работает внутри живого тела и запрограммирован медицинскими знаниями для диагностики заболеваний и производства необходимых лекарств. Будучи новичком в биологии, Шапиро реализовал свою первую конструкцию молекулярного компьютера в виде механического устройства, подобного LEGO, построенного с использованием 3D- стереолитографии , которое было запатентовано по его возвращению в Вейцман в 1998 году. В 1999–2016 годах лаборатория Шапиро проектировала и реализовывала различные молекулярные вычислительные устройства. [12] [13] [29] [30] [31] [32] [33]
В 2011 году Шапиро разработал эффективный метод синтеза безошибочных молекул ДНК из подверженных ошибкам строительных блоков. [34] и основал консорциум CADMAD (компьютерное проектирование и производство библиотек ДНК): [35]
В 2005 году Шапиро представил видение следующей грандиозной задачи в биологии человека: раскрыть человека происхождения клеток древо . [15] История того, как человеческое тело вырастает из одной клетки ( оплодотворенной яйцеклетки ) до 100 триллионов клеток, отражена в дереве клеточных линий. В своем выступлении на TEDx в Тель-Авиве «Раскрытие древа происхождения клеток человека – следующая грандиозная научная задача» [36] Шапиро описал систему и результаты, полученные с ее помощью, а также предложение по флагманскому проекту FET «Флагманская инициатива по линии человеческих клеток». [37] за раскрытие древа линий человеческих клеток в здоровье и болезни. Международный проект «Атлас клеток человека», инициированный бывшим доктором философии Шапиро. Студент Авив Регев стремится решить первоначальный вопрос описания всех типов клеток в организме человека.
Исследования [ править ]
Поппер предположил, что все научные теории по своей природе являются предположениями и по своей сути ошибочны, и что опровержение старой теории является важнейшим процессом научного открытия. [38] В докторантуре Шапиро с Англуином была предпринята попытка обеспечить алгоритмическую интерпретацию подхода Поппера к научным открытиям - в частности, для автоматизации метода «Предположения и опровержения» - выдвижения смелых гипотез и последующего проведения экспериментов, направленных на их опровержение. Шапиро обобщил это в «Алгоритм поиска противоречий» - алгоритм для поиска противоречий. [5] Этот алгоритм применим всякий раз, когда возникает противоречие между некоторой предполагаемой теорией и фактами. Проверяя конечное число основных атомов на истинность модели, алгоритм может проследить источник этого противоречия, а именно ложную гипотезу, и продемонстрировать ее ложность, предоставив ей контрпример.
Шапиро заложил теоретическую основу для индуктивного логического программирования и создал его первую реализацию (Систему вывода моделей): программу на Прологе , которая индуктивно выводила логические программы на основе положительных и отрицательных примеров. Индуктивное логическое программирование в настоящее время расцвело как область искусственного интеллекта и машинного обучения , которая использует логическое программирование в качестве единообразного представления примеров, базовых знаний и гипотез. Недавние работы в этой области, сочетающие логическое программирование, обучение и теорию вероятностей, дали начало новой области статистического реляционного обучения .
Алгоритмическая отладка программ [ править ]
Алгоритмическая отладка была впервые разработана Шапиро во время его докторской диссертации в Йельском университете, как описано в его докторской диссертации: [39] выбран в качестве выдающейся диссертации ACM 1982 года. Шапиро реализовал метод алгоритмической отладки на Прологе. [40] (язык логического программирования общего назначения) для отладки логических программ .
В случае логических программ предполагаемое поведение программы представляет собой модель (набор простых истинных утверждений), а ошибки проявляются как неполнота программы (неспособность доказать истинное утверждение) или некорректность (способность доказать ложное утверждение). Алгоритм выявит ложное утверждение в программе и предоставит ему контрпример или недостающее истинное утверждение, которое следует добавить в программу. метод обработки незавершенного завершения Также был разработан . С тех пор подход алгоритмической отладки был расширен и применен ко многим языкам программирования. [41] [42]
Компьютерные системы пятого поколения » Проект «
Проект компьютерных систем пятого поколения (FGCS) был инициативой Министерства международной торговли и промышленности Японии, начатой в 1982 году, с целью создания компьютера, использующего массово- параллельные вычисления /обработку. Это должно было стать результатом масштабного исследовательского проекта правительства и промышленности в Японии в 1980-х годах. Целью проекта было создание «эпохального компьютера» с производительностью, сравнимой с суперкомпьютером, и предоставление платформы для будущих разработок в области искусственного интеллекта.
В 1982 году во время посещения ICOT, [43] Шапиро изобрел Concurrent Prolog , новый язык параллельного программирования, который объединил логическое программирование и параллельное программирование. Concurrent Prolog — это язык логического программирования, предназначенный для одновременного программирования и параллельного выполнения. Это процессно-ориентированный язык , который воплощает в себе синхронизацию потоков данных защищенных команд и неопределенность в качестве основных механизмов управления.
Шапиро описал этот язык в отчете, помеченном как Технический отчет ICOT 003: [44] Concurrent Prolog, который представил интерпретатор написанный на Prolog. Работа Шапиро над Concurrent Prolog вдохновила на изменение направления FGCS с сосредоточения внимания на параллельной реализации Prolog на параллельное логическое программирование как программную основу для проекта. Это также послужило вдохновением для создания языка параллельного логического программирования Guarded Horn Clauses (GHC). [45] от Ueda, который лег в основу KL1, языка программирования, который был окончательно разработан и реализован в рамках проекта FGCS в качестве основного языка программирования.
ООО "Везде" [ редактировать ]
В 1993 году Шапиро взял отпуск в Институте Вейцмана, чтобы основать и возглавить компанию Ubique Ltd., пионера израильского интернет-программного обеспечения. Ubique была компанией-разработчиком программного обеспечения , которая разработала новаторское программное обеспечение для 2D- метавселенной и социальных сетей, включающее обмен мгновенными сообщениями , чаты , совместный просмотр, онлайн-мероприятия и игры, а также передачу голоса по IP . Первый продукт компании, Virtual Places 1.0, был разработан на основе рабочих станций на базе Unix и был анонсирован в тот же день, когда Netscape Communications анонсировала свои браузерные и серверные продукты. Virtual Places 2.0 была основана на Windows 95 и ПК. Эти идеи и технологии, объединенные в один продукт, были новыми и революционными и, возможно, опередили свое время. Ubique была продана компании America Online в 1995 году, выкуплена ее руководством в 1997 году и снова продана IBM в 1998 году, где технология Ubique легла в основу успешного продукта IBM для обмена мгновенными сообщениями SameTime .
Молекулярные языки программирования [ править ]
В статье, опубликованной в 2002 году в журнале Nature «Клеточные абстракции: клетки как вычисления». [46] Шапиро со степенью доктора философии. Студент Авив Регев поднял вопрос: почему изучение биомолекулярных систем не может совершить аналогичный вычислительный скачок? В исследованиях последовательностей и структур приняты хорошие абстракции: «ДНК как строка» и «белок как трехмерный помеченный граф» соответственно. Они считали, что информатика может обеспечить столь необходимую абстракцию для биомолекулярных систем. Вместе Регев и Шапиро использовали передовые концепции информатики для исследования абстракции «молекула как вычисление», в которой система взаимодействующих молекулярных объектов описывается и моделируется системой взаимодействующих вычислительных объектов. Он разработал абстрактные компьютерные языки для спецификации и изучения систем взаимодействующих вычислений, чтобы представить биомолекулярные системы, включая регуляторные, метаболические и сигнальные пути, а также многоклеточные процессы, такие как иммунные реакции. [47] [48]
Новаторская работа (в которой первоначально использовалось π-исчисление , исчисление процессов ) позже была передана IBM Cambridge в Великобритании ( Лука Карделли ), которая разработала SPiM (Машина стохастического расчета Пи). За последнее десятилетие эта область процветала благодаря огромному разнообразию приложений. Совсем недавно эта область даже превратилась в синтез двух разных областей — молекулярных вычислений и молекулярного программирования. [49] Комбинация этих двух показывает, как различные математические формализмы (такие как сети химических реакций ) могут служить «языками программирования», а различные молекулярные архитектуры (например, архитектура молекул ДНК) могут в принципе реализовать любое поведение, которое может быть математически выражено с помощью формализма, использовал. [50]
Доктор в камере [ править ]
Объединив информатику и молекулярную биологию, исследователи смогли работать над программируемым биологическим компьютером, который в будущем сможет перемещаться внутри человеческого тела, диагностировать заболевания и назначать лечение. Это то, что Шапиро назвал «Доктором в камере». Его группа разработала компьютер молекулярного масштаба, полностью состоящий из биологических молекул, реализовавший математическую модель программируемого компьютера, называемую конечными автоматами . [48] который использовал входную молекулу ДНК в качестве топлива. [48] Молекулярный компьютер также был внесен в Книгу рекордов Гиннеса в 2003 году как самое маленькое молекулярное вычислительное устройство. [51] Затем молекулярный компьютер был дополнен механизмом ввода и вывода, чтобы его можно было запрограммировать – в пробирке – для выявления молекулярных изменений в организме, которые указывают на наличие определенных видов рака, и высвобождать молекулу лекарства в ответ в случае, если это произойдет. . Затем компьютер смог диагностировать конкретный тип рака и отреагировать, производя молекулу лекарства, которая вмешивалась в деятельность раковых клеток, вызывая их самоуничтожение. [48] За эту работу был включен в список «Scientific American 50» 2004 г. [52] в качестве руководителя исследований в области нанотехнологий.
В 2009 году Шапиро и доктор философии. Студент Том Ран представил прототип автономной программируемой молекулярной системы, основанной на манипулировании нитями ДНК , которая способна выполнять простые логические выводы . [53] Этот прототип является первым простым языком программирования , реализованным на молекулярном уровне. При внедрении в организм эта система обладает огромным потенциалом для точного нацеливания на определенные типы клеток и проведения соответствующего лечения, поскольку она может одновременно выполнять миллионы вычислений и «думать» логически.
Команда Шапиро стремилась заставить эти компьютеры выполнять очень сложные действия и отвечать на сложные вопросы, следуя логической модели, впервые предложенной Аристотелем более 2000 лет назад. Команда также нашла способ сделать эти микроскопические вычислительные устройства « удобными » для пользователя, создав компилятор — программу, соединяющую язык компьютерного программирования высокого уровня и вычислительный код ДНК. Они стремились разработать гибридную систему in silico / in vitro , которая поддерживает создание и выполнение программ молекулярной логики аналогично электронным компьютерам, позволяя любому, кто умеет управлять электронным компьютером, не имея абсолютно никакого опыта в молекулярной биологии , работать на биомолекулярном компьютере.
В 2012 году Шапиро, Тому Рану и студентам удалось создать генетическое устройство, которое работает независимо в бактериальных клетках . [54] Устройство запрограммировано на идентификацию определенных параметров и реагирование на них. Устройство ищет факторы транскрипции — белки , которые контролируют экспрессию генов в клетке. Нарушение работы этих молекул может нарушить экспрессию генов . В ходе последующих исследований Бененсон и его команда создали молекулярный компьютер, который лечит определенный тип рака у мышей. [55] с целью производства лекарства от рака на основе этого метода. [56]
Редактирование ДНК [ править ]
Шапиро разработал эффективный метод синтеза безошибочных молекул ДНК из подверженных ошибкам строительных блоков. [57] Программирование ДНК — это ДНК-аналог компьютерного программирования. Базовый цикл компьютерного программирования заключается в изменении существующей программы, тестировании измененной программы и повторении до тех пор, пока не будет получено желаемое поведение. Аналогичным образом, цикл программирования ДНК заключается в модификации молекулы ДНК, проверке ее результирующего поведения и повторении до тех пор, пока цель (то есть либо понимание поведения, либо его улучшение) не будет достигнута. [58]
Шапиро основал консорциум CADMAD, целью которого было совершить революцию в обработке ДНК, аналогичную революции в редактировании текста, произошедшей с появлением электронных текстовых редакторов. Эта цель в конечном итоге была достигнута другими и с помощью другой технологии — редактирования генов CRISPR . [35]
человека Дерево происхождения клеток
В 2005 году Шапиро и студенты представили видение следующей грандиозной задачи в биологии человека: раскрыть происхождения клеток Древо человека . клеточного происхождения Внутри каждого человека находится древо .
Задача раскрытия Древа происхождения клеток человека напоминает, как по своей природе, так и по масштабам, задачу, с которой столкнулся проект «Геном человека» в самом начале его существования, и, по сути, его результаты будут решающим образом способствовать функциональному переводу и окончательному пониманию последовательность генома . Для успеха проекта по происхождению клеток человека необходим технологический скачок, аналогичный тому, который произошел во время проекта «Геном человека», а биологическое и биомедицинское воздействие такого успеха может быть такого же масштаба, если не больше, чем проект «Геном человека». В своем выступлении на TEDx в Тель-Авиве «Раскрытие древа происхождения клеток человека – следующая грандиозная научная задача» [36] Шапиро описал систему и результаты, полученные с ее помощью, а также предложение по флагманскому проекту FET «Флагманская инициатива по линии человеческих клеток». [37] за раскрытие древа линий человеческих клеток в здоровье и болезни. Цель проекта «Атлас клеток человека», запущенного в 2016 году бывшим доктором философии Шапиро. Студент Авив Регев и его коллеги, заключается в определении типов клеток в организме человека. Это необходимый предшественник для идентификации дерева происхождения клеток человека.
в демократии Равенство цифровой
Интернет произвел революцию почти во всех сферах человеческой деятельности, но не в демократии. Озадаченный этой необычностью, Шапиро приступил к изучению того, как может произойти интернет-революция демократии. Опираясь на основополагающий документ современной демократии, французскую Декларацию прав человека и гражданина 1789 года , Шапиро выделил из нее ценности, которые должна поддерживать любая цифровая демократия: [18] равенство – прежде всего.
Впоследствии Шапиро и его команда в Weizmann рассмотрели многие аспекты равенства в цифровой демократии: Равенство в голосовании через устойчивый к Сибилле социальный выбор [ссылка], целью которого является поддержка демократического голосования, несмотря на проникновение сивилл (фальшивых и дублирующих личностей). [59] в цифровое сообщество; равенство в предложении; [60] равенство в обсуждениях и формировании коалиций; [61] [62] равенство в формировании конституции; [63] и равенство в разделении сообщества. [64]
цифровая демократия Массовая
Равенство в управлении цифровым сообществом имеет смысл только применительно к платформе, на которой работает сообщество. В цифровой сфере сегодня доминируют два типа платформ: автократические серверные/облачные (например, Facebook ) и плутократические PoW/основанные на ставках (например, Биткойн / Эфириум ), и им не хватает демократической альтернативы. Чтобы исправить это, Шапиро представляет третью альтернативную архитектуру цифровой сферы, названную «массовая цифровая демократия». [20] Неформально, распределенная система является низовой, если она может иметь автономные, независимо развернутые экземпляры (географически и с течением времени), которые могут взаимодействовать после соединения. Примером может служить бессерверная социальная сеть на базе смартфона, поддерживающая несколько независимо развивающихся сообществ, которые объединяются, когда член одного сообщества становится также членом другого. [65]
Массовые приложения могут позволить людям вести свою социальную, экономическую, гражданскую и политическую жизнь в цифровой сфере исключительно с использованием сетевых вычислительных устройств, которыми они владеют и которыми они управляют (например, смартфонов), без стороннего контроля, наблюдения, манипуляций, принуждения, или извлечение стоимости (например, с помощью глобальных цифровых платформ, таких как Facebook или Биткойн).
Шапиро инициировал в 2012 году и возглавил проект «открытой партии» (позже «открытого сообщества») в рамках Семинара общественных знаний, целью которого было создание основы для работы электронной партии, поддерживающей прямую демократию через Интернет [ссылка на источник]. Он еще больше расширил свои концепции электронной демократии в своей лекции на ВЭФ в 2016 году и в статье Financial Times Opinion. В 2020 году основал политическую партию «Демократит – свобода, равенство и братство». [24]
Внешние ссылки [ править ]
Ссылки [ править ]
- ^ Эхуд Шапиро в проекте «Математическая генеалогия»
- ^ http://www.wisdom.weizmann.ac.il/~udi/ Эхуд Шапиро из Института Вейцмана.
- ^ https://www.youtube.com/watch?v=GgS9myPsGUw От биомолекулярных вычислений к интернет-демократии | Эхуд Шапиро на Всемирном экономическом форуме в Давосе.
- ^ Поппер, Карл Р. (Карл Раймунд), 1902–1994. Гипотезы и опровержения: рост научных знаний. Нью-Йорк: Харпер и Роу, 1968–1965.
- ^ Перейти обратно: а б с Шапиро, Эхуд Ю. Индуктивный вывод теорий из фактов. Нью-Хейвен, Коннектикут, США: Йельский университет, факультет компьютерных наук, 1981.
- ^ Магглетон, Стивен и Де Рэдт, Люк, Индуктивное логическое программирование: теория и методы. Журнал логического программирования, 19, 629-679. Эльзевир, 1994.
- ^ Перейти обратно: а б с Шапиро, Эхуд Ю. (1983). Алгоритмическая отладка программы . Кембридж, Массачусетс: MIT Press. ISBN 0-262-19218-7 .
- ^ Кабальеро, Рафаэль и Риеско, Адриан и Сильва, Хосеп, Обзор алгоритмической отладки. Обзоры вычислительной техники ACM (CSUR), 50, 4, 1–35. ACM Нью-Йорк, Нью-Йорк, США, 2017 г.
- ^ Перейти обратно: а б с Шапиро, Э. (1987). «Параллельный пролог: сборник статей» . МТИ Пресс.
- ^ Шапиро, Эхуд, Семейство языков программирования параллельной логики. Обзоры вычислений ACM (CSUR), 21, 3, 413–510. ACM Нью-Йорк, Нью-Йорк, США, 1989 г.
- ^ Перейти обратно: а б Настоящий успех в виртуальных местах, WIS Wonder Wander, 1 октября 1996 г.
- ^ Перейти обратно: а б Эхуд Шапиро. Механическая машина Тьюринга: проект биомолекулярного компьютера. Интерфейс в центре внимания, 2 (4): 497–503, 2012.
- ^ Перейти обратно: а б Биньямин Гил, Майя Кахан-Ханум, Наталья Скиртенко, Ривка Адар и Эхуд Шапиро. Обнаружение множественных индикаторов заболеваний с помощью автономного биомолекулярного компьютера. Нано-письма, 11 (7): 2989–2996, 2011.
- ^ Кондон, Энн, Автоматы несут в себе антисмысл. Природа, 429, 6990, 351–352. Издательская группа Nature Publishing Group, Великобритания, Лондон, 2004 г.
- ^ Перейти обратно: а б Фрумкин Д., Вассерстром А., Каплан С., Файги У. и Шапиро Э. (2005). Геномная изменчивость внутри организма обнажает древо его клеточного происхождения. PLoS вычислительная биология, 1 (5), e50.
- ^ 4D-атлас человека: диаграммы человеческого развития и старения в состоянии здоровья и болезней
- ^ Каллауэй, Юэн и другие, Самое сложное генеалогическое древо в биологии. Природа, 547, 7661, 20-2022. Природа, 2017.
- ^ Перейти обратно: а б с «Шапиро, Эхуд. Точка: основы электронной демократии» . Сообщения ACM 61.8 (2018): 31-34 . arXiv : 1710.02873 . дои : 10.1145/3213766 . S2CID 215731619 .
- ^ Эхуд Шапиро, Нимрод Талмон, Основы массовой демократической метавселенной. arXiv:2203.04090
- ^ Перейти обратно: а б Эхуд Шапиро, Массовые распределенные системы для цифрового суверенитета: концепция, примеры, реализация и приложения. arXiv:2301.04391
- ^ Шулер, Дуглас, Контрапункт: электронная демократия не спасет демократию. демократия спасет демократию. Сообщения АКМ, 61, 8, 34-36. ACM Нью-Йорк, штат Нью-Йорк, США, 2018 г.
- ^ Перейти обратно: а б Эхуд Шапиро, Массовая архитектура для замены глобальных цифровых платформ глобальной цифровой демократией. arXiv:2404.13468
- ^ http://www.ba-rock.co.il/ Официальный сайт Ba Rock.
- ^ Перейти обратно: а б «Официальный сайт «Демократита» » .
- ^ Доктор в камере | ERC
- ^ «Заложение биологических, вычислительных и архитектурных основ для открытия линии клеток человека» .
- ^ Шапиро, Эхуд Ю.; Стерлинг, Леон (1994). Искусство Пролога: передовые методы программирования . Кембридж, Массачусетс: MIT Press. ISBN 0-262-69163-9 .
- ^ НОВОСТИ КОМПАНИИ; IBM КУПИТ 2 КОМПАНИИ ПО КОММУНИКАЦИОННОМУ ПРОГРАММНОМУ ОБЕСПЕЧЕНИЮ
- ^ Ривка Адар, Яаков Бененсон, Грегори Линшиз, Амит Рознер, Нафтали Тишби и Эхуд Шапиро. Стохастические вычисления с помощью биомолекулярных автоматов. Труды Национальной академии наук, 101 (27): 9960–9965, 2004.
- ^ Бенни Гил, Майя Кахан-Ханум, Наталья Скиртенко, Ривка Адар и Эхуд Шапиро. «доктор в камере» — видение и свершения. InALIFE, стр. 165, 2010.
- ^ Яаков Бененсон, Тамар Пас-Элизур, Ривка Адар, Эхуд Кейнан, Цви Ливне и Эхуд Шапиро. Программируемая и автономная вычислительная машина из биомолекул. Природа, 414(6862):430–434, 2001.
- ^ Яаков Бененсон, Биньямин Гил, Ури Бен-Дор, Ривка Адар и Эхуд Шапиро. Автономный молекулярный компьютер для логического контроля экспрессии генов. Nature, 429(6990):423–429, 2004.
- ^ Том Ран, Шай Каплан и Эхуд Шапиро. Молекулярная реализация простых логических программ. Природа нанотехнологий, 4(10):642, 2009.
- ^ Йехезкель Т.Б., Линшиз Г., Каплан С., Гронау И., Равид С., Адар Р., Шапиро Э. Рекурсивное построение и исправление ошибок молекул ДНК и библиотек из синтетической и природной ДНК. Методы Энзимол. 2011;498:207-45. дои: 10.1016/B978-0-12-385120-8.00010-3. ПМИД 21601680.
- ^ Перейти обратно: а б «Прокладывая путь к будущим новым технологиям на основе ДНК: компьютерное проектирование и производство библиотек ДНК» .
- ^ Перейти обратно: а б «Эхуд Шапиро: раскрытие древа происхождения человеческих клеток» . tedxtelaviv.com . Архивировано из оригинала 7 апреля 2014 г.
- ^ Перейти обратно: а б «Флагманская инициатива по линии человеческих клеток» . lineage-flagship.eu .
- ^ Поппер, Карл (2004). Догадки и опровержения: рост научных знаний (перепечатано под ред.). Лондон: Рутледж. ISBN 0-415-28594-1 .
- ^ Шапиро, Эхуд Ю. (1983). Алгоритмическая отладка программы . Кембридж, Массачусетс: MIT Press. ISBN 0-262-19218-7
- ^ Clocksin, Уильям Ф., Кристофер С. Меллиш и WF Clocksin. Программирование на ПРОЛОГ . Том. 4. Берлин и др.: Шпрингер, 1987.
- ^ Рафаэль Найт, Адриан Риско и Хосеп Сильва. 2017. Обзор алгоритмической отладки. АКМ Компьютер. Выж. 50, 4, статья 60 (июль 2018 г.), 35 стр. https://doi.org/10.1145/3
- ^ https://www.wiley.com/en-us/Handbook+of+Software+Fault+Localization%3A+Foundations+and+Advances-p-978111929180 Справочник по локализации ошибок программного обеспечения: основы и достижения. В. Эрик Вонг (редактор), TH Tse (редактор), май 2023 г.
- ^ Эхуд Ю. Шапиро. 1983. Проект пятого поколения — отчет о поездке. Коммун. ACM 26, 9 (сентябрь 1983 г.), 637–641. https://doi.org/10.1145/358172.358179
- ^ Шапиро Э. Подмножество Concurrent Prolog и его интерпретатор, Технический отчет ICOT TR-003, Институт компьютерных технологий нового поколения, Токио, 1983. Также в Concurrent Prolog: Сборник статей, Э. Шапиро (ред.), MIT Press, 1987, Глава 2.
- ^ Фурукава, Коичи и Кадзунори Уэда. «GHC — язык новой эпохи параллельного программирования». Основы программных технологий и теоретической информатики: Восьмая конференция, Пуна, Индия, 21–23 декабря 1988 г. Материалы 8. Springer Berlin Heidelberg, 1988.
- ^ Регев, Авив и Эхуд Шапиро. «Клеточные абстракции: клетки как вычисления». Nature 419.6905 (2002): 343-343.
- ^ Чобану, Габриэль (2004). «Программная верификация биомолекулярных систем» . Моделирование в молекулярной биологии . Серия естественных вычислений. стр. 39–57. дои : 10.1007/978-3-642-18734-6_3 . ISBN 978-3-642-62269-4 .
- ^ Перейти обратно: а б с д Страница Google Scholar Шапиро
- ^ «Главная страница — MPPWiki» . Архивировано из оригинала 8 января 2014 г. Проверено 4 мая 2014 г.
- ^ Чен, Юань-Юэ, Нил Далчау, Ниранджан Сринивас, Эндрю Филлипс, Лука Карделли, Дэвид Соловейчик и Георг Силиг. «Программируемые химические контроллеры, сделанные из ДНК». Природные нанотехнологии 8, вып. 10 (2013): 755-762.
- ^ Достижения Шапиро в Книге рекордов Гиннеса.
- ^ «Премия Scientific American 50 2004 года: лидеры исследований» . Научный американец . 11 ноября 2004 г. Проверено 26 марта 2007 г.
- ^ Том Ран, Шай Каплан и Эхуд Шапиро, (2009), Молекулярная реализация простых логических программ , Nature Nanotechnology, август 2009 г.
- ^ Том Ран, Йонатан Дуек, Лилах Майло, Эхуд Шапиро. Программируемое устройство на основе NOR для анализа профиля транскрипции . Научные отчеты, 2012.
- ^ Бартоломео Анжеличи и др., Генная терапия AAV рассчитывает на основе нескольких клеточных входов, чтобы обеспечить точное нацеливание на мультифокальную гепатоцеллюлярную карциному у мышей. наук. Перевод Мед.13, eabh4456(2021). DOI: 10.1126/scitranslmed.abh4456
- ^ Домашняя страница Pattern Biosciences
- ^ Линшиз, Г., Йехезкель, ТБ, Каплан, С., Гронау, И., Равид, С., Адар, Р. и Шапиро, Э. (2008). Рекурсивное конструирование совершенных молекул ДНК из несовершенных олигонуклеотидов. Молекулярная системная биология, 4 (1).
- ^ Шаби У., Каплан С., Линшиз Г. и др. Обработка молекул ДНК как текста. Сист Синт Биол 4, 227–236 (2010).
- ^ Галь Шахаф, Эхуд Шапиро, Нимрод Талмон. Подлинные личные идентификаторы и взаимные поручительства для формирования устойчивого к Сивилле сообщества. arXiv:1904.09630
- ^ Лоран Бюльто, Галь Шахаф, Эхуд Шапиро, Нимрод Тальмон. Агрегация по метрическим пространствам: предложение и голосование на выборах, составление бюджета и законодательство. arXiv:1806.06277
- ^ Ури Пупко, Галь Шахаф, Эхуд Шапиро, Нимрод Тальмон. Создание устойчивого к Сибилле цифрового сообщества с использованием связности графа доверия. arXiv:1901.00752
- ^ Эдит Элкинд, Давиде Гросси, Эхуд Шапиро, Нимрод Талмон. Объединены ради перемен: формирование совещательной коалиции для изменения статус-кво. arXiv:2001.08031
- ^ Бен Абрамовиц, Эхуд Шапиро, Нимрод Талмон. Вначале было n агентов: создание и изменение конституции. arXiv:2011.03111
- ^ Бен Абрамовиц, Эдит Элкинд, Давиде Гросси, Эхуд Шапиро, Нимрод Талмон. Демократическое разветвление: выбор сторон с помощью социального выбора. arXiv:2103.03652
- ^ Эхуд Шапиро, dGrassroots Social Networking: Бессерверные протоколы без разрешений для Twitter/LinkedIn/WhatsApp. arXiv:2306.13941
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
