A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences

output

20122022

most citedNEREL-BIO: A Dataset of Biomedical Abstracts Annotated with Nested Named Entities

22 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Alexander V. Kalyuzhnyuk1 · h 2
A. V. Promsky1 · h 2
D.S. Kondratev1 · h 1
Elena Tutubalina1 · h 8
Elina Baral1 · h 2
E. Sidorova1 · h 8
E. V. Bodin1 · h 2
I. Anureev1 · h 10
I. Rozhkov1 · h 4
I. Taimanov1 · h 26
Luca Motto Ros1
M. Andreeva1 · h 6

collaborating institutions

Institute of Informatics ProblemsRU3 papers
Innopolis UniversityRU2 papers
Gazprom (Russia)RU1 paper
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
Novosibirsk State UniversityRU1 paper
Peter the Great St. Petersburg Polytechnic UniversityRU1 paper
Russian Academy of SciencesRU1 paper
Siberian Branch of the Russian Academy of SciencesRU1 paper

Showing 2018 · cs.LOShow all

1 paper · 2 filters

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…