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–27
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–46
Parallel multiple-precision arithmetic based on residue number system
K. S. Isupov, V. S. Knyazkov
61–97
The use of container virtualization in the organization of high-performance computing
A. V. Baranov, D. S. Nikolaev
117–134

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

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

Mathematic Modeling
Mathematical model of liquid immersion cooling system for supercomputer
A. A. Akhremenkov, A. M. Tsirlin
187–199
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–219

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