The asymptotic distribution of canonical correlations and vectors in higher-order cointegrated models

The study of the large-sample distribution of the canonical correlations and variates in cointegrated models is extended from the first-order autoregression model to autoregression of any (finite) order. The cointegrated process considered here is nonstationary in some dimensions and stationary in some other directions, but the first difference (the “error-correction form”) is stationary. The asymptotic distribution of the canonical correlations between the first differences and the predictor variables as well as the corresponding canonical variables is obtained under the assumption that the process is Gaussian. The method of analysis is similar to that used for the first-order process.

Analysis of internal astigmatism and higher order aberrations in eyes implanted with a new diffractive multifocal toric intraocular lens

Background To evaluate the intraocular lens (IOL) position by analyzing the postoperative axis of internal astigmatism as well as the higher-order aberration (HOA) profile after cataract surgery following the implantation of a diffractive multifocal toric IOL. Methods Prospective study including 51 eyes with corneal astigmatism of 1.25D or higher of 29 patients with ages ranging between 20 and 61 years old. All cases underwent uneventful cataract surgery with implantation of the AT LISA 909 M toric IOL (Zeiss). Visual, refractive and corneal topograpy changes were evaluated during a 12-month follow-up. In addition, the axis of internal astigmatism as well as ocular, corneal, and internal HOA (5-mm pupil) were evaluated postoperatively by means of an integrated aberrometer (OPD Scan II, Nidek). Results A significant improvement in uncorrected distance and near visual acuities (p < 0.01) was found, which was consistent with a significant correction of manifest astigmatism (p < 0.01). No significant changes were observed in corneal astigmatism (p = 0.32). With regard to IOL alignment, the difference between the axes of postoperative internal and preoperative corneal astigmatisms was close to perpendicularity (12 months, 87.16° ± 7.14), without significant changes during the first 6 months (p ≥ 0.46). Small but significant changes were detected afterwards (p = 0.01). Additionally, this angular difference correlated with the postoperative magnitude of manifest cylinder (r = 0.31, p = 0.03). Minimal contribution of intraocular optics to the global magnitude of HOA was observed. Conclusions The diffractive multifocal toric IOL evaluated is able to provide a predictable astigmatic correction with apparent excellent levels of optical quality during the first year after implantation.

Higher order elicitability and Osband’s principle

A statistical functional, such as the mean or the median, is called elicitable if there is a scoring function or loss function such that the correct forecast of the functional is the unique minimizer of the expected score. Such scoring functions are called strictly consistent for the functional. The elicitability of a functional opens the possibility to compare competing forecasts and to rank them in terms of their realized scores. In this paper, we explore the notion of elicitability for multi-dimensional functionals and give both necessary and sufficient conditions for strictly consistent scoring functions. We cover the case of functionals with elicitable components, but we also show that one-dimensional functionals that are not elicitable can be a component of a higher order elicitable functional. In the case of the variance, this is a known result. However, an important result of this paper is that spectral risk measures with a spectral measure with finite support are jointly elicitable if one adds the “correct” quantiles. A direct consequence of applied interest is that the pair (Value at Risk, Expected Shortfall) is jointly elicitable under mild conditions that are usually fulfilled in risk management applications.

A resolution style proof procedure for higher-order logic /

Thesis--Illinois.

Linear groups, with an exposition of the Galois field theory,

Available on demand as hard copy or computer file from Cornell University Library.

The field theory of meaning.

Mode of access: Internet.

Light on masonry : a collection of all the most important documents on the subject of speculative free masonry : embracing the reports of the Western committees in relation to the abduction of William Morgan : proceedings of conventions, orations, essays, &c &c : with all the degrees of the order conferred in a master's lodge, as written by Captain William Morgan ... : also, a revelation of all the degrees conferred in the lodge of perfecton and fifteen degrees of a still higher order with seven French degrees making forty-eight degrees of Free Masonry with notes and critical remarks /

Mode of access: Internet.

Applications of Quantum Field Theory, From the Formal to the Phenomenological

Thesis (Ph.D.)--University of Washington, 2016-06

Coherent state construction of representations of osp(2|2) and primary fields of osp(2|2) conformal field theory

Representations of the superalgebra osp(2/2)(k)((1)) and current superalgebra. osp(2/2)k in the standard basis are investigated. All finite-dimensional typical and atypical representations of osp(2/2) are constructed by the vector coherent state method. Primary fields of the non-unitary conformal field theory associated with osp(2/2)(k)((1)) in the standard basis are obtained for arbitrary level k. (C) 2004 Elsevier B.V. All rights reserved.

Primary Fields and Screening Currents of gl (2/2) non-unitary conformal field theory

The non-semisimple gl(2)k current superalgebra in the standard basis and the corresponding non-unitary conformal field theory are investigated. Infinite families of primary fields corresponding to all finite-dimensional irreducible typical and atypical representations of gl(212) and three (two even and one odd) screening currents of the first kind are constructed explicitly in terms of ten free fields. (C) 2004 Elsevier B.V All rights reserved.

Higher-order CpG-DNA stimulation reveals distinct activation requirements for marginal zone and follicular B cells in lupus mice

Mouse follicular B cells express TLR9 and respond vigorously to stimulation with single-stranded CpG-oligodeoxynucleotides (ODN). Surprisingly, follicular B cells do not respond to direct stimulation with other TLR9 ligands, such as bacterial DNA or class A(D) CpG-ODN capable of forming higher-order structures, unless other cell types are present. Here, we show that priming with interferons or with B cell-activating factor, or simultaneous co-engagement of the B cell receptor for antigen (BCR), can overcome this unresponsiveness. The effect of interferons occurs at the transcriptional level and is mediated through an autocrine/paracrine loop, which is dependent on IRF-1, IL-6 and IL-12 p40. We hypothesize that the lack of bystander activation of follicular B cells with more complex CpG ligands may be an important safety mechanism for avoiding autoimmunity. This will prevent resting B cells from responding to foreign or self-derived hypomethylated double-stranded CpG ligands unless these ligands are either delivered through the B cell receptor or under conditions where B cells are simultaneously co-engaged by activated plasmacytoid dendritic cells or TH1 cells. A corollary is that the heightened responsiveness of lupus B cells to TLR9-induced stimulation cannot be ascribed to unprimed follicular B cells, but is rather mediated by hypersensitive marginal zone B cells.

Refinement of higher-order logic programs

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order programming capabilities in specifications and programs, such as procedures as terms and lambda abstraction. We use a higher-order type and term system to describe programs, and provide a semantics for the higher-order language and refinement. The calculus is illustrated by refinement examples.