Dependent Types for Pragmatics

This paper proposes the use of dependent types for pragmatic phenomena such as pronoun binding and presupposition resolution as a type-theoretic alternative to formalisms such as Discourse Representation Theory and Dynamic Semantics.Comment: This version updates the paper for publication in LEU

Basis set effects on the electron density and spectroscopic properties of CO

The effect of basis set incompleteness on the deformation density of CO is studied by comparing various STO basis sets with a fully numerical (basis-free) result. A triple-zeta s, p basis plus one 3d and one 4f function appears to be practically converged. The convergence characteristics of other properties (Re, De, ωe, μ0, μ1, electric field gradient (EFG)) with respect to basis set size and type are also investigated. The convergence behaviour is similar for these properties and the deformation densities

Magnetically induced ring currents in naphthalene-fused heteroporphyrinoids

The magnetically induced current density of an intriguing naphthalene-fused heteroporphyrin has been studied, using the quantum-chemical, gauge-including magnetically induced currents (GIMIC) method. The ring-current strengths and current-density pathways for the heteroporphyrin, its Pd complex, and the analogous quinoline-fused heteroporphyrin provide detailed information about their aromatic properties. The three porphyrinoids have similar current-density pathways and are almost as aromatic as free-base porphyrin. Notably, we show that the global ring current makes a branch at three specific points. Thus, the global current is composed of a total of eight pathways that include 22 pi-electrons, with no contributions from 18-electron pathways.Peer reviewe

Change in electron and spin density upon electron transfer to haem

AbstractHaems are the cofactors of cytochromes and important catalysts of biological electron transfer. They are composed of a planar porphyrin structure with iron coordinated at the centre. It is known from spectroscopy that ferric low-spin haem has one unpaired electron at the iron, and that this spin is paired as the haem receives an electron upon reduction (I. Bertini, C. Luchinat, NMR of Paramagnetic Molecules in Biological Systems, Benjamin/Cummins Publ. Co., Menlo Park, CA, 1986, pp. 165–170; H.M. Goff, in: A.B.P. Lever, H.B. Gray (Eds.), Iron Porphyrins, Part I, Addison-Wesley Publ. Co., Reading, MA, 1983, pp. 237–281; G. Palmer, in: A.B.P. Lever, H.B. Gray (Eds.), Iron Porphyrins, Part II, Addison-Wesley Publ. Co., Reading, MA, 1983, pp. 43–88). Here we show by quantum chemical calculations on a haem a model that upon reduction the spin pairing at the iron is accompanied by effective delocalisation of electrons from the iron towards the periphery of the porphyrin ring, including its substituents. The change of charge of the iron atom is only approx. 0.1 electrons, despite the unit difference in formal oxidation state. Extensive charge delocalisation on reduction is important in order for the haem to be accommodated in the low dielectric of a protein, and may have impact on the distance dependence of the rates of electron transfer. The lost individuality of the electron added to the haem on reduction is another example of the importance of quantum mechanical effects in biological systems

Fas ligand elicits a caspase-independent proinflammatory response in human keratinocytes: implications for dermatitis.

Fas ligand (FasL) causes apoptosis of epidermal keratinocytes and triggers the appearance of spongiosis in eczematous dermatitis. We demonstrate here that FasL also aggravates inflammation by triggering the expression of proinflammatory cytokines, chemokines, and adhesion molecules in keratinocytes. In HaCaT cells and in reconstructed human epidermis (RHE), FasL triggered a NF-kappaB-dependent mRNA accumulation of inflammatory cytokines (tumor necrosis factor-alpha, IL-6, and IL-1beta), chemokines (CCL2/MCP-1, CXCL1/GROalpha, CXCL3/GROgamma, and CXCL8/IL-8), and the adhesion molecule ICAM-1. Oligomerization of Fas was required both for apoptosis and for gene expression. Inhibition of caspase activity abolished FasL-dependent apoptosis; however, it failed to suppress the expression of FasL-induced genes. Additionally, in the presence of caspase inhibitors, but not in their absence, FasL triggered the accumulation of CCL5/RANTES (regulated on activation normal T cell expressed and secreted) mRNA. Our findings identify a novel proinflammatory role of FasL in keratinocytes that is independent of caspase activity and is separable from apoptosis. Thus, in addition to causing spongiosis, FasL may play a direct role in triggering and/or sustaining inflammation in eczemas

A Century of Inference: 1837-1936

Constructivism, Judgement and Meanin

When are Antiaromatic Molecules Paramagnetic?

Magnetizabilities and magnetically induced current densities have been calculated and analyzed for a series of antiaromatic cyclo[4k]carbons (k = 2-11), iso[n]phlorins (n = 4-8), expanded porphyrinoids, and meso-meso, beta-beta,beta-beta triple-linked porphyrin and isophlorin arrays. The cyclo[4k]carbons with k = 2-6 are predicted to be closed-shell paramagnetic molecules due to the very strong paratropic ring current combined with its large radius. Larger cyclo[4k]carbons with k = 6-11 are diamagnetic because they sustain a paratropic ring current whose strength is weaker than -20 nA T-1, which seems to be the lower threshold value for closed-shell paramagnetism. This holds not only for cyclo[4k]carbons but also for other organic molecules like expanded porphyrinoids and oligomers of porphyrinoids. The present study shows that meso-meso, beta-beta, beta-beta triple-linked linear porphyrin and isophlorin arrays have a domainlike distribution of alternating diatropic and paratropic ring currents. The strength of their local paratropic ring currents is weaker than -20 nA T-1 in each domain. Therefore, linear porphyrin and isophlorin arrays become more diamagnetic with increasing length of the ribbon. For the same reason, square-shaped meso-meso, beta-beta, beta-beta triple-linked free-base porphyrin and isophlorin tetramers as well as the Zn(II) complex of the porphyrin tetramer are diamagnetic. We show that closed-shell molecules with large positive magnetizabilities can be designed by following the principle that a strong paratropic current ring combined with a large ring-current radius leads to closed-shell paramagnetism.Peer reviewe

Effect of Nuclear Quadrupole Interaction on the Relaxation in Amorphous Solids

Recently it has been experimentally demonstrated that certain glasses display an unexpected magnetic field dependence of the dielectric constant. In particular, the echo technique experiments have shown that the echo amplitude depends on the magnetic field. The analysis of these experiments results in the conclusion that the effect seems to be related to the nuclear degrees of freedom of tunneling systems. The interactions of a nuclear quadrupole electrical moment with the crystal field and of a nuclear magnetic moment with magnetic field transform the two-level tunneling systems inherent in amorphous dielectrics into many-level tunneling systems. The fact that these features show up at temperatures $T<100mK$, where the properties of amorphous materials are governed by the long-range $R^{-3}$ interaction between tunneling systems, suggests that this interaction is responsible for the magnetic field dependent relaxation. We have developed a theory of many-body relaxation in an ensemble of interacting many-level tunneling systems and show that the relaxation rate is controlled by the magnetic field. The results obtained correlate with the available experimental data. Our approach strongly supports the idea that the nuclear quadrupole interaction is just the key for understanding the unusual behavior of glasses in a magnetic field.Comment: 18 pages, 9 figure

Validity and reliability of the VOAA-DDD to assess spontaneous hand use with a video observation tool in children with spastic unilateral cerebral palsy

Contains fulltext : 80999.pdf (publisher's version ) (Open Access)BACKGROUND: In 2003 new computer software, the VOAA (Video Observations Aarts and Aarts), was designed to score and evaluate two important aspects of spontaneous upper limb use, i.e. overall duration and frequency of specific behaviours. The aim of this study was to investigate the test-retest, interrater and intrarater reliability and the construct validity of a new module, the VOAA-DDD, to determine developmental disregard in children with spastic unilateral cerebral palsy (CP). METHODS: A test-retest design with three raters for reliability and a two-group design for construct validity were used. Subjects were a total of 20 children with spastic unilateral CP equally divided in two age groups (2.5-5 and 5-8 years), and 56 healthy children of the same age groups. Overall duration and frequency of specific behaviours of the affected arm and hand were assessed during a task demanding ('stringing beads') and a task stimulating ('decorating a muffin') the use of both hands. Reliability was estimated by intraclass correlation coefficients (ICCs). Construct validity was assessed by comparing children with CP to healthy children. RESULTS: All ICCs exceeded 0.87. In contrast with healthy children, children with CP used their affected hand less during the 'muffin' task compared to the 'beads' task. Of the children with CP, 90% in the age group of 2.5-5 years and 50% in the age group of 5-8 years showed values exceeding the extreme values of healthy controls, respectively, indicating developmental disregard. CONCLUSION: The VOAA-DDD is a reliable and valid instrument to assess spontaneous use of the affected arm and hand in order to determine developmental disregard in children with spastic unilateral CP