Цифровые математические библиотеки в образовательном информационном пространстве

Обсуждаемые вопросы: Цифровые математические библиотеки в образовательном и научном пространстве. Особенности интеграции математических знаний. Lobachevskii-DML, OntoMath и BigMath. Сервисы цифровых библиотек в образовательном процессе.

Цифровая математическая библиотека Lobachevskii-DML

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

Пополнение метаданных математических цифровых ретро коллекций методом семантических сетей

Представлен метод формирования обязательного набора метаданных ретро-коллекций цифровой математической библиотеки. В качестве источника пополнения метаданных использованы открытые ресурсы Семантической сети.

Фабрики метаданных в цифровых библиотеках

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

Lobachevskii-DML: формирование архивных математических коллекций

Представлены базовые сервисы фабрики метаданных цифровой математической библиотеки Lobachevskii-DML, которые удается применить к архивным математическим коллекциям.

Цифровые библиотеки и Единое цифровое пространство математических знаний

Обсуждены вопросы: цифровые математические библиотеки, особенности интеграции математических знаний, проекты интеграции математических знаний, метаданные и навигация в научном информационном пространстве.

Методы Big Math и интеграция математических знаний

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

МЕТОДЫ НОРМАЛИЗАЦИИ МЕТАДАННЫХ ЭЛЕКТРОННЫХ МАТЕМАТИЧЕСКИХ КОЛЛЕКЦИЙ

Система цифровых математических библиотек; Методы формирования метаданных электронных коллекций; Journal Archiving and Interchange Tag Suite (NISO JATS) ; Интеграция в The European Digital Mathematics Library (EuDML); Интеграция в ?Dblp Computer Science Bibliography? (DBLP).

Семантические сервисы обработки больших массивов научных документов и формирование цифровых библиотек

Большие данные и научные коллекции. Большие данные в математике. Информационные технологии в математике. Big Math & One-Brain Barrier. Формализация математического знания. Цифровые математические библиотеки. Фабрика метаданных цифровой библиотеки. Автоматизация издательских процессов.

Методы формирования и нормализации метаданных в цифровой математической библиотеке

Предложены и реализованы методы интеграции электронных математических коллекций Казанского университета в отечественные и зарубежные цифровые математические библиотеки. Представлены алгоритмы пополнения электронных коллекций цифровой математической библиотеки.

Метод автоматизированного подбора рецензентов научных статей, реализованный в информационной системе научного журнала

Представлен разработанный метод автоматизированного формирования набора возможных рецензентов для научных работ, поступающих для публикации в информационную систему научного журнала, функционирующего на платформе Open Journal Systems (OJS).

Организация коллекций цифровой математической библиотеки методами семантического анализа

Предложены методы формирования цифровых коллекций из набора документов ? научных статей, монографий, докладов, представленных в различных форматах хранения.

Big Math Methods in Lobachevskii-DML Digital Library

We offer methods for the formation of digital collections from a set of documents (scientific articles, monographs, collections of reports), which are presented in various storage formats.

Memristive neuron integration in digital robotic embodiment

In the current paper, we introduce a high-level approach for an integration of a neuromorphic memristive neuron in a real-time operating robotic system. The memristive neuron schematic, which we had presented in our earlier works, is capable of inhibitory and excitatory learning (eSTDP, iSTDP) as we

Towards the immersive VR: measuring and assessing realism of user experience

The range of uses for Virtual Reality Continuum grows more diverse, with potential fields of application spanning from research and education to leisure and work, which increases demand for a method which can allow to precisely and reliably measure VR effectiveness.

Biotechnological virtual laboratory in VR

МОДЕЛЬ ЦИФРОВОЙ ИНФРАСТРУКТУРЫ НАУЧНО-ОБРАЗОВАТЕЛЬНОГО КЛАСТЕРА РЕСПУБЛИКИ ТАТАРСТАН

Предложена модель цифровой инфраструктуры научно-образовательного кластера Республики Татарстан (РТ) как элемента цифровой экономики РТ, активно формируемой в настоящее время.

Семантические технологии в математическом образовании: онтологии и открытые связанные данные

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

Семантические и интеллектуальные сервисы управления математическими знаниями на интегрированной цифровой платформе

Представлены сервисы управления математическими цифровыми коллекциями, содержащих большие массивы документов.

Сервисы формирования метаданных цифровых документов в форматах международных наукометрических баз данных.

Представлены методы интеграции цифровых (электронных) научных коллекций, основанные на автоматизации процесса создания метаданных документов, входящих в эти коллекции, в форматах международных нау-кометрических баз данных.

Открытые связанные данные и онтологии в математическом образовании

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

Методы и модели формирования цифровой инфраструктуры научно-образовательного кластера республики Татарстан

Предложен прототип цифровой инфраструктуры научно-образовательного кластера Республики Татарстан. Проектирование проведено в соответствии с принципами создания глобальных цифровых научных библиотек.

Система сервисов как составляющая цифровой инфраструктуры электронного научного журнала

Приведены методы организации цифровой инфраструктуры электронного научного журнала. Описан подход на основе открытой программной платформы Open Journal Systems.

СТРУКТУРА И СЕРВИСЫ ЦИФРОВОЙ МАТЕМАТИЧЕСКОЙ БИБЛИОТЕКИ LOBACHEVSKII-DML

Дано описание структуры электронной математической библиотеки Lobachevskii-DML, разрабатываемой авторами. Описаны цели создания этой электронной библиотеки, методы управления математическим контентом на основе семантических технологий.

Блоги в системе научных коммуникаций

Семантические методы и инструменты электронной математической библиотеки Lobachevskii-DML

Представлены сервисы управления научным контентом, разработанные в ходе формирования электронной математической библиотеки Lobachevskii-DML. Описаны технологии поддержки новых форм научных публикаций, взаимодействия с информационными системами научных журналов и электронными математическими архива

Semantic Representation of Digital Libraries Using Ontologies for Describing Scientific Documents

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

Semantic Formula Search in Digital Mathematical Libraries

We present semantic methods of searching mathematical objects in scientific publications. We discuss methods of searching for mathematical formulas, as well as methods based on the logical structure of mathematical documents.

Семантический поиск по математическим формулам: http://lobachevskii-dml.ru:8890/mathsearch/

Информетрия в мировой системе высшего образования

Дан анализ современного состояния обучения информетрии (библиометрии, наукометрии) в российской и зарубежных системах высшего образования. Представлена сформированная база данных учебных курсов по информетрии, предлагаемых различными вузами мира.

Технологии и сервисы семантического анализа документов, реализуемые в электронных научных журналах

Особенности математического контента при обнаружении заимствований. Новые формы публикаций и методы их поддержки Управления электронным контентом на основе объектов и связей

Современный электронный научный журнал: цифровая инфраструктура и система сервисов

Научные журналы и формирование глобальной научной инфраструктуры. Особенности управления цифровым математическим контентом. Новые формы публикаций и методы их поддержки. Информационные журнальные системы. Цифровые математические библиотеки.

Методы интеграции цифрового физико-математического контента с помощью специализированных электронных библиотек

Приведен обзор специализированных информационных систем управления электронным математическим контентом -цифровых математических библиотек. Отмечена роль цифровых библиотек в формировании информационного научного пространства.

Интеллектуальная обработка научно-образовательной и историко-культурной информации на основе онтологий предметных областей

Представлены результаты, полученных в рамках проекта формирования научно-информационного пространства Республики Татарстан на основе сервисно-ориентированной платформы science.tatarstan.ru.

Рекомендательные системы в научной и образовательной деятельности

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

The OntoMath Ecosystem: Ontologies and Applications for Math Knowledge Management

We present a Semantic Web approach to modelling of the content of mathematical scientific documents. The approach introduces a "layer cake" of mathematical document representation that covers the following aspects: the logical (rhetorical) structure, mathematical concepts, and formulas.

СЕМАНТИЧЕСКИЙ АНАЛИЗ БОЛЬШИХ КОЛЛЕКЦИЙ НАУЧНЫХ ДОКУМЕНТОВ

Представлен метод автоматической обработки больших коллекций физико-математических документов и их преобразование в соответствии с правилами формирования коллекций.

ONTOMATH ecosystem and World digital mathematical library

Представлены основные направления реализации проекта WDML и результаты по созданию экосистемы OntoMath как его составной части.

Семантический анализ больших коллекций научных документов

Представлена система сервисов автоматической обработки больших коллекций физико-математических документов. Сервисы обеспечивают: автоматическую валидацию документов и их преобразование в соответствии с правилами формирования коллекций.

Методы автоматизированного извлечения метадан-ных научных публикаций для библиографических и реферативных баз цитирования

Представлена система автоматического формирования метаданных для экспорта в международные информационно-аналитические системы и алгоритмы извлечения библиографических данных из коллекций научных публикаций

Автоматизированная система научного журнала ?Электронные библиотеки?

На примере электронного журнала ?Электронные библиотеки? (http://elbib.ru, http://elbib.kpfu.ru) представлена разработанная система сервисов, позволяющих автоматизировать наиболее трудоемкие процессы управления научным журналом.

Формирование научно-информационного пространства Республики Татарстан на основе сервисно-ориентированной платформы

Предложен подход к организации системы автоматизации основных редакционных процессов издания электронных научных журналов.

Mathematical knowledge management: ontological models and digital technology

This paper is discussed basic ideas, approaches and the results developed in the research project that has the objective to develop mathematical knowledge management technologies based on ontologies. We are developing the digital ecosystem OntoMath for mathematical knowledge management.

Automatic processing service system of large collections of scientific documents

We presents a system of automatic processing of scientific documents collection services. These services provide verification of compliance, document accepted rules of formation of collections and their conversion to established formats; structural analysis of documents and extraction of metadata.

СЕМАНТИЧЕСКИЙ РЕКОМЕНДАТЕЛЬНЫЙ СЕРВИС В ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ МАТЕМАТИКА

Предложен комплекс технологий, позволяющий на основе персонального профиля учёного эффективнее работать с научно-техническим контентом, а при анализе документов ? выделять понятия, наиболее важные с точки зрения личного семантического профиля

Механика в Казанском университете за 200 лет

В пленарном докладе представлены материалы об исследованиях по механике в Казанском университете за двести лет. Отражена тематика научных исследований докторов наук, профессоров университета.

Семантическое аннотирование в системе управления физико-математическим контентом

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

Информационные системы и сервисы комплексной поддержки периодических научных изданий

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

Методы онтологического моделирования естественнонаучных областей знаний

Рассмотрены методы формирования семантического профиля пользователя информационных систем управления научным контентом. Онтологические модели предметных областей и методы терминологического аннотирования использованы в качестве технологической основы построения рекомендательного сервиса.

Паттерны регулярных выражений в алгоритмах семантической обработки коллекций математических документов

The methods for automatic processing of mathematical electronic collections are offered. They are applied to semantic structuring of documents and, in particular, metadata extraction and formation of scientometric information.

Стилевая валидация математических документов в электронном научном журнале

The algorithm of style validation of mathematical texts for an information system of electronic scientific journal is proposed and implemented. Technology LATEXGalley Plugin for Open Journal Systems is used.

ОБЛАЧНАЯ ПЛАТФОРМА ПОДДЕРЖКИ ЭЛЕКТРОННЫХ НАУЧНЫХ ИЗДАНИЙ

This paper describes the information system science.tatarstan.ru. The aim of the project is to create the infrastructure of centralized services that support the life cycle of electronic scientific publications.

СИСТЕМА АВТОМАТИЗАЦИИ РЕДАКЦИОННЫХ ПРОЦЕССОВ НА ПЛАТФОРМЕ ЭЛЕКТРОННЫХ НАУЧНЫХ ЖУРНАЛОВ

Presented a system of automation of editorial processes of the electronic scientific journal, functioning on a platform Open Journal Systems. Proposed a method of organizing a network of interaction of the editorial board of the scientific journal, as well as algorithms for automation of the process

СЕРВИСЫ ПОДДЕРЖКИ ЖИЗНЕННОГО ЦИКЛА ЭЛЕКТРОННЫХ НАУЧНЫХ ПУБЛИКАЦИЙ

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

Mathematical Content Semantic Markup Methods and Open Scientific E-journals Management Systems

The paper discusses the approach to automate the processing of electronic mathematical documents and their transformation into semantic documents. Structuring electronic storage of periodical issues in mathematics and multi-volume works conferences was performed.

Инфраструктура электронного научного журнала и облачные сервисы поддержки жизненного цикла электронных публикаций

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

Сайт журналов и издательская платформа

ОНТОЛОГИИ МАТЕМАТИЧЕСКИХ ЗНАНИЙ И ИХ ПРИМЕНЕНИЕ В НАУКЕ И ОБРАЗОВАНИИ

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

Сайт онтологии. Пример образовательного теста.

Открытые информационные системы управления научными публикациями как основа построения научных электронных библиотек Казанского университета

Системы интеграции электронной научно-образовательной информации и повышение поисковой функциональности с помощью семантических технологий

Информационные системы подготовки и издания электронных научных журналов

Сервисы структурирования математического контента и интеграция электронных математических коллекций в научное информационное пространство

Свободно распространяемые системы управления электронными научными журналами и технологии электронных библиотек

Модель сервисов электронного математического журнала и её облачная реализация на платформе Open Journal System

Моделирование рассеяния электромагнитных волн неровной поверхностью на основе метода вейвлетов