Distributed Energy Resources (DERs) including solar photovoltaics (PV), electric storage and electric vehicles, demand response, combined heat and power, wind, fuel cells, and micro-turbines are typically installed on the low or medium voltage distribution network. Changes on the distribution network can have rippling effects throughout the rest of the power system. In this paper, we have calcu...

Lemma speculation has long been considered a promising technique to automate the discovery of missing lemmas for inductive proofs. This technique involves speculating a schematic lemma that becomes incrementally instantiated by unification as the proof continues. This synthesis process is known as middle-out reasoning. We have extended lemma speculation, and more generally middle-out reasoning,...

Ventricular fibrillation is an incoordinated type of contraction which produces no useful beats. The typical rippling movements of the ventricular muscle are unmistakable when seen or felt with the hand directly on the heart. The treatment of a heart that has stopped is cardiac massage and adequate oxygenation. The treatment of ventricular fibrillation which we recommend is, first, massage to m...

Citation for published version: Bundy, A, van Harmelen, F, Smaill, A & Ireland, A 1990, Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. in 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. vol. Lecture Notes in Artificial Intelligence No. 449, Lecture Notes in Computer Science, vol. 449, Springer-Verlag GmbH, pp. 132-146...

Fruiting body formation in Myxococcus xanthus involves three morphologic stages---rippling, aggregation, and sporulation---all of which are induced by the cell surface-associated C-signal. We analyzed the function of the DevT protein, a novel component in the C-signal response pathway. A mutant carrying an in-frame deletion in the devT gene displays delayed aggregation and a cell autonomous spo...

BACKGROUND Augmentation mammaplasty and augmentation mastopexy are associated with a substantial primary and secondary revision rate. Capsular contracture (CC), implant malposition, ptosis, asymmetry, and rippling are the main reasons for revisionary surgery in these patients. Traditional corrective techniques have not been completely reliable in preventing or treating these complications. Rece...