Follow
John Byrnes
John Byrnes
Verified email at sri.com
Title
Cited by
Cited by
Year
AKI in hospitalized children: comparing the pRIFLE, AKIN, and KDIGO definitions
SM Sutherland, JJ Byrnes, M Kothari, CA Longhurst, S Dutta, P Garcia, ...
Clinical Journal of the American Society of Nephrology 10 (4), 554-561, 2015
4562015
New experiments in distributional representations of synonymy
D Freitag, M Blume, J Byrnes, E Chow, S Kapadia, R Rohwer, Z Wang
Proceedings of the Ninth Conference on Computational Natural Language …, 2005
1032005
Normal natural deduction proofs (in classical logic)
W Sieg, J Byrnes
Studia Logica 60, 67-106, 1998
871998
An abstract model for parallel computations: Gandy's thesis
W Sieg, J Byrnes
The Monist 82 (1), 150-164, 1999
621999
-graph machines: generalizing Turing's machines and arguments
W Sieg, J Byrnes
Gödel'96: Logical foundations of mathematics, computer science and physics …, 1996
451996
Proof search and normal forms in natural deduction
J Byrnes
PhD thesis, Department of Philosophy, Carnegie Mellon University, 1999
281999
Spatial and temporal patterns in preterm birth in the United States
J Byrnes, R Mahoney, C Quaintance, JB Gould, S Carmichael, GM Shaw, ...
Pediatric research 77 (6), 836-844, 2015
222015
Hardware accelerated algorithms for semantic processing of document streams
SG Eick, JW Lockwood, R Loui, A Levine, J Mauger, DJ Weishar, ...
2006 IEEE Aerospace Conference, 14 pp., 2006
222006
Similarity metric relativized to a user's preferences
J Byrnes, D Freitag, R Sasseen, M Gervasio
US Patent 10,372,704, 2019
212019
Machine learning strategies for the structure-property relationship of copolymers
L Tao, J Byrnes, V Varshney, Y Li
Iscience 25 (7), 2022
202022
Knowledge base with clustered data objects
J Byrnes, R Rohwer
US Patent 7,689,526, 2010
202010
Systems and methods for real-time determination of the semantics of a data stream
J Byrnes, R Rohwer
US Patent 8,788,701, 2014
182014
Deep adaptive semantic logic (dasl): Compiling declarative knowledge into deep neural networks
K Sikka, A Silberfarb, J Byrnes, I Sur, E Chow, A Divakaran, R Rohwer
arXiv preprint arXiv:2003.07344, 2020
152020
Families of orthogonal differential operators for signal processing
T Herron, J Byrnes
Kromos Technology, Los Altos, California, Tech. Rep, 2001
152001
Machine-learning-based classification of research grant award records
CA Freyman, JJ Byrnes, J Alexander
Research Evaluation 25 (4), 442-450, 2016
142016
Text modeling for real-time document categorization
J Byrnes, R Rohwer
2005 IEEE Aerospace Conference, 1-11, 2005
132005
On the combination of logical and probabilistic models for information analysis
J Wang, J Byrnes, M Valtorta, M Huhns
Applied Intelligence 36, 472-497, 2012
122012
AKI in hospitalized children
SM Sutherland, JJ Byrnes, M Kothari
Comparing the pRIFLE, AKIN, and KDIGO definitions 2015, 10, 0
10
Techniques for user-centric document summarization
G Acharya, J Niekrasz, J Byrnes, CH Yeh
US Patent 10,984,027, 2021
92021
Visualizing proof search for theorem prover development
J Byrnes, M Buchanan, M Ernst, P Miller, C Roberts, R Keller
Electronic Notes in Theoretical Computer Science 226, 23-38, 2009
92009
The system can't perform the operation now. Try again later.
Articles 1–20