391 - 400 out of 641Page size: 10
  1. 2016

  2. NP-completeness conditions for consistency verification of some types of systems of linear Diophantine dis-equations

    Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 1 Jul 2016, In: Vestnik St. Petersburg University: Mathematics. 49, 3, p. 243-247 5 p.

    Research output: Contribution to journal › Article › peer-review

  3. NP completeness conditions for verifying the consistency of several kinds of systems of linear Diophantine congruences and equations

    Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 1 Apr 2016, In: Vestnik St. Petersburg University: Mathematics. 49, 2, p. 111-114 4 p.

    Research output: Contribution to journal › Article › peer-review

  4. Partial Deduction in Predicate Calculus as a Tool for Artificial Intelligence Problem Complexity Decreasing

    Kosovskaya, T. M., 2 Feb 2016, Proceedings of the Seventh IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015. Institute of Electrical and Electronics Engineers Inc., p. 73-76 4 p. 7397199. (2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  5. Pedagogical methods for fundamental engineers training in modern conditions

    Kupriyanov, M. S., Pozdniakov, S. N., Posov, I. A. & Chukhnov, A. S., 20 Jan 2016, 2015 4th Forum Strategic Partnership of Universities and Enterprises of Hi-Tech Branches (Science. Education. Innovation). Institute of Electrical and Electronics Engineers Inc., p. 42-44 3 p. 7388248

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  6. Data coherence diagnosis in BBN risky behavior model

    Торопова, А. В., 1 Jan 2016, Proceedings of the 1st International Scientific Conference Intelligent Information Technologies for Industry, IITI 2016. Abraham, A., Kovalev, S., Tarassov, V. & Snasel, V. (eds.). Springer Nature, p. 111-119 9 p. (Advances in Intelligent Systems and Computing; vol. 451).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  7. Decremental and incremental reshaping of algebraic Bayesian networks global structures

    Levenets, D. G., Zotov, M. A., Romanov, A. V., Tulupyev, A. L., Zolotin, A. A. & Filchenkov, A. A., 1 Jan 2016, Proceedings of the 1st International Scientific Conference Intelligent Information Technologies for Industry, IITI 2016. Abraham, A., Kovalev, S., Tarassov, V. & Snasel, V. (eds.). Springer Nature, p. 57-67 11 p. (Advances in Intelligent Systems and Computing; vol. 451).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  8. Differentiation of groundwater tax rates as an element of improving the economic mechanism in the state groundwater extraction management

    Golovina, E., Abramov, M. & Azarov, A., 1 Jan 2016, Biologically Inspired Cognitive Architectures BICA for Young Scientists - Proceedings of the 1st International Early Research Career Enhancement School, FIERCES 2016. Klimov, V. V., Rybina, G. V. & Samsonovich, A. V. (eds.). Springer Nature, p. 17-24 8 p. (Advances in Intelligent Systems and Computing; vol. 449).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  9. NP completeness conditions for verifying the consistency of several kinds of systems of linear diophantine discongruences

    Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 1 Jan 2016, In: Vestnik St. Petersburg University: Mathematics. 49, 1, p. 18-22 5 p.

    Research output: Contribution to journal › Article › peer-review

  10. Relaxed parsing of regular approximations of string-embedded languages

    Grigorev, S. & Avdyukhin, D., 1 Jan 2016, Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer Nature, p. 291-302 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9609).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. Users’ of information systems protection analysis from malefactor’s social engineering attacks taking into account malefactor’s competence profile

    Azarov, A., Abramov, M., Tulupyeva, T. & Tulupyev, A., 1 Jan 2016, Biologically Inspired Cognitive Architectures BICA for Young Scientists - Proceedings of the 1st International Early Research Career Enhancement School, FIERCES 2016. Klimov, V. V., Rybina, G. V. & Samsonovich, A. V. (eds.). Springer Nature, p. 25-30 6 p. (Advances in Intelligent Systems and Computing; vol. 449).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Previous 1...36 37 38 39 40 41 42 43 ...65 Next

ID: 30313