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


2018, Volume 25, Number 6  


Program Semantics, Specification and Verification
Even simple processes of $\pi$-calculus are hard for analysis
M. M. Abbas, V. A. Zakharov
589
Verification oriented process ontology
N. O. Garanina, I. S. Anureev, O. I. Borovikova
607
Translation from Event-B into Eiffel
S. Reznikova, V. Rivera, J. Y. Lee, M. Mazzara
623
Platform-independent specification and verification of the standard mathematical square root function
N. V. Shilov, D. A. Kondratyev, I. S. Anureev, E. V. Bodin, A. V. Promsky
637

Signal Analysis
Application of neural networks for recognizing rail structural elements in magnetic and eddy current defectograms
E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin
667

Computational Geometry
On some problems for a simplex and a ball in ${\mathbb R}^n$
M. V. Nevskii
680
Singular points of curves
A. D. Uvarov
692

Process Modeling
Application of genetic algorithms for finding edit distance between process models
A. A. Kalenkova, D. A. Kolesnikov
711

Thesauri
Word embedding for semantically relative words: an experimental study
M. S. Karyaeva, P. I. Braslavski, V. A. Sokolov
726
Моделирование и анализ информационных систем
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019