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...

We introdu e a Supervised Reinfor ement Learning (SRL) algorithm for autonomous learning problems where an agent is required to deal with high dimensional spa es. In our learning algorithm, behavior models learned from a set of examples, are used to dynami ally redu e the set of relevant a tions at ea h state of the environment en ountered by the agent. Su h subsets of a tions are used to guide...

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...

In this paper we introduce and investigate a logic for the schema calculus of Z. The schema calculus is arguably the reason for Z 's popularity but so far no true calculus (a sound system of rules for reasoning about schema expressions) has been given. Presentations thus far have either failed to provide a calculus (e.g. the draft standard 3]) or have fallen back on informal descriptions at a s...

In this manuscript, we consider the interpolative contractions mappings via simulation func-tions in the setting of complete metric space. We also express an illustrative example to show the validity of our presented results.

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...

We present two learning inference control heuristics for equa-tional deduction. Based on data about facts that contributed to previous proofs, evaluation functions learn to select equations that are likely to be of use in new situations. The rst evaluation function works by symbolic retrieval of generalized patterns from a knowledge base, the second function compiles the knowledge into abstract...