( en | de | ru )

 

Disambiguation of "Harrison, John"

Author of the publication

copydeleteadd this publication to your clipboard
Iterative Design and Delivery of High Impact, Multiple Platform, Scenario-based Interactive Mobile Learning Activities in the Health Sciences.

, , and . mLearn, volume 955 of CEUR Workshop Proceedings, page 240-243. CEUR-WS.org, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dave Harrison

David Harrison

Elizabeth Harrison

Harrison Kia

Alan Harrison

 

Other publications of authors with the same name

A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format., , , , , and . IEEE Symposium on Computer Arithmetic, page 29-37. IEEE Computer Society, (2007)Isolating Critical Cases for Reciprocals Using Integer Factorization.. IEEE Symposium on Computer Arithmetic, page 148-157. IEEE Computer Society, (2003)A HOL Theory of Euclidean Space.. TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 114-129. Springer, (2005)Verifying the Accuracy of Polynomial Approximations in HOL.. TPHOLs, volume 1275 of Lecture Notes in Computer Science, page 137-152. Springer, (1997)Floating-Point Verification Using Theorem Proving.. SFM, volume 3965 of Lecture Notes in Computer Science, page 211-242. Springer, (2006)Floating Point Verification in HOL Light: The Exponential Function.. AMAST, volume 1349 of Lecture Notes in Computer Science, page 246-260. Springer, (1997)Iterative Design and Delivery of High Impact, Multiple Platform, Scenario-based Interactive Mobile Learning Activities in the Health Sciences., , and . mLearn, volume 955 of CEUR Workshop Proceedings, page 240-243. CEUR-WS.org, (2012)Formal Verification at Intel.. LICS, page 45-. IEEE Computer Society, (2003)Integrating Data Mining and Data Management Technologies for Scholarly Inquiry., , , , , , , and . IEEE BigData, page 67-71. IEEE Computer Society, (2014)A Skeptic's Approach to Combining HOL and Maple., and . J. Autom. Reason., 21 (3): 279-294 (1998)