Traditional database systems have been successful in handling large amounts of data but lack mechanisms for schema derivations and schema veri cation In this paper we propose i structures that carry expressive and useful information on the database schema ii a set of inference rules for schema derivations and iii a mechanism for discovering contradictory schema declarations To this end in addit...

The whooping cough agent Bordetella pertussis regulates the production of its virulence factors by the BvgA/S system. Phosphorylated BvgA activates the virulence-activated genes (vags) and represses the expression of the virulence-repressed genes (vrgs) via the activation of the bvgR gene. In modulating conditions, with MgSO4, the BvgA/S system is inactive, and the vrgs are expressed. Here, we ...

Traditional database systems have been successful in handling large amounts of data but lack mechanisms for schema derivations and schema veriication. In this paper, we propose (i) structures that carry expressive and useful information on the database schema, (ii) a set of inference rules for schema derivations, and (iii) a mechanism for discovering contradictory schema declarations. To this e...

Acute synovitis was induced in one elbow joint of 300 to 400 g. guinea-pigs by the intra-articular injection of the polyene antibiotic Nystatin (10,000 i.u. in 0 1 ml. physiological saline) (Weissmann, Pras, and Rosenberg, 1967). At 24-hr intervals for up to 7 days the intensity of the synovitis was evaluated clinically and by scanning and external counting techniques and compared with the non-...

PURPOSE To evaluate a semiautomated image analysis software package, Retinal Image multiScale Analysis (RISA), for the diagnosis of plus disease in preterm infants with retinopathy of prematurity (ROP). METHODS Digital images of the posterior pole showing both disc and macula in preterm infants with ROP were analyzed with an enhanced version of RISA. Venules (N = 106) and arterioles (N = 44) ...

Cystic fibrosis (CF) lungs harbor a complex community of interacting microbes, including pathogens like Pseudomonas aeruginosa. Meta-taxogenomic analysis based on V5-V6 rrs PCR products of 52 P. aeruginosa-positive (Pp) and 52 P. aeruginosa-negative (Pn) pooled DNA extracts from CF sputa suggested positive associations between P. aeruginosa and Stenotrophomonas and Prevotella, but negative ones...

The BvgAS two-component system positively regulates the expression of the virulence genes of Bordetella pertussis and negatively regulates a second set of genes whose function is unknown. The BvgAS-mediated regulation of the bvg-repressed genes is accomplished through the activation of expression of the negative regulator, BvgR. A second two-component regulatory system, RisAS, is required for e...

Fetal lung liquid volume is usually determined by using radio-iodinated serum albumin (RISA) or blue dextran (BD) as volume tracers. We tested the reliability of both tracers at 124 (G124) and 142 days of gestation (G142; term = G147) when the labels were employed simultaneously. We measured the proportion of label bound reversibly to the lung, or apparently lost from the lung compartment, by w...

Comparison has been made of a simple method originated by Absolon and modified in our laboratories for assay of proteolytic activity using RISA (radioactive iodinated serum albumin-Abbott Laboratories), with the commonly used photometric methods of Anson and Kunitz. In this method, pepsin was incubated with an albumin substrate containing RISA, followed by precipitation of the undigested substr...

Weispfenning has shown how to use test term methods for quantifier elimination in linear and quadratic first-order formulas over real closed fields. This paper describes the state of the implementation of such methods in the computer algebra system Risa/Asir. The package described here is entirely written in the C programming language. We point on possible extensions of the package and give exa...