Testing refinements by refining tests

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. There has therefore been interest in developing test generation techniques from formal specifications, and a number of different methods have been derived for state based languages such as Z, B and VDM. However, in addition to deriving tests from a formal specification, we might wish to refine the specification further before its implementation. The purpose of this paper is to explore the relationship between testing and refinement. As our model for test generation we use a DNF partition analysis for operations written in Z, which produces a number of disjoint test cases for each operation. In this paper we discuss how the partition analysis of an operation alters upon refinement, and we develop techniques that allow us to refine abstract tests in order to generate test cases for a refinement. To do so we use (and extend existing) methods for calculating the weakest data refinement of a specification

TEMPERATURE-DEPENDENCE OF DOMAIN-WALL COERCIVE FIELD IN MAGNETIC GARNET-FILMS

The coercive properties of magnetically uniaxial liquid-phase epitaxy garnet films were investigated between 10 K and the Neel temperature (T(N) less-than-or-equal-to 500 K). Two independent methods, the results of which are nearly identical (magnetical response of oscillating domain walls and the method of coercive loops measured in a vibrating sample magnetometer), were used. Besides the usual domain-wall coercive field, H(dw), the critical coercive pressure, p(dw), was also introduced as it describes in a direct way the interactions of the domain walls with the wall-pinning traps. Both H(dw) and p(dw) were found to increase exponentially with decreasing temperature. Three different types of wall-pinning traps were identified in the sample and their strength, their rate of change with temperature, and their temperature range of activity were determined

Criteria for the diagnosis of corticobasal degeneration

Current criteria for the clinical diagnosis of pathologically confirmed corticobasal degeneration (CBD) no longer reflect the expanding understanding of this disease and its clinicopathologic correlations. An international consortium of behavioral neurology, neuropsychology, and movement disorders specialists developed new criteria based on consensus and a systematic literature review. Clinical diagnoses (early or late) were identified for 267 nonoverlapping pathologically confirmed CBD cases from published reports and brain banks. Combined with consensus, 4 CBD phenotypes emerged: corticobasal syndrome (CBS), frontal behavioral-spatial syndrome (FBS), nonfluent/agrammatic variant of primary progressive aphasia (naPPA), and progressive supranuclear palsy syndrome (PSPS). Clinical features of CBD cases were extracted from descriptions of 209 brain bank and published patients, providing a comprehensive description of CBD and correcting common misconceptions. Clinical CBD phenotypes and features were combined to create 2 sets of criteria: more specific clinical research criteria for probable CBD and broader criteria for possible CBD that are more inclusive but have a higher chance to detect other tau-based pathologies. Probable CBD criteria require insidious onset and gradual progression for at least 1 year, age at onset ≥50 years, no similar family history or known tau mutations, and a clinical phenotype of probable CBS or either FBS or naPPA with at least 1 CBS feature. The possible CBD category uses similar criteria but has no restrictions on age or family history, allows tau mutations, permits less rigorous phenotype fulfillment, and includes a PSPS phenotype. Future validation and refinement of the proposed criteria are needed

SURVEY OF THE DEPENDENCE ON TEMPERATURE OF THE COERCIVITY OF GARNET-FILMS

The temperature dependence of the domain-wall coercive field of epitaxial magnetic garnets films has been investigated in the entire temperature range of the ferrimagnetic phase, and has been found to be described by a set of parametric exponents. In subsequent temperature regions different slopes were observed, with breaking points whose position was found to be sample dependent. A survey ba.ed on literature Data as well as on a large number of our own samples shows the general existence of this piecewise exponential dependence and the presence of the breaking points. This type of domain-wall coercive field temperature dependence was found in all samples in the large family of the epitaxial garnets (about 30 specimens of more than ten chemical compositionsj and also in another strongly anisotropic material (TbFeCo)

A tool kit for rapid cloning and expression of recombinant antibodies

Over the last four decades, molecular cloning has evolved tremendously. Efficient products allowing assembly of multiple DNA fragments have become available. However, cost-effective tools for engineering antibodies of different specificities, isotypes and species are still needed for many research and clinical applications in academia. Here, we report a method for one-step assembly of antibody heavy- and light-chain DNAs into a single mammalian expression vector, starting from DNAs encoding the desired variable and constant regions, which allows antibodies of different isotypes and specificity to be rapidly generated. As a proof of principle we have cloned, expressed and characterized functional recombinant tumor-associated antigen-specific chimeric IgE/κ and IgG(1)/κ, as well as recombinant grass pollen allergen Phl p 7 specific fully human IgE/λ and IgG(4)/λ antibodies. This method utilizing the antibody expression vectors, available at Addgene, has many applications, including the potential to support simultaneous processing of antibody panels, to facilitate mechanistic studies of antigen-antibody interactions and to conduct early evaluations of antibody functions

Photomyogenic response in Niemann–Pick type C: a case report

Contains fulltext : 98214.pdf (publisher's version ) (Closed access)1 maart 201

Diffusion tensor imaging of Parkinson's disease, multiple system atrophy and progressive supranuclear palsy: a tract-based spatial statistics study

Although often clinically indistinguishable in the early stages, Parkinson's disease (PD), Multiple System Atrophy (MSA) and Progressive Supranuclear Palsy (PSP) have distinct neuropathological changes. The aim of the current study was to identify white matter tract neurodegeneration characteristic of each of the three syndromes. Tract-based spatial statistics (TBSS) was used to perform a whole-brain automated analysis of diffusion tensor imaging (DTI) data to compare differences in fractional anisotropy (FA) and mean diffusivity (MD) between the three clinical groups and healthy control subjects. Further analyses were conducted to assess the relationship between these putative indices of white matter microstructure and clinical measures of disease severity and symptoms. In PSP, relative to controls, changes in DTI indices consistent with white matter tract degeneration were identified in the corpus callosum, corona radiata, corticospinal tract, superior longitudinal fasciculus, anterior thalamic radiation, superior cerebellar peduncle, medial lemniscus, retrolenticular and anterior limb of the internal capsule, cerebral peduncle and external capsule bilaterally, as well as the left posterior limb of the internal capsule and the right posterior thalamic radiation. MSA patients also displayed differences in the body of the corpus callosum corticospinal tract, cerebellar peduncle, medial lemniscus, anterior and superior corona radiata, posterior limb of the internal capsule external capsule and cerebral peduncle bilaterally, as well as the left anterior limb of the internal capsule and the left anterior thalamic radiation. No significant white matter abnormalities were observed in the PD group. Across groups, MD correlated positively with disease severity in all major white matter tracts. These results show widespread changes in white matter tracts in both PSP and MSA patients, even at a mid-point in the disease process, which are not found in patients with PD

Tuning the translational freedom of DNA for high speed AFM

Direct observation is arguably the preferred way to investigate the interactions between two molecular complexes. With the development of high speed atomic force microscopy it is becoming possible to observe directly DNA protein interactions with relevant spatial and temporal resolutions. These interactions are of central importance to biology, bio-nanotechnology but also functional biologically inspired materials. Critically, sample preparation plays a central role in all microscopy studies and minimal perturbation of the sample is desired. Here, we demonstrate the ability to tune the interactions of DNA molecules with the surface such that an association strong enough to enable high resolution AFM imaging while providing sufficient translational freedom to allow the relevant protein DNA interactions to take place, can be maintained. Furthermore, we describe a quantitative method for measuring the DNA mobility, which also allows the dissection of the different contributions to the overall movement of the DNA molecules. We find that for weak surface association, a significant contribution to the movement arises from the interaction of the AFM tip with the DNA. In combination, these methods enable the tuning of the surface translational freedom of DNA molecules to allow the direct study of a wide range of nucleo-protein interactions by high speed atomic force microscopy