General theory of remote gaze estimation using the pupil center and corneal reflections

This paper presents a general theory for the remote estimation of the point-of-gaze (POG) from the coordinates of the centers of the pupil and corneal reflections. Corneal reflections are produced by light sources that illuminate the eye and the centers of the pupil and corneal reflections are estimated in video images from one or more cameras. The general theory covers the full range of possible system configurations. Using one camera and one light source, the POG can be estimated only if the head is completely stationary. Using one camera and multiple light sources, the POG can be estimated with free head movements, following the completion of a multiple-point calibration procedure. When multiple cameras and multiple light sources are used, the POG can be estimated following a simple one-point calibration procedure. Experimental and simulation results suggest that the main sources of gaze estimation errors are the discrepancy between the shape of real corneas and the spherical corneal shape assumed in the general theory, and the noise in the estimation of the centers of the pupil and corneal reflections. A detailed example of a system that uses the general theory to estimate the POG on a computer screen is presented.     

Reconstruction of long-period fiber gratings from their core-to-core transmission function

In order to reconstruct the structure of a long-period grating, both the complex core-to-core transmission function and the complex core-to-cladding transmission function should be known. However, in practice, only the core-to-core transmission function of the grating can be measured. We demonstrate theoretically the reconstruction of long-period gratings from only the core-to-core transmission function. The reconstruction is performed by extracting the complex core-to-cladding transmission function of the grating from its core-to-core transmission function. Generally, the extraction is not unique; however, we show that by writing an additional grating in cascade to the interrogated grating, a unique reconstruction can be obtained. In weak long-period gratings, only the amplitude of the core-to-core transmission function is needed to reconstruct the grating. The results of our work can enable the experimental reconstruction of long-period gratings from their transmission function as well as the development of novel distributed sensors.     

The Superconductivity of the Double Correlated Linear Aggregations of Holes in the Cuprates

Here, I extend my last work about the origin of the pseudogaps in underdoped cuprates (Dayan in arXiv:1011.3206 cond-mat, 2010) to include the mechanism of superconductivity. This is done by adapting the formalism of the double correlations in systems with nested Fermi surfaces to the semi one-dimensional system of strings of holes. It is proposed that magnetic interaction is crucial for the establishment of the pseudogap and the high temperature superconductivity. It is shown that superconductivity disturbs the completeness of the strings of holes, and creates fluctuations in them. This, in turn, reduces the magnetic interaction and the pseudogap order.     

Accelerated Life Testing for a Class of Linear Hazard Rate Type Distributions

Accelerated life testing for distributions with hazard rate functions of the form r(t) = Ag(t) + Bh(t) are considered. Let V ₁, …, V _k be stress levels larger than V ₀—the stress level under normal conditions [V ₀ > 0]—and let a(v) be a nondecreasing function on (0, ∞). We discuss a generalization of the common accelerated models (the power rule model and the Arrhenius model) by assuming that the hazard rate under the stress level V, is of the form (a(V _t )) ^P (Ag(t) + Bh(t)). The maximum likelihood estimators of A, B and P for complete and censored samples are studied. The estimation procedure reduces to a solution of one equation with one unknown parameter. The estimation procedure under the assumption of aging is also described. The asymptotic variance-covariance matrix is given.     

Monitoring the effects of divalent ions (Mn and Ca) in heat-set whey protein gels

Exploring the effects of cations in whey protein-based gels (WPG) is of importance when these gels are used for controlled release applications in food systems. The objective of this study was to evaluate both water uptake and cation release from heat-set WPGs. Magnetic Resonance Imaging and NMR relaxometry were employed to study the uptake and release. A non-paramagnetic (Ca⁺²) and a paramagnetic cation (Mn⁺²) were incorporated into the WPG as model divalent cations. Cylindrical pieces of WPGs with manganese were immersed in water (pH 2.40, 7.00, 10.40) or in EDTA solution whereas WPGs with calcium were immersed in water at pH 2.40. Water uptake by the gels was influenced by both ionic environment and pH. The release of Mn⁺² from WPG was enhanced by the presence of EDTA. Relaxation spectra of Mn⁺²-loaded gels were significantly influenced by pH of the suspending fluid and by the presence of EDTA. Results of relaxometry experiments, obtained with Ca⁺²-loaded gels immersed in water at pH 2.40, indicated a strong correlation (R² > 0.99) between relative areas of the proton pools and the amount of calcium released to the medium. Results support the use of MRI and NMR to monitor cation release and water uptake in WPG, non-destructively.     

Transversal thermal patterns in packed‐bed reactors with simple kinetics: Bifurcation criterion and simulations

We derive a new criterion for transversal instability of planar fronts based on the bifurcation condition dV_f/dK|_K=0 = 0, where V_f and K are the front velocity and its curvature, respectively. This refines our previously obtained condition, which was formulated as α = (ΔT_adPe_T)/(ΔT_mPe_C) > 1 to α > 1 + |δ|, where ΔT_ad and ΔT_m are the adiabatic and maximal temperature rise, respectively, Pe_C and Pe_T are the axial mass and the heat Pe numbers, respectively, and δ is a small parameter. The criterion is based on approximate relations for ΔT_m and V_f, which account for the local curvature of a propagating front in a packed bed reactor with a first‐order activated kinetics. The obtained relations are verified by linear stability analysis of planar fronts. Simulations of a simplified 2D model in the form of a thin cylindrical shell are in good agreement with the critical parameters predicted by dispersion relations. Three types of patterns were detected in simulations: “frozen” multiwave patterns, spinning waves, and complex rotating–oscillating patterns. We map bifurcation diagrams showing domains of different modes using the shell radius as the bifurcation parameter. The possible translation of the 2D cylindrical shell model results to the 3D case is discussed. © 2010 American Institute of Chemical Engineers AIChE J, 2011     

Sequential Change-Point Detection Procedures That are Nearly Optimal and Computationally Simple

Abstract

Sequential schemes for detecting a change in distribution often require that all of the observations be stored in memory. Lai (1995 Lai , T. L. ( 1995 ). Sequential Changepoint Detection in Quality Control and Dynamical Systems , Journal of Royal Statistical Society, Series B 57 : 613 – 658 . [Google Scholar], Journal of Royal Statistical Society, Series B 57: 613–658) proposed a class of detection schemes that enable one to retain a finite window of the most recent observations, yet promise first-order optimality. The asymptotics are such that the window size is asymptotically unbounded. We argue that what's of computational importance isn't having a finite window of observations, but rather making do with a finite number of registers. We illustrate in the context of detecting a change in the parameter of an exponential family that one can achieve eventually even second-order asymptotic optimality through using only three registers for storing information of the past. We propose a very simple procedure, and show by simulation that it is highly efficient for typical applications.     

Arabidopsis thaliana Plants with Different Levels of Aliphatic- and Indolyl-Glucosinolates Affect Host Selection and Performance of Bemisia tabaci

Generalist insects show reduced selectivity when subjected to similar, but not identical, host plant chemical signatures. Here, we produced transgenic Arabidopsis thaliana plants that over-express genes regulating the aliphatic- and indolyl- glucosinolates biosynthetic pathways with either a constitutive (CaMV 35S) or a phloem-specific promoter (AtSUC2). This allowed us to examine how exposure to high levels of aliphatic- or indolyl-glucosinolates in homogenous habitats (leaf cage apparatus containing two wild-type or two transgenic leaves) and heterogeneous habitats (leaf cage apparatus containing one wild-type and one transgenic leaf) affects host selection and performance of Bemsia tabaci, a generalist phloem-feeding insect. Data from homogenous habitats indicated that exposure to A. thaliana plants accumulating high levels of aliphatic- or indolyl-glucosinolates negatively affected the performance of both adult females and nymphs of B. tabaci. Data from heterogeneous habitats indicated that B. tabaci adult females selected for oviposition plants on which their offspring perform better (preference-performance relationship). However, the combinations of wild-type and transgenic plants in heterogeneous habitats increased the period of time until the first choice was made and led to increased movement rate on transgenic plants, and reduced fecundity on wild-type plants. Overall, our findings are consistent with the view that both performance and selectivity of B. tabaci decrease in heterogeneous habitats that contain plants with closely-related chemical signatures.     

Module Checking

In computer system design, we distinguish between closed and open systems. A closed system is a system whose behavior is completely determined by the state of the system. An open system is a system that interacts with its environment and whose behavior depends on this interaction. The ability of temporal logics to describe an ongoing interaction of a reactive program with its environment makes them particularly appropriate for the specification of open systems. Nevertheless, model-checking algorithms used for the verification of closed systems are not appropriate for the verification of open systems. Correct model checking of open systems should check the system with respect to arbitrary environments and should take into account uncertainty regarding the environment. This is not the case with current model-checking algorithms and tools. In this paper we introduce and examine the problem of model checking of open systems (module checking, for short). We show that while module checking and model checking coincide for the linear-time paradigm, module checking is much harder than model checking for the branching-time paradigm. We prove that the problem of module checking is EXPTIME-complete for specifications in CTL and 2EXPTIME-complete for specifications in CTL*. This bad news is also carried over when we consider the program-complexity of module checking. As good news, we show that for the commonly-used fragment of CTL (universal, possibly, and always possibly properties), current model-checking tools do work correctly, or can be easily adjusted to work correctly, with respect to both closed and open systems.