Filters








1,833,113 Hits in 4.7 sec

Theory of abstract machines

Seymour Ginsburg
1961 Communications of the ACM  
Abstract Machines Research Directorate, System Development Corporation, Santa Monica, California Seymour Ginsburg (November 1960) Theory of Reported by: Descriptors: abstract machines, automata, logical  ...  of the theory of programs directed toward programs at work.  ... 
doi:10.1145/355578.366521 fatcat:grn4jxr3s5bupba2whoq2fhy7a

A theory of abstraction

Fausto Giunchiglia, Toby Walsh
1992 Artificial Intelligence  
The theory allows us to study the properties of abstraction mappings and provides the foundations for the mechanization of abstraction inside an abstract proof checker.  ...  Walsh, A theory of abstraction, Artificial Intelligence 57 (1992) 323-389. Informally, abstraction can be described as the process of mapping a representation of a problem onto a new representation.  ...  Acknowledgement The idea of describing abstraction as a mapping between formal systems originated when the first author was working inside the F0L group, at the CS Department of Stanford University.  ... 
doi:10.1016/0004-3702(92)90021-o fatcat:jjbven4yezgh7l43rcql4cw33a

Abstract theory of semiorderings

Thomas C. Craven, Tara L. Smith
2005 Bulletin of the Australian Mathematical Society  
Marshall's abstract theory of spaces of orderings is a powerful tool in the algebraic theory of quadratic forms.  ...  We develop an abstract theory for semiorderings, developing a notion of a space of semiorderings which is a prespace of orderings.  ...  [7] Abstract theory of semiorderings 231 This allows us to view an abstract space of semiorderings as a prespace of orderings [1] , with the group being the group of units in WS{D, *).  ... 
doi:10.1017/s0004972700035036 fatcat:64x3ulvsinamppp2tqpb6imfay

Abstracts of Papers: Ergodic theory

1944 Bulletin of the American Mathematical Society  
ABSTRACTS OF PAPERS 63 t shows green (red) for the horizontal line through Pa and red (green) for the vertical.  ...  Such problems are solved by the theory of simultaneous congruences. The results are applied to the determination of the synchronization for the "best" flow of traffic.  ...  A later paper will be devoted to the study of the convergence of the successive approximations and to the problem of the existence of the solution. (Received October 28, 1943.) ERGODIC THEORY 44. P.  ... 
doi:10.1090/s0002-9904-1944-08064-6 fatcat:fu6kaaxclvfhhk6jvhdtlrb5gm

The Theory of Abstract Ethics

1916 Nature  
Dunn in preparation of about the first I 32 pages of this part. The Theory of Abstract Ethics. Pp. viii+ 126. (Cambridge: Press, 1916.) Price 4s. 6d. By T. \i\Thittaker. At the University net.  ...  The fundamentals of every moral system are liberty and justice; and abstract ethics, as distinguished from the art of life in general, is a kind of impersonal science of the conditions under which all  ... 
doi:10.1038/097032a0 fatcat:ehconhvxzjb33bmhwpdtkrob7q

Review of Abstract Measurement Theory

No authorship indicated
1989 Contemporary Psychology  
Abstract Measurement Theory. Cambridge, MA: MIT Press, 1985. 341 pp. $40.00. Discusses axi- omatic measurement theory. Includes mathematical proofs. Two parts. Six chapters. References. Index.  ...  The Motivation Factor: A Theory of Per- sonal Investment. Lexington, MA: Lex- ington Books, 1986. 283 pp. ISBN 0-669- 11226-7. $29.00.  ... 
doi:10.1037/028111 fatcat:gvurwnr4jraz5dlugvxv5bedoe

A Semantic Theory of Abstractions

P. Pandurang Nayak, Alon Y. Levy
1995 International Joint Conference on Artificial Intelligence  
This theory captures important aspects of abstractions not captured in the syntactic theory of abstractions pre sented by Giunchiglia and Walsh [1992] .  ...  In this paper we present a semantic theory of abstractions based on viewing abstractions as model level mappings.  ...  They classify abstrac tions according to whether the set of theorems of the abstract theory are a subset, superset, or equal to the set of theorems of the base theory (TD, TI, and TC abstractions, respectively  ... 
dblp:conf/ijcai/NayakL95 fatcat:3lts33qisvdjpeip6hqehdddo4

Abstracts of Papers: Ergodic theory

1945 Bulletin of the American Mathematical Society  
John DeCicco: Survey of polygenic functions. The author presents a general outline of the theory of the first and second dériva-  ...  ERGODIC THEORY P. R. Halmos: On an incompressible transformation. E.  ... 
doi:10.1090/s0002-9904-1945-08294-9 fatcat:io76veoxjzahdgixvk6cntn7qq

Theory of Reef Barriers: ABSTRACT

E. Russell Lloyd
1938 American Association of Petroleum Geologists Bulletin  
RUSSELL LLOYD, consulting geologist, Midland: Theory of Reef Barriers.  ...  of western Colorado, the Stassfurt salt deposits of Germany, and many others.  ... 
doi:10.1306/3d933048-16b1-11d7-8645000102c1865d fatcat:56uyaaclczg5nngfndq3o3gtuu

Foundations of abstract probability theory [article]

Yurii Yurchenko
2022 arXiv   pre-print
In this article, we introduce the basic concepts of abstract or general probability theory. Using the ideas of abstract algebra, we introduce the concept of an abstract measure.  ...  Moreover, we define an abstract Lebesgue integral and determine the abstract expected value operator. After that, we describe some special cases of abstract probability theory.  ...  In this article, we show that Kolmogorov's probability theory and Dubois's possibility theory are special cases of abstract probability theory.  ... 
arXiv:2110.02009v3 fatcat:khxu46zoffba5hgdg7zicekcy4

Abstracts of Papers: Theory of numbers

1941 Bulletin of the American Mathematical Society  
THEORY OF NUMBERS 79. E. T. Bell: Selective equations. The symbols ( )', [ ]' denote the least, greatest of the integers occurring within the symbols.  ...  Rosser: Explicit bounds f or some functions of prime numbers. In this paper the constants implicit in several "big 0" theorems of the analytical theory of primes are evaluated and improved.  ... 
doi:10.1090/s0002-9904-1941-07385-4 fatcat:flpz6yvep5f2dnsguigjeiqkvi

ABSTRACT OF BICHATS THEORY OF LIFE

1826 The Lancet  
ABSTRACT OF BICHATS THEORY OF LIFE. EVERY thing around living beings, according to M.  ...  Upon this principle Bichat founds his theory of sleep. General sleep is the combination of the sleep of the particular organs.  ... 
doi:10.1016/s0140-6736(02)94750-1 fatcat:dwqmwzgdlja5zbpfitib2rdfcq

Analysis of the Theory of Abstraction

Subhajit Ganguly
2012 Figshare  
In this paper,a few more implications of the laws of physical transactions as per the Theory of Abstraction are dealt with.Analysis of these implications suggests the existence of 'hidden' mass and 'hidden  ...  ' energy in a given physical transaction.Trajectory -examination of such possible transport is carried out.  ...  a radius ˞ such that ŵŴ $ ˫˧È˭, then the body is a black-hole, in accordance with the Theory of Abstraction.  ... 
doi:10.6084/m9.figshare.91657 fatcat:lipg2saii5ec3ovsfbvnyaaoam

Abstracts of Papers: Theory of numbers

1941 Bulletin of the American Mathematical Society  
of partitions of n into not more than k summands.  ...  The method used to prove the logarithms of these statistics asymptotically normally distributed is applicable to proving the asymptotic normality of a large class of functions of partitions of an integer  ... 
doi:10.1090/s0002-9904-1941-07420-3 fatcat:4v2zpge7ffam7bpo3x4qwlwdtq

An abstract theory of singular operators [article]

Grigori A. Karagulyan
2018 arXiv   pre-print
We introduce a class of operators on abstract measure spaces, which unifies the Calder\'on-Zygmund operators on spaces of homogeneous type, the maximal functions and the martingale transforms.  ...  We prove that such operators can be dominated by simple sparse operators with a definite form of the domination constant.  ...  In late 1970's, several authors considered also martingale analogs of the A p theory.  ... 
arXiv:1611.03808v4 fatcat:xrtsboxoxzalbo7rzxwo3fxa6i
« Previous Showing results 1 — 15 out of 1,833,113 results