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


2017, Volume 8, Issue 2  


Hardware, software and distributed supercomputer systems
Computer tools for analysis of transcriptomics data: program complex ExpGene
A. M. Spitsina, A. O. Bragin, A. I. Dergilev, I. V. Chadaeva, N. N. Tverdokhleb, E. R. Galieva, L. E. Tabikhanova, Yu. L. Orlov
45–68

Optimization Methods and Control Theory
Degenerate optimal control problems for nonuniform discrete systems
I. V. Rasina, O. V. Fesko
3–18

Mathematic Modeling
Data generation for the problem of diagnostics of space systems
S. A. Amelkin, O. G. Shishkin, A. A. Talalaev
19–31
Choice–thermodynamically optimal sequence of separation of multicomponent systems that use mechanical energy
V. S. Hovsepyan, A. M. Tsirlin
33–44

Mathematical Foundations of Programming
Verification of logical consequence, using the calculus of constituent sets and correspondences of Galois
Yu. M. Smetanin
69–93
Program Systems: Theory and Applications
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025