Intentions Determine the Effect of Invisible Metacontrast-Masked Primes: Evidence for Top-Down Contingencies in a Peripheral Cuing Task.

In 5 experiments, the authors tested whether the processing of nonconscious spatial stimulus information depends on a prior intention. This test was conducted with the metacontrast dissociation paradigm. Experiment 1 demonstrated that masked primes that could not be discriminated above chance level affected responses to the visible stimuli that masked them. Experiments 2 and 3 showed that this effect was abolished when the task instruction was changed in such a way that the primes ceased to be task relevant. Experiments 4 and 5 demonstrated that a prime's effect depended on whether it was associated with the same response as the target or with an opposite response. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Low temperature silicon direct bonding for application in micromechanics: bonding energies for different combinations of oxides

Plain or structured hydrophillic silicon wafers covered with native oxide or with thermally grown oxide layers have been directly bonded at room temperature; afterwards, the samples were annealed at 100°C to 400°C. There is a significant difference in the observed bonding energy depending on the wafer pairing chosen. If one or both wafers are covered with a native oxide layer, high bonding strengths are reached even at low temperatures. This can be explained by the different diffusion behaviour of water molecules through a thick thermal oxide layer on one hand, and through a thin native oxide layer on the other hand. Two different methods for the activation of the wafer surfaces just prior to bonding are described.     

Effects of Subclinical Depression and Aging on Generative Reasoning About Linear Orders: Same or Different Processing Limitations?

The performance of older adults and depressed people on linear order reasoning is hypothesized to be best explained by different theoretical models. Whereas depressed younger adults are found to be impaired in generative inference making, older adults are well capable of making such inferences but exhibit problems with working memory (Experiments 1 and 2). Restriction of the available study time impairs reasoning by nondepressed control participants and. as such, proves to be a good model of older adults' but not depressed participants' limitations (Experiment 3). These results are replicated comparing depressed and older participants with a control group in the same study, providing increased power and linking the results to additional control measures of processing speed and working memory (Experiment 4). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A Response-Discrimination Account of the Simon Effect.

Simon effects might partly reflect stimulus-triggered response activation. According to the response-discrimination hypothesis, however, stimulus-triggered response activation shows up in Simon effects only when stimulus locations match the top-down selected spatial codes used to discriminate between alternative responses. Five experiments support this hypothesis. In Experiment 1, spatial codes of each response differed by horizontal and vertical axis position, yet one axis discriminated between alternative responses, whereas the other did not. Simon effects resulted for targets on discriminating axes only. In Experiment 2, both spatial axes discriminated between responses, and targets on both axes produced Simon effects. In Experiment 3, Simon effects resulted for a spatial choice-reaction task but not for a go/no-go task. Even in the go/no-go task, a Simon effect was restored when a two-choice reaction task preceded the go/no-go task (Experiment 4) or when participants initiated trials with responses spatially discriminated from the go response (Experiment 5). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Coinduction for Exact Real Number Computation

This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used to give straightforward and easily implementable proofs of the equivalence of the two representations as well as the correctness of various corecursive exact real number algorithms. The basic framework is the classical theory of coinductive sets as greatest fixed points of monotone operators and hence is different from (though related to) the type theoretic approach by Ciaffaglione and Gianantonio.     

Whole Exome Sequencing Identifies a Heterozygous Variant in the Cav1.3 Gene CACNA1D Associated with Familial Sinus Node Dysfunction and Focal Idiopathic Epilepsy

Cav1.3 voltage-gated L-type calcium channels (LTCCs) are involved in cardiac pacemaking, hearing and hormone secretion, but are also expressed postsynaptically in neurons. So far, homozygous loss of function mutations in CACNA1D encoding the Cav1.3 α₁-subunit are described in congenital sinus node dysfunction and deafness. In addition, germline mutations in CACNA1D have been linked to neurodevelopmental syndromes including epileptic seizures, autism, intellectual disability and primary hyperaldosteronism. Here, a three-generation family with a syndromal phenotype of sinus node dysfunction, idiopathic epilepsy and attention deficit hyperactivity disorder (ADHD) is investigated. Whole genome sequencing and functional heterologous expression studies were used to identify the disease-causing mechanisms in this novel syndromal disorder. We identified a heterozygous non-synonymous variant (p.Arg930His) in the CACNA1D gene that cosegregated with the combined clinical phenotype in an autosomal dominant manner. Functional heterologous expression studies showed that the CACNA1D variant induces isoform-specific alterations of Cav1.3 channel gating: a gain of ion channel function was observed in the brain-specific short CACNA1D isoform (Cav1.3_S), whereas a loss of ion channel function was seen in the long (Cav1.3_L) isoform. The combined gain-of-function (GOF) and loss-of-function (LOF) induced by the R930H variant are likely to be associated with the rare combined clinical and syndromal phenotypes in the family. The GOF in the Cav1.3_S variant with high neuronal expression is likely to result in epilepsy, whereas the LOF in the long Cav1.3_L variant results in sinus node dysfunction.     

Sustained Increase in Serum Glial Fibrillary Acidic Protein after First ST-Elevation Myocardial Infarction

Acute ischemic cardiac injury predisposes one to cognitive impairment, dementia, and depression. Pathophysiologically, recent positron emission tomography data suggest astroglial activation after experimental myocardial infarction (MI). We analyzed peripheral surrogate markers of glial (and neuronal) damage serially within 12 months after the first ST-elevation MI (STEMI). Serum levels of glial fibrillary acidic protein (GFAP) and neurofilament light chain (NfL) were quantified using ultra-sensitive molecular immunoassays. Sufficient biomaterial was available from 45 STEMI patients (aged 28 to 78 years, median 56 years, 11% female). The median (quartiles) of GFAP was 63.8 (47.0, 89.9) pg/mL and of NfL 10.6 (7.2, 14.8) pg/mL at study entry 0–4 days after STEMI. GFAP after STEMI increased in the first 3 months, with a median change of +7.8 (0.4, 19.4) pg/mL (p = 0.007). It remained elevated without further relevant increases after 6 months (+11.7 (0.6, 23.5) pg/mL; p = 0.015), and 12 months (+10.3 (1.5, 22.7) pg/mL; p = 0.010) compared to the baseline. Larger relative infarction size was associated with a higher increase in GFAP (ρ = 0.41; p = 0.009). In contrast, NfL remained unaltered in the course of one year. Our findings support the idea of central nervous system involvement after MI, with GFAP as a potential peripheral biomarker of chronic glial damage as one pathophysiologic pathway.     

用于细旦长丝变形的MPS CoolFlex

由于能耗可降低30%,MPS变形机可很容易地将速度提高30%,从而使MPS的构想成为一种用于细旦长丝变形加工的十分经济的方案.     

Modelling Generic Judgements

We propose a semantics for the -quantifier of Miller and Tiu. First we consider the case for classical first-order logic. In this case, the interpretation is close to standard Tarski-semantics and completeness can be shown using a standard argument. Then we put our semantics into a broader context by giving a general interpretation of in categories with binding structure. Since categories with binding structure also encompass nominal logic, we thus show that both -logic and nominal logic can be modelled using the same definition of binding. As a special case of the general semantics in categories with binding structure, we recover Gabbay & Cheney's translation of FOλ into nominal logic.