donmigel_62: (кот - учёный)

Sketch - новый язык программирования, способный самостоятельно оптимизировать и завершать незаконченные участки кода

Код программы


Еще во время бытности аспирантом, Армандо Солар-Лесама (Armando Solar-Lezama), ныне адъюнкт-профессор Отдела электротехники и искусственного интеллекта Массачусетского технологического института, работал над разработкой нового языка программирования под названием Sketch. Вся прелесть этого языка заключается в том, что он позволяет программистам при написании программ опускать некоторые из участков кода, и заполняет эти промежутки самостоятельно, оптимизируя при этом получившиеся конструкции.


Главной целью создания языка Sketch является облегчение участи программистов. Тем не менее, создатели этого языка преследуют еще одну более глобальную цель, заключающуюся в создании программных инструментов, выполняющих функцию автоматического синтеза программ, создания программ самими компьютерами без участия в этом деле человека.

При помощи созданного компилятора языка Sketch специалистами Лаборатории информатики и искусственного интеллекта уже были реализованы несколько проектов. Одним из таких проектов является система, предназначенная для учебных классов по информатике, способная преобразовать произвольно нарисованные диаграммы и блок-схемы алгоритмов в исполняемый машинный код. Еще одним из проектов является система, производящая код запросов к базе данных SQL на языке Java.

Исследования, проведенные специалистами различных подразделений Массачусетского технологического института, показали, что самую высокая эффективность использования языка Sketch достигается при решении сложных многосторонних задач. Более того, компилятор языка Sketch можно использовать в качестве своего рода корректировщика кода, последняя версия этого компилятора оказалась способной самостоятельно устранить ошибки, допущенные студентами в коде написанных ими программ.

Основной идеей, реализованной в виде компилятора языка Sketch, является метод поиска оптимального решения определенной задачи. Известно, что любая логическая и математическая задача может быть решена несколькими путями, количество которых, в некоторых случаях, может стремиться к бесконечности. И если оцениваемая компилятором программа весьма сложна, то количество решений ее реализации очень и очень велико, а поиск оптимального решения может занять огромное время. Создатели языка Sketch нашли способ значительно сократить область поиска решений, благодаря чему поиск оптимального решения занимает исчисляемое миллисекундами время.

Разработчики видят дальнейший путь развития языка Sketch в предоставлении возможностей программисту задать набор критериев, которым должны удовлетворять участки кода, отдельные функции и вся программа в целом, после чего компилятор Sketch сможет составить функции и участки кода, соответствующие этим критериям. Фактически это может стать более сложной задачей для самого программиста, которому в некоторых случаях придется описывать множество разноплановых критериев. Тем не менее, такой подход позволит решать при помощи языка Sketch весьма сложные задачи, при этом гораздо быстрее, чем при традиционном программировании.

Разработчики языка Sketch признают, что им предстоит еще "перевернуть горы", прежде чем язык Sketch сможет выйти на уровень практического применения. В некоторых тестах компилятору требуется много времени для синтеза машинного кода и это связано с изначально недостаточной точностью описания задачи. "Пока все это требует от программиста глобального понимания всей задачи в целом и умения использовать все тонкости процесса автоматического синтеза программ. Но по мере дальнейшего развития наш компилятор и наш язык будут становиться все более интеллектуальными, что позволит осуществить быстрый и безболезненный переход на язык Sketch с большинства популярных языков программирования".
http://www.tgdaily.com/general-sciences-features/89051-mit-builds-self-completing-programs
donmigel_62: (кот - учёный)

Закрытие лазейки «свободы воли» в теореме Белла


Исследователи из Массачусетского технологического института (MIT) написали в журнале Physical Review Letters о предлагаемом эксперименте, который может проверить теорему Белла.

По мнению ученых, эксперимент может протестировать 50-летнюю теорему для определения, основана ли наша Вселенная на законах классической физики или менее ощутимых вероятностях квантовой физики.

Физик Джон Белл написал в 1964 году, что, если Вселенная основана на классической физике, измерение одной запутанной частицы не должно влиять на измерение другой, что представляет собой известную теорию локальности. Физик создал математическую формулу для локальности, и представил сценарии, которые нарушают эту формулу, показывая предсказания квантовой механики.

Ученые тестировали теорему Белла путем измерения свойств запутанных квантовых частиц в лаборатории. Эти эксперименты показали, что эти частицы коррелируют сильнее, чем можно было бы ожидать в соответствии с законами классической физики.


Физики также определили несколько лазеек в теореме Белла, предполагая, что в то время как результаты этих экспериментов поддерживают квантовую механику, они могут отражать неизвестные "скрытые параметры", которые создают иллюзию квантовой механики, но на самом деле объясняются лучше в терминах классической физики.

Две основных лазейки были закрыты, но третья осталась, которую физики называют "регулирующейся независимостью" или "свобода воли". Эта лазейка предлагает, что настройки детектора частиц могут "подговорить" события в общем прошлом детекторов, это подразумевает, что физик, работающий над экспериментом, не имеет полной свободы воли при выборе настроек каждого из детекторов.

Команда MIT предлагает эксперимент, чтобы закрыть эту третью лазейку путем определения параметров детектора частиц, используя удаленные квазары, которые сформировались миллиарды лет назад. По существу, если два квазара на противоположных сторонах неба находились на достаточном расстоянии друг от друга, они вышли бы из причинно-следственного контакта с момента Большого взрыва 14,6 миллиардов лет назад.

В ходе эксперимента, детектор будет измерять свойства одной частицы, а другой детектор сделает то же самое в отношении другой частицы. Сразу после этого частицы генерируются, и ученые используют телескопические наблюдения далеких квазаров для определения свойств, какие каждый детектор измерит у соответствующей частицы. Первый квазар определит параметры для обнаружения первой частицы, второй квазар сделает то же самое для второй частицы.

Физик Майкл Холл (Michael Hall), который не был частью исследования, говорит, что предложение команды – это первый подробный анализ того, как эксперимент можно провести на практике, используя современные технологии.

donmigel_62: (кот - учёный)

10 самых прорывных технологий 2013 года и основанные на них стартапы

Пересказ с www.technologyreview.com/featuredstory/513736/supergrids/MIT опубликовал список самых прорывных технологий за 2013 год.
image

«Deep-learning» — «Глубокое обучение».

Фундаментальной идеей проекта является идея о создании по-настоящему умного компьютера, который мог бы понимать человеческий язык, а выводы и решения делать самостоятельно. Создателем идеи является американский изобретатель Рэй Курцвейл, и история его стартапа начинается со встречи с генеральным директором Google Ларри Пейджем. Целью их встречи было обсуждение предстоящей книги Курцвейла под названием «Как создать разум» («How to Create a Mind»). Во время встречи Курцвейл поделился своим желанием открыть компанию, чтобы реализовать свою концепцию «умного» компьютера. Конечно, для реализации такой идеи необходимы вычислительные мощности масштаба компании Google и, выслушав идею, такой профессионал как Ларри Пейдж понимал, что ее будет сложно осуществить маленькой компании с собственным источником дохода, так он предложил Р. Курцвейлу присоединиться к Google. Долго не думая Курцвейл стал работать на Google в качестве технического директора. Одной из причин такого быстрого согласия выступили достижения компании в области так называемого «глубокого обучения». Алгоритм программы пытается имитировать деятельность нейронов в новой коре головного мозга, в которой происходит около 80-ти процентов мышления. Программное обеспечение узнает, в самом прямом смысле этого слова, как распознавать закономерности в звуках, изображениях и других данных. Таким образом, основная идея глубокого обучения в том, что программное обеспечение может имитировать большой массив нейронов неокортекса в искусственной «нейронной сети». Сегодня ученые в области теории вычислительных машин и систем, программисты могут моделировать намного больше слоев виртуальных нейронов, чем когда-либо прежде благодаря постоянному совершенствованию математических формул и увеличению мощностей компьютеров, и исследования в этой области продолжаются. Одно из их достаточно весомых достижений было отмечено в июне прошлого года, когда системе глубокого обучения «Гугла» продемонстрировали 10 млн кадров YouTube-видео, и она вдвое эффективнее других программ распознавала кошек и прочие объекты. Интересно, что технология помогла корпорации скорректировать работу приложения по распознаванию речи для мобильных телефонов.

image
Read more... )
donmigel_62: (кот - учёный)
Оригинал взят у [livejournal.com profile] paulmylnikov в Руководитель предпринимательской програмы MIT – о физике социума
В начале недели журнал Wired опубликовал отрывки из свежей книги "Физика социума". Её автор Алекс Пентланд руководитель одной из лабораторий на базе Массачусетского технологического института – рассуждает о том, что лежит в основе общества: рыночные отношения или цепочки обмена?

Модель свободного рынка уходит корнями в 18 век – к идее о том, что люди корыстолюбивы и, взаимодействуя друг с другом, ищут возможность получить выгоду в процессе обмена товарами или услугами. Неприкрытая борьба таких теоретических индивидов и есть естественное течение жизни – а если принять в расчёт все издержки (загрязнение или отходы), то развитие конкуренции может привести к появлению эффективного общества. Адам Смит в “Теории нравственных чувств” заметил:
“невидимая рука заставляет их принимать участие в таком же распределении предметов, необходимых для жизни, какое существовало бы, если бы земля была распределена поровну между всеми населяющими ее людьми. Таким образом, без всякого преднамеренного желания и вовсе того не подозревая, богатый служит общественным интересам и умножению человеческого рода”.



Большинство современных обществ выстроены на двух тезисах... )

donmigel_62: (кот - учёный)
Археология будущего: *7 институтов, которые опережают время*

© NASA

Археология будущего: 7 институтов, которые опережают время

Первая университетская программа по исследованию будущего появилась в 1975 году, с тех пор изучение грядущего превратилось в новую академическую традицию. Глобальные риски, прикладная футурология, роботы, медиа, критические теории, биодизайн и генетика — T&P выбрали 7 институтов, чьи программы действительно опережают время.

Глобальные риски и возможности

Институт изучения Будущего Человечества

Институт изучения Будущего Человечества — мультидисциплинарный исследовательский институт при Оксфорде. Своей главной целью он ставит решение «величайших вопросов человечества» средствами математики, философии и науки. Институционально-исследовательский центр принадлежит факультету философии и связан с Оксфордской Школой Мартин — и, на первый взгляд, кажется удивительно новаторским для самого знаменитого из традиционных университетов всего мира. Здесь изучают влияние технологий будущего, делая предсказание на 40 или 50 лет вперед, оценивают риски глобальных катастроф, занимаются прикладной эпистемологией и взвешивают все аспекты того обстоятельства, что с помощью технологий и медицины будущего человек станет куда более совершенным.

Ник Бостром

директор Института Будущего Человечества

Мы изучаем вещи, потенциально опасные для выживания разумных существ — есть несколько трендов, которые в будущем могут изменить базовые параметры существования человеческого вида. Также мы оцениваем этические перспективы для изучения этих трендов и решаем мифологические вопросы — например, как в принципе можно подходить к исследованию этих вещей в научном ключе.



Все мы помним старый военный постер, который придумало британское правительство во время Второй мировой войны. Мне кажется, там было написано что-то вроде «сохраняйте спокойствие и продолжайте идти». Андерс Сандберг предложил сделать постер для нашего института, на котором было бы написано «сохраняйте спокойствие и работайте над тем, чтобы снизить экзистенциальные риски». В этом есть серьезный подтекст — что касается работы с угрозой человеческому существованию, паника будет только мешать — к экзистенциальным угрозам нужно относиться серьезно и стараться понять, какие конкретные шаги мы можем предпринять, чтобы снизить эти риски.

Прикладная футурология

Университет Сингулярности

Пять лет назад Университет Сингулярности создал футуролог Рэй Курцвейл, чтобы воспитать специалистов XXI века, которые смогли бы использовать стремительно развивающиеся технологии на благо человечества. В создании университета приняли участие нобелевские лауреаты и корпорации вроде Google. Сегодня учебное заведение поддерживают более 20 компаний и инициатив. Университет Сингулярности принадлежит к исследовательскому кампусу НАСА в Кремниевой долине. Здесь изучают искусственный интеллект, передовую вычислительную технику, биотехнологии и нанотехнологии — а также обращаются к энергетике, экологии, политическому законодательству и этике — всем тем аспектам социальной жизни, которые будут связаны с интеграцией новых технологий в будни человечества. Каждый день здесь придумывают решения для глобальных проблем — например, как накормить население земли в семь миллиардов человек, во сколько обойдется синтез искусственного мяса и каких рисков это будет стоить. Стандартный курс обучения длится 10 недель и стоит 25 000$. За пять лет здесь успело отучиться более 1300 студентов, прошло огромное количество конференций — в том числе и по медицине будущего, 37 конкурсов Глобального Влияния и различные программы в 15 странах.

BGI — Beijing Genome Institute главный институт Китая в области изучения генетики. Институт больше всего напоминает футуристическую научную фабрику и имеет самый большой парк машин по расшифровке генома во всем мире. Главная задача института — по замыслу создателей расшифровать последовательность генома всего живого на нашей планете. В отделе по клонированию здесь производят свиней всех форм и размеров, и понемногу готовятся применять те же технологии и к людям. В исследовательском отделе занимаются, помимо всего прочего, природой интеллекта и пытаются придумать такое лекарство, которое помогало бы успешно сдавать экзамены. Для завершения картины можно сказать, что огромная армия рабочих фабрики — это очень молодые ученые: практически каждый ученый из 3000 человек родился после 1980-го года.

Сингапурский хаб биомедицинской инновации Биополис решил устроить совместную образовательную программу со Стэндфордом, в результате чего получилась междисциалинарная программа в области биодизайна для инженеров, ученых, бизнесменов и финансистов. Главная цель программы — создание и раннее тестирование технологий, необходимых в медицинских целях, а также подготовка инноваций в области здравоохранения для Азии. Участники программы должны вместе найти применение своим базовым научным знаниям в области биодизайна и исследовать их потенциал — например, изучить возможности нанотехнологии, молекулярной биологии и так далее.

Биодизайн — одна из главных тем Стэндфорской инициативы BioX initiative, междисциплинарной программы с участием 500 ученых из разных областей, которые ведут исследования в области химической биологии, биофизики, генетики и протеомики. Первая программа в Стэндфорде стартовала в 2001 году, а в 2010 году была запущена совместная программа с Сингапуром при поддержке сингапурского министерства экономического развития, национального агентства по науке технологии и исследованию и Национального Университета Сингапура. Шесть месяцев программы студенты проводят в Стэндфорде, а еще шесть — в Сингапуре, где учащиеся работают с ключевыми азиатскими установками и пытаются создавать, прототипировать и развивать новейшие биомедицинские технологии.

Самая интересная на свете площадка для тех, кто хочет заниматься роботами и технологиями будущего — Медиалаборатория MIT. Здесь есть отдел, который занимается персональными роботами разного масштаба — от сверхновых в привычных гаджетах и вплоть до гуманоидных. Главная задача многих этих роботов — оказывать долговременную эмоциональную и когнитивную поддержку людям. Самый очаровательный пример — специальный робот для госпитализированных детей, который играет с ними, рассказывает истории и имеет полторы тысячи сенсоров. В лаборатории существует множество отделов с различными видами роботехники и медиа-технологий, и даже отделы, которые занимаются вживлением искусственных воспоминаний в мозг, а также музыкой будущего. Здесь ученые анализируют то, как те или иные музыкальные композиции могут влиять на различные формы восприятия, здоровья, обучения.

Калифорнийский университет Санта Круз устроил исследовательский центр при поддержке НАСА в сентябре 2003 года. В соответствии с заказом НАСА, исследования здесь связаны с информационными технологиями, биотехнологиями, нанотехнологиями, компьютерной наукой, астробиологией и фундаментальной биологией. Исследовательский центр проводит долгосрочные исследования мультидисциплинарных задач НАСА. Здесь, например, проводят исследования биомедицинских технологий для покорения человеком космоса, анализы атмосфер других планет, разработку технологий для спутников и космических кораблей, технологии для поддержания работы в опасных средах, и многое другое.

В исследовательском центре базируется Институт Системного Обучения Systems Teaching Institute (STI) — здесь хотят научить ученых, инженером и преподавателей XXI века. Основная идея НАСА состоит в том, что им нужны ученые и инженеры, которые бы в процессе обучения получали опыт работы — точно так же, как его получают студенты медицинских вузов. Программы создаются в соответствии с реальными задачами НАСА, которыми занимается исследовательский центр — и это помогает студентам одновременно работать над теорией и практикой.

Философия и критическая теория

Global Center of Advanced Studies

Global Center of Advanced Studies появился как реакция на состояние высшего образования в Америке, где большая часть университетских программ превратилась в стандартный набор бизнес-курсов. Взамен этого центр предоставляет базовые знания, которыми должен обладать гражданин свободного и демократического общества — чтобы бороться с бедностью, экологическими кризисами, безработицей и политической нестабильностью. Институт предоставляет широкий обзор тем, включающий критическую философию, изучение медиа, гендерные исследования, теорию литературы, расовые, этнические и культурные исследования, политику, критическую теологию и даже изучение спорта и нейроанализ. Здесь принципиально практикуют дистанционное обучение и воркшопы в резиденциях — сейчас можно послушать курсы о теории после смерти бога , феминизме марксизме и психоанализе, а в самое ближайшее время будут читаться курсы о критической теории и политической экономии.

donmigel_62: (кот - учёный)

Наночастицы помогли физикам МИТ создать прозрачный проекционный экран


Американские физики создали крайне необычное устройство, которое представляет собой первый в мире полностью прозрачный проекционный экран из смеси стекла и особых наночастиц, пропускающих обычный свет и являющийся непроницаемым для синих лучей лазера, и опубликовали «инструкции» по его сборке в журнале Nature Communications.

В последние годы ученые активно используют наночастицы-плазмоны для создания «невозможных» с точки зрения классической оптики устройств, способных манипулировать свойствами света.



Так, в январе 2012 года физики создали микроволновый «плащ-невидимку», а в августе — научились использовать плазмоны для печати цветных изображений с рекордным разрешением и качеством.

Чиа Вэй Сюй из Массачусетского технологического института (США) и его коллеги использовали подобные наночастицы для создания футуристического проекционного экрана, экспериментируя с плазмонами, которые взаимодействуют только с лучами определенного цвета.

Изучая их свойства, ученые предположили, что подобные частицы можно вставить в прозрачный материал, такой как стекло, и при этом сохранить его проницаемость для света Солнца или ламп.

Руководствуясь этой идеей, группа Сюя изготовила небольшое количество наночастиц из серебра и покрыла ими лист из обычного стекла. Эти микроскопические кусочки металла были устроены таким образом, что они пропускали весь свет, кроме лучей синего лазера с определенной частотой волны.

Благодаря этому лист стекла оставался прозрачным в нормальных условиях, но при этом он был «зеркалом» для лучей лазера.

Затем ученые собрали особый «лазерный» проектор, который выводил изображение на экран, и успешно проверили его в действии.



«В принципе, мы можем создать цветной дисплей, используя три типа наночастиц, поглощающих лучи красного, зеленого и синего цвета. С другой стороны, можно объединить все эти свойства в одной частице, однако нам тогда придется бороться за прозрачность стекла», — заключает другой автор статьи, Марин Сольячич.



donmigel_62: (кот - учёный)
Оригинал взят у [livejournal.com profile] stslit в Американские роботы собирают шведский стиль.

IKEA - современная и доступная мебель скандинавского дизайна. Конечно, мы снова и снова себе твердим, что мы на много умнее, чем упаковка деревяшек и крепежа, которые моглибы выступать в качестве заменителя валюты на другой планете. Но это не так! Мы не умнее разобранного ЛАКК, стола фирмы Икеа, поэтому нам нужны роботы.


Американские роботы собирают шведский стиль.

Read more... )

donmigel_62: (кот - учёный)

Университет MIT выложил бесплатно лекции в Сеть



Один из лучших технологических вузов мира опубликовал большинство своих обучающих курсов, лекций и семинаров в интернете на отдельном ресурсе.

Есть аудио и видео-курсы, поиск по каталогу, по номеру курса, по наименованию дисциплины, все предметы и степень сложности разделены в отдельные рубрики.

Так что, если нет проблем с английским, все материалы находятся здесь MIT OpenCourseWare.
Для тех, кто не в полной мере владеет английским, есть даже курсы, которые специально перевели (правда, русского там, увы, нет: есть языки Азии для студентов из Китая и развивающихся арабских стран).

Вообще наверное ни один вуз до того не делал такой прорыв в плане открытой и бесплатной публикации образовательных материалов в интернете. Так что спешите пользоваться.

http://habrahabr.ru/post/188184/
donmigel_62: (кот - учёный)

Найден путь для выращивания печени в лаборатории.

Ученые из Массачусетского технологического института (МIТ) сделали серьезный шаг к успешному выращиванию искусственной печени – они выявили десятки химических соединений, которые помогают клеткам печени нормально функционировать и расти в лабораторных условиях.

Многие из нас еще со школьной скамьи знают, что печень имеет свойство восстанавливаться, даже если кусок этого органа удален. Однако долгое время ученые не могли заставить печень повторить этот «фокус» в лабораторных условиях. Проще говоря, зрелые клетки печени, отвечающие за ее нормальную работу – гепатоциты, – быстро теряют свои способности, оказываясь вне организма.

Однако выявленные группой ученых Массачусетского технологического института химические соединения позволяют печени нормально функционировать и размножаться в лабораторных условиях. А это значит, что у миллионов людей, страдающих серьезными заболеваниями печени, в том числе и гепатитом С, появился шанс получить новую печень и выздороветь.

Для эксперимента инженер МIТ Санджита Бхатиа (Sangeeta Bhatia) разработала способ временного поддержания нормальной работы клеток печени в лаборатории посредством помещения их в слои клеток мышиных фибробластов (клеток соединительной ткани организма). Это дало ученым время на исследование клеток и изучение того, как они реагируют на более чем 12 тыс. химических соединений. После проверки тысяч клеток печени от восьми разных доноров ученые определили 12 соединений, которые ускоряют деление клеток и помогают печени нормально функционировать: синтезировать белок и желчь, проводить интоксикацию организма, поддерживать энергетический обмен.

Два из найденных соединения особенно хорошо проявили себя на печени от молодых доноров, и потому ученые решили протестировать эти соединения на клетках печени, выращенных из индуцированных плюрипотентных стволовых клеток (iPSC). Обычно ученым не удавалось вырастить из iPSC гепатоциты, потому что эти клетки не достигали полной зрелости. А вот при воздействии двух обнаруженных химических соединений клетки созрели полностью. Ученые намерены встроить эти клетки в клеточный каркас ткани, пересадить ткань мышам и посмотреть, смогут ли эти клетки заменить печень. Кроме того, ученые хотят узнать, могут ли обнаруженные вещества восстановить больную печень непосредственно в организме, то есть, можно ли использовать их в качестве лекарства. Если эксперименты пройдут успешно, то в лечении печени произойдет революция, которую так давно ждут люди с хроническими заболеваниями этого органа.

cnews-artificial-liver.jpg
Вырастить полноценные клетки печени теперь можно и в лабораторных условиях. Это поможет людям с хроническими заболеваниями печени

Команда под руководством Бхатиа совершила прогресс в решении еще одной проблемы, связанной с пересадкой печени: она выяснила, как заставить организм реципиента вырастить кровеносные сосуды, которые будут снабжать донорскую печень кровью и питательными веществами. Если предварительно внедрить в печеночную ткань эндотелиальные клетки (клетки выстилающие внутреннюю поверхность кровеносных сосудов), то они будут активно строить кровеносные сосуды. Для достижения этого результата была разработана новая система, которая позволяет создавать 3D-модель ткани и точно контролировать размещение различных типов клеток в ткани.

Печень – важнейший орган нашего организма. Выращивание искусственной печени для последующей пересадки – задача, требующая скорейшего решения, ведь это спасет жизнь миллионам людей по всему миру.

cnews.ru

Profile

donmigel_62: (Default)
donmigel_62

March 2014

S M T W T F S
       1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 1819202122
23242526272829
3031     

Syndicate

RSS Atom

Style Credit

Expand Cut Tags

No cut tags
OSZAR »