Preface to papers presented at the Koala Retrovirus Workshop, San Diego Zoo, April 2013
نویسندگان
چکیده
منابع مشابه
SSC San Diego TR 1854, April 2001
Approved for public release; distribution is unlimited. Three-dimensional (3-D) views of battle spaces generally depict military assets as miniature realistic icons. Little is known about a user's ability to accurately classify and identify realistic icons. We found in a previous study that participants could name a conventional two-dimensional (2-D) military symbol faster than a realistic thre...
متن کاملConference Report: INTERNATIONAL WORKSHOP ON INSTRUMENTED INDENTATION San Diego, CA April 22–23, 1995
An international workshop was held on April 22–23, 1995, at the Town and Country Hotel in San Diego, to discuss the scientific and standardization issues associated with instrumented indentation, also known as dynamic hardness testing or depth-sensing, ultra-low-load, or nano indentation. The workshop was sponsored jointly by the NIST Standard Reference Materials Program (SRMP) and the Institut...
متن کاملWhole-genome analysis of mycobacteria from birds at the San Diego Zoo
METHODS Mycobacteria isolated from more than 100 birds diagnosed with avian mycobacteriosis at the San Diego Zoo and its Safari Park were cultured postmortem and had their whole genomes sequenced. Computational workflows were developed and applied to identify the mycobacterial species in each DNA sample, to find single-nucleotide polymorphisms (SNPs) between samples of the same species, to furt...
متن کاملPreface to the Best Papers from CLEI 2013 Special Issue
Jose Aguilar, Jaelson Castro, Sergio España, Alexandra La Cruz, María Villapol, Paula Zabala Universidad de Los Andes, Venezuela, [email protected] Universidade Federal de Pernambuco, Brasil, [email protected] Universidad Politécnica de Valencia, España, [email protected] Universidad Simón Bolívar, Venezuela, [email protected] Universidad Central de Venezuela, Venezuela, maria.villa...
متن کاملTests and Proofs : Papers Presented at the Second International Conference TAP 2008 Prato , Italy , April 2008
We present a case study on the use of lightweight formal methods for testing part of a real-time organ position tracking system used in radiotherapy. Several properties were modeled and verified through automated test cases generated by QuickCheck. QuickCheck was found useful in reducing the complexity inherent to testing medical devices by detecting faults at system level, and assisting in the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Technical Reports of the Australian Museum, Online
سال: 2014
ISSN: 1835-4211
DOI: 10.3853/j.1835-4211.24.2014.1604