We present the result of searches for gravitational waves from 200 pulsars using data from the first observing run of the Advanced LIGO detectors. We find no significant evidence for a gravitationalwave signal from any of these pulsars, but we are able to set the most constraining upper limits yet on their gravitational-wave amplitudes and ellipticities. For eight of these pulsars, our upper li...

Riboswitches were discovered in 2002 in bacteria as RNA-based intracellular sensors of vitamin derivatives. During the last decade, naturally occurring RNA sensor elements have been found to bind a range of small metabolites and ions and to exert regulatory control of transcription, translation, splicing, and RNA stability. Extensive biochemical, structural, and genetic studies have established...

Supertrees result from combining many smaller, overlapping phylogenetic trees into a single, more comprehensive tree. As such, supertree construction is probably as old as the field of systematics itself, and remains our only way of visualizing the Tree of Life as a whole. Over the past decade, supertree construction has gained a more formal, objective footing, and has become an area of active ...

Almost 30 years have passed since the first successful use of an artificial heart valve for the treatment of severe valvular heart disease. Replacement of dysfunctional native heart valves with either mechanical or bioprosthetic materials has become the standard therapy for hemodynamically significant lesions with over 110,000 such procedures performed worldwide in 1988. Despite the general suc...

Supply chain management and knowledge management have emerged as two distinct business philosophies in the last decade. Both are making rapid inroads into the construction industry. The premise of this paper is that knowledge management would make it possible for all the trading partners in a supply chain to reap benefits. Current research in knowledge management in the construction industry is...

© www.sarawickham.com This article first published 2007 Practising Midwife 10(3):44. Republished with permission for personal use only. Page numbers do not correspond to the original. Please do not reproduce/reprint without prior permission, thank you. Having known for a while that The Practising Midwife was celebrating her tenth birthday year, I had been thinking about writing a special articl...

P ́, preds ∪ refine(pr f)) The ability to refine the (Boolean program) abstraction to rule out a spurious counterexample is known as the progress property of the CEGAR process. Despite the progress property, the CEGAR process offers no guarantee of terminating since the program P ́ may have an intractably large or infinite number of states; it can refine the Boolean program forever without discov...