Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kosovskaya, Tatiana Matveevna
Statistics Math-Net.Ru
Total publications: 10
Scientific articles: 10

Number of views:
This page:537
Abstract pages:2003
Full texts:921
References:317
Associate professor
Doctor of physico-mathematical sciences (2010)
Speciality: 05.13.17 (Theoretical foundation for informatics)
Birth date: 14.03.1952
E-mail:
Keywords: pattern recognition, predicate calculus, complexity of algorithms.
UDC: 004.93.51

Subject:

Logical methods in pattern recognition, Complexity of algorithms.

Biography

1974 — graduated from faculty of Mathematics and Mechanics of Leningrad State University;
1987 — PhD in Mathematics;
2010 — Doctoral degree in Informatics.
   
Main publications:
  1. Kossovskaya T.M., “Proofs of the number of steps bounds for solving of some pattern recognition problems with logical description”, Vestnik of St-Petersburg University. Ser. 1, 2007, № 4, 82–90
  2. Kossovskaya T.M., “Level descriptions of classes for decreasing of step number of solving of a pattern recognition problem described by propositional formulas”, Vestnik of St-Petersburg University. Ser. 1, 2008, № 1, 29–37
  3. Kossovskaya T.M., “Level descriptions of classes for decreasing of step number of solving of a pattern recognition problem described by predicate calculus formulas”, Vestnik of St-Petersburg University. Ser. 10, 2008, № 1, 64–72
  4. Kossovskaya T. M., “Partial deduction of a predicate formula as an instrument for recognition of an object with incomplete description”, Vestnik of St-Petersburg University. Ser. 10, 2009, № 3, 74–84

https://www.mathnet.ru/eng/person60305
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2022
1. T. M. Kosovskaya, N. N. Kosovskii, “Extraction of common properties of objects for creation of a logic ontology”, Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 18:1 (2022),  37–51  mathnet  mathscinet 1
2021
2. T. M. Kosovskaya, “Isomorphism of predicate formulas in artificil intelligence problems”, Zap. Nauchn. Sem. POMI, 499 (2021),  38–52  mathnet
2017
3. T. M. Kosovskaya, D. A. Petrov, “Extraction of a maximal common sub-formula of predicate formulas for the solving of some artificial intelligence problems”, Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 13:3 (2017),  250–263  mathnet  elib 5
2015
4. T. M. Kosovskaya, “Self-training Network with the Sells Implementing Predicate Formulas”, Tr. SPIIRAN, 43 (2015),  94–113  mathnet 3
5. N. D. Petukhova, T. M. Kosovskaya, “Application of Ant algorithms to the solving of some artificial intelligence problems”, Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2015, no. 3,  67–82  mathnet  elib
2014
6. T. M. Kosovskaya, “An Approach to the Construction of a Level Description of Classes by Means of a Predicate Calculus Language”, Tr. SPIIRAN, 34 (2014),  204–217  mathnet 3
2013
7. A. V. Timofeev, T. M. Kosovskaya, “Neural Methods for Complex Images Logic Description and Recognition”, Tr. SPIIRAN, 27 (2013),  144–155  mathnet 4
8. T. M. Kosovskaya, M. A. Vlasova, “The use of Prolog language family for image recognition”, Tr. SPIIRAN, 25 (2013),  277–293  mathnet 1
2011
9. T. M. Kosovskaya, “Display screne image recognition and bounds of number of steps of an algorithm in the frameworks of logic-objective recognition system”, Tr. SPIIRAN, 19 (2011),  159–175  mathnet
2010
10. T. M. Kosovskaya, “Some artificial intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps”, Tr. SPIIRAN, 14 (2010),  58–75  mathnet 6

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024