> Главная> Научная работа> Публикации
RUSENG

Публикации

Year:  
All :: 1970, ... , 2015, 2016, 2017, ... , 2021
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
  
 
References

Articles:

Ивановский, Р. И.; Новожилов, М. А.
Анализ межканальных связей электроэнцефалограмм на основе корреляционных отношений
Математическая биология и биоинформатика, 11(2):214-224
November 2016
DOI: 10.17537/2016.11.214
http://www.matbio.org/article_pdf.php?id=280
Trifonov, Peter, Miloslavskaya, Vera, Chen, Chen; Wang, Yuangang
Fast Encoding of Polar Codes with Reed-Solomon Kernel
IEEE Transactions on Communications, 64(7):2746-2753
July 2016
DOI: 10.1109/TCOMM.2016.2576448
/~petert/papers/PolarEncoder.pdf

Keywords: polar
Trifonov, P.; Miloslavskaya, V.
Polar subcodes
IEEE Journal on Selected Areas in Communications, 34(2):254-266
February 2016
DOI: 10.1109/JSAC.2015.2504269
/~petert/papers/DynFrozen2.pdf

Keywords: polar
Ивановский, Р. И.; Новожилов, М. А.
Статистическая обработка данных геофизического мониторинга
Геоинформатика, 1:54-58
2016
Shoshmina, I.V.
Developing formal temporal requirements to distributed program systems
Системная информатика (System informatics), (8):21-32
2016
http://www.system-informa...les/article/shoshmina.pdf

Keywords: software requirement specification, requirement patterns, model checking, linear temporal logic

Books:

Колесов, Юрий; Сениченков, Юрий
Объектно-ориентированное моделирование в среде Rand Model Designer 7: учебно-практическое пособие
Publisher: Изд. Проспект,
2016

Contributions to proceedings:

Sokolov, Konstantin
A Vector Model for Type-Theoretical Semantics
Proceedings of the First Workshop on Representation Learning for NLP (ACL-2016 Workshop)
August 2016
http://www.aclweb.org/anthology/W/W16/W16-1627.pdf
Ivanov, K.; Trifonov, P.
Hybrid Decoding of Interlinked Generalized Concatenated Codes
Proceedings of 9th International Symposium on Turbo Codes and Iterative Information Processing
2016
DOI: 10.1109/ISTC.2016.7593073
/~petert/papers/HybridDecoder.pdf

Keywords: polar
Morozov, Ruslan; Trifonov, Peter
Directed Search Decoding of Polar Codes with Reed-Solomon kernel
Proceedings of XV International Symposium "Problems of Redundancy in Information and Control Systems"
2016
DOI: 10.1109/RED.2016.7779336
/~rmorozov/DirectedSearchRSKernel.pdf

Keywords: polar
Trifonov, P.; Wang, Y.
Generalized Concatenated Codes for Block and Device Failure Protection
Proceedings of 16th IEEE International Conference on Computer and Information Technology
2016
Kolesov, Yuri, Inikhov, Dmitry, Senichenkov, Yuri; Isakov, Andrey
News from Rand Model Designer for Industry and Education
Proceedings of 8th IFAC Conference on Manufacturing Modelling
Publisher: IFAC-PapersOnLine Open Access,
2016
http://dcn.icc.spbstu.ru/...MIM_2016_Senichenkov_.pdf
Senichenkov, Yuri; Isakov, Andrey
Rand Model Designer’s Numerical library
Proceedings of The 9th Eurosim Congress on Modelling and Simulation
Publisher: IFAC-PapersOnLine Open Access,
2016
http://dcn.icc.spbstu.ru/...chenkov_%20Num%20libr.doc
Kolesov, Yuri; Senichenkov, Yuri
Object-Oriented Modeling with Rand Model Designer
Proceedings of the 9th Eurosim Congress on Modelling and Simulation
Publisher: IFAC-PapersOnLine Open Access,
2016
http://dcn.icc.spbstu.ru/...enichenkov_OMM_%20RMD.doc

Technical reports:

Шошмина, И.В.
К дистанционному курсу ``Математическая логика-2015'
СПбПУ,
March 2016
/~irena/papers/ML.pdf

Keywords: дистанционное образование
Export as:
BibTeX, XML