Formal semantics and analysis of tokenomics properties
Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same time, the most difficult task for each project is the creation of a self-governi...
Збережено в:
| Дата: | 2023 |
|---|---|
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2023
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/515 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Molecular modeling in the radiation therapy. The algebraic approach
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)
Insertion semantics of quantum interactions
за авторством: Tarasich, Yu.G., та інші
Опубліковано: (2023)
за авторством: Tarasich, Yu.G., та інші
Опубліковано: (2023)
Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
Neuro-symbolic approach for the biological systems and processes research
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2024)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2024)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
Packing non-equal hyperspheres into a hypersphere of minimal radius
за авторством: Yaskov, G. N.
Опубліковано: (2014)
за авторством: Yaskov, G. N.
Опубліковано: (2014)
Packing non-equal hyperspheres into a hypersphere of minimal radius
за авторством: Yaskov, G. N.
Опубліковано: (2014)
за авторством: Yaskov, G. N.
Опубліковано: (2014)
А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment
за авторством: Zubok, V. Yu.
Опубліковано: (2019)
за авторством: Zubok, V. Yu.
Опубліковано: (2019)
A balanced layout problem of cylinders in a cylindrical container of the minimal radius
за авторством: Панкратов, А. В., та інші
Опубліковано: (2015)
за авторством: Панкратов, А. В., та інші
Опубліковано: (2015)
A balanced layout problem of cylinders in a cylindrical container of the minimal radius
за авторством: Панкратов, А. В., та інші
Опубліковано: (2015)
за авторством: Панкратов, А. В., та інші
Опубліковано: (2015)
Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
Equilibrium Prices Model of the Energy Resources European Market
за авторством: Kulyk М.M., та інші
Опубліковано: (2002)
за авторством: Kulyk М.M., та інші
Опубліковано: (2002)
Economic and Mathematical Model of Formally Formed Prices for Power Sector
за авторством: Dobrovolsky V.K.
Опубліковано: (2000)
за авторством: Dobrovolsky V.K.
Опубліковано: (2000)
Packing convex homothetic polytopes into a cuboid
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
Packing convex homothetic polytopes into a cuboid
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
Development of the information system for semantic identification and documentation of the results of non-formal and informal education
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)
Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)
Use of metods of algebraic programming for the formal verification of legal acts
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
Modeling of competitive equilibrium at the electricity market with regard for energy losses in electric networks
за авторством: Saukh S.Ye., та інші
Опубліковано: (2016)
за авторством: Saukh S.Ye., та інші
Опубліковано: (2016)
Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
Semantic approach to automated formation of information security systems documentation
за авторством: Bova, Yu.V., та інші
Опубліковано: (2026)
за авторством: Bova, Yu.V., та інші
Опубліковано: (2026)
Methodology to Solve Optimal Placement Problems for 3D Objects
за авторством: Chuhai, Andrii M., та інші
Опубліковано: (2025)
за авторством: Chuhai, Andrii M., та інші
Опубліковано: (2025)
Methodology to Solve Optimal Placement Problems for 3D Objects
за авторством: Chuhai, Andrii M., та інші
Опубліковано: (2025)
за авторством: Chuhai, Andrii M., та інші
Опубліковано: (2025)
Game theoretic modeling of AIMD network equilibrium
за авторством: Ignatenko, O.P.
Опубліковано: (2018)
за авторством: Ignatenko, O.P.
Опубліковано: (2018)
Cascade model of X-ray M emission for the atoms of heavy metals
за авторством: Borovoy, M.O., та інші
Опубліковано: (2012)
за авторством: Borovoy, M.O., та інші
Опубліковано: (2012)
Integration of large language models with semantic processing tools as an instrument for knowledge digitization
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2025)
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2025)
Formal functional calculus for copolynomials over a commutative ring
за авторством: Gefter, Sergiy L., та інші
Опубліковано: (2025)
за авторством: Gefter, Sergiy L., та інші
Опубліковано: (2025)
Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)
Forecast of optimal strategies for TPP under conditions of the uncertainty of the daily load schedule of Ukraine’s integrated power system
за авторством: Bogoslavska O.Yu.
Опубліковано: (2012)
за авторством: Bogoslavska O.Yu.
Опубліковано: (2012)
Game-theory analysis of multi-processor schedulers. Simulation model
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2018)
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2018)