22 citations
- Innopolis UniversityRU2 papers
- Institute of Informatics ProblemsRU2 papers
- Institute of Informatics of the Slovak Academy of SciencesSK1 paper
- Lomonosov Moscow State UniversityRU1 paper
- Madan Bhandari University of Science and Technology1 paper
- National Research University Higher School of EconomicsRU1 paper
- Nepal Academy of Science and TechnologyNP1 paper
- Ural Federal UniversityRU1 paper
3 papers
cs.CL2022★ 22 cited
NEREL-BIO: A Dataset of Biomedical Abstracts Annotated with Nested Named Entities
Natalia Loukachevitch, Suresh Manandhar, Elina Baral +5
This paper describes NEREL-BIO -- an annotation scheme and corpus of PubMed abstracts in Russian and smaller number of abstracts in English. NEREL-BIO extends the general domain da…
cs.LO2018★ 2 cited
Towards platform-independent verification of the standard mathematical functions: the square root function
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev +2
The paper presents (human-oriented) specification and (pen-and-paper) verification of the square root function. The function implements Newton method and uses a look-up table for i…
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…