John R. Cowles

Publication Activity (10 Years)

Years Active: 1981-2020
Publications (10 Years): 6

Top Topics

Relation Algebra

Formal Verification

Multi Layer Neural Network

Natural Language Learning

Top Venues

Publications

Ruben Gamboa, John R. Cowles, Woodrow Gamboa
Quadratic Extensions in ACL2. ACL2 (2020)
Mark G. Arnold, Ed Chester, John R. Cowles, Corey Johnson
Optimizing Mitchell's Method for Approximate Logarithmic Addition via Base Selection with Application to Back-Propagation. NORCAS (2019)
Mark G. Arnold, Ioannis Kouretas, Vassilis Paliouras, John R. Cowles
Under- and Overflow Detection in the Residue Logarithmic Number System. ARITH (2019)
Ruben Gamboa, John R. Cowles
The Fundamental Theorem of Algebra in ACL2. ACL2 (2018)
John R. Cowles, Ruben Gamboa
The Cayley-Dickson Construction in ACL2. ACL2 (2017)
Mark G. Arnold, Ed Chester, John R. Cowles
Guarding the guards: Enhancing LNS performance for common applications. ASAP (2016)
John R. Cowles, Ruben Gamboa
Perfect Numbers in ACL2. ACL2 (2015)
Ruben Gamboa, John R. Cowles
Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent. ACL2 (2014)
John R. Cowles, Ruben Gamboa
Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis. ACL2 (2014)
Ruben Gamboa, John R. Cowles
A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers. ITP (2012)
John R. Cowles, Ruben Gamboa
Verifying Sierpinski and Riesel Numbers in ACL2 ACL2 (2011)
Mark G. Arnold, John R. Cowles, Vassilis Paliouras, Ioannis Kouretas
Towards a Quaternion Complex Logarithmic Number System. IEEE Symposium on Computer Arithmetic (2011)
John R. Cowles, Ruben Gamboa
Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure. ITP (2010)
Ruben Gamboa, John R. Cowles
Theory Extension in ACL2(r). J. Autom. Reason. 38 (4) (2007)
Ruben Gamboa, John R. Cowles
Implementing a cost-aware evaluator for ACL2 expressions. ACL2 (2006)
John R. Cowles, Ruben Gamboa
Unique factorization in ACL2: Euclidean domains. ACL2 (2006)
Ruben Gamboa, John R. Cowles
A Mechanical Proof of the Cook-Levin Theorem. TPHOLs (2004)
Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Colin D. Walter
Fast Fourier Transforms Using the Complex Logarithmic Number System. J. VLSI Signal Process. 33 (3) (2003)
Mark G. Arnold, Thomas A. Bailey, John R. Cowles
Error Analysis of the Kmetz/Maenner Algorithm. J. VLSI Signal Process. 33 (1-2) (2003)
Rex E. Gantenbein, Thomas L. James, John R. Cowles, William H. Paloski
TELELAB: A virtual laboratory for scientific data distribution on the internet. CATA (1998)
Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel
Arithmetic Co-Transformations in the Real and Complex Logarithmic Number Systems. IEEE Trans. Computers 47 (7) (1998)
Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel
Arithmetic Co-transformations in the Real and Complex Logarithmic Number Systems. IEEE Symposium on Computer Arithmetic (1997)
Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel
Applying Features of IEEE 754 to Sign/Logarithm Arithmetic. IEEE Trans. Computers 41 (8) (1992)
Mark G. Arnold, Thomas A. Bailey, John R. Cowles
Comments on "An Architecture for Addition and Subtraction of Long Word Length Numbers in the Logarithmic Number System''. IEEE Trans. Computers 41 (6) (1992)
Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal
Initializing RAM-based logarithmic processors. J. VLSI Signal Process. 4 (2-3) (1992)
Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal
Redundant Logarithmic Arithmetic. IEEE Trans. Computers 39 (8) (1990)
Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal
Redundant logarithmic number systems. IEEE Symposium on Computer Arithmetic (1989)
Mark G. Arnold, John R. Cowles, Thomas A. Bailey
Improved accuracy for logarithmic addition in DSP applications. ICASSP (1988)
Thomas A. Bailey, John R. Cowles
A Convex Hull Inclusion Test. IEEE Trans. Pattern Anal. Mach. Intell. 9 (2) (1987)
John H. Rowland, John R. Cowles
Small Sample Algorithms for the Identification of Polynomials. J. ACM 33 (4) (1986)
Thomas A. Bailey, John R. Cowles
Cluster Definition by the Optimization of Simple Measures. IEEE Trans. Pattern Anal. Mach. Intell. 6 (5) (1984)
John R. Cowles
The Henkin Quantifier and Real Closed Fields. Math. Log. Q. 27 (31-35) (1981)