Sökt på: dissertation
Vi gjorde istället en sökning på titeln dissertation vilket gav totalt 28 träffar
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dimensional images using virtual …
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dimensional images using virtual …
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as …
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as …
Architecture-Independent Loop Parallelisation
Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs of parallel software …
Asynchronous System-on-Chip Interconnect
Asynchronous System-on-Chip Interconnect describes the use of an entirely asynchronous system-bus for the modular construction of integrated circuits. Industry is just awakening to …
Automated Theory Formation in Pure Mathematics
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large …
Automated Theory Formation in Pure Mathematics
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large …
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
First, I would like to thank my principal supervisor Dr Qiang Shen for all his help, advice and friendship throughout. Many thanks also to my second supervisor Dr Peter Jarvis for …
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
First, I would like to thank my principal supervisor Dr Qiang Shen for all his help, advice and friendship throughout. Many thanks also to my second supervisor Dr Peter Jarvis for …