Категория:ISPRASOPEN-2019 — различия между версиями
Материал из 0x1.tv
- «0x1.tv»
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| (не показаны 2 промежуточные версии этого же участника) | |||
…category=ISPRASOPEN-2019 silent=true </templatedpagelist> </div> {{twittertag|ISPRASOPEN}} {{rss4cat}} {{stats|disqus_comments=3645|median_plays=2740|refresh_time=2020-07-19T20:33:302021-08-31T18:54:37.407650201134|vimeo_comments=0|vimeo_plays=8791632|youtube_comments=14|youtube_plays=16013772}} <!-- Most Interested BEGIN--> <small> Most popular talks: * [[Инструмент автоматизации численного анализа аэродинамики и прочности конструкций РЛС на базе открытых решений (Даниил Рязанов, ISPRASOPEN-2019)]] * [[Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)]] * [[Profile guided optimizations for mobile devices in LLVM (Pavel Kosov, ISPRASOPEN-2019)]] * [[Фаззинг ядра Linux на практике (Александр Попов, ISPRASOPEN-2019)]] * [[Using Svace static analysis tool in Samsung environments (Youil Kim, ISPRASOPEN-2019)]] | |||
Текущая версия на 15:54, 31 августа 2021
Конференция ISPRASOPEN-2019, она же открытая конференция ИСП РАН им. В.П. Иванникова, прошла 05-06 декабря 2019 года в Москве, в здании Российской Академии Наук.
- Talks in English
- Metadata driven data management in distributed computing environments with partial or complete lack of trust between user groups (Andrey Demichev, ISPRASOPEN-2019)
- Numerical Approaches to Particle-laden Multi-phase Flows for Industrial Applications (Bernhard Peters, ISPRASOPEN-2019)
- High Performance Flexible Memory Allocators in Complex Projects (Iliya Trub, ISPRASOPEN-2019)
- Identification of turbulent model parameters in ocean surface models (Philippe Fraunie, ISPRASOPEN-2019)
- Far-Field Boundary Conditions for Stably Stratified Flows (Tomáš Bodnár, ISPRASOPEN-2019)
- Language Design — OOP or not OOP or better OOP? (Aleksei Nedoria, ISPRASOPEN-2019)
- Linux Kernel Fuzzing in Practice (Alexander Popov, ISPRASOPEN-2019)
- Compiling OCaml memory model for Power (Egor Namakonov, ISPRASOPEN-2019)
- Detection of Variable Misuse Using Static Analysis Combined with Machine Learning (Gleb Morgachev, ISPRASOPEN-2019)
- Developing automated information system based on an ontology for program systems quality assessment (Aleksandr Samonov, ISPRASOPEN-2019)
- Improving fuzzing performance by applying interval mutations (Movsisyan Hovhannes, ISPRASOPEN-2019)
- Constexpr — a Great Good but Wrong Idea (Yauhen Klimiankou, ISPRASOPEN-2019)
- Dynamic forecasting of the completion time of a computational experiment in a Desktop Grid (Valentina Litovchenko, ISPRASOPEN-2019)
- Profile guided optimizations for mobile devices in LLVM (Pavel Kosov, ISPRASOPEN-2019)
- ISP RAS — 25 years of development and growth (ISPRASOPEN-2019, plenary session)
- Using Svace static analysis tool in Samsung environments (Youil Kim, ISPRASOPEN-2019)
- From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
- Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)
- Hazelcast — distributed data structures to scale your app out (Peter Pleshachkov, ISPRASOPEN-2019)
- Challenges in applying Machine Learning for Healthcare (Assaf Schuster, ISPRASOPEN-2019)
- Можно подписаться на новые доклады в категории RSS/Atom
Plays:5404 Comments:59
Most popular talks:
- Инструмент автоматизации численного анализа аэродинамики и прочности конструкций РЛС на базе открытых решений (Даниил Рязанов, ISPRASOPEN-2019)
- Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)
- Profile guided optimizations for mobile devices in LLVM (Pavel Kosov, ISPRASOPEN-2019)
- Фаззинг ядра Linux на практике (Александр Попов, ISPRASOPEN-2019)
- Using Svace static analysis tool in Samsung environments (Youil Kim, ISPRASOPEN-2019)
Страницы в категории «ISPRASOPEN-2019»
Показаны 74 страницы из 74, находящихся в данной категории.
C
- Challenges in applying Machine Learning for Healthcare (Assaf Schuster, ISPRASOPEN-2019)
- CodeBot — A Smart Weapon to Rescue Developers from Annoying Coding Processes (Liang Guangtai, ISPRASOPEN-2019)
- Compiling OCaml memory model for Power (Egor Namakonov, ISPRASOPEN-2019)
- Constexpr — a Great Good but Wrong Idea (Yauhen Klimiankou, ISPRASOPEN-2019)
- Constexpr — большое благо, выраженное в неправильной идее (Евгений Клименков, ISPRASOPEN-2019)
D
- Detection of Variable Misuse Using Static Analysis Combined with Machine Learning (Gleb Morgachev, ISPRASOPEN-2019)
- Developing automated information system based on an ontology for program systems quality assessment (Aleksandr Samonov, ISPRASOPEN-2019)
- Dynamic forecasting of the completion time of a computational experiment in a Desktop Grid (Valentina Litovchenko, ISPRASOPEN-2019)
F
- Far-Field Boundary Conditions for Stably Stratified Flows (Tomáš Bodnár, ISPRASOPEN-2019)
- FEMEngine — реализация метода конечных элементов на основе функционального и шаблонного метапрограммирования на языке C++ (Алексей Гурин, ISPRASOPEN-2019)
- From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)
H
- Hazelcast — distributed data structures to scale your app out (Peter Pleshachkov, ISPRASOPEN-2019)
- High Performance Flexible Memory Allocators in Complex Projects (Iliya Trub, ISPRASOPEN-2019)
I
- Identification of turbulent model parameters in ocean surface models (Philippe Fraunie, ISPRASOPEN-2019)
- Improving fuzzing performance by applying interval mutations (Movsisyan Hovhannes, ISPRASOPEN-2019)
- ISP RAS — 25 years of development and growth (ISPRASOPEN-2019, plenary session)
L
- Language Design — OOP or not OOP or better OOP? (Aleksei Nedoria, ISPRASOPEN-2019)
- LES моделирование турбулентной круглой струи с помощью OpenFOAM (Екатерина Калаушина, ISPRASOPEN-2019)
- Linux Kernel Fuzzing in Practice (Alexander Popov, ISPRASOPEN-2019)
M
N
P
- Profile guided optimizations for mobile devices in LLVM (Pavel Kosov, ISPRASOPEN-2019)
- Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)
T
U
А
- Анализ полного сопротивления корпуса судна на различных скоростях хода (Кирилл Овчинников, ISPRASOPEN-2019)
- Аналитическая платформа для организации распределенной обработки и анализа данных эксперимента АТЛАС на БАК в гетерогенной компьютерной среде (Александр Алексеев, ISPRASOPEN-2019)
Б
В
- Влияние численной диссипации на прогностическую точность LES моделирования на стенках (Тимофей Муха, ISPRASOPEN-2019)
- Высокопроизводительные гибкие аллокаторы динамической памяти для сложных проектов (Илья Труб, ISPRASOPEN-2019)
Д
- Дизайн языков — ООП или не ООП, или нечто лучше ООП? (Алексей Недоря, ISPRASOPEN-2019)
- Динамическое предсказание времени завершения вычислительных экспериментов в Desktop Grid (Валентина Литовченко, ISPRASOPEN-2019)
И
- Инструмент автоматизации численного анализа аэродинамики и прочности конструкций РЛС на базе открытых решений (Даниил Рязанов, ISPRASOPEN-2019)
- ИСП РАН — 25 лет развития и роста (ISPRASOPEN-2019, пленарная сессия)
- Использование Kubernetes в качестве фреймворка для построения гибких и эффективных сценариев обработки научных данных (Антон Теслюк, ISPRASOPEN-2019)
- Использование открытого ПО для решения сопряженных задач аэроакустики (Андрей Епихин, ISPRASOPEN-2019)
- Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик (Евгений Михайлов, ISPRASOPEN-2019)
- Исследование нейродинамических систем непрерывного адаптивного управления (Владимир Судаков, ISPRASOPEN-2019)
К
- Шаблон:Категория:ISPRASOPEN-2019
- Компиляция модели памяти OCaml в Power (Егор Намаконов, ISPRASOPEN-2019)
М
- Место функционального моделирования в задачах отработки встроенного программного обеспечения систем реального времени (Лев Гореликов, ISPRASOPEN-2019)
- Метод сбора данных для модели циркуляции океана NEMO и его применение для расчета характеристик океана в Арктической зоне России (Константин Беляев, ISPRASOPEN-2019)
- Методы и программные средства моделирования и генерации сложных сетей с сохранением графовых свойств (Михаил Дробышевский, ISPRASOPEN-2019)
- Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» (Александр Самонов, ISPRASOPEN-2019)
- Методы кросс-языкового поиска документов (Денис Зубарев, ISPRASOPEN-2019)
- Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке (Константин Кошелев, ISPRASOPEN-2019)
- Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси (ISPRASOPEN-2019)
- Моделирование систем для прикладных областей знаний. Пути развития системного программирования (Екатерина Лаврищева, ISPRASOPEN-2019)
О
- Об использовании возможностей технологии Nvidia CUDA при моделировании двумерных течений вихревыми методами (Евгения Рятина, ISPRASOPEN-2019)
- Обзор открытого программного обеспечения для моделирования течений газа разрывным методом Галеркина (Виктория Корчагова, ISPRASOPEN-2019)
- Обнаружение неправильного использования переменных с использованием статического анализа в сочетании с машинным обучением (Глеб Моргачев, ISPRASOPEN-2019)
- Открытое программное обеспечение как конструктор комплексных цифровых моделей технических систем (Матвей Крапошин, ISPRASOPEN-2019)
П
- Повышение производительности фаззинга за счет применения интервальных мутаций (Оганес Мовсисян, ISPRASOPEN-2019)
- Предсказание популярности новостей на ранней стадии (Арам Аветисян, ISPRASOPEN-2019)
- Применение i-векторов для автоматизированного определения уровня близости языков (Анс-Атаол Берзинь, ISPRASOPEN-2019)
- Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование (Никита Малышев, ISPRASOPEN-2019)
- Применение модульной арифметики для матричных вычислений (Виктор Кучуков, ISPRASOPEN-2019)
- Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах (Николай Хохлов, ISPRASOPEN-2019)
- Проактивная разметка примеров для адаптации к домену (Максим Рындин, ISPRASOPEN-2019)
Р
- Разработка и реализация семантической цифровой библиотеки как основы для построения пространства научных знаний (Ольга Атаева, ISPRASOPEN-2019)
- Решение связанных теплогидравлических задач методом конечных элементов с частицами PFEM-2 средствами свободного программного обеспечения (Виктория Бондарчук, ISPRASOPEN-2019)
С
- Сбор влиятельных вершин — сравнительное исследование краулеров социальных сетей (Денис Айвазов, ISPRASOPEN-2019)
- Система мониторинга распределенной обработки и анализа данных в гетерогенной компьютерной среде для приложений физики высоких энергий (Татьяна Корчуганова, ISPRASOPEN-2019)
- Системы управления и обработки данных в экзабайтном диапазоне для экспериментов на Большом адронном коллайдере (Алексей Климентов, ISPRASOPEN-2019)
- Сравнение инструментов определения именованных сущностей на новостных статьях (Сергей Вычегжанин, ISPRASOPEN-2019)
- Сценарии использования ИИ в сфере кибербезопасности (Наталия Чичилева, ISPRASOPEN-2019)
У
- Управление данными на основе метаинформации в распределенных окружениях с частичным или полным отсутствием доверия между группами пользователей (Андрей Демичев, ISPRASOPEN-2019)
- Управляемые профилем оптимизации для мобильных устройств в компиляторе LLVM (ISPRASOPEN-2019, Павел Косов)
- Ускорение научного прогресса с помощью облачных инфраструктур (Леонид Кулигин, ISPRASOPEN-2019)
Ф
Ч
- Численное исследование механизма вибрационного движения в вязкой жидкости (Артем Нуриев, ISPRASOPEN-2019)
- Численные исследования неустановившегося движения сплошных сред (Михаил Зайцев, ISPRASOPEN-2019)
- Численные эксперименты с сопряженной моделью циркуляции океан-Земля-атмосфера и анализ декадной изменчивости ее основных физических характеристик (Наталья Тучкова, ISPRASOPEN-2019)
Э
- «0x1.tv»