Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты выпуска
Авторы
Заголовки
Темы
Политика
Справка
Язык
русский
English
Войти
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
Архив открытого доступаСанкт-Петербургского государственного университета
DSpace at Saint Petersburg State University
GRADUATION PROJECTS
MATHEMATICS AND COMPUTER SCIENCE
Главная страница раздела
Просмотр статистики
Новые ресурсы
The investigation of generative models in the problem of finding the optimal answer to specialized questions with application to StackOverflow
See
Distribution of Carmichael numbers of special type
See
On scaling entropy for group actions
See
Congruence closure over interpreted symbols
See
Values of the epsilon-invariant for Seifert manifolds
See
Calculation of fractional Dehn twist coefficients
See
Entity resolution for knowledge graph of business entities
See
Designing architecture and developing a mobile application to create a game character
See
The study of cardinality of stable matching with bounded degrees of vertices in bipartite graph
See
Growth in sandpiles
See
Proof complexity lower bounds of combinatorial principles
See
Development of the software system for automatic unit test generation on Python language
See
Encoding Java Bytecode to CIRCUIT-SAT to solve the problems of programs equivalence cheking
See
On inverse sequences with vanishing derived limit
See
Enumeration of lattice paths in domains determined by linear inequalities
See
Просмотр
Просмотр
Автор
2
Alekseev Aroslav Urevic
2
Alekseev Ila Sergeevic
2
Azangulov Iskander Faritovic
2
Celpanov Konstantin Vaceslavovic
2
Dobronravov Egor Petrovic
2
Dobronravov Nikita Petrovic
2
Dospolova Maria Kairzanovna
2
Filimonova Arina Nikolaevna
2
Gubkin Pavel Vasilevic
2
Istomina Aleksandra Andreevna
.
дальше >
Тема
8
машинное обучение
7
machine learning
6
proof complexity
6
symbolic execution
6
символьное исполнение
5
Kotlin
5
Машинное обучение
5
сложность доказательств
4
Communication complexity
4
deep learning
.
дальше >
по дате выпуска
89
2023
70
2022
59
2021
25
2020
Коллекции этого раздела
BACHELOR STUDIES
DOCTORAL STUDIES
MAIN FIELD OF STUDY
MASTER'S STUDIES