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 1  


Hardware, software and distributed supercomputer systems
HPC platform for oil&gas industry
E. V. Biryal'tsev, P. B. Bogdanov, M. R. Galimov, D. E. Demidov, A. M. Elizarov
15
Effective use of discrete optimization solvers in cloud infrastructure on the basis of heuristic decomposition of the initial problem by optimization modeling system AMPL
S. A. Smirnov, V. V. Voloshinov
29
Parallel multiple-precision arithmetic based on residue number system
K. S. Isupov, V. S. Knyazkov
61
The use of container virtualization in the organization of high-performance computing
A. V. Baranov, D. S. Nikolaev
117

Optimization Methods and Control Theory
Turnpike solutions in the problem of excitation transfer along a spin chain
V. I. Gurman, I. V. Rasina
3
The sensitivity of the solution of some optimization problems with perturbation
A. O. Blinov, M. G. Dmitriev
47
Global control improvement method for non-homogeneous discrete systems
V. I. Gurman, I. V. Rasina
171

Artificial Intelligence, Intelligent Systems, Neural Networks
Peculiarities of fine-grained factual information extraction from text
I. V. Trofimov
135
To the noun phrase recognition problem in application to automatic information extraction from Russian texts
N. A. Vlasova, A. V. Podobryaev
153

Mathematic Modeling
Mathematical model of liquid immersion cooling system for supercomputer
A. A. Akhremenkov, A. M. Tsirlin
187
Research and development of a control system for immersion cooling of a high-performance computing complex
S. A. Amelkin, S. V. Karpesh, A. D. Klementiev, A. A. Petrov
209

Mathematical Foundations of Programming
Non-paradoxical logical consequence and the problem of solving ML-equations
Yu. M. Smetanin
99
A picture of common subsequence length for two random strings over an alphabet of 4 symbols
S. V. Znamenskij
201
Program Systems: Theory and Applications
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2021