Defect luminescence in undoped p-type GaSe

Photoluminescence (PL) spectra of undoped single crystals of the layered semiconductor GaSe have been measured in the temperature range from 10K to room temperature and in the wavelength range from 635 to 750nm. Two wide bands centred at 644 and 695nm have been observed at T = 10K. A detailed analysis of the spectra obtained by varying the excitation intensity and temperature resulted in the identification of the levels involved. A simple model is proposed to account for the observed data.     

Absorption and photoluminescence spectroscopy of Er3+-doped SrAl2O4 ceramic phosphors

A spectroscopic characterization of Er³⁺-doped SrAl₂O₄ phosphor materials synthesized by a solid-state reaction method with Er concentrations varying from 0.1 to 1?mol% has been performed by studying photoluminescence (PL) in the temperature range 10 to 360?K and absorption spectra. PL signals containing five emission bands at 1492, 1529, 1541, 1558, and 1600?nm, respectively, have been observed at room temperature for Er³⁺ transitions in the near infrared region. The samples exhibit a main luminescence peak at 1.54?µm, which is assigned to recombination via an intra-4f Er³⁺ transition. Sharp bands centered at around 378, 488, 521, 651, 980, 1492, and 1538?nm in the absorption spectra can be associated with transitions from ⁴I_15/2 level to ²H_9/2, ⁴F_7/2, ²H_11/2, ⁴F_9/2, ⁴I_11/2, ²H_11/2, and ⁴I_13/2 levels, respectively. The sharp emission peaks and excellent luminescence properties show that SrAl₂O₄ is a suitable host for rare-earth-doped phosphors, which may be suitable for optical applications.     

El fenómeno de la «punta de la lengua» y la recuperación léxica: estudio de sus propiedades en castellano y el efecto de la frecuencia del estímulo

Resumen

En este trabajo se examina, a través de dos estudios, el fenómeno de la “punta de la lengua” (PL, TOT en la literatura internacional) en el idioma castellano. En el estudio 1, 101 sujetos contestaron un cuestionario retrospetivo sobre la ocurrencia de PLs en situaciones naturales cotidianas. Los resultados sugieren que el fenómeno PL constituye una experiencia familiar a todos los hablantes, sucede promedialmente en torno a una vez por semana, es causado frecuentemente por nombres propios, el hablante tiene en mucho casos información estructural relevante sobre la palabra buscada, y con frecuencia los PLs se acompañan de la presencia de otras palabras persistentes distintas de la buscada. En el estudio 2, estos hallazgos básicos resultan replicados en un estudio de laboratorio con 1 (02 sujetos y siguiendo la metodología experimental de Brown y McNeill (1966). Los datos muestran, además, una moderad correlacción negativa de -0.35 entre frecuencia léxica de los estímulos y el número de PLs elicitados por ellos, si bien no sólo las palabras de baja frecuencia son las únicas que causan estados PL. Por otra parte, surge una relación significativa de signo negativo entre la presencia durante un PL de palabras alternativas persistentes y la probabilidad de resolución inmediata del PL. Esta relación apoya la hipótesis del bloqueo sobre el fenómeno PL y los resultados son interpretados desde la perspectiva del modelo de Burke et al. (1991).     

Fracture mechanisms of symmetrical tilt grain boundaries

The mechanisms of failure of symmetrical tilt boundaries have been investigated using an atomistic technique. The fracture process advances in steps that are related to the structural unit of the symmetrical tilt grain boundary. These boundaries are shown to fail through a combined mechanism involving dislocation emission in certain regions of the structural unit, followed by microcleavage, and again dislocation emission. The overall toughness of the boundaries is given by the combination of the toughness of these two processes.     

Identifying when children with visual impairment share attention: A novel protocol and the impact of visual acuity

BackgroundIn Coordinated Joint Engagement (CJE), children acknowledge that they and their social partners are paying attention to the same object. The achievement of CJE, critical for healthy development, is at risk in infants with visual impairment (VI). Research on CJE in these children is limited because investigators use a child’s gaze switch between social partner and object to index CJE. Research is needed that identifies CJE in children with VI using behaviors that do not require normal vision and that explores the relationship between CJE and visual function. This study aimed to (a) develop a protocol for identifying CJE in children with VI, and (b) explore the relationship between CJE and infants’ visual acuity (VA) and contrast sensitivity (CS), measured with Preferential Looking (PL) techniques and Visual Evoked Potential (VEP).MethodsA protocol that included 9 indices of CJE that did not require normal vision was developed to code videos of 20 infants with VI (mean age =1 year, 6 months, 27 days) and their caregivers. The percentage of CJE episodes in which each index was observed was calculated. Inter-coder reliability was measured using Cohen’s Kappa. Linear regression analysis was used to examine the relationship between the infants’ visual function and CJE.ResultsInter-rater reliability between a first coder and each of two second coders were 0.98 and 0.90 for determining whether the child participated in CJE. The following indices were observed the most (in 43–62 % of CJE): child’s body orientation to caregiver, gaze switch between caregiver and object, and vocalization to caregiver. The only significant model included VA (measured with PL) as a single predictor and explained 26.8 % of the variance in CJE.ConclusionsThe novel protocol can be used to identify CJE in children with VI with good inter-coder reliability. The data suggest that children with lower VA exhibited less CJE.     

The soft X-ray emission spectra of Zn,Ga and Ge

Abstract

The experimental L_α1,2 and L_β1 X-ray emission spectra of Zn, Ga and Ge are presented. The high-energy satellite structure of the lines is considered. It appears that the intensity of these satellites relative to the main lines is much larger for Zn than for Ga and Ge. This enhancement effect is interpreted as arising mainly from the 2p^?1 _1/2 → 2p^?1 _3/23d^?1 _3/2,5/2 Coster-Kronig transition occurring in metallic Zn, which is absent in the case of Ga and Ge. Furthermore, for all these elements it is suggested that a significant contribution to the high-energy satellites of the L_α1,2; X-ray emission band arises from the 2s^?1 _1/2 → 2p^?1 _3/23d^?1 _3/2,5/2 Coster-Kronig process, whereas in the case of the satellites of the L_β1 X-ray emission spectrum the main cause would be the 2s^?1 _1/2 → 2p^?1 _1/23d^?1 _3/2,5/2transition.     

Disclinations and rotational deformation in fine-grained materials

A theoretical model is presented which describes a new mechanism of plastic deformation in fine-grained materials. In the framework of the model, rotational deformation occurs via motion of dipoles of grain-boundary disclinations and is associated with the emission of lattice dislocations from grain boundaries into adjacent grain interiors. Ranges of defect system parameters are identified in which the disclination motion is energetically favourable. It is shown that the mechanism can contribute to plastic flow in fine-grained materials prepared by highly non-equilibrium methods such as ball milling, severe deformation and high-pressure compaction.     

How Should We Assess the Fit of Rasch-Type Models? Approximating the Power of Goodness-of-Fit Statistics in Categorical Data Analysis

We investigate the performance of three statistics, R ₁, R ₂ (Glas in Psychometrika 53:525–546, 1988), and M ₂ (Maydeu-Olivares & Joe in J. Am. Stat. Assoc. 100:1009–1020, 2005, Psychometrika 71:713–732, 2006) to assess the overall fit of a one-parameter logistic model (1PL) estimated by (marginal) maximum likelihood (ML). R ₁ and R ₂ were specifically designed to target specific assumptions of Rasch models, whereas M ₂ is a general purpose test statistic. We report asymptotic power rates under some interesting violations of model assumptions (different item discrimination, presence of guessing, and multidimensionality) as well as empirical rejection rates for correctly specified models and some misspecified models. All three statistics were found to be more powerful than Pearson’s X ² against two- and three-parameter logistic alternatives (2PL and 3PL), and against multidimensional 1PL models. The results suggest that there is no clear advantage in using goodness-of-fit statistics specifically designed for Rasch-type models to test these models when marginal ML estimation is used.     

site determination of dilute Cu in beta-phase NiAl by 63Cu nuclear magnetic resonance and X-ray emission channelling patterns

A sharply bimodal lattice site distribution of dilute Cu in both Ni-deficient and Al-deficient beta-phase Ni-Al alloys has been observed in the 63Cu nuclear magnetic resonance (NMR) spectra. These NMR results are correlated with results derived from incoherent channelling patterns (ICPs) formed by variations in characteristic X-ray emission as a function of incident fast electron orientation. Statistical analysis of ICP data, generated near a 210 zone axis, indicates that Cu occupies substitutional sites; Cu is exclusively on the Al sublattice sites in the Al-deficient alloy, whilst the partition ratio of Ni : Al sublattice sites for Cu in the Ni-deficient alloy is about 80 : 20. Comparison of ICP contrast from Cu X-ray emission with ICPs from the host lattice enables the two peaks in the 63Cu NMR spectrum to be individually identified as originating from Cu on Ni sublattice sites, and from Cu on Al sublattice sites. The respective NMR line intensities from the Ni-deficient alloy yields a Ni : Al sublattice site occupancy ratio which is in good agreement with the partitioning ratios derived from channelling patterns     

In situ measurement of GaN film photoluminescence under plasma etching

This work focuses on an improved method that enables us to measure in situ GaN film photoluminescence (PL) under Ar or N₂ plasma etching. Although the background signal is large and increases with bias voltage, the GaN PL can be obtained after subtraction of this background from the total luminescence. Moreover, after plasma etching, the intensities of the near-band-edge and the yellow luminescence decrease significantly. It is suggested that this behaviour is strongly related to the heavy plasma-induced damage, which includes non-radiative defects and deep-level defects, such as Ga vacancies and/or C impurities.     

Foot-in-the-door and action identification. Binding communication applied to environmental conservation

IntroductionGrowing concern for the environment gives rise to the development of projects aimed at changing attitudes and/or behaviors of individuals in a more ecological way. While the traditional levers of change (information/persuasion) have clear limitations (Perloff, 2003), the promising results of Binding Communication (Joule et al., 2004) present a relevant alternative.ObjectiveOur research, based on the Binding Communication paradigm, aimed to encourage participation in a project to reduce energy consumption and CO₂ emission. The underlying theoretical aim was to identify the impact of action identification (Vallacher and Wegner, 1985) on individual behavior. A variable that commitment theorists (Girandola, 2003, Joule and Beauvois, 1998, Joule et al., 2004) consider as decisive in the paradigm effect although it has not yet been empirically studied.MethodOne hundred and twenty-three households in Brittany, France received a letter inviting them to participate in the presented project. According to three experimental conditions, some households had already received a phone call in order to answer a questionnaire about the environment (8–10 days earlier), wording in reference to two distinct identification levels.ResultsStatistical analyses showed a positive effect of procedure on intention to participate when the wording of the initial questionnaire referred to a high and adequate level of identification.ConclusionDiscussed in the context of commitment (Joule and Beauvois, 1998, Joule and Beauvois, 2002, Kiesler, 1971), self-perception (Bem, 1972) and action identification (Vallacher and Wegner, 1985); the results provide the first empirical validation of the effect of action identification on Binding Communication.     

A Gibbs sampler for the multidimensional four-parameter logistic item response model via a data augmentation scheme

The four-parameter logistic (4PL) item response model, which includes an upper asymptote for the correct response probability, has drawn increasing interest due to its suitability for many practical scenarios. This paper proposes a new Gibbs sampling algorithm for estimation of the multidimensional 4PL model based on an efficient data augmentation scheme (DAGS). With the introduction of three continuous latent variables, the full conditional distributions are tractable, allowing easy implementation of a Gibbs sampler. Simulation studies are conducted to evaluate the proposed method and several popular alternatives. An empirical data set was analysed using the 4PL model to show its improved performance over the three-parameter and two-parameter logistic models. The proposed estimation scheme is easily accessible to practitioners through the open-source IRTlogit package.     

An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency

In this paper, I present the modal adaptive logic AJ ^r (based on S5) as well as the discussive logic D ^r ₂ that is defined from it. D ^r ₂ is a (non-monotonic) alternative for Jaśkowski’s paraconsistent system D ₂ . Like D ₂ , D ^r ₂ validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, D ^r ₂ moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D ₂ , this does not require the introduction of discussive connectives. It is argued that this has clear advantages with respect to one of the main application contexts of discussive logics, namely the interpretation of discussions.*Research for this paper was indirectly supported by the Flemish Minister responsible for Science and Technology (contract BIL1/8). The author is indebted to Leon Horsten, Jo?o Marcos, Jerzy Perzanowski, Liza Verhoeven, and especially to the referee and to Diderik Batens for comments and suggestions.     

The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F,S4R,S4M and G

The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5. Presented by Jacek Malinowski     

Proof theory and mathematical meaning of paraconsistent C-systems

A proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsistent C-systems, which are a relevant sub-class of Logics of Formal Inconsistency (LFIs) introduced by W.A. Carnielli et al. (2002, 2005) [8] and [9]. The sequent versions BC, CI, CIL of the systems bC, Ci, Cil presented in Carnielli et al. (2002, 2005) [8] and [9] are introduced and examined. BC, CI, CIL admit the cut-elimination property and, in general, a weakened sub-formula property. Moreover, a formal notion of constructive paraconsistent system is given, and the constructivity of CI is proven. Further possible developments of proof theory and provability logic of CI-based arithmetical systems are sketched, and a possible weakened Hilbert?s program is discussed. As to the semantical aspects, arithmetical semantics interprets C-system formulas into Provability Logic sentences of classical Arithmetic PA (Artemov and Beklemishev (2004) [2], Japaridze and de Jongh (1998) [19], Gentilini (1999) [15], Smorynski (1991) [22]): thus, it links the notion of truth to the notion of provability inside a classical environment. It makes true infinitely many contradictions B∧¬B and falsifies many arbitrarily complex instances of non-contradiction principle ¬(A∧¬A). Moreover, arithmetical models falsify both classical logic LK and intuitionistic logic LJ, so that a kind of metalogical completeness property of LFI-paraconsistent logic w.r.t. arithmetical semantics is proven. As a work in progress, the possibility to interpret CI-based paraconsistent Arithmetic PACI into Provability Logic of classical Arithmetic PA is discussed, showing the role that PACIarithmetical models could have in establishing new meta-mathematical properties, e.g. in breaking classical equivalences between consistency statements and reflection principles.     

Constructive Logic with Strong Negation is a Substructural Logic. I

The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL _ew of the substructural logic FL _ew . In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL _ew (namely, a certain variety of FL _ew -algebras) are term equivalent. This answers a longstanding question of Nelson [30]. Extensive use is made of the automated theorem-prover Prover9 in order to establish the result. The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFL _ew are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL _ew . Presented by Heinrich Wansing     

A Rule-Extension of the Non-Associative Lambek Calculus

An extension L ⁺ of the non-associative Lambek calculus Lis defined. In L ⁺ the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L ⁺ is sound and complete with respect to a modification of the ternary frame semantics for L.     

Varieties of Three-Valued Heyting Algebras with a Quantifier

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q ₃ of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q ₃ and we construct the lattice of subvarieties (Q ₃ ) of the variety Q ₃ .     

A 2-categorial Generalization of the Concept of Institution

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for \mathbb T_S{\mathbb {T}_{\bf \Sigma}}, the monad in Set ^S determined by the adjunction T_S \dashv G_S{{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}} from Set ^S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor d_à{{\bf d}_\diamond} from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor Tr^Σ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ ^d from the functor Tr^L °(Id ×d_à){{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}} to the functor Tr^S °(d^* ×Id){{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution.     

Working memory in very-low-birthweight children at the age of 11 years

The aim of this study is to investigate the working memory (WM) of very-low-birthweight (VLBW, ≤ 1500 g) children at the age of 11 years using Baddeley’s WM model. A regional cohort of 95 VLBW children was assessed for the domains of the WM model (central executive [CE], visuospatial sketchpad [VS], and phonological loop [PL]) using subtests from the Working Memory Test Battery for Children (WMTB-C) and the Wechsler Intelligence Scale for Children – Fourth Edition (WISC-IV). VLBW children were categorized into three groups according to their degree of brain pathology (normal, minor, or major) in neonatal brain magnetic resonance imaging at the term age, and the WM performance was compared between groups to test norms. The structure of the WM model was studied by analyzing correlations among domains. Even VLBW children with normal cognitive development (general ability index ≥ 85) performed worse compared to the test norms (M = 100, SD = 15) on CE (M = 87.64, SD = 20.54, p < .001) and VS (M = 91.65, SD = 11.03, p < .001), but their performance on PL was above the norm (M = 110.79, SD = 13.79, p < .001). VLBW children with major brain pathology performed significantly worse on VS and PL compared to the other groups. The correlations among the WM domains of the VLBW children differ from earlier findings in normative populations. To conclude, the WM of the VLBW children in the study differ—especially in the CE and VS subtest scores—from the normative population irrespective of the degree of brain pathology and level of cognitive development.