Results 1  10
of
4,507
simplified theory and
"... Einstein relation in carbon nanotubes and quantum wires of IVVI materials: ..."
Abstract
 Add to MetaCart
Einstein relation in carbon nanotubes and quantum wires of IVVI materials:
Simplify: A theorem prover for program checking
 J. ACM
, 2003
"... This paper provides a detailed description of the automatic theorem prover Simplify, which is the proof engine of the Extended Static Checkers ESC/Java and ESC/Modula3. Simplify uses the NelsonOppen method to combine decision procedures for several important theories, and also employs a matcher to ..."
Abstract

Cited by 431 (2 self)
 Add to MetaCart
This paper provides a detailed description of the automatic theorem prover Simplify, which is the proof engine of the Extended Static Checkers ESC/Java and ESC/Modula3. Simplify uses the NelsonOppen method to combine decision procedures for several important theories, and also employs a matcher
New results in linear filtering and prediction theory
 TRANS. ASME, SER. D, J. BASIC ENG
, 1961
"... A nonlinear differential equation of the Riccati type is derived for the covariance matrix of the optimal filtering error. The solution of this "variance equation " completely specifies the optimal filter for either finite or infinite smoothing intervals and stationary or nonstationary sta ..."
Abstract

Cited by 607 (0 self)
 Add to MetaCart
statistics. The variance equation is closely related to the Hamiltonian (canonical) differential equations of the calculus of variations. Analytic solutions are available in some cases. The significance of the variance equation is illustrated by examples which duplicate, simplify, or extend earlier results
Simplified Theory of Ringbom Stirling Machines
"... This paper presents a first order analysis of four types of overdriven freedisplacer Stirling machines. All the presented types of machines can work as refrigerating machines, prime movers or heat exchange accelerators depending on parameters such as the hot to cold source temperatures ratio, the ..."
Abstract
 Add to MetaCart
, the nondimensional mass of working gas in the machine, the displacer rod to displacer cross sectional area ratio, the corrected dead space to piston cylinder volume ratio and the displacer to piston cylinder volume ratio. In its analytical form this theory holds for machines at low speed as it is assumed
Recognitionbycomponents: A theory of human image understanding
 Psychological Review
, 1987
"... The perceptual recognition of objects is conceptualized to be a process in which the image of the input is segmented at regions of deep concavity into an arrangement of simple geometric components, such as blocks, cylinders, wedges, and cones. The fundamental assumption of the proposed theory, recog ..."
Abstract

Cited by 1272 (23 self)
 Add to MetaCart
The perceptual recognition of objects is conceptualized to be a process in which the image of the input is segmented at regions of deep concavity into an arrangement of simple geometric components, such as blocks, cylinders, wedges, and cones. The fundamental assumption of the proposed theory
A Simplified Theory of Microwave Pulse Compression
, 2008
"... This paper describes a simplified theory of the microwave pulse compressor allowing one to estimate the microwave power gain G that is possible to achieve inside a resonant cavity of a singlemode microwave pulse compressor utilizing singlearm waveguide Tee. ..."
Abstract
 Add to MetaCart
This paper describes a simplified theory of the microwave pulse compressor allowing one to estimate the microwave power gain G that is possible to achieve inside a resonant cavity of a singlemode microwave pulse compressor utilizing singlearm waveguide Tee.
A Spatial Logic based on Regions and Connection
 PROCEEDINGS 3RD INTERNATIONAL CONFERENCE ON KNOWLEDGE REPRESENTATION AND REASONING
, 1992
"... We describe an interval logic for reasoning about space. The logic simplifies an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer defined functions and relations, yet does not suffer in terms of its us ..."
Abstract

Cited by 745 (32 self)
 Add to MetaCart
We describe an interval logic for reasoning about space. The logic simplifies an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer defined functions and relations, yet does not suffer in terms of its
The StructureMapping Engine: Algorithm and Examples
 Artificial Intelligence
, 1989
"... This paper describes the StructureMapping Engine (SME), a program for studying analogical processing. SME has been built to explore Gentner's Structuremapping theory of analogy, and provides a "tool kit" for constructing matching algorithms consistent with this theory. Its flexibili ..."
Abstract

Cited by 522 (116 self)
 Add to MetaCart
flexibility enhances cognitive simulation studies by simplifying experimentation. Furthermore, SME is very efficient, making it a useful component in machine learning systems as well. We review the Structuremapping theory and describe the design of the engine. We analyze the complexity of the algorithm
A Simplified Theory of Coupled Oscillator Phase Control
"... Introduction l Injection Locking l Coupled Oscillator Theory l The Limit l Some Solutions l Concluding Remarks We begin with a review of the work on beam steering via coupled oscillator control. We then consider the behavior of oscillators under injection locking and derive the simplified ..."
Abstract
 Add to MetaCart
Introduction l Injection Locking l Coupled Oscillator Theory l The Limit l Some Solutions l Concluding Remarks We begin with a review of the work on beam steering via coupled oscillator control. We then consider the behavior of oscillators under injection locking and derive the simplified
Simplification by cooperating decision procedures
 ACM Transactions on Programming Languages and Systems
, 1979
"... A method for combining decision procedures for several theories into a single decision procedure for their combination is described, and a simplifier based on this method is discussed. The simplifier finds a normal form for any expression formed from individual variables, the usual Boolean connectiv ..."
Abstract

Cited by 455 (2 self)
 Add to MetaCart
A method for combining decision procedures for several theories into a single decision procedure for their combination is described, and a simplifier based on this method is discussed. The simplifier finds a normal form for any expression formed from individual variables, the usual Boolean
Results 1  10
of
4,507