منابع مشابه
UMLinux - A Versatile SWIFI Tool
This tool presentation describes UMLinux, a versatile framework for testing the behavior of networked machines running the Linux operating system in the presence of faults. UMLinux can inject a variety of faults into the hardware of simulated machines, such as faults in the computing core or peripheral devices of a machine or faults in the network connecting the machines. The system under test,...
متن کاملComputer-based assessment: a versatile educational tool
There are many types of Computer Based Assessment in use today in Higher Education, from formative self-tests to summative final exams. CBA is used in various ways as an integral part of many currently used Computer Aided Learning environments. This paper surveys some of the reasons for using computers for assessment and some of the types of test in use, including evidence that coverage can ext...
متن کاملMorris Water Maze – a Versatile Cognitive Tool
The Morris water maze is widely used to study spatial memory and learning. Animals are placed in a pool of water that is colored opaque with powdered non-fat milk or non-toxic tempera paint, where they must swim to a hidden escape platform. Because they are in opaque water, the animals cannot see the platform, and cannot rely on scent to find the escape route. Instead, they must rely on externa...
متن کاملA Versatile, Sound Tool for Simplifying Definitions
We present a tool, simplify-defun, that transforms the definition of a given function into a simplified definition of a new function, providing a proof checked by ACL2 that the old and new functions are equivalent. When appropriate it also generates termination and guard proofs for the new function. We explain how the tool is engineered so that these proofs will succeed. Examples illustrate its...
متن کاملdCas9: A Versatile Tool for Epigenome Editing.
The epigenome is a heritable layer of information not encoded in the DNA sequence of the genome, but in chemical modifications of DNA or histones. These chemical modifications, together with transcription factors, operate as spatiotemporal regulators of genome activity. Dissecting epigenome function requires controlled site-specific alteration of epigenetic information. Such control can be obta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Analytical Chemistry
سال: 2006
ISSN: 0003-2700,1520-6882
DOI: 10.1021/ac069354k