Search results

| thesis_title = Essays in Algebraic Simplification ...s of the Association for Computing Machinery|Fellow of the Association for Computing Machinery]]. ...

{{about|the research programme|people with this name|Alvey (surname)}} ...ion project]], which aimed to create a computer using [[massively parallel computing]]/processing. The programme was not focused on any specific technology such ...

...eking University]] (1954–1958) and as a postgraduate at the [[Institute of Computing Technology, Chinese Academy of Sciences]] (CAS) (1963–1967). ...igator of the [[duration calculus]], an [[interval logic]] for [[real-time computing|real-time]] systems as part of the European [[European Strategic Program on ...

...''" (abbreviated '''HtN''') is an [[essay]] written by [[Eric S. Raymond]] about the social workings of [[Open-source software|open-source]] [[software deve [[Category:1998 essays]] ...

...eyond: An Appreciation | title=Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday | publisher=[[S ...ked extensively on [[formal methods|formal]] aspects of [[computer science|computing science]]. In particular, he worked with Prof. Sir [[Tony Hoare]], latterly ...

...hing facilities. It cultivates partnerships and participates in humanities computing initiatives with libraries, publishers, information technology companies, s IATH's research projects, essays, and documentation are the products of collaboration between humanities and ...

{{about other people|the British computer scientist|Cliff Jones}} ...e undertook a late [[Doctor of Philosophy|DPhil]] at the Oxford University Computing Laboratory (now the [[Oxford University Department of Computer Science]]) u ...

{{About|the Soviet computer|}} ...на"), meaning "Big Electronic Computing Machine" or "High-Speed Electronic Computing Machine". It was designed at the [[Lebedev Institute of Precision Mechanic ...

[[Category:1999 essays]] [[Category:Essays by Neal Stephenson]] ...

...ps://cse.umn.edu/cbi/interfaces |journal=Interfaces: Essays and Reviews in Computing and Culture |volume=6 |pages=1-8}}</ref>The magazine has been republished o * [http://content.cat.org.uk/index.php/about-cat-what-do-we-do Centre for Alternative Technology] ...

...en, Rom Langerak, and Arend Rensink, editors, ''ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday'', vol. 10500 {{Concurrent computing}} ...

...ee }}</ref><ref>{{Cite journal | last1 = Milner | first1 = R. | title = Is Computing an Experimental Science? | doi = 10.1057/jit.1987.12 | journal = Journal of ...biquitous computing that the von Neumann machine has played for sequential computing. }}</ref> He is also credited for rediscovering the [[Hindley–Milner type s ...

...|Fulbright Scholar]]<ref>http://michaelnielsen.org/blog/michael-a-nielsen/ About Michael Nielsen</ref> ...Computation and Quantum Information (book)|popular textbook]] on [[quantum computing]],<ref name="nc"> ...

.../355541.355562|mr=1866456|issue=6|journal=[[Journal of the Association for Computing Machinery]]|pages=1028–47|title=A minimum spanning tree algorithm with inve ...s a member of the European Academy of Sciences. He has also written essays about music and politics.<ref name="cs.princeton.edu">[http://www.cs.princeton.ed ...

| workplaces = [[Norwegian Computing Center]]<br/>University of Oslo ...ity of the approach.<ref>{{cite web |url=https://www.mn.uio.no/ifi/english/about/ole-johan-dahl/ |title=Tribute to Ole-Johan Dahl |author=<!-- Unstated --> ...

===Computing=== * [[Floating point]], a numerical-representation system in computing ...

...of the Estate of [[W. H. Auden]] and the author or editor of several books about Auden's work, including ''Early Auden'' (1981) and ''Later Auden'' (1999).< ...author of ''The Things That Matter: What Seven Classic Novels Have to Say About the Stages of Life'' (2006),<ref>{{cite book ...

...ould stand higher in the hierarchy than their parts. The form {{"'}}Clause about falsehood₀' yields falsehood₁" will be grammatically * [[Quine (computing)]], a computer program that produces its [[source code]] as output ...

...26 July 2011}}</ref><ref name="trakhCSHistory">{{cite web|title=History of Computing in Russia|script-title=ru:Борис Авраамович Трахтенброт|trans-title=Boris Av ...t, 1921-2016|website=Communications of the ACM|publisher=[[Association for Computing Machinery]]}}</ref> ...

...s://web.archive.org/web/20070322100522/http://www.stevenlevy.com/index.php/about/ |archive-date=March 22, 2007 |access-date=May 1, 2024 |publisher=Stevenlev |work=About Steven ...