Modifying the temperature dependence of magnetic garnet film coercivity by etching

The temperature dependence of the domain-wall coercive field of epitaxial magnetic garnet films was modified in a defined temperature range by removing the surface layer of the films. Outside the given temperature range the coercivity versus temperature curve did not change. The result supports a model of coercivity according to which different sets of material imperfections are responsible for pinning the domain walls in different temperature regions. Appropriate processing of the samples enables some of the pinning sets to be modified independently of each other

A debugging model for functional logic programs

This paper presents a box-oriented debugging model for the functional logic language ALF. Due to the sophisticated operational semantics of ALF which is based on innermost basic narrowing with simplification, the debugger must reflect the application of the different computation rules during program execution. Hence our debugging model includes not only one box type as in Byrd's debugging model for logic programs but several different kinds of boxes corresponding to the various computation rules of the functional logic language (narrowing, simplification etc.). Moreover, additional box types are introduced in order to allow skips over (sometimes) uninteresting program parts like proofs of the condition in a conditional equation. Since ALF is a genuine amalgamation of functional and logic languages, our debugging model subsumes operational aspects of both kinds of languages. As a consequence, it can be also used for pure logic languages, pure functional languages with eager evaluation, or functional logic languages with a less sophisticated operational semantics like SLOG or eager BABEL

Emergent dimensions underlying human understanding of the reachable world

Near-scale, reach-relevant environments, like work desks, restaurant place settings or lab benches, are the interface of our hand-based interactions with the world. How are our conceptual representations of these environments organized? For navigable-scale scenes, global properties such as openness, depth or naturalness have been identified, but the analogous organizing principles for reach-scale environments are not known. To uncover such principles, we obtained 1.25 million odd-one-out behavioral judgments on image triplets assembled from 990 reachspace images. Images were selected to comprehensively sample the variation both between and within reachspace categories. Using data-driven modeling, we generated a 30-dimensional embedding which predicts human similarity judgments among the images. First, examination of the embedding dimensions revealed key properties that distinguish among reachspaces, relating to their structural layout, affordances, visual appearances and functional roles. Second, clustering analyses performed over the embedding revealed four distinct interpretable classes of reachspaces, with separate clusters for spaces related to food, electronics, analog activities, and storage or display. Finally, we found that the similarity structure among reachspace images was better predicted by the function of the spaces than their locations, suggesting that reachspaces are largely conceptualized in terms of the actions they are designed to support. Altogether, these results reveal the behaviorally-relevant principles that that structure our internal representations of reach-relevant environments

Dissociable human perirhinal, hippocampal, and parahippocampal roles during verbal encoding

The precise contribution of perirhinal cortex to human episodic memory is uncertain. Human intracranial recordings highlight a role in successful episodic memory encoding, but encoding-related perirhinal activation has not been observed with functional imaging. By adapting functional magnetic resonance imaging scanning parameters to maximize sensitivity to medial temporal lobe activity, we demonstrate that left perirhinal and hippocampal responses during word list encoding are greater for subsequently recalled than forgotten words. Although perirhinal responses predict memory for all words, successful encoding of initial words in a list, demonstrating a primacy effect, is associated with parahippocampal and anterior hippocampal activation. We conclude that perirhinal cortex and hippocampus participate in successful memory encoding. Encoding-related parahippocampal and anterior hippocampal responses for initial, remembered words most likely reflects enhanced attentional orienting to these positionally distinctive items

Status, Testosterone, and Human Intellectual Performance: Stereotype Threat as Status Concern

Results from two experiments suggest that stereotype-threat effects are special cases of a more general process involving the need to maintain or enhance status. We hypothesized that situations capable of confirming a performance stereotype might represent either a threat to status or an opportunity for enhancement of status, depending on the nature of the stereotype. The positive relationship between baseline testosterone and status sensitivity led us to hypothesize that high testosterone levels in males and females would amplify existing performance expectations when gender-based math-performance stereotypes were activated. In Study 1, high-testosterone females performed poorly on a math test when a negative performance stereotype was primed. In Study 2, high-testosterone males excelled on a math test when a positive performance stereotype was primed. The moderating effect of testosterone on performance suggests that a stereotype-relevant situation is capable of conferring either a loss or a gain of status on targets of the stereotype.Yeshttps://us.sagepub.com/en-us/nam/manuscript-submission-guideline

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

Melt Rate Improvement for DWPF MB3: Melt Rate Furnace Testing

The Defense Waste Processing Facility (DWPF) would like to increase its canister production rate. The goal of this study is to improve the melt rate in DWPF specifically for Macrobatch 3. However, the knowledge gained may result in improved melting efficiencies translating to future DWPF macrobatches and in higher throughput for other Department of Energy's (DOE) melters. Increased melting efficiencies decrease overall operational costs by reducing the immobilization campaign time for a particular waste stream. For melt rate limited systems, a small increase in melting efficiency translates into significant hard dollar savings by reducing life cycle operational costs

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

Logopenic and nonfluent variants of primary progressive aphasia are differentiated by acoustic measures of speech production

Differentiation of logopenic (lvPPA) and nonfluent/agrammatic (nfvPPA) variants of Primary Progressive Aphasia is important yet remains challenging since it hinges on expert based evaluation of speech and language production. In this study acoustic measures of speech in conjunction with voxel-based morphometry were used to determine the success of the measures as an adjunct to diagnosis and to explore the neural basis of apraxia of speech in nfvPPA. Forty-one patients (21 lvPPA, 20 nfvPPA) were recruited from a consecutive sample with suspected frontotemporal dementia. Patients were diagnosed using the current gold-standard of expert perceptual judgment, based on presence/absence of particular speech features during speaking tasks. Seventeen healthy age-matched adults served as controls. MRI scans were available for 11 control and 37 PPA cases; 23 of the PPA cases underwent amyloid ligand PET imaging. Measures, corresponding to perceptual features of apraxia of speech, were periods of silence during reading and relative vowel duration and intensity in polysyllable word repetition. Discriminant function analyses revealed that a measure of relative vowel duration differentiated nfvPPA cases from both control and lvPPA cases (r2 = 0.47) with 88% agreement with expert judgment of presence of apraxia of speech in nfvPPA cases. VBM analysis showed that relative vowel duration covaried with grey matter intensity in areas critical for speech motor planning and programming: precentral gyrus, supplementary motor area and inferior frontal gyrus bilaterally, only affected in the nfvPPA group. This bilateral involvement of frontal speech networks in nfvPPA potentially affects access to compensatory mechanisms involving right hemisphere homologues. Measures of silences during reading also discriminated the PPA and control groups, but did not increase predictive accuracy. Findings suggest that a measure of relative vowel duration from of a polysyllable word repetition task may be sufficient for detecting most cases of apraxia of speech and distinguishing between nfvPPA and lvPPA