6607 search results - page 1134 / 1322 » Making TeX Work |
244
click to vote
JELIA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
184
click to vote
KES
2004
Springer
16 years 12 days ago
2004
Springer
Aero engines are extremely reliable machines and operational failures are rare. However, currently great effort is being put into reducing the number of in-flight engine shutdowns,...
168
click to vote
LCTRTS
2004
Springer
16 years 12 days ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
229
click to vote
LCTRTS
2004
Springer
16 years 12 days ago
2004
Springer
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...
198
click to vote
MATES
2004
Springer
16 years 12 days ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...