Лекция
Приятно работать с системами которые работают быстро. Пока у системы мало пользователей и данных — всё просто. Но что, если вам "повезло" и к вам пришла...
Построим простой REST-микросервис с CompletableFuture внутри на легковесном сервере. Ускорим его запуск при помощи AppCDS — новой функции JDK, появившейся в...
Все мы хорошо знаем стандартную библиотеку коллекций Java. Для большинства задач её возможностей вполне достаточно, но если ваша цель — создание базы данных...
20 лет — это хорошая дата, чтобы оглянуться в прошлое посмотреть какой путь прошла платформа начиная с 1995 года и заглянуть в будущее чтобы понять как может...
Любой Java-разработчик знает, что многопоточность — это зло, и что писать корректный многопоточный код сложно, а работает он совсем не всегда так быстро, как...
Современный веб-сервер становится интерактивным (websockets, server sent events) и распределённым (microservices). А разрабатывать его нужно, как всегда,...
Что нужно знать разработчику о системе типов языка, на котором он пишет? От каких проблем спасают статические проверки, или что выбрать: статически...
Из доклада вы узнаете не только о том, как с помощью AProf найти все места в коде вашего приложения, которые создают избыточный мусор, но и о том, как AProf...
В своём докладе я пройдусь по плюсам и минусам принципа single responsibility в server-side архитектуре, расскажу про типичные проблемы своего текущего проекта...
Мы поговорим о потоках, замках и I/O реализации из JVM и перспективы OS. Доклад также содержит историческую ретроспективу виртуальных машин и ОС взаимодействия...
В докладе дается обзор, текущее состояние и видение будущего развития каждой основной фичи Java.
Когда-то в Java всё было просто - заменил JDBC Driver на другой, и всё работает. Потом стало сложнее - заменил Hibernate на EclipseLink, но по большей части...
Ahead-of-time (AOT) компиляция, или статическая компиляция, существует для платформы .NET довольно давно, однако Java до сих пор не имеет стандартного AOT-...
В докладе рассказывается о Java ME Embedded.
В докладе будет затронуты следующие темы:
Основные типы атак на Web-приложения и контейнеры;
OWASP для web-контейнеров;
Немного об SSL и Java Cryptography;...
Лекция на тему рациональности и интерфейсов расскажет о том, кто такие UX-специалисты. UX – User eXperience: с английского «опыт взаимодействия». Это ощущения...
В Java экосистеме, мы имеем богатейший арсенал профайлеров. Коммерческие и бесплатные, различные продукты соревнуются, чтобы завоевать расположение Java...
Литература
Kent Pitman "UNWIND-PROTECT vs. Continuations"
В лекции будет показано, что система команд традиционных машинных языков неадекватно описывает поток управления в исключительных ситуациях. Эти системы команд...
Часть первая: Как прекрасен этот Groovy, посмотри!
Действующие лица: Евгений Борисов, джуниоры, мидлы и синьор девелоперы, желающие ознакомится с невероятными...
Экстракторы
Минимальная энтропия, экстракторы, существование экстракторов. Представление источника в виде выпуклой комбинации плоских. Построение экстрактора...
Сэмплеры и их применения
Булев сэмплер из экспандера, сэмплер из булева сэмплера. Усредняющие сэмплеры, "самый лучший" сэмплер без графов Рамануджана. Хиттер...
Лекция 10. Коммуникационная сложность.
Детерминированная модель коммуникационной сложности; доказательство нижних оценок методом трудного множества....
Лекция 8. Приложения колмогоровской сложности.
Метод несжимаемых слов. Оценка сложности распознавания языка палиндромов на одноленточной машине Тьюринга....
Лекция 9. Случайность по Мартин–Лёфу.
Префиксная сложность. Случайные по Мартин–Лёфу последовательности. Закон больших чисел в форме Харди и Литтлвуда. Дефект...
Лекция 6. Энтропия в классической криптографии.
Оценка Шеннона для длины ключа в симметричной схеме шифрования. Схемы совершенного разделения секрета....
Лекция 7. Колмогоровская сложность.
Простая колмогоровская сложность: определение и теорема о существовании оптимального декомпрессора. Энтропия Шеннона как...
Лекция 3. Вокруг теоремы Шеннона об оптимальном кодировании.
Однозначно декодируемые и префиксные коды, неравенство Крафта. Теорема Шеннона об оптимальном...
Лекция 4. Блоковое кодирование.
Метод типичных последовательностей. Теорема о блоковом кодировании последовательности независимых одинаково распределенных...
Лекция 5. Энтропийные профили наборов случайных величин и информационные неравенства.
Энтропийные профили для пар и троек случайных величин. Классические...
Лекция 1. Комбинаторный подход к определению понятия информации, информация по Хартли.
Определение комбинаторной информации по Хартли; относительная информация...
Лекция 2. Вероятностный подход к определению понятия информации, информация по Шеннону.
Определение энтропии Шеннона; относительная энтропия и взаимная...
Другие задачи криптографии
Oblivious transfer: протокол Рабина, 1–2–OT протокол, их эквивалентность. Секретное вычисление функции. Бросание монетки в колодец,...
Доказательства с неразглашением
Пещера Али–Бабы и Усама бен–Али. Определения: доказательства, системы доказательств. Изоморфизм и неизоморфизм графов. Как...
Экспандеры и случайные блуждания по экспандерам
Комбинаторный и алгебраические экспандеры. Матрица смежности графа. Лемма о перемешивании. Блуждание по...
Сэмплеры
Сэмплеры: наивный сэмплер, попарно-независимый сэмплер, сэмплер,основанный на медиане усреднений.
Страница лекции на сайте Computer Science Center
Комбинаторная сложность. Классы сложности. Слова/языки ограниченной сложности. Слово Фибоначчи и слова Штурма. Фибоначчи, Зимин и нетрадиционные системы...
Комбинаторная сложность. Классы сложности. Слова/языки ограниченной сложности. Слово Фибоначчи и слова Штурма. Фибоначчи, Зимин и нетрадиционные системы...
Бесповторность. Квадраты и кубы. Слова Туэ-Морса, теорема о сильной бескубности. Избегаемые экспоненты. Слова Аршона, теорема о 7/4. Граничная теорема (...
Бесповторность. Квадраты и кубы. Слова Туэ-Морса, теорема о сильной бескубности. Избегаемые экспоненты. Слова Аршона, теорема о 7/4. Граничная теорема (...
Эллиптические кривые
Основные определения. Сингулярные и несингулярные кривые, проективная плоскость и проективные кривые. Результанты. Числа пересечения,...
Эллиптические кривые в криптографии
Групповой закон на эллиптических кривых. Алгоритм Ленстры (ECM) на эллиптических кривых. Вычисления на эллиптических кривых...
Повторы. Что считать повтором? Разбиение Лемпеля-Зива и метод LZ77. Online square detection. Максимальные повторения. Runs theorem: опять слова Линдона. Поиск...
Повторы. Что считать повтором? Разбиение Лемпеля-Зива и метод LZ77. Online square detection. Максимальные повторения. Runs theorem: опять слова Линдона. Поиск...
Конструкция и применение немного смещенных распределений
Доказательство существования маленького epsilon-мещенного множества вероятностным методом. Явная...
Анализ Фурье
Представление функций мультилинейными многочленами, существование и единственность. Базис Фурье, скалярное произведение. Плотность распределения....
Перестановки. Элементарные свойства. Преобразование Барроуза-Уилера (BWT). Эффективность обратного преобразования. Проверка корректности. “Параллельное” BWT:...
Перестановки. Элементарные свойства. Преобразование Барроуза-Уилера (BWT). Эффективность обратного преобразования. Проверка корректности. “Параллельное” BWT:...
Символьные последовательности в различных областях науки и практики, виды задач о символьных последовательностях. Уравнение коммутирования. Примитивные слова....
Страницы
Конференция
На конференции рассказано о решениях от ГНУ/Линуксцентра на базе СПО для вашей организации:
Страница курса на сайте Computer Science клуба.
В силу различных причин, Java, как язык программирования, развивалась не очень динамично. Постепенно возникла необходимость в языке для JVM, в котором в первую...
Подумать только, прошло уже целых 20 лет со дня рождения самой популярной платформы, а она по прежнему не перестает удивлять теперь уже 9 миллионов...
Java-конференция Joker 2015 University Day
Санкт-Петербург, 18.10.2015
18–20 декабря 2017 года в Мраморном зале ПОМИ РАН прошла конференция, организованная сотрудниками ПОМИ РАН при поддержке компании Huawei. Основная цель...
CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. In 2006-2009 the symposium consisted of...
Курс лекций
Целью курса является знакомство слушателей с основными понятиями и методами дискретной математики: основами математической логики, элементарной комбинаторикой...
Среди многочисленных результатов о разрешимости массовых проблем одним из самых замечательных является алгоритм Тарского, позволяющий установить истинность или...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
Согласно одной притче, восточный властелин приказал двум своим мудрецам истолковать один из снов властелина.
В курсе речь пойдет о современных математических моделях, позволяющих с той или иной степенью адекватности описывать формирование интернета. Также будет...
Экспандеры (расширяющие графы) являются мощным инструментом теоретической информатики и дискретной математики. По-видимому, эффективность экспандеров отчасти...
Kotlin — современный язык программирования, созданный в компании JetBrains изначально для платформы JVM. Со временем добавилась поддержка JavaScript, iOS, и...
Курс предназначен программистам, желающим познакомиться с теоретическими и практическими аспектам технологий, связанных с хранением, обработкой, анализом...
Курс знакомит слушателей с функциональным подходом к программированию, все более набирающим силу в последнее время (наблюдается взрывной рост популярности...
Комбинаторика слов (символьных последовательностей) является одной из современных и быстро развивающихся дисциплин теоретических компьютерных наук.
Целями...
К 2011 году девять стран умеют выводить в космос спутники. И лишь в четырех странах (Россия, США, Китай, Чехия) есть компании, которые умеют создавать...
In the last 10-15 years, NLP techniques have proven effective in a number of forensic applications, such as author profiling and deception detection.
This course will consider algorithmic aspects of distributed systems. Distributed algorithms arise in a wide range of applications: telecommunications,...
Небольшой курс лекций Олега Плисса по виртуальным машинам.
Примерный план лекций:
Коды переменной длины, используемые для сжатия информации, имеют много примечательных свойств. Одно из самых интересных — умение большинства кодов...
Линейное программирование (ЛП) возникло в 40-х годах прошлого века как один из разделов теории оптимизации. Довольно быстро оно стало популярным методом для...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Joker 2013, конференция по Java-технологиям, которая прошла 15 октября 2014 года в Санкт-Петербурге.
Страница курса на сайте Computer Science Center
SBERDAYS — образовательные события для digital-специалистов от Сбербанка. Цель проекта — формирование сообщества активных участников IT-индустрии,...
Вероятностно проверяемые доказательства (Probabalistically Checkable Proofs или PCP) - это одно из самых ярких достижений теоретической информатики 90-х годов.
Этот курс дает представление о современном положении дел в теории нейросетей. Рассмотрены полносвязные и сверточные нейросети на примерах задач классификации и...
Биоинформатика — это быстро растущий раздел computer science, благодаря которому биология в 21 веке переходит из раздела наук о жизни в вычислительные науки....
Лекции будут посвящены современным подходам и алгоритмам для обработки и анализа коллекций изображений. Будут рассматриваться такие задачи как классификация...
Сколько информации содержится в генетическом коде человека? Какова взаимная информация между текстами романов “Война и мир” и “Анна Каренина”?
Летняя школа Microsoftпо компьютерному зрению (Microsoft Computer Vision Summer School) проходила с 28 июля по 3 августа 2011 года на Факультете ВМК МГУ имени...
Теория экономических механизмов — один из самых быстроразвивающихся разделов современной экономики, находящийся на стыке теории игр и теоретической информатики.
Коды переменной длины, используемые для сжатия информации, имеют много примечательных свойств. Одно из самых интересных — умение большинства кодов...
Целью курса является знакомство студентов с инструментами data mining, применяемых для больших объемов данных. Говоря большие данные, мы подразумеваем тот факт...
Курс является введением в язык программирования Python. На первых лекциях курс знакомит с основами языка и языковыми конструкциями в языке. Далее курс...
In this tutorial, I will present the basic concepts of neural MT as the new state-of-the-art in automatic translation. We will look at the common architecture...
Лекции проводились на базе Института Вычислительной Математики и Информационных Технологий Казанского (Приволжского) Федерального Университета в рамках...
Учёным всегда было присуще стремление разрабатывать эффективные методы решения как можно более широких классов задач. Однако чем более общей является задача,...
В первый день курса слушатели познакомятся с проблемой машинного обучения с параллельных данных для автоматического перевода. Слушателям будет предложено...
Параллельные вычисления стремительно входят в мейнстрим современной computer science. Новый уровень сложности, привносимый параллелизмом в вычислительный...
