Results 331 to 340 of about 3,508,326 (346)
Some of the next articles are maybe not open access.
SURVEY COMPUTATIONS ON A SMALL COMPUTER
Survey Review, 1965AbstractThe next programme is an extension of the last, with the object of solving and adjusting any survey network problem given as data: coordinates, bases, azimuths, distances, angles, and bearings. Since storage is at a premium in a small computer, the inclusion of the extra facilities must be paid for by a small reduction in the size of network ...
openaire +3 more sources
Complexity of Computer Computations
Mathematics of Computation, 1972Jean D. Bohlinger +2 more
openaire +2 more sources
Computers In Computed Tomography
IEEE 1977 Region Six Conference Record, 1977., 2005Computed Tomography is presented. Basic theory of CT operation along with typical CT images are presented. The computational system architectures as applied to computed tomography is presented. Three basic com puter configurations are described. These computa tional architectures span four generations of computer tomography systems.
openaire +2 more sources
Computability and Computable Models
2007The intuitive notion of computability was formalized in the XXth century, which strongly affected the development of mathematics and applications, new computational technologies, various aspects of the theory of knowledge, etc. A rigorous mathematical definition of computability and algorithm generated new approaches to understanding a solution to a ...
openaire +2 more sources
1995
Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity.
openaire +2 more sources
Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity.
openaire +2 more sources
Computer vs Computer via Computer
ICGA Journal, 1984Tim Breikreutz, Jonathan Schaeffer
openaire +2 more sources