791 - 800 out of 1,024Page size: 10
  1. 2008

  2. Computing solutions of symmetric hyperbolic systems of PDE’s

    Selivanova, S. & Selivanov, V., 1 Jan 2008, Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. p. 243-255 13 p.

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

  3. Efficient parallel string comparison

    Krusche, P. & Tiskin, A., 1 Jan 2008, In: Advances in Parallel Computing. 15, p. 193-200 8 p.

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

  4. On Tabachnikov’s conjecture

    Nazarov, A. I. & Petrov, F. V., 1 Jan 2008, In: St. Petersburg Mathematical Journal. 19, 1, p. 125-135 11 p.

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

  5. On the difference hierarchy in countably based T0-spaces

    Selivanov, V., 1 Jan 2008, Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. p. 257-269 13 p.

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

  6. Two counterexamples in low-dimensional length geometry

    Burago, D., Ivanov, S. & Shoenthal, D., 1 Jan 2008, In: St. Petersburg Mathematical Journal. 19, 1, p. 33-43 11 p.

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

  7. Задачи Санкт-Петербургской олимпиады школьников по математике 2008 года

    Берлов, С. Л., Иванов, С. В., Карпов, Д. В., Кохась, К. П., Петров, Ф. В. & Храбров, А. И., 2008, Невский Диалект.

    Research output: Book/Report/Anthology › Teaching materials

  8. Классы стабильной эквивалентности самоинъективных алгебр древесного типа D_n

    Волков, Ю. В., 2008, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 1, p. 15-21

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

  9. 2007

  10. New bounds for MAX-SAT by glause learning

    Kulikov, A. S. & Kutzkov, K., 24 Dec 2007, Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Proceedings. p. 194-204 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4649 LNCS).

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

  11. Definability in the homomorphic quasiorder of finite labeled forests

    Kudinov, O. V. & Selivanov, V. L., 1 Dec 2007, 3rd Conference on Computability in Europe, CiE 2007. p. 436-445 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4497).

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

  12. Estimates for the number of rational points on convex curves and surfaces

    Petrov, F. V., 1 Dec 2007, In: Journal of Mathematical Sciences . 147, 6, p. 7218-7226 9 p.

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

Previous 1...76 77 78 79 80 81 82 83 ...103 Next

ID: 45528956