In order to explain how DIYbio knowledge and expertise is developed and shared the use of Practice Theory will help us gain a useful understanding of how working practices are sustained, reproduced and potentially changed. In addition, the development and sharing of thick, evocative, rich descriptions of these practices might contribute to the motivational knowledge of DIYbio practitioners.

DO-178B was based on the consensus of the avionic software community as it existed in 1992. Twenty two years after publication, we have no publically available experimental data as to its efficacy. It appears to work extremely well, since there have been no hull loss accidents in passenger service ascribed to software failure. This is a comforting and surprising result. However, if we don’t kno...

One key step in the development of safety-critical applications is the assessment of the quality of the verification strategy. In practice, structural coverage is the methodology used to ascertain the testing campaign well satisfy a given quality criteria. In this paper, we describe the possible strategies to measure structural coverage in a DO-178B context. After evaluating state-ofthe-art app...

Introduction This whitepaper describes how the VectorCAST embedded software testing platform is used to satisfy the Software Verification Process objectives as defined in section 6.0 of the DO-178B and DO-178C standards, “Software Considerations in Airborne Systems and Equipment Certification.” This whitepaper also highlights the differences between the two standards as they relate to Section 1...

For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO-178B) has been the primary means for receiving regulatory approval for using software on commercial airplanes. A new edition of the standard, DO-178C, was published in December 2011, and regulatory bodies have started the process towards recognizing this edition. The stated purpose...

Cover Page Footnote: Acknowledgments. I am grateful to the Guajá people their patience, cooperation, and hospitality during my stay with them. Financial support was received from the Fulbright grant and a small conservation grant from the American Society of Primatologists. I would also like to thank the FUNAI (Fundação Nacional do Índio), the CNPq (Conselho Nacional de Desenvolvimento Tecnológ...

Retailers regularly target users with online ads based on their web browsing activity, benefiting both the retailers, who can better reach potential customers, and content providers, who can increase ad revenue by displaying more e↵ective ads. The e↵ectiveness of such ads relies on third-party brokers that maintain detailed user information, prompting privacy legislation such as “do-not-track” ...

BACKGROUND Previous reviews of tae kwon do (TKD) tournaments have documented injury rates of 25/1000 to 12.7/100 athlete exposures. Most injuries have been reported to be to the head and the neck and are occasionally very serious. Many of these studies involved high level TKD competitions with minimal safety precautions. Recently, safety measures have been implemented in many TKD competitions. ...

Conversations are a basic unit of analysis in studies of human interaction. These units are conventionally distinguished by reference to the set of ratified participants who take part, often by appeal to their physical proximity/orientation. We show that within such conversational units there are distinct dialogue contexts which are more fine-grained than this. We present experimental evidence ...