Results 261 to 270 of about 2,564,262 (308)
Some of the next articles are maybe not open access.
Quantum Computers as Fuzzy Computers
2001An implementation of digitised fuzzy numbers on quantum computers is suggested. It is shown that due to the famous quantum parallelism quantum computers can operate "globally" on whole membership functions of fuzzy numbers, not by calculating them "point by point" as classical computers do, which leads to the considerable decrease in the number of ...
Jaroslaw Pykacz +2 more
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 +1 more source
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 +1 more source
Factoring: Algorithms, computations, and computers
The Journal of Supercomputing, 1987zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
That's not computing- thisis computing
Computer, 2003We've all become blase about our computing: computers in our pockets, in our washing machines, controlling our car engines, in our greeting cards, in our ski boots and tennis shoes. The giddy sense of amazement, of possibility, has gradually given way to complacency and a vague sense of unfulfilled entitlement.
openaire +1 more source
Nursing Standard, 1991
The Department of Health has launched a new computer system for monitoring adverse drug reactions. The Adverse Drug Reactions On-line Information Tracking system (ADROIT) will allow reports to be processed in days rather than weeks, says the Department.
openaire +2 more sources
The Department of Health has launched a new computer system for monitoring adverse drug reactions. The Adverse Drug Reactions On-line Information Tracking system (ADROIT) will allow reports to be processed in days rather than weeks, says the Department.
openaire +2 more sources
A Computable Structure with Non-Standard Computability
Siberian Advances in Mathematics, 2017Summary: We find an example of a computable admissible set whose level of computability is higher than that of the standard model of Peano arithmetic. As a byproduct, we construct a 1-decidable model of an undecidable submodel complete theory.
Avdeev, R. R., Puzarenko, V. G.
openaire +3 more sources
2008
Abstract Before we can use a computer as a tool for scientific computing, we must gain a basic understanding of key concepts concerning physical components, communication protocols and procedures, programming, and the design of computational strategies implemented in algorithms.
openaire +1 more source
Abstract Before we can use a computer as a tool for scientific computing, we must gain a basic understanding of key concepts concerning physical components, communication protocols and procedures, programming, and the design of computational strategies implemented in algorithms.
openaire +1 more source
Computer vs Computer via Computer
ICGA Journal, 1984Tim Breikreutz, Jonathan Schaeffer 0001
openaire +1 more source
1986
Recent years have seen considerable progress in computer technology, in computer science, and in the computational sciences, which include computational chemistry. To a large extent developments in these fields have been mutually dependent. Progress in computer technology — such as the use of very-large-scale integrated circuits — has led to ...
openaire +1 more source
Recent years have seen considerable progress in computer technology, in computer science, and in the computational sciences, which include computational chemistry. To a large extent developments in these fields have been mutually dependent. Progress in computer technology — such as the use of very-large-scale integrated circuits — has led to ...
openaire +1 more source
Computational and computer complexity of analogic cellular wave computers
Proceedings of the 2002 7th IEEE International Workshop on Cellular Neural Networks and Their Applications, 2003The CNN Universal Machine is generalized as the latest step in computational architectures: a Universal Machine on Flows. Computational complexity and computer complexity issues are studied in different architectural settings. Three mathematical machines are considered: the universal machine on integers (UMZ), the universal machine on reals (UMR) and ...
openaire +1 more source