Message Sequence Chart (MSC) speci cations have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommend...

Message Sequence Chart (MSC) speci cations have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommend...

A number of biological responses to angiotensin II have been demonstrated to be modulated acutely by cations, but the exact mechanism has not been elucidated. We have utilized a radioreceptor assay for angiotensin II to determine whether this acute regulatory mechanism could be related to a change in either number or affinity of angiotensin II binding to receptors. Three target tissues were use...

brane uptake of IFB, were completely reversible. These findings are consistent with the concept that the formation of calcium salt bridges is essential for attachment of IFB,2 to the ileal-absorptive surface.

A proton NMR method for the drtermination of salvation numbers of alkaline earth cations with hexamethyl phosphoramide (HMPA) in nitromethane (NM) as diluents is described. The method is based on monitoring the resonance frequency of HMPA protons as a function of HMPA / metal ion molar ratio at constant metalion concentration. The average salvation number of cations,  , at any HMPA / metal ...

We describe the qualitative and quantitative analysis of the complexation properties towards cations of a cyclic peptoid hexamer composed of alternating α- and β-peptoid monomers, which bear exclusively chiral (S)-phenylethyl side chains (spe) that have no noticeable chelating properties. The binding of a series of monovalent and divalent cations was assessed by 1H NMR, circular dichroism, fluo...

We study the complexity of various combinatorial problems when instances are speci ed using one of the following succinct speci cations: (1) the 1-dimensional nite periodic narrow speci cations (denoted 1-FPN-speci cations) of Ford et al. and Wanke [FF58, Wa93]; (2) the 1-dimensional nite periodic narrow speci cations with explicit boundary conditions (denoted 1-FPN(BC)-speci cations) of Gale [...

-A laboratory study of the hydraulic conductivity (HC) of a marine clay with monovalent, divalent and trivalent cations revealed large differences in HC. The exchangeable cations employed in this study are Na, K, NH4, Mg, Ca and AI in order of increasing valency. An interpretation of the results derived from consolidation tests suggests that HC is significantly affected by the valency and size ...

This paper formalizes the notion of justiied plans, which captures the intuition behind \good" plans. A justiied plan is one that does not contain operators which are not necessary for achieving a goal. The importance of formalizing this notion is due to two reasons. First, it gives rise to methods for optimizing a given plan by removing \useless" operators. Second, several important concepts d...

The interface speci cation of a procedure describes the procedure s behavior using pre and postconditions These pre and postconditions are written using various functions If some of these functions are partial or underspeci ed then the procedure speci cation may not be well de ned We show how to write pre and postcondition speci cations that avoid such problems by having the precondition protec...