( 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

Floating-Point Verification Using Theorem Proving.. SFM, volume 3965 of Lecture Notes in Computer Science, page 211-242. Springer, (2006)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 in HOL Light: The Exponential Function.. AMAST, volume 1349 of Lecture Notes in Computer Science, page 246-260. Springer, (1997)A HOL Theory of Euclidean Space.. TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 114-129. Springer, (2005)Re-envisioning instructional technology research in higher education environments: a content analysis of a grant program., , , and . J. Comput. High. Educ., 24 (3): 164-181 (2012)A Skeptic's Approach to Combining HOL and Maple., and . J. Autom. Reason., 21 (3): 279-294 (1998)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)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)