The notion of switching system generalizes the idea of a `diierential equa-tion': a switching system consists of a number of modes (e.g., diierential equations) together with a set of switching rules. Such systems arise in mod-eling thermostats (and other devices involving`hysteresis'), in considering the evolution of a multimodal (variable structure) system for which`feedback control' has been...

We extend the results on combination of disjoint equational theories to combination of equational theories where the only function symbols shared are constants. This is possible because there exist nitely many proper shared terms (the constants) which can be assumed irreducible in any equa-tional proof of the combined theory. We establish a connection between the equational combination framewor...

We define a framework to reason about sound implemen-tations of equational theories in the presence of an adap-tive adversary. In particular, we focus on soundess of staticequivalence. We illustrate our framework on several equa-tional theories: symmetric encryption, XOR, modular expo-nentiation and also joint theories of encryption and modu-lar exponentiation as well as...

Apparatus and techniques a re dc~cribed for t he t itration of ac ids a nd. bases by constantcurrent coulometry. The precision nnd accuraey of t he method aI~e JndLcated by tl traLlons of benzoic acid, potass ium acid pMhalate, adLpiC aCld, hydroc~lo l'l c aCid, ~nd sod ium eal'bonate. Standard deviations of ± 0.003 p er cent have been obtaIned which LndlCatp. that the reliabi li ty of the meth...

The core of the Rice dHPF compiler for High Performance Fortran is a practical, executable, equa-tional framework for data parallel program analysis and optimization. This framework, based on abstract operations on sets of integers, greatly simpliies the implementation of many key analysis, optimization and code generation tasks (even with a general computation partitioning model), and yet enha...

In this paper, stability of the optimal solution of stochastic programs with recourse with respect to parameters of the given distribution of random coefficients is studied. Provided that the set of admissible solutions is defined by equa[ity constraints only, asymptotical normality of the optimal solution follows by standard methods, If nonnegativity constraints are taken into account the prob...