Bokus

Distinguished Dissertations

Visar alla böcker i serien Distinguished Dissertations. Handla med fri frakt och snabb leverans.

  1. Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

    Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

    Jacques Fleuriot · 2012

  2. Accurate Visual Metrology from Single and Multiple Uncalibrated Images

    Accurate Visual Metrology from Single and Multiple Uncalibrated Images

    Antonio Criminisi · 2012

  3. User-Developer Cooperation in Software Development

    User-Developer Cooperation in Software Development

    Eamonn O'Neill · 2012

  4. Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

    Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

    Ian Miguel · 2012

  5. Inheritance Relationships for Disciplined Software Construction

    Inheritance Relationships for Disciplined Software Construction

    Tracy A. Gardner · 2012

  6. Image Mosaicing and Super-resolution

    Image Mosaicing and Super-resolution

    David Capel · 2012

  7. Strength or Accuracy: Credit Assignment in Learning Classifier Systems

    Strength or Accuracy: Credit Assignment in Learning Classifier Systems

    Tim Kovacs · 2012

  8. Automated Theory Formation in Pure Mathematics

    Automated Theory Formation in Pure Mathematics

    Simon Colton · 2012

  9. Asynchronous System-on-Chip Interconnect

    Asynchronous System-on-Chip Interconnect

    John Bainbridge · 2014

  10. Games and Full Abstraction for a Functional Metalanguage with Recursive Types

    Games and Full Abstraction for a Functional Metalanguage with Recursive Types

    Guy McCusker · 2012

  11. Stochastic Algorithms for Visual Tracking

    Stochastic Algorithms for Visual Tracking

    John MacCormick · 2011

  12. Randomized Algorithms: Approximation, Generation, and Counting

    Randomized Algorithms: Approximation, Generation, and Counting

    Russ Bubley · 2011

  13. Architecture-Independent Loop Parallelisation

    Architecture-Independent Loop Parallelisation

    Radu C. Calinescu · 2011

  14. Models of Sharing Graphs

    Models of Sharing Graphs

    Masahito Hasegawa · 2011

  15. Large Scale Collaborative Virtual Environments

    Large Scale Collaborative Virtual Environments

    Chris Greenhalgh · 2011

  16. Extensional Constructs in Intensional Type Theory

    Extensional Constructs in Intensional Type Theory

    Martin Hofmann · 2011

  17. Theorem Proving with the Real Numbers

    Theorem Proving with the Real Numbers

    John Harrison · 2011

  18. Search and Planning Under Incomplete Information

    Search and Planning Under Incomplete Information

    Ian Frank · 2011

  19. Hardware Evolution

    Hardware Evolution

    Adrian Thompson · 2012