Search Results - "Larionov, Aleksandr"

Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas by Davydov, Artem, Larionov, Aleksandr, Nagul, Nadezhda

“…This paper establishes a connection between control theory for partially observed discrete-event systems (DESs) and automated theorem proving (ATP) in the…”
Get full text

On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems by Davydov, Artem, Larionov, Aleksandr A., Nagul, Nadezhda V.

“…The article is devoted to the development of an approach to solving the main problems of the theory of supervisory control of logical discrete-event systems…”
Get full text

Credit Behavior of Russian Citizens during the COVID-19 Pandemic by Larionov, Aleksandr V

“…In a period of large-scale challenges, lending plays a special role in maintaining macroeconomic stability. The Bank of Russia has the authority to develop…”
Get full text

РОЛЬ ПОВЕДЕНЧЕСКОГО ЦИКЛА В ЭКОНОМИКЕ by Maslennikov, Vladimir V, Larionov, Aleksandr V

“…This study introduces and empirically confirms the concept of a behavioral cycle, which reflects the change in the prevalent attitude of economic actors…”
Get full text

Metamorphic history of the Precambrian lower cratonic crust from U-Pb dating of granulite xenoliths (Anabar province, Siberia) by Koreshkova, Marina, Downes, Hilary, Stifeeva, Maria, Salnikova, Ekaterina, Plotkina, Yulia, Akimova, Ekaterina, Peytcheva, Irena, Dimitrova, Dimitrina, Macheva, Lubomira, Larionov, Aleksandr, Sergeev, Sergey

“…Garnet granulite xenoliths from the Nurbinskaya diatreme in the central part of the Archean Anabar province in Siberia are fragments of the local lower crust…”
Get full text

Geochronology of Metamorphic Events in the Lower Crust beneath NW Russia: a Xenolith Hf Isotope Study by Koreshkova, Marina, Downes, Hilary, Millar, Ian, Levsky, Lev, Larionov, Aleksandr, Sergeev, Sergey

Get full text

Methodological Approach to the Organization of Monitoring of Cash Flow Volatility by Larionov, A. V.

“…The study presents the author’s approach to monitoring the volatility of cash flows. The relevance of the study is due to the fact that a high increase in…”
Get full text

Impact of the behavioral Cycle on Cash Flow Formation by Maslennikov, V. V., Larionov, A. V.

“…This study highlights the mechanisms of the behavioral cycle impact on the cash flows generation. The need to develop original approaches to the analysis of…”
Get full text

Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas by Davydov, Artem, Larionov, Aleksandr

“…The paper presents an approach to constructing plans for a group of Lego MindStorm robots, moving small blocks to the target area. The approach is based on…”
Get full text

Роль поведенческого цикла в экономике by Владимир Владимирович Масленников, Александр Витальевич Ларионов

“…Исследование раскрывает и эмпирически подтверждает концепцию поведенческого цикла, отражающего изменение доминирующих настроений экономических субъектов…”
Get full text

Trace element and age characteristics of zircons in granulite xenoliths from the Udachnaya kimberlite pipe, Siberia by Koreshkova, Marina Yu, Downes, Hilary, Nikitina, Larissa P., Vladykin, Nikolay V., Larionov, Aleksandr N., Sergeev, Sergey A.

“…Trace element and SHRIMP U–Pb geochronological data are presented for zircons from granulite xenoliths from the Devonian Udachnaya kimberlite pipe, situated in…”
Get full text

On Checking Observability of Formal Languages in DES Control Problems by Davydov, Artem, Larionov, Aleksandr, Nagul, Nadezhda

“…The paper describes a new approach to checking the observability of formal regular languages. As well known, the observability is a crucial property for…”
Get full text

Positively Constructed Formulas-Based Approach to Mobile Robot Control Using DES by Davydov, Artem, Larionov, Aleksandr, Nagul, Nadezhda

“…The paper describes the principles of the implementation of supervisors for discrete event systems, designed with the help of automatic theorem proving in the…”
Get full text

On Checking Controllability of Specification Languages for DES by Davydov, Artem, Larionov, Aleksandr, Nagul, Nadezhda

“…The paper provides further development of the authors' original approach to the representation and properties checking of discrete event systems. The approach…”
Get full text

The formal logic approach for checking the observability of a specification language on DES functioning by Davydov, Artem, Larionov, Aleksandr, Nagul, Nadezhda

“…Using the new approach to the formalization of controlled discrete-event systems (DES), based on positively constructed formulas (PCFs) calculus, the algorithm…”
Get full text

The formal description of discrete-event systems using positively constructed formulas by Davydov, Artem, Larionov, Aleksandr, Nagul, Nadezhda

“…The approach to the first-order logic formalization of discrete-event systems based on the positively constructed formulas calculus is presented. Main concepts…”
Get full text