Program Systems: Theory and Applications
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Program Systems: Theory and Applications:
Year:
Volume:
Issue:
Page:
Find






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


2016, Volume 7, Issue 4  


Hardware, software and distributed supercomputer systems
The Ajl programming language: the automatic dynamic parallelization for the JVM platform
A. I. Adamovich
83–117

Optimization Methods and Control Theory
Asymptotics of a section by a plane of the sub-Riemannian sphere on the Engel group near abnormal trajectory
A. Yu. Popov
161–176
A cortical based model for contour completion on the retinal sphere
A. Mashtakov, R. Duits
231–247

Artificial Intelligence, Intelligent Systems, Neural Networks
Complex time expressions recognition problem in application to automatic information extraction from Russian texts
N. A. Vlasova, A. V. Podobryaev
177–195
On two types of time-referring expressions
E. A. Suleymanova
209–229
TimeML markup language for Russian. Future outlook
N. S. Lando
249–265
The actuality modality in the framework of the information extraction for texts written in a natural language
S. R. Egikian, E. A. Suleymanova
267–286
Parallel program system for HIL experiments on visual navigation of unmanned aerial vehicles
D. N. Stepanov
287–303
Data-flow processing of data from surveillance cameras for objects detection using distributed data processing system by image segmentation
E. S. Ivanov
305–316
Fire safety signs detection and classification by applying neural network
A. E. Kiryushina
317–329
Bypass obstacles mobile technical unit using stereo vision
A. V. Smirnov, A. Yu. Bezzubtsev
331–346

Mathematic Modeling
Method of picking a component with an intermediate evaporation temperature out of multicomponent mixture using two fractionating columns
I. A. Sukin
21–47
Analysis of the behavior active-adaptive voltage control system in case of failure one of the software modules
M. O. Balaev, V. V. Vlasyuk, G. A. Kardashev, S. V. Aleshin
49–64

Mathematical Foundations of Programming
Local computations in system theory and VLDB
N. N. Nepejvoda
145–160
Approximation of the longest common subsequence length for two long random strings
S. V. Znamenskij
347–358
Direct-flow adder program simulation
M. M. Khatkevich
359–367

Hardware and Software for Supercomputers
Immersion cooling system for FPGA-based reconfigurable computer systems
I. I. Levin, A. I. Dordopulo, Y. I. Doronchenko, M. K. Raskladkin, A. M. Fedorov
65–81
Etherbox32vm virtual machine
Yu. V. Shevchuk, A. Yu. Shevchuk
119–143
State of the art and development prospects of the Shared Resource Center "Far Eastern Computing Resource" IACP FEB RAS
D. I. Kharitonov, G. V. Tarasov, D. V. Leontyev, R. V. Parakhin, V. V. Gribova
197–208
Program Systems: Theory and Applications
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026