Results 1 to 10 of about 554,382 (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 +4 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 +4 more sources
Frontiers in Immunology, 2023 IntroductionThe killer cell immunoglobulin-like receptors (KIR) play a pivotal role in modulating the NK cell responses, for instance, through interaction with major histocompatibility complex (MHC) class I molecules.
Natasja G. de Groot +5 more
doaj +1 more source
Frontiers in Immunology, 2021 The genes of the leukocyte immunoglobulin-like receptor (LILR) family map to the leukocyte receptor complex (LRC) on chromosome 19, and consist of both activating and inhibiting entities. These receptors are often involved in regulating immune responses,
Lisanne Storm +4 more
doaj +1 more source
Frontiers in Immunology, 2021 Long-read sequencing approaches have considerably improved the quality and contiguity of genome assemblies. Such platforms bear the potential to resolve even extremely complex regions, such as multigenic immune families and repetitive stretches of DNA ...
Jesse Bruijnesteijn +4 more
doaj +1 more source
Surgical or Nonsurgical Facial Rejuvenation: The Patients’ Choice
Plastic and Reconstructive Surgery, Global Open, 2023 Background:. Patients seeking a pan-facial rejuvenation may not receive appropriate medical advice on surgical versus nonsurgical treatments, resulting in those who are best-suited for surgery receiving nonsurgical options, and vice versa.
Niamh Corduff, MBBS
doaj +1 more source
Sensory Symptoms Associated with Aesthetic Botulinum Toxin A Treatments
Plastic and Reconstructive Surgery, Global Open, 2022 Background:. A retrospective review of patients who switched from onabotulinumtoxinA (onaA) and/or abobotulinumtoxinA (aboA) to incobotulinumtoxinA (incoA) found anecdotal reports of differences in “feel,” including a “lighter” feel or treatment ...
Niamh Corduff, MBBS, FRACS
doaj +1 more source
Neuromodulating the SMAS for Natural Dynamic Results
Plastic and Reconstructive Surgery, Global Open, 2021 Summary:. Physicians using neuromodulators need to develop an in-depth and holistic understanding of the facial musculature as a single, large, functional structure that does not work in isolation.
Niamh Corduff, MBBS, FRACS
doaj +1 more source
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
The Genetic Mechanisms Driving Diversification of the KIR Gene Cluster in Primates
Frontiers in Immunology, 2020 The activity and function of natural killer (NK) cells are modulated through the interactions of multiple receptor families, of which some recognize MHC class I molecules.
Jesse Bruijnesteijn +3 more
doaj +1 more source