Results 11 to 20 of about 1,353,441 (297)
Testing refinements by refining tests [PDF]
, 1998 One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated.
Derrick, John, Boiten, Eerke Albert
openaire +6 more sources
, 2016 "Big data" has become a major area of research and associated funding, as well as a focus of utopian thinking. In the still growing research community, one of the favourite optimistic analogies for data processing is that of the oil refinery, extracting ...
Boiten +15 more
core +5 more sources
Improved Training and Semen Collection Outcomes Using the Closed Box Chair for Macaques
Animals, 2021 Collaborative semen collection in monkeys is a valuable tool in research, animal collection management, and conservation efforts. To obtain samples, monkeys are often restrained in open restraint chairs (ORC) with the “pole and collar” technique.
Lisa A. Houser +6 more
doaj +1 more source
Why workshops work: Examining the efficacy of training trainers to train goats
Animal Welfare, 2023 Experimental procedures involving farm animals are often associated with stress due to restraining. Stress can be reduced through use of positive reinforcement training, which then serves as refinement according to the 3Rs principles.
Jennifer Meier +4 more
doaj +1 more source
Knowledge, Attitude and Practice of Health Science Students/Researcher on Status of Usage of Animals, 3R’s Strategy and their Alternatives for Pharmacological Studies: An Exploratory Study [PDF]
Journal of Clinical and Diagnostic Research, 2020 Introduction: The number of students in health science education is increasing day by day due to mushrooming of the private institutes. Hence, there is an increase in number of animals that have been used for animal experimentation irrespective of any
Rishabh Sharma +4 more
doaj +1 more source
Refining Nodes and Edges of State Machines [PDF]
, 2011 State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement.
A. Kaldewaij +13 more
core +1 more source
Advances in Science and Research, 2010 This article provides an overview of the ethical issues raised by the use of non-human primates (NHPs) in research involving scientific procedures which may cause pain, suffering, distress or lasting harm. It is not an exhaustive review of the literature
M. J. Prescott
doaj +1 more source
Extensive Alternative Splicing of KIR Transcripts
Frontiers in Immunology, 2018 The killer-cell Ig-like receptors (KIR) form a multigene entity involved in modulating immune responses through interactions with MHC class I molecules.
Jesse Bruijnesteijn +8 more
doaj +1 more source
, 2007 Development by formal stepwise refinement offers a guarantee that an implementation satisfies a specification. But refinement is frequently defined in such a restrictive way as to disallow some useful development steps.
Reeves, Steve, Streader, David
core +2 more sources
BMC Evolutionary Biology, 2020 Background Many species are threatened with extinction as their population sizes decrease with changing environments or face novel pathogenic threats.
Christelle Vangenot +6 more
doaj +1 more source