Search Results - "formalization"

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

    A method of formalizing the making decision process based on the theory of threshold elements by Azarova, A. O., Roik, A. M., Poplavskiy, A. V., Pavlovskiy, P. V., Tkachuk, A. P.

    Published 2018

    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    The software tool of constructive-synthesizing modeling by Shynkarenko, V.I., Chyhir, R.R.

    Published in PROBLEMS IN PROGRAMMING (2024)

    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Algebraic approach to the analysis of legal documents by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

    Published in PROBLEMS IN PROGRAMMING (2023)

    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    Economic and Mathematical Model of Formally Formed Prices for Power Sector by Dobrovolsky V.K.

    Published 2000
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    ANTHILL: a progressive formalization language for agent-supported software projects by Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.

    Published in PROBLEMS IN PROGRAMMING (2026)

    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    Formal functional calculus for copolynomials over a commutative ring by Gefter, Sergiy L., Piven', Aleksey L.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment by Zubok, V. Yu.

    Published 2019

    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    Cover Image

    A resource limited parallel program model by Rahozin, D.V.

    Published in PROBLEMS IN PROGRAMMING (2019)

    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Cover Image

    FRACTAL RADIOPHYSICS. 1. THEORETICAL BASES by Lazorenko, O. V., Chernogor, L. F.

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Cover Image

    General formal local cohomology modules by Rezaei, Sh.

    Published 2021
    Get full text
    Article

    Save to List
    Saved in:
  11. 11
    Cover Image

    Formal semantics and analysis of tokenomics properties by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

    Published in PROBLEMS IN PROGRAMMING (2023)

    Get full text
    Article

    Save to List
    Saved in:
  12. 12
    Cover Image

    Semantic approach to automated formation of information security systems documentation by Bova, Yu.V., Yatsenko, O.A.

    Published in PROBLEMS IN PROGRAMMING (2026)

    Get full text
    Article

    Save to List
    Saved in:
  13. 13
    Cover Image

    Algebraic modeling in international and local service logistical systems by Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.

    Published in PROBLEMS IN PROGRAMMING (2021)

    Get full text
    Article

    Save to List
    Saved in:
  14. 14
    Cover Image

    Formal theory model in the form of commutative semigroup of image constructions by Бисикало, Олег Владимирович, Кравчук, Ирина Анатольевна, Кириленко, Анна Александровна

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  15. 15
    Cover Image

    Formal theory model in the form of commutative semigroup of image constructions by Бисикало, Олег Владимирович, Кравчук, Ирина Анатольевна, Кириленко, Анна Александровна

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  16. 16
    Cover Image

    An automated analysis of the patient’s condition and assessment of medical sessions (hypoxic therary). by Poliagushko, L. G.

    Published 2019

    Get full text
    Article

    Save to List
    Saved in:
  17. 17
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  18. 18
    Cover Image

    Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  19. 19
    Cover Image

    The definition of formal languages in the meta language of normal forms of knowledge by Kurgaev, A.F., Grygoryev, S.M.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  20. 20
    Cover Image

    Methods and software for significant indicators determination of the natural language texts author profile by Shynkarenko, V.I., Demydovych, I.M.

    Published in PROBLEMS IN PROGRAMMING (2023)

    Get full text
    Article

    Save to List
    Saved in:

Search Tools: