Публикации

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

Articles:

Trifonov, P.V.
Efficient Interpolation in the Guruswami-Sudan Algorithm
IEEE Transactions on Information Theory, 56(9):4341-4349
September 2010
Ивановский, Р.И.
Обработка экспериментальных данных энергетических объектов как начальный этап их моделирования
Научно-технические ведомости СПбГПУ, 11(2):106-112
February 2010
Кондратьев, М.А., Ивановский, Р.И.; Цыбалова, Л.М.
Применение агентного подхода к имитационному моделированию процесса распространения заболевания.
Научно-технические ведомости СПбГПУ, 11(2):126-132
February 2010
Беляев, А.Б.
Верификация алгоритма транзакционной памяти
НТВ СПбГПУ, (101):107-111
2010
Сениченков, Ю.Б.
Инновационные возможности проекта RAND MODEL DESIGNER.
Компьютерные инструменты в образовании,, 5:стр.-29-34
2010
Сениченков, Ю.Б.
Абитуриент, что ты знаешь о факультете технической кибернетики?
Компьютерные инструменты в школе, 5:стр.-25-29
2010
Kolesov, Yu.B.; Senichenkov, YU. B.
Modeling hybrid systems in MvStudium.
SNE, 20,(№ 1):р 31-34
2010
Шошмина, И.В.
Проектирование программных бортовых систем управления с поддержкой верификации
Модел. и анал. информ. систем, 17(4):125-136
2010
Balint-Kurti, G.G., Bogdanov, A.V., Gevorkyan, A., Gorbachev, Y.E., Hakobyan, T., Nyman, G.; Shoshmina, I.
Grid-Technology for Chemical Reactions Calculation
Transactions on Computational Science, 7:154-162
2010
Трифонов, П.В.
Повышение точности байесовского классификатора текстовых документов
Научно-технические ведомости СПбГПУ, 11(1):6-12
2010

Books:

Шошмина, И.В.; Карпов, Ю.Г.
Введение в язык Promela и систему комплексной верификации Spin
Publisher: СПбГПУ, Санкт-Петербург
2010
Карпов, Ю.Г.
Технология программирования. Верификация параллельных и распределенных программ
Publisher: Изд-во Политехнического университета,
2010
ISBN: 978-5-7422-2422-8
Трифонов, П.В.
Адаптивное кодирование в многочастотных системах
Publisher: LAP Lambert Academic Publishing,
2010
ISBN: 978-3-8433-0035-3
Карпов, Ю.Г.
Model Checking. Верификация параллельных и распределенных программных систем
Publisher: БХВ-Петербург,
2010
ISBN: 978-5-9775-0404-1

Contributions to collections:

Исаков, А.А.; Сениченков, Ю.Б.
Среда визуального моделирования OpenMVL.
In Спб, изд. Политехнического университета., editor, Вычислительные, измерительные и управляющие системы.
page стр. 84-89.
2010

Contributions to proceedings:

Trifonov, Peter
On Multivariate Interpolation Decoding of Folded Reed-Solomon codes
Proceedings of International Workshop on Algebraic and Combinatorial Coding Theory , page 274-279.
September 2010
Biryukov, S.V., Kolesov, Yu.B.; Senichenkov, Yu.B.
Physics virtual experiments in Model Vision Studium.
GIREP-MPTL 2010: Teaching and learning physics today. Reims international conference. , page 301.
Reims, France
2010
Карпов, Ю.Г.
Обеспечение качества программных систем управления
Материалы XIV Всероссийской конференции "Фундаментальные исследования и инновации в национальных исследовательских университетах". Пленарные доклады , page 88-92.
СПб.
2010
Самочадин, А.В.; Карпов, Ю.Г.
Методика конкретизации процессов предоставления государственных услуг
"Интернет и современное общество": Труды XIII Всероссийской объединенной конференции , page 232-234.
СПб.
2010
ISBN: 978-5-903811-06-9
Шошмина, И.В.; Карпов, Ю.Г.
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
Карпов, Ю.Г.; Самочадин, А.В.
Методика конкретизации процессов исполнения государственных услуг и бизнес-процессов
Региональная информатика РИ-2010: Труды международной конференции
СПб
2010
Miloslavskaya, Vera; Trifonov, Peter
Fast interpolation in algebraic soft decision decoding of Reed-Solomon codes
Proceedings of IEEE R8 International Conference on Computational Technologies in Electrical and Electronics Engineering , page 65-69.
2010
Trifonov, Peter
Another Derivation of Wu List Decoding Algorithm and Interpolation in Rational Curve Fitting
Proceedings of IEEE R8 International Conference on Computational Technologies in Electrical and Electronics Engineering , page 59-64.
2010
Export as:
BibTeX, XML