Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Hodgson, Jonathan
St. Joseph''s University
Philadelphia, Pennsylvania
 
   Featured Reviewer
   Reader Recommended
   Reviewer Selected
   Highlighted
Follow this Reviewer
 
 
 

Dr. Jonathan Hodgson is a Professor of Mathematics and Computer Science at Saint Joseph's University in Philadelphia, PA, where he teaches a wide variety of courses at both the undergraduate and master's level. Previously, he was on the faculty at Adelphi University and, prior to that, at the University of Pennsylvania. Dr. Hodgson started his career as a mathematician working in the field of topology. He holds a Ph.D. in Mathematics from the University of Cambridge. Dr. Hodgson became involved with computers, originally with the idea of drawing pictures of knots on a Tektronix machine using Plot-90. In the 1980s, he developed an interest in artificial intelligence, particularly problem solving and logic programming, both of which are his areas of major research interest.

Dr. Hodgson has published papers on differential topology, problem solving, and the use of Hypertext Markup Language (HTML) tags for flagging semantic content in Web pages. He is currently the convenor of WG17, the ISO/IEC JTC1 working group on Prolog standardization.

 
 
Options:
Date Reviewed  
 
1
- 10 of 13 reviews

   
   A case-based reasoning system based on weighted heterogeneous value distance metric for breast cancer diagnosis
Gu D., Liang C., Zhao H. Artificial Intelligence in Medicine 77 31-47, 2017.  Type: Article

Case-based methods have previously been used to assist in treating cancers, and this paper introduces a number of significant modifications in the case of breast cancer. Specifically, these modifications relate to the way in which the ...

Aug 3 2017  
   Accelerating discovery: mining unstructured information for hypothesis generation
Spangler S., Chapman & Hall/CRC, Boca Raton, FL, 2015. 292 pp.  Type: Book (978-1-482239-13-3)

The basic idea behind the “accelerated discovery” of this book’s title is that by using the ability of a computer to process large quantities of data, one can find interconnections that lead to new hypothe...

Nov 16 2016  
   Directed algebraic topology and concurrency
Fajstrup L., Goubault E., Haucourt E., Mimram S., Raussen M., Springer International Publishing, New York, NY, 2016. 167 pp.  Type: Book (978-3-319153-97-1)

Introducing the use of ideas from algebraic topology in the study of concurrency is the primary contribution of this book. The basic idea is as follows: suppose that one has a collection of processes that are to run concurrently and th...

Jul 19 2016  
  An informational view of classical logic
D’Agostino M. Theoretical Computer Science 606(C): 79-97, 2015.  Type: Article

Can an agent that possesses specific knowledge about the world be said to know all the consequences of that knowledge? Given that the process of determining whether a given statement is a consequence of the premises can require extensi...

Jan 27 2016  
  Machine learning: an algorithmic perspective (2nd ed.)
Marsland S., Chapman & Hall/CRC, Boca Raton, FL, 2014. 457 pp.  Type: Book (978-1-466583-28-3)

The book’s emphasis on algorithms distinguishes it from other books on machine learning (ML). This is further highlighted by the extensive use of Python code to implement the algorithms. This results in a presentation in whic...

Mar 27 2015  
  Compositional probabilistic verification through multi-objective model checking
Kwiatkowska M., Norman G., Parker D., Qu H. Information and Computation 23238-65, 2013.  Type: Article

Compositional verification techniques for probabilistic and nondeterministic models are discussed in this paper. By emphasizing compositionality, the interacting components can be individually verified and the verification of the compl...

Mar 10 2014  
   Rethinking logic: logic in relation to mathematics, evolution, and method
Cellucci C., Springer Publishing Company, Incorporated, Dordrecht, the Netherlands, 2013. 397 pp.  Type: Book (978-9-400760-90-5)

Gödel’s theorem showing the impossibility of proving the consistency of arithmetic raises serious questions about the role of logic in mathematics and indeed in science in general. One consequence of this is that the...

Dec 30 2013  
   Linguistic decision making: theory and methods
Xu Z., Springer Publishing Company, Incorporated, 2013. 300 pp.  Type: Book (978-3-642294-39-6)

What is “linguistic decision making” exactly?...

Jul 1 2013  
   A practical guide to Linux commands, editors, and shell programming (3rd ed.)
Sobell M., Prentice Hall Press, Upper Saddle River, NJ, 2012. 1224 pp.  Type: Book (978-0-133085-04-4)

Aimed at a wide variety of readers, from students taking a first class with Linux to professionals who use Linux at work, this is a most comprehensive guide to Linux and Mac OS X. It covers a great deal of ground, from getting started ...

Apr 8 2013  
   Bayesian reasoning and machine learning
Barber D., Cambridge University Press, New York, NY, 2012. 728 pp.  Type: Book (978-0-521518-14-7)

Barber’s aim for this book is to introduce Bayesian reasoning and machine learning to students “without a firm background in statistics, calculus, or linear algebra.” To achieve this goal, the author uses ...

Jul 16 2012  
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy