RUS  ENG
Full version
JOURNALS // Program Systems: Theory and Applications // Archive

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

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
A cortical based model for contour completion on the retinal sphere
A. Mashtakov, R. Duits
231

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
On two types of time-referring expressions
E. A. Suleymanova
209
TimeML markup language for Russian. Future outlook
N. S. Lando
249
The actuality modality in the framework of the information extraction for texts written in a natural language
S. R. Egikian, E. A. Suleymanova
267
Parallel program system for HIL experiments on visual navigation of unmanned aerial vehicles
D. N. Stepanov
287
Data-flow processing of data from surveillance cameras for objects detection using distributed data processing system by image segmentation
E. S. Ivanov
305
Fire safety signs detection and classification by applying neural network
A. E. Kiryushina
317
Bypass obstacles mobile technical unit using stereo vision
A. V. Smirnov, A. Yu. Bezzubtsev
331

Mathematic Modeling
Method of picking a component with an intermediate evaporation temperature out of multicomponent mixture using two fractionating columns
I. A. Sukin
21
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

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

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
Etherbox32vm virtual machine
Yu. V. Shevchuk, A. Yu. Shevchuk
119
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


© Steklov Math. Inst. of RAS, 2025