... either side of the doorway represent Hindoo Deities symbols &c'.The youngest of the three city-states ...
0000 - Gale Group | NCCO Photography
... it the special deductive sciences which involve undefined symbols and whose propositions are not all capable of proof. The symbols denote either classes of 'elements or relations amongst ... choose in various ways the system of undefined symbols and the system of undemonstrated or primitive propositions, ... Having in mind a definite system of undefined symbols and a definite system of postulates, we have ... of the irreducibility of the system of undefined symbols. A system of undefined symbols is said to be reducible if for one ...
Tópico(s): Philosophy, Science, and History
1903 - American Association for the Advancement of Science | Science
Springer Link
Book.
0000 - Gale Group | Sabin
... following discussions , we shall resort to the following symbols: p, q, r, s are symbols of propositions is the symbol of "and" — in front of, or above, another symbol is the symbol of negation ? is the symbol of "or" / is the symbol of not specified implication (sequitur ) J'is the symbol of material implication /*is the symbol of strict implication = is the symbol of equivalence Impis the symbol for "impossible that" ...
Tópico(s): Philosophy, Science, and History
1951 - St. Bonaventure University | Franciscan studies
Project Muse
No more published. Book.
0000 - Gale Group | Sabin
... increased either by increasing the variety of the symbols from which it is composed or by increasing ... Psychological experiments indicate that the variety of the symbols is far less important than the length of ... but differing in the amount of information per symbol are equally easy to memorize. This fact provides ... well as a reduction in the information per symbol or as a reduction in the effective length ... equivalent to reducing the amount of information per symbol. It is as if each storage register could ...
Tópico(s): Information Retrieval and Search Behavior
1956 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Information Theory
Springer Link
... variables, functions of various types, predicates and logical symbols described below.It is to be noticed that ... The system of logic $FLC$.\S 1. Type symbols.The type symbol is defined recursively as follows.1.1.1.$0$ is a type symbol G. TAKEUTI 1.1.2.If $\alpha_{1},\cdots,$ $\alpha_{n}$ are type symbols, then $(\alpha_{1},\cdots, \alpha_{n})$ is a type symbol.$(n=1,2,3,\cdots)$The height of a type symbol is defined recursively as follows. 1.2.1.The height of the type symbol $0$ is zero.1.2.2.The height of the type symbol $(\alpha_{1},\cdots, \alpha_{n})$ is $h+1$ , ...
Tópico(s): Logic, Reasoning, and Knowledge
1957 - Mathematical Society of Japan | Journal of the Mathematical Society of Japan
The Burndy Library Collection at the Huntington Library. Book.
1847 - Gale Group | NCCO-STM 1of2
... be formulated in the following way: There are symbols for operations, e.g.: N for negation; K ... disjunction; E for equivalence; C for implication; and symbols p, q, r, 8, t for variables. A ... is a formula. A formula preceded by the symbol N is a formula. Two juxtaposed formulas preceded by any one of the symbols, K, A, E, C are a formula. Evaluation ... in the following way: Each of the variable symbols p, q, r,... has a value 0 or 1. The operation symbol acts on the value of the one or ... the following easy way: Each of the variable symbols is represented by a box with one output, ...
Tópico(s): Mathematics, Computing, and Information Processing
1960 - American Mathematical Society | Mathematics of Computation
Title-vignette. Includes index. Includes bibliographical references. Book.
0000 - Gale Group | Sabin
... 15, 16]) that there exist sequences on 3 symbols which contain no 2 identically equal consecutive segments, and sequences on 2 symbols which contain no 3 identically equal consecutive segments. ... An interesting situation arises when we allow the symbols within a segment to commute with each other. ... above say that there exist sequences on 3 symbols without 2nd powers as segments, and sequences on 2 symbols without 3rd powers.) Now let X denote the ... is: Does there exist a sequence on four symbols without 2nd powers mod α? It is an ...
Tópico(s): Advanced Algebra and Logic
1971 - Taylor & Francis | American Mathematical Monthly
Wellcome Library, London. Series: Iconographic Collections. Photographer: J. Thomson.
0000 - Gale Group | NCCO Photography
... trials required for a subject to guess subsequent symbols in a given text. The guessing approach precludes ... processes. Shannon's technique of guessing the next symbol is altered by having the subject place sequential bets on the next symbol of text. If S_{n} denotes the subject' ... log_{27}S_{n}) \log_{2} 27 bits/symbol. If the subject does not know the true ... has an entropy of approximately 1.3 bits/symbol, which agrees well with Shannon's estimate. In ... trials required for a subject to guess subsequent symbols in a given text. The guessing approach precludes ...
Tópico(s): Evolutionary Algorithms and Applications
1978 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Information Theory
J. Traill Taylor, E. H. Winham, G. S. Penny, A. Davanne, Adam Salomon, George Washington Wilson, Geo. Kime, W. H. Shelman, Helefrie B. Berkelly, Williame A. Kinle, Edward Plywood, W. B. Woodbury, William Edwared, John A. Spencer, W. B. Woodbury, W. Neilson, Fransces G. Eliot, J. King, E. W. Foniyy, William Brooks, J. Rainf, A. L. HAnderson, William Gliders, William Federson, Rev. S. Langfold Sainsbury, Henry Whitefeld, Thomas Gulliver, George Wilson, W. T. Watson, J. W. Goech, John Nesbil, Charles Allan Filnelly, E. T. Fennessy, Edward Vills, A. Marshall, H. J. Burion, Flash Howald, W. B. Woodbury, Samuel Fry, Alex Asher, James Roy, A. J. Wilson,
... Dry Plate Photography, Albumenised Paper and …, Table of Symbols &c.— Continued, A Peen for Waned Paper, Discursive ... Developed, A Mono Stereoscope, Illegible Article, Table of Symbols of the More Important Compounds Used in Photography, ...
1875 - Gale Group | NCCO Photography
... value scaling and the use of several legend symbols in eliminating the underestimation of symbol size ratios. It was hypothesized that estimates of symbol size are based on a neutral reference point, called adaptation level (AL), and that legend symbols act as anchoring stimuli by pulling the AL in the direction of the legend symbol, a process called assimilation. When the AL is ... the entire judgment scale. Thus, a small legend symbol tends to yield underestimations and a large legend symbol, overestimations. When several legend symbols are used, the ...
Tópico(s): Advanced Text Analysis Techniques
1976 - Taylor & Francis | The American Cartographer
W. England, George Kemp, Valentine Blanchard, Edward Chawner, R. J. Fowler, A. L. Henderson, Edward W. Foxlee, J. Werge, A. Pumphrey, John Bockett, John Homersham, William H. Harrison, George C. Warren, M. Carey Lea, William Griggs, Walter Woodbury, Howard Grubb, Frank Howard, J. R. Johnson, Samuel Fry, R. J. Fowler, Edward Dunmore, Richard Vervega, Charles E. Pearce, Edwin Cocking, William H. Harrison, George Markham, Dr. J. Emerson Reynolds, H. Swan, John Beattie, F. W. Hart, Ernest Edwards, P. Le Neve Foster, Martin Tupper Smith, W. H. Davies, Silvester Parry, George Shadbolt,
... and Enlargements, On the Printing Bath, Table of Symbols and Equivalents of the More Important Compounds Used ... Bath, On Collodion for Dry Processes, Table of Symbols, &c.— Continued, Over-Exposure and Over-Development of ...
1869 - Gale Group | NCCO Photography
... is discussed as it relates to traffic sign symbols. A widely used version of the prohibitive message (symbol surrounded by a red ring with a slash through the symbol) was found to have limited legibility because the slash obscures the symbol. Two experiments examined the glance legibility of 15 symbols under each of four conditions-slash over symbol, slash under symbol, partial slash, and no slash. The results indicated that the glance legibility of traffic sign symbols is better when no slash or a partial ...
Tópico(s): Human-Automation Interaction and Safety
1976 - SAGE Publishing | Human Factors The Journal of the Human Factors and Ergonomics Society
R. R. Bourland, A. S. Murray, J. R. Swain, P. C. Duchochois, Wm. Bell, Val. Starnes, James H. Stebbins Jr., J. Wells Champney, Chapman Jones, Ellerslie Wallace, David Gray Archibald, Walter Sprange, Hector MacLean, J. Herbert Fry, W. J. Hickmott, Gilson Willets, H. Edwards-Ficken, Dr. Victor Schumann, F. E. Fairbanks, Olin H. Basquin, Frederick J. Burnett, Maximilian Toch, E. Lingan Bowlus, Alexander Black, J. W. Barbour, Joseph Cottier, W. H. Walmsley, R. D. O. Smith, R. L. Maddox, Newton W. Emmens, Ed. Bierstadt, Dr. A. Clifford Mercer, D. T. Ames, R. Hitchcock, Adelaide Skeel, Stephen H. Horgan, Wm. Harkness, J. Carpenter, J. Stogdell Stokes, S. Hemingway, Milton B. Punnett, F. Paul Liesegang, W. H. Sherman, James Leadbeater, Alfred Stieglitz, O. G. Mason, A. B. Aubert, E. Valenta, W. T. Wintringham, Henry L. Tolman, Rev. Dwight W. Smith,
... a Thornton-Pickard Focal Plane Shutter, Table of Symbols, Atomic Weight and Solubilities of the Principal Chemicals ... the Principal Chemicals, Etc.—Continued, Table of the Symbols, Etc., Impurities in Photographic Chemicals and Tests for ...
1897 - Gale Group | NCCO Photography
Artificial intelligence functions in terms of abstract symbols and human intelligence functions in terms of paradigmatic symbols. A paradigmatic symbol is a particular object, or the mental representation thereof, capable of ... agent of elicitation. Thinking in terms of paradigmatic symbols needs no addiononal rules of interpretation, while thinking in terms of abstract symbols requires an ad hoc rule of interpretation to have any relation with actual behavioral operations. Paradigmatic symbols have their places in the life-oriented internal ...
Tópico(s): Computability, Logic, AI Algorithms
1974 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Systems Man and Cybernetics