Institute of Informatics Problems

output

20072022

Λ_{b}

baryons in the relativistic quark model

69 citations

researchers with a paper here

V. Korolev6 profiles13 · h 19
A. Zeifman2 profiles10 · h 21
A. Gorshenin2 profiles5 · h 9
R. Faustov4 · h 40
A. Korchagin3 · h 4
V. Galkin3 · h 38
Y. Satin3 · h 12
A. Chertok2 · h 3
I. Rozhkov2 · h 4
Natalia V. Loukachevitch2 · h 20
Tatiana Batura2 · h 9
V. Ivanov2 · h 6

collaborating institutions

Lomonosov Moscow State UniversityRU13 papers
Vologda State UniversityRU7 papers
Russian Academy of SciencesRU6 papers
Federal Research Center “Computer Science and Control” of the Russian Academy of SciencesRU5 papers
Institute of Socio-Economic Development of TerritoriesRU5 papers
Hangzhou Dianzi UniversityCN4 papers
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences3 papers
National Research University Higher School of EconomicsRU3 papers
Innopolis UniversityRU2 papers
Novosibirsk State UniversityRU2 papers
University of WarwickGB2 papers
Ajou UniversityKR1 paper

Showing cs.AIShow all

1 paper · 1 filter

cs.AI2014

An Approach to Model Checking of Multi-agent Data Analysis

Natalia Garanina, Eugene Bodin, Elena Sidorova

The paper presents an approach to verification of a multi-agent data analysis algorithm. We base correct simulation of the multi-agent system by a finite integer model. For verific…