Skip to search formSkip to main contentSkip to account menu

J Strother Moore

Known as: J. Strother Moore, Strother Moore, Strother 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
ACL2ACM Software System AwardAMD K5Automated theorem proving

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Practical Applications of Sparse Modeling
Sparse modeling is a rapidly developing area at the intersection of statistical learning and signal processing, motivated by the… 
2011
2011
Utilising multimedia ESP programme in enhancing flight attendants' safety knowledge and problem solving skills
A multimedia English for Specific Purposes (ESP) programme was developed to train flight attendants. The programme comprised of… 
2010
2010
The impact of a media-rich science curriculum on low-income preschoolers' science talk at home
While research suggests that educational television shows can contribute positively to a range of developmental outcomes for… 
2005
2005
An Interdisciplinary Course to Prepare School Professionals to Collaborate with Families of Exceptional Children.
Sarah Kit-Yee Lam is an assistant professor in the Department of Counseling, Special Education, and Rehabilitation of the Kremen… 
2003
2003
Proceedings of the 13th International Symposium on Unmanned Untethered Submersible Technology, 2003. BIOLOGICALLY-INSPIRED CONTROL OF PERCEPTION-ACTION SYSTEMS: HELICAL KLINOTAXIS IN 2D ROBOTS
Some animals that swim at low(Re < 1) and intermediate(1 < Re < 100) Reynolds numbers do so by way of helical trajectories… 
2003
2003
Executing Verified Compiler Specification
Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is… 
1995
1995
The Primus Papers: An Introduction to Hartford's Nineteenth Century Black Community
Review
1990
Review
1990
Review: Robert S. Boyer, J. Strother Moore, A Computational Logic; Robert S. Boyer, J. Strother Moore, A Computational Logic Handbook
the application of computation rules without keeping track of the logical side conditions. For example in MACSYMA, set a = 0… 
1986
1986
Reconfigurable, retargetable bignums: a case study in efficient, portable Lisp system building
In the paper, use of names like '-F&' and '*&' will imply these semantics, and furthermore, the Lucid Common Lisp compiler ought… 
1983
1983
Evidence for a conducting strand in early Silurian (Llandoverian) plants: implications for the evolution of the land plants
Macerations of fragmented plant compressions of Silurian (Llandoverian) age yield sheets of organic material bearing ridges and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)