Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/J_Strother_Moore> ?p ?o }
Showing triples 1 to 93 of
93
with 100 triples per page.
- J_Strother_Moore abstract "J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist, and he is a co-developer of the Boyer–Moore string search algorithm and the Boyer–Moore automated theorem prover, Nqthm. An example of the workings of the Boyer–Moore string search algorithm is given in Moore's website. Moore received his SB in mathematics at Massachusetts Institute of Technology in 1970 and his Ph.D in computational logic at University of Edinburgh in Scotland in 1973.In addition, Moore is a co-author of the ACL2 automated theorem prover. He and others used ACL2 to prove the correctness of the floating point division operations of the AMD K5 microprocessor in the wake of the Pentium FDIV bug.For his contributions to automated deduction, Moore received the 1999 Herbrand Award with Robert S. Boyer, and in 2006 he was inducted as a Fellow of the Association for Computing Machinery. Moore was elected to the National Academy of Engineering in 2007, and is a Fellow of the AAAI. He is currently the Admiral B.R. Inman Centennial Chair in Computing Theory at The University of Texas at Austin, and was Chair of theDepartment of Computer Science from 2001-2009.Before joining the Department of Computer Sciences as the chair, he formed a company, Computational Logic Inc., along with others including his close friend at the University of Texas at Austin and one of the highly regarded professors in the field of Automated Reasoning, Robert S. Boyer.Moore enjoys rock climbing.".
- J_Strother_Moore thumbnail J_Strother_Moore_FLoC_2006.jpg?width=300.
- J_Strother_Moore wikiPageExternalLink www.computationallogic.com.
- J_Strother_Moore wikiPageExternalLink moore.
- J_Strother_Moore wikiPageExternalLink string-searching.
- J_Strother_Moore wikiPageExternalLink fstrpos-example.html.
- J_Strother_Moore wikiPageID "1472637".
- J_Strother_Moore wikiPageLength "3507".
- J_Strother_Moore wikiPageOutDegree "31".
- J_Strother_Moore wikiPageRevisionID "667962161".
- J_Strother_Moore wikiPageWikiLink ACL2.
- J_Strother_Moore wikiPageWikiLink AMD_K5.
- J_Strother_Moore wikiPageWikiLink Association_for_Computing_Machinery.
- J_Strother_Moore wikiPageWikiLink Automated_theorem_proving.
- J_Strother_Moore wikiPageWikiLink Bobby_Ray_Inman.
- J_Strother_Moore wikiPageWikiLink Boyer–Moore_string_search_algorithm.
- J_Strother_Moore wikiPageWikiLink Category:Alumni_of_the_University_of_Edinburgh.
- J_Strother_Moore wikiPageWikiLink Category:American_academics.
- J_Strother_Moore wikiPageWikiLink Category:American_computer_scientists.
- J_Strother_Moore wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- J_Strother_Moore wikiPageWikiLink Category:Formal_methods_people.
- J_Strother_Moore wikiPageWikiLink Category:Living_people.
- J_Strother_Moore wikiPageWikiLink Category:Massachusetts_Institute_of_Technology_alumni.
- J_Strother_Moore wikiPageWikiLink Category:Members_of_the_United_States_National_Academy_of_Engineering.
- J_Strother_Moore wikiPageWikiLink Category:University_of_Texas_at_Austin_faculty.
- J_Strother_Moore wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- J_Strother_Moore wikiPageWikiLink Computer_science.
- J_Strother_Moore wikiPageWikiLink Fellow.
- J_Strother_Moore wikiPageWikiLink Herbrand_Award.
- J_Strother_Moore wikiPageWikiLink Massachusetts_Institute_of_Technology.
- J_Strother_Moore wikiPageWikiLink Microprocessor.
- J_Strother_Moore wikiPageWikiLink Nqthm.
- J_Strother_Moore wikiPageWikiLink Pentium_FDIV_bug.
- J_Strother_Moore wikiPageWikiLink Robert_S._Boyer.
- J_Strother_Moore wikiPageWikiLink Rock_climbing.
- J_Strother_Moore wikiPageWikiLink Symbolic_computation.
- J_Strother_Moore wikiPageWikiLink University_of_Edinburgh.
- J_Strother_Moore wikiPageWikiLink University_of_Texas_at_Austin.
- J_Strother_Moore wikiPageWikiLink File:J_Strother_Moore_FLoC_2006.jpg.
- J_Strother_Moore wikiPageWikiLinkText "J Strother Moore".
- J_Strother_Moore hasPhotoCollection J_Strother_Moore.
- J_Strother_Moore name "Moore, J Strother".
- J_Strother_Moore shortDescription "American computer scientist".
- J_Strother_Moore wikiPageUsesTemplate Template:Authority_control.
- J_Strother_Moore wikiPageUsesTemplate Template:BLP_sources.
- J_Strother_Moore wikiPageUsesTemplate Template:Commons_category.
- J_Strother_Moore wikiPageUsesTemplate Template:Persondata.
- J_Strother_Moore wikiPageUsesTemplate Template:Reflist.
- J_Strother_Moore wikiPageUsesTemplate Template:US-compu-bio-stub.
- J_Strother_Moore description "American computer scientist".
- J_Strother_Moore description "American computer scientist".
- J_Strother_Moore subject Category:Alumni_of_the_University_of_Edinburgh.
- J_Strother_Moore subject Category:American_academics.
- J_Strother_Moore subject Category:American_computer_scientists.
- J_Strother_Moore subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- J_Strother_Moore subject Category:Formal_methods_people.
- J_Strother_Moore subject Category:Living_people.
- J_Strother_Moore subject Category:Massachusetts_Institute_of_Technology_alumni.
- J_Strother_Moore subject Category:Members_of_the_United_States_National_Academy_of_Engineering.
- J_Strother_Moore subject Category:University_of_Texas_at_Austin_faculty.
- J_Strother_Moore subject Category:Year_of_birth_missing_(living_people).
- J_Strother_Moore hypernym Scientist.
- J_Strother_Moore type Agent.
- J_Strother_Moore type Article.
- J_Strother_Moore type List.
- J_Strother_Moore type Person.
- J_Strother_Moore type Scientist.
- J_Strother_Moore type Article.
- J_Strother_Moore type Educator.
- J_Strother_Moore type List.
- J_Strother_Moore type Member.
- J_Strother_Moore type Method.
- J_Strother_Moore type Scientist.
- J_Strother_Moore type Person.
- J_Strother_Moore type Agent.
- J_Strother_Moore type NaturalPerson.
- J_Strother_Moore type Thing.
- J_Strother_Moore type Q215627.
- J_Strother_Moore type Q5.
- J_Strother_Moore type Person.
- J_Strother_Moore comment "J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist, and he is a co-developer of the Boyer–Moore string search algorithm and the Boyer–Moore automated theorem prover, Nqthm. An example of the workings of the Boyer–Moore string search algorithm is given in Moore's website.".
- J_Strother_Moore label "J Strother Moore".
- J_Strother_Moore sameAs J_Strother_Moore.
- J_Strother_Moore sameAs m.05475g.
- J_Strother_Moore sameAs Q6109434.
- J_Strother_Moore sameAs Q6109434.
- J_Strother_Moore wasDerivedFrom J_Strother_Moore?oldid=667962161.
- J_Strother_Moore depiction J_Strother_Moore_FLoC_2006.jpg.
- J_Strother_Moore givenName "J Strother".
- J_Strother_Moore isPrimaryTopicOf J_Strother_Moore.
- J_Strother_Moore name "J Strother Moore".
- J_Strother_Moore name "Moore, J Strother".
- J_Strother_Moore surname "Moore".