ЮрИнфоР
Программное обеспечение
Подписка на новости Все новости
30/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждалось соотношение теорий и их моделей, применимость понятий общезначимости и доказуемости при применении теории к практике, феноменологический подход к построению теорий и способы их соотнесения с моделями, интерпретатор правил для конверсии текста, реализация правил, не связанных с обработкой внутренней структуры абзаца, обработка ситуации, когда ни одно правило не применимо, существование формул, недоказуемых в терминах таблиц Бета, возможности синтеза доказательств средствами системы Idris, развитие библиотеки поддержки процессов для задач статистической обработки, включающее механизм корректной типизации, добавление новых методов статистической обработки, документирование программы конверсии текста.
29/11/2023
Состоялось очередное заседание семинара «Семантика запросов к графовой СУБД». Обсуждались новые типы, реализованные в системе поддержки графовых запросов, в том числе тип сигнатуры, тип множества сопоставления, добавление операций над множествами узлов графа, вопросы сохранения целостности сопоставлений в ходе работы системы, реализация операции отрицания.
27/11/2023
Состоялось очередное заседание семинара «Способы и средства поддержки реализации концептуального моделирования динамичных объектов». Обсуждались вопросы типизации рекурсивных структур построения типов, возможности построения и проверки корректности программ на основе предусловий и постусловий, возможности отображения таких условий средствами теории типов, средства практических языков программирования для определения функций с переменным числом параметров, способы построения типов при помощи рекурсивных операторов, способы программирования среды поддержки примитивно рекурсивных функций и возникающие проблемы с использованием памяти и времени, средства встраивания таблиц Бета в систему поддержки типов, в том числе использование правил вывода, методы сохранения истории работы в терминале, язык конфигурирования обработки документов.
Подписка на новости Все новости
02/06/2023
На сайте ЮрИнфоР открыт доступ к новой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.2.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис может быть использован при выполнении курсовых, дипломных работ и подготовке диссертационных исследований. Сервис представляет собой инструмент поддержки статистического исследования: статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социологию, здравоохранение, психологию и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным. В текущей версии сервис концептуального оценивания и статистической обработки (КОСА) обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование сервиса бесплатно для данных объёмом не более 50 строк, далее может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.
11/04/2023
На сайте ЮрИнфоР открыт доступ к первой версии он-лайн сервиса концептуальной оценки, статистической обработки и анализа данных (КОСА 0.1.0). На ограниченный объемах данных сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, социология, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования. В текущей версии сервис КОСА обеспечивает загрузку данных непосредственно из браузера или из файла стандартного формата, определение признаков данных, выполнение вычислений и вывод результата в текстовой, табличной или графической форме. Использование средства бесплатно для данных объёмом не более 50 значений, далее компонента может использоваться на платной основе. Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.
26/03/2023
На сайте ЮрИнфоР готовится к открытию он-лайн сервис концептуальной оценки, статистической обработки и анализа данных. Сервис будет доступен студентам, аспирантам и исследователям из разных областей. Сервис представляет собой инструмент статистической обработки, анализа и визуализации данных. Мы надеемся, что сервис поддержит образовательные и исследовательские усилия работающих в разных областях, включая финансы, право, здравоохранение и другие. Особенностью сервиса является то, что инструменты статистического анализа и обработки данных предоставляются в ходе поэтапного интерактивного взаимодействия, делая его доступным даже для массового использования.
Мы будем рады сотрудничать с теми, кто захочет присоединиться к команде разработчиков, в том числе на этапе его тестирования.