Trustworthy Formal Natural Language Specifications

Autor: Gordon, Colin S., Matskevich, Sergey

Publikováno v: Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! '23)

Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However, this only validates truth of a formal claim, which may have been mis

Externí odkaz: http://arxiv.org/abs/2310.03885

Baryonia with open and hidden strange

Autor: Gerasyuta, S. M., Matskevich, E. E.

The relativistic six-quark equations are found in the framework of the dispersion relation technique. The strange baryonia are constructed without the mixing of the quarks and antiquarks. The relativistic six-quark amplitudes of the strange baryonia

Externí odkaz: http://arxiv.org/abs/2001.09487

Models and algorithms for decision support and their use in the simulator training of air traffic control specialists

Autor: A. M. Matskevich

Publikováno v: Научный вестник МГТУ ГА, Vol 25, Iss 5, Pp 25-36 (2022)

The organization of safe and efficient transportation of goods and passengers by air requires the rationalization of the air traffic control system. It is from the operating results of this system that all the qualitative characteristics of the trans

Externí odkaz: https://doaj.org/article/a180a50070ef4053aeef5ce60e3cd522

Data-driven model for real-time evaluating capacity of commercial buildings to participate in the demand response

Autor: Belikov Juri, Matskevich Aliaksei, Kose Ahmet, Petlenkov Eduard

Publikováno v: E3S Web of Conferences, Vol 562, p 04001 (2024)

The collective building stock is a major energy consumer, driving political discussions and forcing building owners to seek out cost-effective technologies. This creates a business opportunity in demand response (DR) services for commercial real esta

Externí odkaz: https://doaj.org/article/260bee57ca524aa1a8684f56eb636bbf

Solution enthalpies of barium cerates co-doped by rare-earth elements and indium

Autor: Matskevich, N. I., Wolf, Th., Semerikova, A. N., Anyfrieva, O. I., Matskevich, M. Yu., Vyazovkin, I. V.

The dissolution enthalpies of BaCe0.7Ho0.2In0.1O2.85 and BaCe0.7Sm0.2In0.1O2.85 were measured by method of solution calorimetry in 1M hydrochloric acid with adding 0.1 M KI. The obtained data were compared with earlier measured data on dissolution en

Externí odkaz: http://arxiv.org/abs/1612.04036