Search Results - "Problems in programming"

Refine Results
  1. 21
    Cover Image

    Models of concurrent program running in resource constrained environment by D. Rahozin

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  2. 22
    Cover Image

    Static analysis of .NET programs using rewriting rules by H. A. Mamedov, Yu. Doroshenko, R. S. Shevchenko

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  3. 23
    Cover Image

    Domain engineering approach of software requirements analysis by O. V. Chebanyuk, O. V. Palahin, K. K. Markov

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  4. 24
    Cover Image

    Recognition of emotional expressions using the grouping crowdings of characteristic mimic states by O. V. Barmak, E. A. Manziuk, O. D. Kalyta, Yu. V. Krak, V. O. Kuznietsov, A. I. Kulias

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  5. 25
    Cover Image

    Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  6. 26
    Cover Image

    Elements of concrete algorithmics: computability and solvability by O. I. Provotar, O. O. Provotar

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  7. 27
    Cover Image

    Hybrid algorithm Newton method for solving systems of nonlinear equations with block Jacobi matrix by O. M. Khimich, V. A. Sydoruk, A. N. Nesterenko

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  8. 28
    Cover Image

    Decision support system for quality management in study process by N. O. Komleva, V. V. Liubchenko, S. L. Zinovatna

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  9. 29
    Cover Image

    Electronic demography decision making system by Ch. Nabibekova

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  10. 30
    Cover Image

    The impact of cloud services pricing on provider profit, consumer surplus, and social welfare by V. M. Horbachuk, S. O. Havrylenko

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  11. 31
    Cover Image

    Experience of the semantic technologies use for intelligent Web encyclopedia creation (on example of the Great Ukrainian Encyclopedia portal) by P. I. Andon, Yu. V. Rohushyna, Yu. Hryshanova, V. A. Reznichenko, A. M. Kyrydon, A. V. Aristova, A. O. Tyshchenko

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  12. 32
    Cover Image

    Knowledge bases and description logics applications to natural language texts analysis by H. I. Hoherchak

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  13. 33
    Cover Image

    Encryption system based on abelian groups and rings by S. L. Kryvyi

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  14. 34
    Cover Image

    Organizational and legal mechanisms of cybersecurity and cyber defense in Ukraine: essentiality, conditions and development prospects by A. I. Semenchenko, V. L. Pleskach, O. A. Zaiarnyi, M. V. Pleskach

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  15. 35
    Cover Image

    About an optimal control for a "predator-prey" system by S. V. Pashko

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  16. 36
    Cover Image

    Automated methods of coherence evaluation of Ukrainian texts using machine learning techniques by A. A. Kramov, S. D. Pohorilyi

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  17. 37
    Cover Image

    The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar by M. Kosovets, L. Tovstenko

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  18. 38
    Cover Image

    Neural networks' learning process acceleration by L. Katerynych, M. Veres, E. Safarov

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  19. 39
    Cover Image

    Method of information obtaining from ontology on the basis of a natural language phrase analysis by A. A. Litvin, Ju. Velichko, V. V. Kaverinskij

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  20. 40
    Cover Image

    Efficient increasing of the mutation score during model-based test suite generation by A. Kolchin, S. Potienko, T. Weigert

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: