A parameterised Boolean equation system (PBES) is a set of equations that defines sets satisfying the equations as the least and/or greatest fixed-points. Thus this system is regarded as a declarative program defining predicates, where a program execution returns whether a given ground atomic formula holds or not. The program execution corresponds to the membership problem of PBESs, which is ho...

The phenotypic and quantitative relationship of red cell acid phosphatase with haemoglobin, haptoglobin, and G6PD phenotypes was investigated in three populations in the Sudan and one population in Nilgiris, India. No significant consistent association of red cell acid phosphatase phenotypes was observed with these polymorphisms. However, there was a lack of acid phosphatase AB in G6PD deficien...

The symbolic manipulation program Schoonschip is being made freely available for a number of computers with Motorola 680x0 cpu’s. It can run on machines with relatively modest memory and disk resources, and is designed to run as fast as possible given the host constraints. Memory and disk utilization can be adapted to tune performance. Recently added capabilities include a system for efficient ...

In the current opinion, we would like to study adhesion of DNA and RNA−amphiphile complexes to non–modified glasses, glasses containing phenylboronic acid (PBA) attached via 3– glycidoxypropyltrimethoxysilane (GPTMS) [(PBA–GPTMS–glasses)] and glasses containing grafted dimethyllacrylamide–acrylamide phenylboronic acid (DMAA–AAPBA) copolymer (DMAA–AAPBA– glasses). We prepared glasses modified wi...

Ca2(+)-ATPase activity in human red cell membranes is dependent on the presence of calmodulin. All trans-retinoic acid inhibited human red cell membrane Ca2(+)-ATPase activity in vitro in a concentration-dependent manner (10(-8) to 10(-4) M). In contrast, retinol, retinal, 13-cis-retinoic acid and the benzene ring analogue of retinoic acid did not alter enzyme activity. Purified calmodulin (up ...

In the subapical third internode of 7-day-old etiolated pea seedlings, the magnitude of phototropic curvature in response to continuous unilateral blue illumination is increased when seedlings are pre-exposed to brief red light. The effect of red light on blue light-induced phototropism becomes manifest maximally 4 or more hours after red illumination, and closely parallels the promotive action...

Min introduces the type form (of object-formulae) and the infix constant −→ (for objectimplication). The constant [[ ]] maps form to the predefined type prop of meta-logic propositions. The proposition [[P ]] should be read as “the formula P is true”; we usually distinguish object-level formulae (form) from meta-level formulae (prop). In practice the brackets can be dropped; parser and pretty-p...