Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6109434> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples per page.
- Q6109434 subject Q3919876.
- Q6109434 subject Q5312304.
- Q6109434 subject Q6523958.
- Q6109434 subject Q6679512.
- Q6109434 subject Q7067047.
- Q6109434 subject Q8170135.
- Q6109434 subject Q8445861.
- Q6109434 subject Q8466127.
- Q6109434 subject Q8611250.
- Q6109434 subject Q8975565.
- Q6109434 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.".
- Q6109434 thumbnail J_Strother_Moore_FLoC_2006.jpg?width=300.
- Q6109434 wikiPageExternalLink www.computationallogic.com.
- Q6109434 wikiPageExternalLink moore.
- Q6109434 wikiPageExternalLink string-searching.
- Q6109434 wikiPageExternalLink fstrpos-example.html.
- Q6109434 wikiPageWikiLink Q1154336.
- Q6109434 wikiPageWikiLink Q127992.
- Q6109434 wikiPageWikiLink Q1404101.
- Q6109434 wikiPageWikiLink Q160302.
- Q6109434 wikiPageWikiLink Q175515.
- Q6109434 wikiPageWikiLink Q21198.
- Q6109434 wikiPageWikiLink Q294988.
- Q6109434 wikiPageWikiLink Q3919876.
- Q6109434 wikiPageWikiLink Q431667.
- Q6109434 wikiPageWikiLink Q449390.
- Q6109434 wikiPageWikiLink Q4588776.
- Q6109434 wikiPageWikiLink Q4650692.
- Q6109434 wikiPageWikiLink Q49108.
- Q6109434 wikiPageWikiLink Q49213.
- Q6109434 wikiPageWikiLink Q5297.
- Q6109434 wikiPageWikiLink Q5312304.
- Q6109434 wikiPageWikiLink Q6523958.
- Q6109434 wikiPageWikiLink Q6679512.
- Q6109434 wikiPageWikiLink Q668011.
- Q6109434 wikiPageWikiLink Q7067047.
- Q6109434 wikiPageWikiLink Q7067521.
- Q6109434 wikiPageWikiLink Q711612.
- Q6109434 wikiPageWikiLink Q8170135.
- Q6109434 wikiPageWikiLink Q8445861.
- Q6109434 wikiPageWikiLink Q8466127.
- Q6109434 wikiPageWikiLink Q8611250.
- Q6109434 wikiPageWikiLink Q895984.
- Q6109434 wikiPageWikiLink Q8975565.
- Q6109434 type Thing.
- Q6109434 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.".
- Q6109434 label "J Strother Moore".
- Q6109434 depiction J_Strother_Moore_FLoC_2006.jpg.