( en | de | ru )

 

Disambiguation of "Smith, Andrew P."

Author of the publication

copydeleteadd this publication to your clipboard
Affine Arithmetic and Applications to Real-Number Proving.

, , and . ITP, volume 9236 of Lecture Notes in Computer Science, page 294-309. Springer, (2015)

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.

Andrew Smith

Andrew Dingwall-Smith

Mitchell P Smith

Andrew Jonathan Smith

Daniel P Smith

 

Other publications of authors with the same name

Bounding the Range of a Rational Function over a box., , , and . Reliab. Comput., (2012)Investigation of Practical Scoring Methods for Breast Density., , and . Digital Mammography / IWDM, volume 6136 of Lecture Notes in Computer Science, page 651-658. Springer, (2010)Solution of Systems of Polynomial Equation by Using Bernstein Expansion., and . Symbolic Algebraic Methods and Verification Methods, Springer, (2001)KLOSURE: Closing in on open-ended patient questionnaires with text mining., , , and . J. Biomed. Semant., 10 (1): 24:1-24:11 (2019)Effects of Perceptions of Information Overload, Noise and Environmental Demands on Wellbeing and Academic Attainment., and . H-WORKLOAD, volume 1318 of Communications in Computer and Information Science, page 87-96. Springer, (2020)Associations Between Job Demands, Perceptions of Noise at Work and the Psychological Contract., and . H-WORKLOAD, volume 1318 of Communications in Computer and Information Science, page 138-146. Springer, (2020)The Relationship Between Workload, Fatigue and Sleep Quality of Psychiatric Staff., , and . H-WORKLOAD, volume 1493 of Communications in Computer and Information Science, page 151-164. Springer, (2021)Guest editors preface., and . Reliab. Comput., (2012)A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials., and . COCOS, volume 3478 of Lecture Notes in Computer Science, page 71-85. Springer, (2003)Task Engagement and Attentional Resources., , and . Hum. Factors, 59 (1): 44-61 (2017)