Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review by Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel

Subjects: “…ERC standards…”
Get full text

Creation of model libraries in the region as one of ways to improve life quality of population of the Omsk region by E. V. Medvedev

Subjects: Get full text

Had + Have : une étrange construction grammaticale by Patrice Larroque

Subjects: Get full text

On Hilbert polynomial of certain determinantal ideals by Shrinivas G. Udpikar

Subjects: “…standard bi-tableaux…”
Get full text

GIS Based Spatiotemporal Comparation Between SPI and CZI Drought Index: A Case Study of Burdur Lake Basin by Erhan Şener, Şehnaz Şener

Subjects: Get full text

Risk management system in Russian design organizations: rationale for implementation by A. O. Postolakiy, A. V. Savin

Subjects: Get full text

Rapid analysis of fifteen sulfonamide residues in pork and fish samples by automated on-line solid phase extraction coupled to liquid chromatography–tandem mass spectrometry by Junmei Ma, Sufang Fan, Lei Sun, Liangna He, Yan Zhang, Qiang Li

Subjects: Get full text

Comparative analysis of approaches to assessing the market cost of business in domestic and foreign practice by El. N. Gavrilova, D. N. Hasjanova

Subjects: Get full text

PROFESSIONAL KNOWLEDGE AND PROFESSIONAL COMPETENCIES IN HIGHER EDUCATION by E. K. Khenner

Subjects: “…federal state educational standards (fses)…”
Get full text

Simultaneous determination of 11 kinds of siloxanes in drinking water and source water using solid-phase microextraction combined with gas chromatography-mass spectrometry by Sijie Liu, Jie Ma, Su Jiang

Subjects: Get full text

Alcohol in Daily Products: Health Risks, Cultural Considerations, and Economic Impacts by Herdiana Y

Subjects: “…ethanol safety standards…”
Get full text

A new approach to the study of the size and the geometry effect on compressive strength in concrete by Ángel De La Rosa, Gonzalo Ruiz

Subjects: Get full text

First true blood pressure measurement with micropulse detection of arterial opening achieved by Alan Murray, Dingchang Zheng, Clive J. Griffiths, Chengyu Liu, David J. Graham, Jeff Neasham, Adrian J. Cossor

Subjects: Get full text

Life cycle greenhouse gas emissions of hydrogen imported by maritime transportation: A South Korean case study by Gyuna Kwak, Juha Lee, Yujin Jung, Wonjae Choi

Subjects: Get full text

Development of an effective risk reduction system at food industry enterprises by I. P. Mitrofanova, D. A. Rizak, V. A. Bagin

Subjects: Get full text

Dynamics of socio-economic indicators development of federal districts of Russia by N. A. Gerasimenko

Subjects: Get full text

Institutional Support of Continuing Engineering Education by O. V. Budzinskaya, V. S. Sheinbaum

Subjects: Get full text

The global, regional, and national burden of oral cancer, 1990–2021: a systematic analysis for the Global Burden of Disease Study 2021 by Junmeng Wu, He Chen, Yingjun Liu, Ruotong Yang, Na An

Subjects: Get full text

Problematics, Tasks and Prospects of Education Development in the Corporate Governance Area in the Russian High School by O. Yu. Kirillova

Subjects: Get full text

Bottleneck Problems and Countermeasures in Operation and Maintenance of Non-Point Source Pollution Ecological Treatment Projects in China by Yungeng Jiang, Jing Zhang, Xiaoxin Liu, Han Liu, Yurui Ma, Wanhui Wang, Shaoyong Lu

Subjects: Get full text