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.

collaborating institutions

5 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…

physics.comp-ph2020★ 3 cited

Representative elementary volume via averaged scalar Minkowski functionals

M. V. Andreeva, A. V. Kalyuzhnyuk, V. V. Krutko +2

Representative Elementary Volume (REV) at which the material properties do not vary with change in volume is an important quantity for making measurements or simulations which repr…

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…

math.LO2012★ 14 cited

Wadge-like reducibilities on arbitrary quasi-Polish spaces

Luca Motto Ros, Philipp Schlicht, Victor Selivanov

The structure of the Wadge degrees on zero-dimensional spaces is very simple (almost well-ordered), but for many other natural non-zero-dimensional spaces (including the space of r…