Results 241 to 250 of about 8,437,425 (300)

Proceedings of the First Annual Virginia Tech Center for Human-Computer Interaction Research Experience for Undergraduates (REU) Symposium

, 2006
REU Coordinator, HCI-REU Program
core  

Some of the next articles are maybe not open access.

Related searches:

The Logic of Computer Programming

IEEE Transactions on Software Engineering, 1978
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to lead to the automation of many of the facets of the programming process.
Zohar Manna, Richard J. Waldinger
openaire   +3 more sources

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

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