1. 2019
  2. Towards semantic document modelling of business processes

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 Jan 2019, In: Bulletin of Irkutsk State University, Series Mathematics. 29, p. 52-67 16 p.

    Research output: Contribution to journalArticlepeer-review

  3. Trace formula for the magnetic Laplacian

    Kordyukov, Y. A. & Taimanov, I. A., 1 Jan 2019, In: Russian Mathematical Surveys. 74, 2, p. 325-361 37 p., 4.

    Research output: Contribution to journalArticlepeer-review

  4. Trainable Thresholds for Neural Network Quantization

    Goncharenko, A., Denisov, A., Alyamkin, S. & Terentev, E., 1 Jan 2019, Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings. Rojas, I., Joya, G. & Catala, A. (eds.). Springer-Verlag GmbH and Co. KG, p. 302-312 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11507 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  5. Transition metal catalyzed aerobic asymmetric coupling of 2-naphthols

    Tkachenko, N. V. & Bryliakov, K. P., 1 Jan 2019, In: Mini-Reviews in Organic Chemistry. 16, 4, p. 392-398 7 p.

    Research output: Contribution to journalReview articlepeer-review

  6. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  7. Understanding zebrafish aggressive behavior

    Zabegalov, K. N., Kolesnikova, T. O., Khatsko, S. L., Volgin, A. D., Yakovlev, O. A., Amstislavskaya, T. G., Friend, A. J., Bao, W., Alekseeva, P. A., Lakstygal, A. M., Meshalkina, D. A., Demin, K. A., de Abreu, M. S., Rosemberg, D. B. & Kalueff, A. V., 1 Jan 2019, In: Behavioural Processes. 158, p. 200-210 11 p.

    Research output: Contribution to journalReview articlepeer-review

  8. Unique determination of conformal type for domains

    Kopylov, A. P., 1 Jan 2019, In: Сибирские электронные математические известия. 16, p. 692-708 17 p.

    Research output: Contribution to journalArticlepeer-review

  9. Unrepairable analogous of nucleotide excision repair substrates as a potential anti-cancer drugs

    Evdokimov, A. N., Dol-Gova, E. V., Popov, A. A., Petruse-Va, I. O., Bogachev, S. S. & Lavrik, O. I., 1 Jan 2019, In: Biopolymers and Cell. 35, 3, p. 180-181 2 p.

    Research output: Contribution to journalArticlepeer-review

  10. Unrepairable substrates of nucleotide excision repair and their application to suppress the activity of this repair system

    Popov, A. A., Evdokimov, A. N., Lukyanchikova, N. V., Petruseva, I. O. & Lavrik, O. I., 1 Jan 2019, In: Biopolymers and Cell. 35, 2, p. 107-117 11 p.

    Research output: Contribution to journalArticlepeer-review

  11. Variable Neighborhood Search for the Resource Constrained Project Scheduling Problem

    Goncharov, E. N., 1 Jan 2019, Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers. Bykadorov, I., Strusevich, V. & Tchemisova, T. (eds.). Springer Gabler, p. 39-50 12 p. (Communications in Computer and Information Science; vol. 1090 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review