RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


2014, Volume 21, Number 2  


Method of Anti-Virus Protection Based on $(n,t)$ Threshold Proxy Signature with an Arbitrator
E. A. Tolyupa
5
On the Recursive-Parallel Programming for the .NET Framework
V. V. Vasilchikov
15
Construction of PLC IL-Programs by LTL-Specification
D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov
26
Fast Multiplication of a Matrix with Large Multiplicative Order by a Vector Over a Finite Field
D. M. Ivanov
39
Some Residual Properties of Finite Rank Groups
D. N. Azarov
50
Equivalence Problem Solvability in Gateway Program Models
R. I. Podlovchenko, A. E. Molchanov
56
Non-Classical Relaxation Oscillations in Neurodynamics
S. D. Glyzin, A. Yu. Kolesov, N. Kh. Rozov
71
Reducibility of the Moduli Space of Stable Rank $2$ Reflexive Sheaves with Chern Classes $c_1=-1$, $c_2=4$, $c_3=2$ on Projective Space $\mathbb{P}^3$
A. S. Tikhomirov, M. A. Zavodchikov
90
Моделирование и анализ информационных систем
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019