Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the reachable set of states of a system requires acceleration techniques that can finitely compute the effect of an unbounded number of transitions. Among the acceleration techniques that have been proposed, one finds both specific and gen...

Boulton Jones, J. M., Cameron, J. S., Bewick, M., Ogg, C. S., Meadow, S. R., and Ellis, F. G. (1971). Archives of Disease in Childhood, 46, 457. Treatment of terminal renal failure in children by home dialysis and transplantation. Eleven children, aged 6 to 17 years, suffering from irreversible renal failure, were treated by regular haemodialysis. This was preparatory to renal transplantation i...

Aluminum is present in very small amounts in living organisms but abundant in the environment. A growing literature links with the biochemistry of aluminum and also with a series of diseases in chronic renal failure patients on treatment with hemodialysis. The initial description of potential aluminum toxicity in renal failure patients relates to description of dialysis encephalopathy syndr...

The article describes a compact formalization of the relation between regular expressions and deterministic finite automata, and a formally verified, efficient algorithm for testing regular expression equivalence, both based on the notion of pointed regular expression [8].

aluminum is present in very small amounts in living organisms but abundant in the environment. a growing literature links with the biochemistry of aluminum and also with a series of diseases in chronic renal failure patients on treatment with hemodialysis. the initial description of potential aluminum toxicity in renal failure patients relates to description of dialysis encephalopathy syndrome ...

In this work the equivalent resistors of eight regular polygonal and five polyhedral resistive structures are studied experimentally. The structures were constructed using commercial precision resistors of 1.209 kΩ ±0.5 % and the resistances were measured using multimeters available in any physics laboratory. The resistance dependence of the polygonal structures with relation to the vertex numb...

My ostensible purpose in this talk is to describe some new results (found in collaboration with Amitabha Roy) on expressibility of regular languages in certain generalizations of first-order logic. [10]. This provides me with a good excuse for describing some the work on the algebraic theory of regular languages in what one might call “nonregular settings”. The syntactic monoid and syntactic mo...