Výsledky vyhledávání - ACM: F.: Theory of Computation/F.0: GENERAL

Upřesnit hledání
  1. 1

    Přispěvatelé: Noyel, Guillaume Angulo, Jesus Jeulin, Dominique a další

    Zdroj: Image Analysis and Stereology, Vol 30, Iss 2, Pp 101-109 (2011)
    Image analysis and stereology

    Popis souboru: application/html; application/pdf; text/plain

  2. 2

    Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook. Edited by Bruce M. Kapron, ACM Books, vol. 43. Association for Computing Machinery, New York, xxvi + 398 pp.—therein: - Michelle Waitzman. Stephen Cook: Complexity’s Humble Hero, pp. 3–28. - Bruce M. Kapron and Stephen A. Cook, ACM Interview of Stephen A. Cook by Bruce M. Kapron, pp. 29–44. - Stephen A. Cook, Overview of Computational Complexity, pp. 47–70. - Christos H. Papadimitriou, Cook’s NP-Completeness Paper and the Dawn of the New Theory, pp. 73–82. - Jan Krajíček, The Cook–Reckhow Definition, pp. 83–94. - Sam Buss, Polynomially Verifiable Arithmetic, pp. 95–106. - Paul Beame and Pierre McKenzie, Towards a Complexity Theory of Parallel Computation, pp. 107–126. - Nicholas Pippenger, Computation with Limited Space, pp. 127–140. - Stephen A. Cook, The Complexity of Theorem-Proving Procedures, pp. 143–152. - Stephen A. Cook, Characterizations of Pushdown Machines in Terms of Time-Bounded Computers, pp. 153–172. - Stephen A. Cook and Robert A. Reckhow, The Relative Efficiency of Propositional Proof Systems, pp. 173–192. - Stephen A. Cook, Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version), pp. 193–218. - Stephen A. Cook, Towards a Complexity Theory of Synchronous Parallel Computation, pp. 219–244. - Allan Borodin and Stephen A. Cook, A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation, pp. 245–260. - Stephen A. Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, and Rahul Santhanam, Pebbles and Branching Programs for Tree Evaluation, pp. 261–318. - Bruce M. Kapron, Cook’s Berkeley Notes, pp. 321–324. - Stephen A. Cook, A Survey of Classes of Primitive Recursive Functions, pp. 325–336

    Autoři: Pavel Pudlák

    Zdroj: The Bulletin of Symbolic Logic. 29:657-660

  3. 3

    Zdroj: Foundations of Computational Mathematics. 14:1117-1172

    Popis souboru: application/pdf

  4. 4
  5. 5
  6. 6
  7. 7

    Zdroj: https://hal.science/tel-01646942 ; Bio-informatique [q-bio.QM]. Université Lille 1 - Sciences et Technologies, 2016. Français. ⟨NNT : ⟩.

  8. 8

    Přispěvatelé: Stefano Guerrini Simone Martini Andrea Masini a další

    Zdroj: Applied Sciences, Vol 10, Iss 16, p 5551 (2020)
    Applied Sciences
    Volume 10
    Issue 16

    Popis souboru: application/pdf

  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14

    Zdroj: ISSN: 2278-0661 ; IOSR Journal of Computer Engineering (IOSR - JCE) ; https://hal.science/hal-04054250 ; IOSR Journal of Computer Engineering (IOSR - JCE) , 2023, Volume 25 (5), pp.54-60. ⟨10.9790/0661-2505015460⟩.

  15. 15
  16. 16
  17. 17
  18. 18
  19. 19

    Zdroj: Bank I Kredyt (Bank and Credit) ; https://shs.hal.science/halshs-04746678 ; Bank I Kredyt (Bank and Credit), 2024, 55 (5), pp.661-682 ; https://bankikredyt.nbp.pl/content/2024/05/BIK_05_2024_05.pdf

  20. 20