Results 221 to 230 of about 13,662 (264)
Some of the next articles are maybe not open access.
Communications of the ACM, 1967
Examples of algorithms that will accomplish automatic storage reservation without the need for explicit array declarations are described.
Melvin Klerer, Jack May
openaire +1 more source
Examples of algorithms that will accomplish automatic storage reservation without the need for explicit array declarations are described.
Melvin Klerer, Jack May
openaire +1 more source
Automatization of nanotomography
Review of Scientific Instruments, 2007An approach for automated nanotomography, a layer-by-layer imaging technique based on scanning probe microscopy (SPM), is presented. Stepwise etching and imaging is done in situ in a liquid cell of an SPM. The flow of etching and rinsing solutions after each etching step is controlled with solenoid valves which allow for an automated measuring protocol.
C, Dietz +5 more
openaire +2 more sources
Proceedings of the ACM 1980 annual conference on - ACM 80, 1980
In information retrieval and text processing systems the search requests and stored information items are normally represented by sets of content identifiers, known as keywords or index terms. The choice of effective indexing products designed accurately to reflect document content is by far the most crucial task in retrieval.
openaire +1 more source
In information retrieval and text processing systems the search requests and stored information items are normally represented by sets of content identifiers, known as keywords or index terms. The choice of effective indexing products designed accurately to reflect document content is by far the most crucial task in retrieval.
openaire +1 more source
Transactions of the American Institute of Electrical Engineers, 1932
AS A RESULT of the new e ra of extensive interconnection of large power systems and of t he high speed operation of switches and circuit breakers, problems have arisen that only an oscillograph can solve; further an oscillograph for such applications must have characteristics that are not found in those designed for more general usage.
C. M. Hathaway, R. C. Buell
openaire +1 more source
AS A RESULT of the new e ra of extensive interconnection of large power systems and of t he high speed operation of switches and circuit breakers, problems have arisen that only an oscillograph can solve; further an oscillograph for such applications must have characteristics that are not found in those designed for more general usage.
C. M. Hathaway, R. C. Buell
openaire +1 more source
Nursing Standard, 1991
I am writing to dispel the apparent nursing myth that it is a foregone conclusion that SENs automatically pass their conversion courses.
openaire +2 more sources
I am writing to dispel the apparent nursing myth that it is a foregone conclusion that SENs automatically pass their conversion courses.
openaire +2 more sources
Synthese, 2015
It is not rare in philosophy and psychology to see theorists fall into dichotomous thinking about mental phenomena. On one side of the dichotomy there are processes that I will label “unintelligent.” These processes are thought to be unconscious, implicit, automatic, unintentional, involuntary, procedural, and non-cognitive.
openaire +2 more sources
It is not rare in philosophy and psychology to see theorists fall into dichotomous thinking about mental phenomena. On one side of the dichotomy there are processes that I will label “unintelligent.” These processes are thought to be unconscious, implicit, automatic, unintentional, involuntary, procedural, and non-cognitive.
openaire +2 more sources
The American Journal of Forensic Medicine and Pathology, 1984
The historic development and validity of drug automatism are discussed. Original articles and other publications supporting the concept do not present authenticated cases to validate the concept; therefore, it remains unproved.
openaire +2 more sources
The historic development and validity of drug automatism are discussed. Original articles and other publications supporting the concept do not present authenticated cases to validate the concept; therefore, it remains unproved.
openaire +2 more sources
The automaticity of interpreting Automaticity.
American Psychologist, 2000A F, Smith, B D, Slife
openaire +2 more sources
2009
We give an overview of applications of weighted finite automata to automatically prove termination of rewriting. Instances of this approach are: standard and arctic matrix interpretations, and the match bound technique. These methods have been developed in recent years, and they are being used by today's leading automated termination prover software.
openaire +1 more source
We give an overview of applications of weighted finite automata to automatically prove termination of rewriting. Instances of this approach are: standard and arctic matrix interpretations, and the match bound technique. These methods have been developed in recent years, and they are being used by today's leading automated termination prover software.
openaire +1 more source