881 - 890 out of 1,004Page size: 10
  1. 2003

  2. Communication-efficient parallel Gaussian elimination

    Tiskin, A., 1 Jan 2003, Parallel Computing Technologies (PaCT 2003). p. 369-383 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2763).

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

  3. Wadge degrees of ω-languages of deterministic turing machines

    Selivanov, V., 1 Jan 2003, STACS 2003 (STACS 2003). p. 97-108 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2607).

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

  4. Wadge degrees of ω-languages of deterministic turing machines

    Selivanov, V., 1 Jan 2003, In: RAIRO - Theoretical Informatics and Applications. 37, 1, p. 67-83 17 p.

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

  5. Shadowing in actions of some abelian groups

    Pilyugin, S. Y. & Tikhomirov, S. B., 2003, In: Fundamenta Mathematicae. 179, 1, p. 83-96

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

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

    Кохась, К. П., Храбров, А. И., Берлов, С. Л., Иванов, С. В., Карпов, Д. В. & Петров, Ф. В., 2003, Санкт-Петербург: Невский Диалект. 224 p.

    Research output: Book/Report/Anthology › Teaching materials

  7. 2002

  8. Exponential lower bound for static semi-algebraic proofs

    Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 1 Dec 2002, Automata, Languages and Programming - 29th International Colloquium, ICALP 2002, Proceedings. p. 257-268 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2380 LNCS).

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

  9. On asymptotic volume of Finsler tori, minimal surfaces in normed spaces, and symplectic filling volume

    Burago, D. & Ivanov, S., Nov 2002, In: Annals of Mathematics. 156, 3, p. 891-914 24 p.

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

  10. A deterministic (2 - 2/(k + 1))n algorithm for k-SAT based on local search

    Dantsin, E., Goerdt, A., Hirsch, E. A., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P. & Schöning, U., 23 Oct 2002, In: Theoretical Computer Science. 289, 1, p. 69-83 15 p.

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

  11. An alternative proof of a weak form of serre’s theorem

    Podkorytov, S. S., 1 Jan 2002, In: Journal of Mathematical Sciences . 110, 4, p. 2875-2881 7 p.

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

  12. Bulk-synchronous parallel gaussian elimination

    Tiskin, A., 1 Jan 2002, In: Journal of Mathematical Sciences . 108, 6, p. 977-991 15 p.

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

Previous 1...85 86 87 88 89 90 91 92 ...101 Next

ID: 45528956