821 - 830 из 1 004Размер страницы: 10
Сортировать по:: Год публикации
  1. 2006

  2. Bulk-Synchronous Parallelism: An Emerging Paradigm of High-Performance Computing

    Tiskin, A., 23 янв 2006, High-Performance Computing: Paradigm and Infrastructure. стр. 69-80 12 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  3. All semi-local longest common subsequences in subquadratic time

    Tiskin, A., 1 янв 2006, Computer Science – Theory and Applications (CSR 2006). стр. 352-363 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 3967).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  4. Clause shortening combined with pruning yields a new upper bound for deterministic SAT algorithms

    Dantsin, E., Hirsch, E. A. & Wolpert, A., 1 янв 2006, Algorithms and Complexity - 6th Italian Conference, CIAC 2006, Proceedings. Springer Nature, стр. 60-68 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 3998 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  5. Complexity of semialgebraic proofs with restricted degree of falsity

    Kojevnikov, A. & Kulikov, A. S., 1 янв 2006, Theory and Applications of Satisfiability Testing, SAT 2006 - 9th International Conference, Proceedings. Springer Nature, стр. 11-21 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 4121 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  6. Efficient longest common subsequence computation using bulk-synchronous parallelism

    Krusche, P. & Tiskin, A., 1 янв 2006, Computational Science and Its Applications - ICCSA 2006 (ICCSA 2006). стр. 165-174 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 3984).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  7. Isogeny classes of formal groups over complete discrete valuation fields with arbitrary residue fields

    Bondarko, M. V., 1 янв 2006, в: St. Petersburg Mathematical Journal. 17, 6, стр. 975-988 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  8. Longest common subsequences in permutations and maximum cliques in circle graphs

    Tiskin, A., 1 янв 2006, Combinatorial Pattern Matching (CPM 2006). стр. 270-281 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 4009).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  9. One-sided monge TSP Is NP-hard

    Deineko, V. & Tiskin, A., 1 янв 2006, Computational Science and Its Applications - ICCSA 2006 (ICCSA 2006). стр. 793-801 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 3982).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  10. On the number of rational points on a strictly convex curve

    Petrov, F. V., 1 янв 2006, в: Functional Analysis and its Applications. 40, 1, стр. 24-33 10 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  11. Undecidability in the homomorphic quasiorder of finite labeled forests

    Kudinov, O. V. & Selivanov, V. L., 1 янв 2006, Logical Approaches to Computational Barriers (CiE 2006). стр. 289-296 8 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 3988).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Назад 1...79 80 81 82 83 84 85 86 ...101 Далее

ID: 45528956