Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Свободно
Более быстрый доступ, чем браузер!
 

Премия Канеллакиса

Индекс Премия Канеллакиса

Премия Париса Канеллакиса за теоретические и практические достижения (Paris Kanellakis Theory and Practice Award) — ежегодная научная премия Ассоциации вычислительной техники, вручаемая за особые теоретические достижения, которые оказали значительное влияние на практическое развитие информационных технологий.

56 отношения: AdaBoost, Cilk, EDA (значения), LAPACK, LZ77, Криптосистема с открытым ключом, Криптография, Катастрофа Boeing 757 под Кали, Кармаркар, Нарендра, Канеллакис, Парис, Класс P, Кларк, Эдмунд Мельсон, Проверка моделей, Проект «Геном человека», Обучение с учителем, Оптическое распознавание символов, Ассоциация вычислительной техники, Адлеман, Леонард Макс, Анализ данных, Расширяющееся дерево, Рабин, Михаэль Ошер, Разработка алгоритмов, Ривест, Рональд Линн, Регрессионный анализ, Структура данных, Система компьютерной алгебры, Соловей, Роберт, Тарьян, Роберт, Тест Соловея — Штрассена, Тест простоты, Тест Миллера — Рабина, Фильтрация электронной почты, Формальная верификация, Хеллман, Мартин, Штрассен, Фолькер, Шамир, Ади, Электроника, Эмерсон, Эрнест Аллен, Машинное обучение, Миллер, Гари, Метод внутренней точки, Метод опорных векторов, Меркл, Ральф, Информационные технологии, Задача классификации, Зив, Яаков, Базис Грёбнера, Вапник, Владимир Наумович, Греки в США, Диффи, Уитфилд, ..., Дерево квадрантов, Дезоксирибонуклеиновая кислота, Линейное программирование, Лейзерсон, Чарльз Эрик, Лемпель, Авраам, 1996 год. Развернуть индекс (6 больше) »

AdaBoost

AdaBoost (сокращение от Adaptive Boosting) — алгоритм машинного обучения, предложенный Йоавом Фройндом (en:Yoav Freund) и Робертом Шапирe (en:Robert Schapire).

Новый!!: Премия Канеллакиса и AdaBoost · Узнать больше »

Cilk

Cilk — язык параллельного программирования.

Новый!!: Премия Канеллакиса и Cilk · Узнать больше »

EDA (значения)

EDA.

Новый!!: Премия Канеллакиса и EDA (значения) · Узнать больше »

LAPACK

LAPACK (Linear Algebra PACKage) — библиотека с открытым исходным кодом, содержащая методы для решения основных задач линейной алгебры.

Новый!!: Премия Канеллакиса и LAPACK · Узнать больше »

LZ77

LZ77 и LZ78 — алгоритмы сжатия без потерь, опубликованные в статьях израильских математиков Авраама Лемпеля и Яакова Зива в 1977 и 1978 годах.

Новый!!: Премия Канеллакиса и LZ77 · Узнать больше »

Криптосистема с открытым ключом

Криптографическая система с открытым ключом (разновидность асимметричного шифрования, асимметричного шифра) — система шифрования и/или электронной подписи (ЭП), при которой открытый ключ передаётся по открытому (то есть незащищённому, доступному для наблюдения) каналу и используется для проверки ЭП и для шифрования сообщения.

Новый!!: Премия Канеллакиса и Криптосистема с открытым ключом · Узнать больше »

Криптография

Второй мировой войны для шифрования самых секретных сообщений Криптогра́фия (от κρυπτός «скрытый» + γράφω «пишу») — наука о методах обеспечения конфиденциальности (невозможности прочтения информации посторонним), целостности данных (невозможности незаметного изменения информации), аутентификации (проверки подлинности авторства или иных свойств объекта), а также невозможности отказа от авторства.

Новый!!: Премия Канеллакиса и Криптография · Узнать больше »

Катастрофа Boeing 757 под Кали

Катастрофа Boeing 757 под Кали — крупная авиационная катастрофа, произошедшая в среду 20 декабря 1995 года в 45 километрах от Кали (Колумбия).

Новый!!: Премия Канеллакиса и Катастрофа Boeing 757 под Кали · Узнать больше »

Кармаркар, Нарендра

Нарендра Кармаркар (Narendra Karmarkar; род. 1957) — индийский и американский, разработавший алгоритм, ставший известным под его именем (алгоритм Кармаркара).

Новый!!: Премия Канеллакиса и Кармаркар, Нарендра · Узнать больше »

Канеллакис, Парис

Па́рис Хри́стос Канелла́кис (Πάρις Χρήστος Κανελλάκης, Paris Christos Kanellakis; 3 декабря 1953, Афины, Греция — 20 декабря 1995, близ Буги (Валье-дель-Каука), Колумбия) — греческий и американский учёный в области информатики.

Новый!!: Премия Канеллакиса и Канеллакис, Парис · Узнать больше »

Класс P

В теории алгоритмов классом P (от polynomial) называют множество задач, для которых существуют «быстрые» алгоритмы решения (время работы которых полиномиально зависит от размера входных данных).

Новый!!: Премия Канеллакиса и Класс P · Узнать больше »

Кларк, Эдмунд Мельсон

Эдмунд Мельсон Кларк младший (Edmund Melson Clarke, Jr., 27 июля 1945 года, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.

Новый!!: Премия Канеллакиса и Кларк, Эдмунд Мельсон · Узнать больше »

Проверка моделей

Проверка моделей (проверка на модели, model checking) — метод автоматической формальной верификации параллельных систем с конечным числом состояний, позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям.

Новый!!: Премия Канеллакиса и Проверка моделей · Узнать больше »

Проект «Геном человека»

Логотип проекта Проект Человеческий Геном (The Human Genome Project, HGP) — международный научно-исследовательский проект, главной целью которого было определить последовательность нуклеотидов, которые составляют ДНК, и идентифицировать 20—25 тыс.

Новый!!: Премия Канеллакиса и Проект «Геном человека» · Узнать больше »

Обучение с учителем

Обуче́ние с учи́телем (Supervised learning) — один из способов машинного обучения, в ходе которого испытуемая система принудительно обучается с помощью примеров «стимул-реакция».

Новый!!: Премия Канеллакиса и Обучение с учителем · Узнать больше »

Оптическое распознавание символов

Оптическое распознавание символов (optical character recognition, OCR) — механический или электронный перевод изображений рукописного, машинописного или печатного текста в текстовые данные, использующиеся для представления символов в компьютере (например, в текстовом редакторе).

Новый!!: Премия Канеллакиса и Оптическое распознавание символов · Узнать больше »

Ассоциация вычислительной техники

Ассоциация вычислительной техники (Association for Computing Machinery, ACM) — старейшая и наиболее крупная международная организация в компьютерной области.

Новый!!: Премия Канеллакиса и Ассоциация вычислительной техники · Узнать больше »

Адлеман, Леонард Макс

Леонард Макс Адлеман (Leonard Adleman — Эйдлмен; род. 31 декабря 1945) — американский учёный-теоретик в области компьютерных наук, профессор компьютерных наук и молекулярной биологии в Университете Южной Калифорнии.

Новый!!: Премия Канеллакиса и Адлеман, Леонард Макс · Узнать больше »

Анализ данных

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

Новый!!: Премия Канеллакиса и Анализ данных · Узнать больше »

Расширяющееся дерево

Расширяющееся (splay tree) или косое дерево является двоичным деревом поиска, в котором поддерживается свойство сбалансированности.

Новый!!: Премия Канеллакиса и Расширяющееся дерево · Узнать больше »

Рабин, Михаэль Ошер

Михаэль Ошер Рабин (Michael Oser Rabin, מִיכָאֵל אֹשֶׁר רַבִּין, родился 1 сентября 1931 года, Вроцлав) — израильский учёный в области теории вычислительных систем, математик, лауреат премии Тьюринга и многих других премий.

Новый!!: Премия Канеллакиса и Рабин, Михаэль Ошер · Узнать больше »

Разработка алгоритмов

Разработка алгоритма — особый метод для создания математического способа решения проблемы.

Новый!!: Премия Канеллакиса и Разработка алгоритмов · Узнать больше »

Ривест, Рональд Линн

Corrado Giustozzi и Рональд Ривест (справа) на конференции по AES в Риме, 1999 Ро́нальд Линн Риве́ст (Ronald Linn Rivest; род. 1947, Скенектади, Нью-Йорк) — американский специалист по криптографии.

Новый!!: Премия Канеллакиса и Ривест, Рональд Линн · Узнать больше »

Регрессионный анализ

Регрессио́нный анализ — статистический метод исследования влияния одной или нескольких независимых переменных X_1, X_2,..., X_p на зависимую переменную Y. Независимые переменные иначе называют регрессорами или предикторами, а зависимые переменные — критериальными.

Новый!!: Премия Канеллакиса и Регрессионный анализ · Узнать больше »

Структура данных

Бинарное дерево, простой пример ветвящейся связной структуры данных. Структура данных (data structure) — программная единица, позволяющая хранить и обрабатывать множество однотипных и/или логически связанных данных в вычислительной технике.

Новый!!: Премия Канеллакиса и Структура данных · Узнать больше »

Система компьютерной алгебры

Система компьютерной алгебры (СКА, computer algebra system, CAS) — это прикладная программа для символьных вычислений, то есть выполнения преобразований и работы с математическими выражениями в аналитической (символьной) форме.

Новый!!: Премия Канеллакиса и Система компьютерной алгебры · Узнать больше »

Соловей, Роберт

Роберт Мартин Соловей (Robert Martin Solovay; 15 декабря 1938, Бруклин) — американский, работающий в области теории множеств, много лет занимал должность профессора в Калифорнийском университете в Беркли.

Новый!!: Премия Канеллакиса и Соловей, Роберт · Узнать больше »

Тарьян, Роберт

Роберт Андре Тарьян (Robert Endre Tarjan; род. 30 апреля 1948, Помона, США) — известный американский учёный в области теории вычислительных систем.

Новый!!: Премия Канеллакиса и Тарьян, Роберт · Узнать больше »

Тест Соловея — Штрассена

Тест Соловея — Штрассена — вероятностный тест простоты, открытый в 1970-х годах Робертом Мартином Соловеем совместно с Фолькером Штрассеном.

Новый!!: Премия Канеллакиса и Тест Соловея — Штрассена · Узнать больше »

Тест простоты

Вопрос определения того, является ли натуральное число N простым, известен как проблема простоты.

Новый!!: Премия Канеллакиса и Тест простоты · Узнать больше »

Тест Миллера — Рабина

Тест Миллера — Рабина — вероятностный полиномиальный тест простоты.

Новый!!: Премия Канеллакиса и Тест Миллера — Рабина · Узнать больше »

Фильтрация электронной почты

Фильтрация электронной почты (e-mail) — обработка писем e-mail для организации их в соответствии с определёнными критериями.

Новый!!: Премия Канеллакиса и Фильтрация электронной почты · Узнать больше »

Формальная верификация

Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию.

Новый!!: Премия Канеллакиса и Формальная верификация · Узнать больше »

Хеллман, Мартин

Ма́ртин Хе́ллман (Martin E. Hellman; род., штат) — американский криптограф.

Новый!!: Премия Канеллакиса и Хеллман, Мартин · Узнать больше »

Штрассен, Фолькер

Фо́лькер Штра́ссен (Volker Strassen; род. 29 апреля 1936, Дюссельдорф, Германия) — немецкий математик, почетный профессор кафедры математики и статистики Констанцского университета.

Новый!!: Премия Канеллакиса и Штрассен, Фолькер · Узнать больше »

Шамир, Ади

Ади Шамир (עדי שמיר, 6 июля 1952 года, Тель-Авив, Израиль) — известный израильский криптоаналитик, учёный в области теории вычислительных систем, профессор информатики и прикладной математики в институте Вейцмана, лауреат премии Тьюринга.

Новый!!: Премия Канеллакиса и Шамир, Ади · Узнать больше »

Электроника

Различные электронные компоненты Электро́ника (от Ηλεκτρόνιο «электрон») — наука о взаимодействии электронов с электромагнитными полями и методах создания электронных приборов и устройств для преобразования электромагнитной энергии, в основном для приёма, передачи, обработки и хранения информации.

Новый!!: Премия Канеллакиса и Электроника · Узнать больше »

Эмерсон, Эрнест Аллен

Эрнест Аллен Эмерсон (Ernest Allen Emerson; род. 2 июня 1954, Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.

Новый!!: Премия Канеллакиса и Эмерсон, Эрнест Аллен · Узнать больше »

Машинное обучение

Машинное обучение (machine learning, ML) — класс методов искусственного интеллекта, характерной чертой которых является не прямое решение задачи, а обучение в процессе применения решений множества сходных задач.

Новый!!: Премия Канеллакиса и Машинное обучение · Узнать больше »

Миллер, Гари

Гари Ли Миллер — американский, профессор информатики университета Карнеги — Меллона.

Новый!!: Премия Канеллакиса и Миллер, Гари · Узнать больше »

Метод внутренней точки

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

Новый!!: Премия Канеллакиса и Метод внутренней точки · Узнать больше »

Метод опорных векторов

Метод опорных векторов (SVM, support vector machine) — набор схожих алгоритмов обучения с учителем, использующихся для задач классификации и регрессионного анализа.

Новый!!: Премия Канеллакиса и Метод опорных векторов · Узнать больше »

Меркл, Ральф

Ральф Чарльз Меркл (Ralph Charles Merkle; родился 2 февраля 1952, Беркли, Калифорния, США) — американский криптограф, известный своими работами в области криптосистем с открытым ключом (протокол Диффи — Хеллмана — Меркла) и хеширования (см. структура Меркла — Дамгарда).

Новый!!: Премия Канеллакиса и Меркл, Ральф · Узнать больше »

Информационные технологии

Информацио́нные техноло́гии (ИТ, также — информационно-коммуникационные технологии) — процессы, методы поиска, сбора, хранения, обработки, предоставления, распространения информации и способы осуществления таких процессов и методов (ФЗ № 149-ФЗ); приёмы, способы и методы применения средств вычислительной техники при выполнении функций сбора, хранения, обработки, передачи и использования данных (ГОСТ 34.003-90); ресурсы, необходимые для сбора, обработки, хранения и распространения информации (ISO/IEC 38500:2008).

Новый!!: Премия Канеллакиса и Информационные технологии · Узнать больше »

Задача классификации

Задача классифика́ции — формализованная задача, в которой имеется множество объектов (ситуаций), разделённых некоторым образом на классы.

Новый!!: Премия Канеллакиса и Задача классификации · Узнать больше »

Зив, Яаков

Яаков Зив (р. 27 ноября 1931, Тверия, Британский мандат в Палестине) — израильский учёный-математик, специалист в области теории информации и теории кодирования.

Новый!!: Премия Канеллакиса и Зив, Яаков · Узнать больше »

Базис Грёбнера

Ба́зис Грёбнера — множество, которое порождает идеал заданного кольца многочленов, обладающее специальными свойствами.

Новый!!: Премия Канеллакиса и Базис Грёбнера · Узнать больше »

Вапник, Владимир Наумович

Владимир Наумович Вапник (род. 6 декабря 1936; СССР) — советский и американский математик, внёс важный вклад теорию машинного обучения, разработав вместе с Алексеем Червоненкисом статистическую теорию восстановления зависимостей по эмпирическим данным (теорию Вапника — Червоненкиса), которая обосновывает принцип минимизации эмпирического риска.

Новый!!: Премия Канеллакиса и Вапник, Владимир Наумович · Узнать больше »

Греки в США

Америка́нцы гре́ческого происхожде́ния (Ελληνοαμερικανοί — эллиноамерика́нцы (произносится как эллиноамерикани́), Greek Americans — гре́ко-америка́нцы, америка́нские гре́ки) — американцы с полной или частичной греческой родословной, часть греческой диаспоры в США.

Новый!!: Премия Канеллакиса и Греки в США · Узнать больше »

Диффи, Уитфилд

Уитфилд Диффи (Bailey Whitfield 'Whit' Diffie; родился 5 июня 1944, Куинс, Нью-Йорк, США) — один из самых известных американских криптографов, заслуживший мировую известность за концепцию криптографии с открытым ключом.

Новый!!: Премия Канеллакиса и Диффи, Уитфилд · Узнать больше »

Дерево квадрантов

Дерево квадрантов (также квадродерево, 4-дерево, quadtree) — дерево, в котором у каждого внутреннего узла ровно 4 потомка.

Новый!!: Премия Канеллакиса и Дерево квадрантов · Узнать больше »

Дезоксирибонуклеиновая кислота

Структура ДНК (двойная спираль). Различные атомы в структуре показаны в разных цветах; детальная структура двух пар оснований показана снизу справа винт) ДНК (правый) Дезоксирибонуклеи́новая кислота́ (ДНК) — макромолекула (одна из трёх основных, две другие — РНК и белки), обеспечивающая хранение, передачу из поколения в поколение и реализацию генетической программы развития и функционирования живых организмов.

Новый!!: Премия Канеллакиса и Дезоксирибонуклеиновая кислота · Узнать больше »

Линейное программирование

Линейное программирование — математическая дисциплина, посвящённая теории и методам решения экстремальных задач на множествах n-мерного векторного пространства, задаваемых системами линейных уравнений и неравенств.

Новый!!: Премия Канеллакиса и Линейное программирование · Узнать больше »

Лейзерсон, Чарльз Эрик

Чарльз Э́рик Ле́йзерсон (Charles Eric Leiserson) — американский специалист в области информатики.

Новый!!: Премия Канеллакиса и Лейзерсон, Чарльз Эрик · Узнать больше »

Лемпель, Авраам

Авраам (Абрахам) Лемпель (родился 10 февраля 1936 года) — израильский учёный польского происхождения и один из отцов семейства алгоритмов сжатия данных без потерь LZ.

Новый!!: Премия Канеллакиса и Лемпель, Авраам · Узнать больше »

1996 год

Объявлен ООН Международным годом борьбы за ликвидацию нищеты (резолюция ООН 48/183).

Новый!!: Премия Канеллакиса и 1996 год · Узнать больше »

Перенаправления здесь:

Премия Париса Канеллакиса.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »