M. A. Aizerman, L. A. Gusev, L. I. Rozonoér, I. M. Smirnova, and A. A. Tal'. The algorithmic insolubility of the problem of recognizing the representability of recursive events in finite automata. English translation of XXXVII 426. Automation and remote control, vol. 22 (1961), pp. 646–652.

Joseph S. Ullian

doi:10.2307/2273004

M. A. Aizerman, L. A. Gusev, L. I. Rozonoér, I. M. Smirnova, and A. A. Tal'. The algorithmic insolubility of the problem of recognizing the representability of recursive events in finite automata. English translation of XXXVII 426. Automation and remote control, vol. 22 (1961), pp. 646–652.

Journal of Symbolic Logic ◽

10.2307/2273004 ◽

1972 ◽

Vol 37 (2) ◽

pp. 410-411

Author(s):

Joseph S. Ullian

Keyword(s):

Remote Control ◽

English Translation ◽

Finite Automata

Download Full-text

N. E. Kobrinskii and B. A. Trakhtenbrot. Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, x + 337 pp.

Journal of Symbolic Logic ◽

10.2307/2270335 ◽

1968 ◽

Vol 33 (3) ◽

pp. 466-466

Author(s):

Robert McNaughton

Keyword(s):

English Translation ◽

Finite Automata ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

A. L. Čérnávskij. Modélirovanié procéssa réšéniá složnyh logičéskih zadač na vyčislitél′nyh mašinah (evrističéstoé programmirovanié). Russian with English summary. Avtomatika i téléméhanika, no. 1 (1967), pp. 166–187. - A. L. Chernyavskii. Computer simulation of the process of solving complex logical problems (heuristic programming). English translation of the preceding. Automation and remote control, no. 1 (1967), pp. 145–167.

Journal of Symbolic Logic ◽

10.2307/2269909 ◽

1968 ◽

Vol 33 (2) ◽

pp. 303-303

Author(s):

D. C. Cooper

Keyword(s):

Computer Simulation ◽

Remote Control ◽

English Translation ◽

English Summary ◽

Heuristic Programming

Download Full-text

V. I. Šéstakov. Pérfokartočnyj métod sintéza mnogotaktnyh réléjnyh sistém (Punched cards synthesis method of switching systems.)Avtomatika i téléméhanika, vol. 19 (1958), pp. 592–605. - V. I. Shestakov. A punched card method for synthesizing relay systems. English translation of the preceding. Automation and remote control, vol. 19 no. 6 (1959), pp. 581–592.

Journal of Symbolic Logic ◽

10.2307/2963865 ◽

1959 ◽

Vol 24 (3) ◽

pp. 259-259

Author(s):

Edward F. Moore

Keyword(s):

Remote Control ◽

English Translation ◽

Synthesis Method ◽

Switching Systems ◽

Relay Systems

Download Full-text

A. D. Zakrevskii. A visual-matrix method for minimizing Boolean functions. English translation of XXXVI 572. Automation and remote control, vol. 21 (1960), pp. 255–258.

Journal of Symbolic Logic ◽

10.2307/2270031 ◽

1971 ◽

Vol 36 (3) ◽

pp. 549-549

Author(s):

H. Enderton

Keyword(s):

Remote Control ◽

English Translation ◽

Boolean Functions ◽

Matrix Method ◽

Visual Matrix

Download Full-text

R. V. Možarov. Ob odnom priznaké polnoty sistémy funkcij algébry logiki (On a sign of completeness of functions system of logic algebra). Avtomatika i téléméhanika, vol. 26, (1965), pp. 1644–1645. - R. V. Mozharov. One method for testing the completeness of systems of logical functions. English translation of the preceding. Automation and remote control, vol. 26 (for 1965, pub. 1966), pp. 1592–1593.

Journal of Symbolic Logic ◽

10.2307/2272109 ◽

1973 ◽

Vol 38 (2) ◽

pp. 343-343

Author(s):

William Wernick

Keyword(s):

Remote Control ◽

English Translation ◽

Logical Functions

Download Full-text

The Remote Control of Parapsychology

Contemporary Psychology ◽

10.1037/019601 ◽

1981 ◽

Vol 26 (1) ◽

pp. 11-12

Author(s):

James E. Alcock

Keyword(s):

Remote Control

Download Full-text

A treatise on man and the development of his faculties (A facsimile reproduction of the English translation of 1842 with an introduction by Solomon Diamond).

10.1037/11993-000 ◽

1969 ◽

Cited By ~ 1

Author(s):

Lambert A. J. Quetelet

Keyword(s):

English Translation

Download Full-text

Blindfolded humans steered by remote control

Nature ◽

10.1038/news060807-3 ◽

2006 ◽

Author(s):

Richard Van Noorden

Keyword(s):

Remote Control

Download Full-text

A remote control eucentric goniometer head for use within a top loading helium cryostat

Revue de Physique Appliquée ◽

10.1051/rphysap:01984001909079500 ◽

1984 ◽

Vol 19 (9) ◽

pp. 795-797 ◽

Cited By ~ 1

Author(s):

M. Berneron ◽

A. Filhol ◽

J.J. Vernier ◽

M. Thomas

Keyword(s):

Remote Control ◽

Helium Cryostat ◽

Goniometer Head

Download Full-text

Radiation Mould with Radio Isotope Solutions Fluid „Iso-mould”

Nuklearmedizin ◽

10.1055/s-0037-1621152 ◽

1961 ◽

Vol 1 (03) ◽

pp. 246-257

Author(s):

M. O. Roxo-Nobre ◽

D. M. Vizeu

Keyword(s):

Clinical Practice ◽

Remote Control ◽

Lymph Nodes ◽

Half Life ◽

Radioactive Substances

SummaryA technique of mouldage, employing fluid radioactive substances is adopted, to replace the radium-moulding in the treatment of large surfaces. The technique is explained in detail, proving its greater safety by remote control and an adjustment of adequate means of protection. Distribution is obtained by means of a serpentine attached to the mould in question, which follows the Paterson-Parker system. The authors believe the distribution of radiation on curved anatomical areas to be much more uniform by mould system than any other process of application of the same radiation of rectilineal propagation, transmitted at greater focus-skin distances. The isotopes used up to now were the La140 and others of reduced half-life, in order to prevent the danger of eventual contaminations. Although the application of the process still has very little clinical practice, the technique is presented with a view to experimentation in extensive superficial tumours, or those of little depth, such as tumours of the skin, breast, penis, thyrreoid and lymph nodes.

Download Full-text