Results 261 to 270 of about 189,152 (316)

Biomolecular Computing and Programming

IEEE Transactions on Evolutionary Computation, 1999
Molecular computing is a discipline that aims at harnessing individual molecules at nanoscales to perform computations. The best studied molecules for this purpose to date have been DNA and bacteriorhodopsin. Biomolecular computing allows one to realistically entertain, for the first time in history, the possibility of exploiting the massive ...
Max H. Garzon, Russell J. Deaton
openaire   +1 more source

On computability by logic programs

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

On computing logic programs

Journal of Automated Reasoning, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Computer Programming is More than to Program Computers

Proceedings of the 19th Annual SIG Conference on Information Technology Education, 2018
In this article, we describe how a holistic approach can introduce soft skills to Computer Programming students and promote community interaction between college and community.
openaire   +1 more source

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

The computer program

1995
The program supplied is a modified version of one of my own working programs. Originally written in FORTRAN, it has been translated into BASIC and compiled with Microsoft Professional Basic PDS 7.1 and Power Basic 3.0. It should also be possible to recompile it using Microsoft Visual Basic for DOS.
openaire   +1 more source

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

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   +2 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

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