Search Results

Suggested Topics within your search.
Refine Results
  1. 280581
    Cover Image

    Peterson's Algorithm total correctness proof in IPCL by A. A. Zhygallo

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  2. 280582
    Cover Image

    Correctness Property Proof for the Banking System for Money Transfer Payments by Yu. A. Ostapovska, T. V. Panchenko, N. V. Polishchuk, M. O. Kartavov

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  3. 280583
    Cover Image

    Transformation of the legacy code on Fortran for scalability and cloud computing by Yu. Doroshenko, V. D. Khavriuchenko, Ye. M. Tulika, K. A. Zhereb

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  4. 280584
    Cover Image

    On the problem of stability of a motion of essentially nonlinear systems by A. A. Martyniuk, V. O. Cherniienko

    Published 2021
    Get full text
    Article

    Save to List
    Saved in:
  5. 280585
    Cover Image

    Methods of parallel computing for multilevel fuzzy Takagi – Sugeno systems by C. V. Yershov, R. M. Ponomarenko

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  6. 280586
    Cover Image

    Machine-learning methods for text named entity recognition by O. O. Marchenko

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  7. 280587
    Cover Image

    Method of forming multi-leveled sequential patterns by A. V. Moldavskaja

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  8. 280588
    Cover Image

    Application of deep learning and computer vision frameworks for solving video context prediction problem by D. Voloshyn

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  9. 280589
    Cover Image

    Fuzzy probability and fuzzy events by O. I. Provotar, O. V. Vasylenko, O. O. Provotar

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  10. 280590
    Cover Image

    Modeling technology based on fuzzy object-oriented Bayesian belief networks by S. V. Yershov, F. V. Kostukevych

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  11. 280591
    Cover Image

    Semantic Wiki-resources and their use for the construction of personalized ontologies by Ju. V. Rogushina

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  12. 280592
    Cover Image

    Usage of AI-planning techniques to solve problems of Web-services composition by O. V. Zakharova

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  13. 280593
    Cover Image

    Utilization of open Wiki resource user activity for ontological model development by Yu. V. Rohushyna, Yu. Hryshanova

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  14. 280594
    Cover Image

    Extension the UML specification for modeling semantic objects by O. V. Novytskyi

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  15. 280595
    Cover Image

    On the influence of finite initial deformations on the surface instability of incompressible elastic layer interacting with the halfspace of a viscous compressible fluid by O. M. Bahno

    Published 2021
    Get full text
    Article

    Save to List
    Saved in:
  16. 280596
    Cover Image

    Problem of data analysis and forecasting using decision trees method by T. I. Lytvynenko

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  17. 280597
    Cover Image

    Contact Center Load Forecasting and Operator Schedule Planning by K. O. Chernichenko, A. M. Kapkanets, T. V. Panchenko

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  18. 280598
    Cover Image

    The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials by Yu. V. Krak, O. V. Barmak, O. V. Mazurets

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  19. 280599
    Cover Image

    Development of Meteorological forecasting web portal on multiprocessor platform by O. H. Beketov, Ye. A. Vitriak, I. O. Myronenko, O. M. Ovdii

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  20. 280600
    Cover Image

    Simulations of hypertrophied heart's hemodynamics by R. D. Grigorjan, T. V. Aksenova

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: