Results 241 to 250 of about 7,861,380 (293)

On computability by logic programs

Annals of Mathematics and Artificial Intelligence, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +5 more sources

Computational Chains and the Simplification of Computer Programs

IEEE Transactions on Electronic Computers, 1962
In the synthesis of switching circuits, a formal representation of the function to be realized by the circuit is first established and simplified as much as possible. Only then is construction of the circuit undertaken. It is argued that an analogous strategy should be followed in the synthesis of digital computer programs: the function to be realized ...
openaire   +3 more sources

A Computer Program for Urology

British Journal of Urology, 1985
Summary— Modern information technology offers new opportunities for the storage and manipulation of clinical data within hospital departments. We have designed and put into use a microcomputer system for urology. its basic structure and main functions are described.
M B, Rose, P A, Georghiades, W B, Dowsland   +2 more
openaire   +2 more sources

Verification of program computations

2015
Die formale Verifikation der Implementierung komplexer Algorithmen ist schwierig. Sie übersteigt die Möglichkeiten der heutigen Verifikationswerkzeuge und erfordert für gewöhnlich komplexe mathematische Theoreme. Zertifizierende Algorithmen berechnen zu jeder Ausgabe ein Zerfitikat, das die Korrektheit der Antwort bestätigt. Ein Checker für ein solches
openaire   +3 more sources

Programming a vector computer

1972 IEEE 2nd Symposium on Computer Arithmetic (ARITH), 1972
The principal purpose of this paper is to illustrate how some well known algorithms have been programmed on a specific vector computer, the CDC STAR-100. The main thesis is that the extensive repertoire of programs devised for conventional machines can be transferred effectively to a vector computer, though the detailed implementation will generally ...
openaire   +1 more source

Computational programming technologies

Programming and Computer Software, 2011
Problems arising in computational programming in connection with the approaching transition to using exaflop hardware are discussed. The discussion is focused on the lifecycle of mathematical modeling and related general problems that are being solved in the course of model development.
Valeri P. Il'in, I. N. Skopin
openaire   +2 more sources

Computers and Computer Programs

2014
Computers are an integral part of astrophotography and perform a wide range of tasks. Anyone with poor computer skills soon learns either to develop them or find a hobby other than astrophotography. While computers are required for processing our digital images, they also can greatly facilitate the other aspects of astrophotography from identifying ...
openaire   +1 more source

Nonlinear programming computations

Preprints of papers presented at the 13th national meeting of the Association for Computing Machinery on - ACM '58, 1958
This paper is concerned with two recently developed computational algorithms for the solution of particular classes of nonlinear programming problems.
openaire   +1 more source

Medical Computing Programs

JAMA: The Journal of the American Medical Association, 1968
To the Editor:— Dr. Gabrieli's important suggestion (204:833, 1968) regarding the development of a national health information network requires some elaboration. A goal for having such a bank for information is technically feasible, however, strong forces offer resistance to the development of this important use of automated procedures. Anyone who has
openaire   +2 more sources

Helpful computer programs

Nursing Standard, 1988
Computer programs used for health education have proved popular with nurses, according to a Glasgow study.
V, Lnqlis, D, Black, M, McNulty, G, Gibson   +3 more
openaire   +2 more sources