Results 171 to 180 of about 5,630 (217)
Automatism – A case of reality testing
Forensic Science International: Mind and Law, 2020 Automatism represents automatic behaviour, thereby eliminating concepts of actus rea and mens rea, as the perpetrator is not in voluntary control of his/her actions nor intent.
Roy Beran
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Automaticity, Automatization and Dyslexia
1999Although automaticity as a theoretical concept has been subject to debate and evolution, there seems to be little doubt that it plays an important role in the development of basic skills like reading. It is fair to state that automaticity is the key feature of skilled reading.
van der Leij, D.A.V., van Daal, V.
openaire +3 more sources
Automaticity and automatic rhythms
The American Journal of Cardiology, 1971Abstract The nature of the automatic process in cardiac pacemakers is discussed with special reference to the mechanism of diastolic depolarization in cardiac Purkinje fibers as investigated by the use of the voltage clamp technique. The major factors controlling cardiac automaticity—the sympathetic nerves, the vagi and overdrive suppression —are ...
openaire +2 more sources
J. Autom. Lang. Comb., 2000
Automaticity is a measure of descriptional complexity for formal languages $L$, and measures how closely $L$ can be approximated by regular languages. I survey some of the known results and open problems on automaticity. I also discuss a measure which I call "rationality", and explain how it generalizes the well-known concept of linear complexity.
openaire +3 more sources
Automaticity is a measure of descriptional complexity for formal languages $L$, and measures how closely $L$ can be approximated by regular languages. I survey some of the known results and open problems on automaticity. I also discuss a measure which I call "rationality", and explain how it generalizes the well-known concept of linear complexity.
openaire +3 more sources
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
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 +2 more sources
Examples of algorithms that will accomplish automatic storage reservation without the need for explicit array declarations are described.
Melvin Klerer, Jack May
openaire +2 more sources
The American Journal of Cardiology, 2000
The automated measurement of the main electrical parameters of pacemakers, such as battery voltage, current drain, pacing impedance, sensing levels, and pacing thresholds enables a continuous monitoring of the adequate functioning of the implanted device.
J, Neuzner, T, Schwarz, J, Sperzel
openaire +2 more sources
The automated measurement of the main electrical parameters of pacemakers, such as battery voltage, current drain, pacing impedance, sensing levels, and pacing thresholds enables a continuous monitoring of the adequate functioning of the implanted device.
J, Neuzner, T, Schwarz, J, Sperzel
openaire +2 more sources
Biorheology, 1977
A sedimentation recorder including an optical tracking head controlled to track the liquid-solid separation boundary in a tube containing a sample of liquid-solid mixture is described. The tracking head is controlled by a pulse operated servomotor which responds to the output of a photodetector mounted in the tracking head.
E, Misiaszek +3 more
openaire +2 more sources
A sedimentation recorder including an optical tracking head controlled to track the liquid-solid separation boundary in a tube containing a sample of liquid-solid mixture is described. The tracking head is controlled by a pulse operated servomotor which responds to the output of a photodetector mounted in the tracking head.
E, Misiaszek +3 more
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 +2 more sources
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 +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 +2 more sources
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 +2 more sources