3058 search results - page 184 / 612 » Reflections on Reflections |
128
click to vote
IEPOL
2006
15 years 6 months ago
2006
The optimal design of input prices is analyzed in a simple setting where the regulator has limited knowledge of efficient production costs. Under some conditions, input prices are...
180
click to vote
JANCL
2006
15 years 6 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
127
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a fuzzy knowledge-based system for turbomachinery diagnosis. Given symptoms associated with a vibration problem, the system can identify and rank possible cause...
157
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
142
click to vote
MJ
2008
15 years 6 months ago
2008
In this work we show a theoretical study of the transport properties of armchair graphene nanoribbon at which linear poly-aromatic hydrocarbon molecules (LPHC) are side-attached o...