Skip to main content

Showing 1–3 of 3 results for author: Elizarov, A

Searching in archive cs. Search in all archives.
.
  1. arXiv:1912.13290  [pdf

    eess.IV cs.CV physics.med-ph

    Automatic segmentation and determining radiodensity of the liver in a large-scale CT database

    Authors: N. S. Kulberg, A. B. Elizarov, V. P. Novik, V. A. Gombolevsky, A. P. Gonchar, A. L. Alliua, V. Yu. Bosin, A. V. Vladzymyrsky, S. P. Morozov

    Abstract: This study proposes an automatic technique for liver segmentation in computed tomography (CT) images. Localization of the liver volume is based on the correlation with an optimized set of liver templates developed by the authors that allows clear geometric interpretation. Radiodensity values are calculated based on the boundaries of the segmented liver, which allows identifying liver abnormalities… ▽ More

    Submitted 31 December, 2019; originally announced December 2019.

    Comments: 16 pages, 8 figures

  2. arXiv:1702.05112  [pdf, ps, other

    cs.DL cs.AI

    OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management

    Authors: Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova

    Abstract: In this article we consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies. These solutions form the basis of a specialized digital ecosystem OntoMath which consists of the ontology of the logical structure of mathematical documents Mocassin and ontology of mathematical knowledge OntoMathPRO, tools of text analysis, recom… ▽ More

    Submitted 16 February, 2017; originally announced February 2017.

    MSC Class: 68T30 ACM Class: H.3.7

  3. arXiv:1408.6806  [pdf, ps, other

    cs.AI cs.DL cs.IR

    Mathematical Knowledge Representation: Semantic Models and Formalisms

    Authors: Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova, Valery Solovyev, Nikita Zhiltsov

    Abstract: The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.

    Submitted 29 August, 2014; v1 submitted 28 August, 2014; originally announced August 2014.

    Comments: 10 pages, Lobachevskii J. of Mathematics, 2014, V.35, No 4

    MSC Class: 68T30 ACM Class: I.2.4