computational complexity theory". Hartmanis was born in Latvia on July 5, 1928. He was a son of Mārtiņš Hartmanis [lv], a general in the Latvian Army... 29 KB (2,502 words) - 01:14, 12 February 2024 |
Latvian scientist and academic Juris Fernandez (born 1978), Filipino singer Juris Hartmanis (1928–2022), Latvian scientist Juris Kalniņš (1938–2010), Latvian... 2 KB (281 words) - 15:36, 1 January 2024 |
the ACM. 37 (11): 95–99. doi:10.1145/188280.188379. Allan Borodin. "Juris Hartmanis - A.M. Turing Award Laureate". Association for Computing Machinery... 81 KB (3,519 words) - 00:24, 27 April 2024 |
Complexity. Addison-Wesley. ISBN 0-201-53082-1. Section 20.1, page 491. Juris Hartmanis, Neil Immerman, Vivian Sewelson. "Sparse Sets in NP−P: EXPTIME versus... 7 KB (1,000 words) - 18:49, 29 September 2023 |
Register machine (section Hartmanis (1971)) model. Elgot–Robinson (1964) and more so Hartmanis (1971) investigate RASPs with self-modifying programs. Hartmanis (1971) specifies an instruction set with... 53 KB (5,163 words) - 05:32, 24 April 2024 |
multi-tape Turing machines was first proven by Richard E. Stearns and Juris Hartmanis in 1965. It was improved a year later when F. C. Hennie and Richard... 17 KB (2,467 words) - 18:50, 7 March 2024 |
David Coolidge, physicist Ivar Giaever, Nobel Laureate, physicist Juris Hartmanis, Turing Award winner, computer scientist[citation needed] Christopher... 10 KB (890 words) - 10:32, 21 April 2024 |
of (parallel) processors. Since the ground-breaking 1965 paper by Juris Hartmanis and Richard E. Stearns and the 1979 book by Michael Garey and David... 3 KB (304 words) - 01:05, 13 December 2020 |