Results 331 to 340 of about 9,025,697 (385)
On computability by logic programs [PDF]
Annals of Mathematics and Artificial Intelligence, 1995 The problem of computational completeness of Horn clause logic programs is revisited. The standard results on representability of all computable predicates by Horn clause logic programs are not related to the real universe on which logic programs operate.
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Computers and Computer Programs
2014Computers 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 +2 more sources
Computer Programs for Crystallography
Nature, 1968Two computer programs, DSPIN and LSQRS, have been written to carry out the routine tasks of indexing sets of observed d-spacings in terms of known unit cells and of refining unit cell parameters rapidly, accurately and painlessly. The programs have been so written that the computer does as much of the computation and job organization as possible, and ...
openaire +3 more sources
gimlet: a computer program for analysing genetic individual identification data
, 2002Growing interest in microsatellite genotyping, combined with noninvasive genetic sampling has led to the increased production of data. New tools to analyse these data are required.
Nathaniel Valière
semanticscholar +1 more source
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
IEEE transactions on computers, 2016Many large sequential computers execute operations in a different order than is specified by the program. A correct execution is achieved if the results produced are the same as would be produced by executing the program steps in order.
L. Lamport
semanticscholar +1 more source
A new computer program for Rietveld analysis of X-ray powder diffraction patterns
, 1981The Rietveld [J. Appl. Cryst. (1969), 2, 65–71] method of structure refinement from powder diffraction patterns is widely used with neutron data and increasingly so with X-ray data. A computer program for the application of the method with X-ray data, or
D. B. Wiles, R. Young
semanticscholar +1 more source
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 +3 more sources
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 +3 more sources
EDMA: a computer program for topological analysis of discrete electron densities
, 2012EDMA is a computer program for topological analysis of discrete electron densities according to Bader's theory of atoms in molecules. It locates critical points of the electron density and calculates their principal curvatures. Furthermore, it partitions
L. Palatinus, S. J. Prathapa, S. Smaalen
semanticscholar +1 more source
A computer program for designing optimum FIR linear phase digital filters
, 1973This paper presents a general-purpose computer program which is capable of designing a large Class of optimum (in the minimax sense) FIR linear phase digital filters.
J. McClellan
semanticscholar +1 more source
2011
If a certain numerical method has been developed to solve a given problem, a computer is needed to do the work as prescribed by the algorithm. But this requires that the algorithm is transferred into a program that can be understood by the computer. In this chapter we shall briefly describe the basic characteristics for this programming process, and ...
openaire +2 more sources
If a certain numerical method has been developed to solve a given problem, a computer is needed to do the work as prescribed by the algorithm. But this requires that the algorithm is transferred into a program that can be understood by the computer. In this chapter we shall briefly describe the basic characteristics for this programming process, and ...
openaire +2 more sources