The extensive arc emission measurements of transition probabilities by Corliss and Bozman are known to contain errors due to flaws in the determination of level populations in the source. However, if no similar errors were present in the photometric calibration, then branching fractions from the same upper level deduced from these measurements should be valid. It is shown that the branching fra...

Under set-theoretic hypotheses, it is proved by Magidor and Malitz that logic with the Magidor-Malitz quantifier in the Ki -interpretation is recursively axiomatizable. It is shown here, under no additional settheoretic hypotheses, that this logic cannot be axiomatized by finitely many schemata. Magidor and Malitz [2] introduced the ^-variable-binding quantifiers Q. The language L(Q") is formed...

Easily checkable sufficient stability criteria are obtained for explicit dissipative approximations to mixed initial-boundary value problems associated with the system Uf = Aux in the quarter plane x > 0, t > 0. The criteria are given entirely in terms of the boundary conditions for the outflow unknowns. The results imply that certain well-known boundary conditions, when used in combination wit...

I present a decentralized market protocol for allocating and scheduling tasks among agents to form supply chains. The protocol resolves constraints arising from hierarchical subtask relationships and resource scarcity. Agents negotiate through auctions according to speci ed bidding policies, and the auctions in turn determine the allocations and prices of the tasks and resources. I describe som...

S OF PAPERS SUBMITTED FOR PRESENTATION TO THE SOCIETY The following papers have been submitted to the Secretary and the Associate Secretaries of the Society for presentation at meetings of the Society. They are numbered serially throughout this volume. Cross references to them in the reports of the meetings will give the number of this volume, the number of this issue, and the serial number of ...