1 0-7803-7651-X/03/$17.00 © 2003 IEEE 2 IEEEAC paper #1444, Updated December10, 2002 Abstract—Livingstone is a discrete, propositional logicbased inference engine that has been used for diagnosis of physical systems. We present a component-based model of a Main Propulsion System (MPS) and say how it is used with Livingstone (L2) in order to implement a diagnostic system for integrated vehicle h...

* 0-7803-7952-7/03/$17.00  2003 IEEE. Abstract In this paper, we investigate how the International Electrotechnical Commission (IEC) 61499 model for real-time distributed control can be interfaced with higher-level agents. In particular, we focus on two approaches: (1) data-table, and (2) function block adapters. The function block adapter approach shows considerable promise given its close fi...

446 NOTICES OF THE AMS VOLUME 50, NUMBER 4 In recognition of the 2003 Mathematics Awareness Month theme “Mathematics and Art”, this article brings together three different pieces about intersections between mathematics and the artwork of M. C. Escher. For more information about Mathematics Awareness Month, visit the website http:// mathforum.org/mam/03/. The site contains materials for organizi...

8 1094-7167/03/$17.00 © 2003 IEEE IEEE INTELLIGENT SYSTEMS believe is the first on-road demonstration of autonomous passenger vehicles performing cooperative passing and traversal of unsignalized intersections. (Unsignalized intersections have no traffic lights, stop signs, or yield signs to control traffic flow.) This demonstration mated ICSL’s communication and collaborative decision-making s...

The SAT 2003 Competition ran in February – May 2003, in conjunction with SAT’03 (the Sixth Fifth International Symposium on the Theory and Applications of Satisfiability Testing). One year after the SAT 2002 competition, it was not clear that significant progress could be made in the area in such a little time. The competition was a success – 34 solvers and 993 benchmarks, needing 522 CPU days ...

E. Ogando,* T. Torsti, N. Zabala, and M. J. Puska Elektrika eta Elektronika Saila, UPV-EHU 644 Posta Kutxa, 48080 Bilbo, Spain Laboratory of Physics, Helsinki University of Technology, P.O. Box 1100, FIN-02015 HUT, Finland CSC—Scientific Computing Ltd., P.O. Box 405, FIN-02101 Espoo, Finland Donostia International Physics Center (DIPC), 1072 Posta Kutxa, 20080 Donostia, Spain ~Received 03 Septe...

1 IEEEAC paper #1055, Updated November 15, 2002 0-7803-7651-X/03/$17.00 © 2003 IEEE Abstract—A technique for electrical power generation for planetary exploration applications using thermoelectric conversion of subsurface heat flows is described. Sufficiently shallow vehicles can exploit the diurnal temperature cycle as heat flows in and out of the soil the converter exploits the temperature gr...

Are individual preferences for skewness fixed or fungible? Using preference reversals as a case study, we find evidence that preferences remained stable as reversals disappear due to arbitrage across both market-like and non-market contexts. Todd L. Cherry, Sara Gunnarsson, & Jason F. Shogren (2003) "Are Preferences for Skewness fixed or Fungible" Economic Letters Volume 80 Issue 1 pp.113-121 [...

This paper describes the process of implementation of IEEE 1149.6 to an existing commercial high-speed interface device. The first part explains the circuit design decisions made during the definition phase. The insertion of the test circuitry had to be carefully implemented to co-exist with the mission mode circuitry. The second part describes the effect of the test circuit on the high-speed m...

Up in Smoke: From Legislation to Litigation in Tobacco Politics by Martha A. Derthick; Smoke in Their Eyes: Lessons in Movement Leadership from the Tobacco Wars by Michael Pertschuk Review by: Stephen D. Sugarman Journal of Policy Analysis and Management, Vol. 22, No. 4 (Autumn, 2003), pp. 712-717 Published by: John Wiley & Sons on behalf of Association for Public Policy Analysis and Management...