3058 search results - page 184 / 612 » Reflections on Reflections |
IEPOL
2006
15 years 3 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...
131
Voted
JANCL
2006
15 years 3 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...
KES
2008
Springer
15 years 3 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...
126
click to vote
KI
2008
Springer
15 years 3 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...
MJ
2008
15 years 3 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...