Results 11 to 20 of about 553,328 (316)
Reduction and Refinement [PDF]
Electronic Notes in Theoretical Computer Science, 2008 In this paper we explore the relation between refinement and reduction, especially as it is used in the context of cryptography. We show how refinement is a special case of reduction, and more interestingly, how reduction is an instance of a novel generalisation, ''refinement with context''.
Eerke A. Boiten, Dan Grundy
openaire +3 more sources
Relational Concurrent Refinement: Timed Refinement [PDF]
, 2011 Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data refinements, which can be checked on an event-by-event basis rather than per trace.
John Derrick, Eerke A. Boiten
openaire +3 more sources
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.
John Derrick, Eerke A. Boiten
openaire +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
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
ALTEX, 2014 The ultimate goal of the Three Rs is the full replacement of animals used in biomedical research and testing. However, replacement is unlikely to occur in the near future; therefore the scientific community as a whole must continue to devote considerable effort to ensure optimal animal welfare for the benefit of the science and the animals, i.e., the R
Joanne, Zurlo, Eric, Hutchinson
openaire +3 more sources
Introducing extra operations in refinement [PDF]
, 2014 This paper reconsiders refinements which introduce actions on the concrete level which were not present at the abstract level. It considers a range of different basic refinement relations, covering the standard ones for formalisms like Event-B, Z ...
Boiten, Eerke Albert
core +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
Relational Concurrent Refinement: Automata [PDF]
, 2009 Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data ...
Derrick, John +4 more
core +1 more source
Perspicuity and Granularity in Refinement [PDF]
, 2011 This paper reconsiders refinements which introduce actions on the concrete level which were not present at the abstract level. It draws a distinction between concrete actions which are ''perspicuous'' at the abstract level, and changes of granularity of ...
Eerke Boiten, Boiten, Eerke Albert
core +1 more source