Growth method,composition, and defect structure dependence of mercury diffusion in CdxHg1–xTe

Mercury radiotracer diffusion results are presented, in the range 254 to 452°C, for bulk and epitaxial Cd_xHg_1–xTe, and we believe this to be the first report for metalorganic vapor phase epitaxy (MOVPE) grown Cd_xHg_1–xTe. For all growth types studied, with compositions of x_Cd=0.2±0.04, the variation of the lattice diffusion coefficient, D_Hg, with temperature, under saturated mercury partial pressure, obeyed the equation: D_Hg=3×10⁻³ exp(−1.2 eV/kT) cm² s⁻¹. It was found to have a strong composition dependence but was insensitive to changes of substrate material or crystal orientation. Autoradiography was used to show that mercury also exploited defect structure to diffuse rapidly from the surface. Dislocation diffusion analysis is used to model defect tails in MOVPE Cd_xHg_1–xTe profiles.     

Specifying and proving properties of timed I/O automata using Tempo

Timed I/O automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for example, to model a real-time software component controlling a physical process. The TIOA model is sufficiently general to subsume other models in use for timed systems. The Tempo Toolset, currently under development, is aimed at supporting system development based on TIOA specifications. The Tempo Toolset is an extension of the IOA toolkit, which provides a specification simulator, a code generator, and both model checking and theorem proving support for analyzing specifications. This paper focuses on the modeling of timed systems and their properties with TIOA and on the use of TAME4TIOA, the TAME (Timed Automata Modeling Environment) based theorem proving support provided in Tempo, for proving system properties, including timing properties. Several examples are provided by way of illustration.     

Narrowband Organic Light‐Emitting Diodes for Fluorescence Microscopy and Calcium Imaging

Fluorescence imaging is an indispensable tool in biology, with applications ranging from single‐cell to whole‐animal studies and with live mapping of neuronal activity currently receiving particular attention. To enable fluorescence imaging at cellular scale in freely moving animals, miniaturized microscopes and lensless imagers are developed that can be implanted in a minimally invasive fashion; but the rigidity, size, and potential toxicity of the involved light sources remain a challenge. Here, narrowband organic light‐emitting diodes (OLEDs) are developed and used for fluorescence imaging of live cells and for mapping of neuronal activity in Drosophila melanogaster via genetically encoded Ca²⁺ indicators. In order to avoid spectral overlap with fluorescence from the sample, distributed Bragg reflectors are integrated onto the OLEDs to block their long‐wavelength emission tail, which enables an image contrast comparable to conventional, much bulkier mercury light sources. As OLEDs can be fabricated on mechanically flexible substrates and structured into arrays of cell‐sized pixels, this work opens a new pathway for the development of implantable light sources that enable functional imaging and sensing in freely moving animals.     

Thromboelastography in healthy dairy cows

Thromboelastography is a whole blood-based coagulation assay that can be used to investigate hypocoagulability and hypercoagulability, as seen with thromboembolic diseases and disseminated intravascular coagulation. Numerous coagulopathies due to different causes are reported in cows. The objective was to establish reference intervals for thromboelastography using the TEG 5000 (Haemonetics GmbH, Munich, Germany) with citrated whole blood samples and kaolin activation in dairy cows and to investigate possible thromboelastographic changes between cows in different lactation periods. An additional objective was to test the stability of samples for up to 100 h. Sixty blood samples from healthy Holstein-Friesian cows were examined. The samples were allocated to 3 different lactation groups (≤30 d postcalving, 31–99 d postcalving, ≥100 d postcalving). Thromboelastography was performed by using the TEG 5000 analyzer with citrated whole blood samples with kaolin activation. The calculated reference intervals were as follows: reaction time = 2.2 to 6.2 min, coagulation time = 0.8 to 2.0 min, angle α = 58.2 to 81.8°, maximum amplitude = 64.3 to 89.2 mm, and clot rigidity = 9.2 to 41.2 dyn/cm². The 3 different lactation groups showed no significant differences in TEG parameters. No significant difference was seen in samples stored for up to 48 h at room temperature, which indicates that delays in processing samples, such as those arising during transit, are not an issue.     

Estimating m-regimes STAR-GARCH model using QMLE with parameter transformation

It is well known in the literature that obtaining the parameter estimates for the Smooth Transition Autoregressive-Generalized Autoregressive Conditional Heteroskedasticity (STAR-GARCH) can be problematic due to computational difficulties. Conventional optimization algorithms do not seem to perform well in locating the global optimum of the associated likelihood function. This makes Quasi-Maximum Likelihood Estimator (QMLE) difficult to obtain for STAR-GARCH models in practice. Curiously, there has been very little research investigating the cause of the numerical difficulties in obtaining the parameter estimates for STAR-GARCH using QMLE. The aim of the paper is to investigate the nature of the numerical difficulties using Monte Carlo Simulation. By examining the surface of the log-likelihood function based on simulated data, the results provide several insights into the difficulties in obtaining QMLE for STAR-GARCH models. Based on the findings, the paper also proposes a simple transformation on the parameters to alleviate these difficulties. Monte Carlo simulation results show promising signs for the proposed transform. The asymptotic and robust variance-covariance matrices of the original parameter estimates are derived as a function of the transformed parameter estimates, which greatly facilitates inferences on the original parameters.     

Recommending Personalized POIs from Location Based Social Network

Location based social networks (LBSNs) provide location specific data generated from smart phone into online social networks thus people can share their points of interest (POIs).POI collections are complex and can be influenced by various factors,such as user preferences,social relationships and geographical influence.Therefore,recommending new locations in LBSNs requires to take all these factors into consideration.However,one problem is how to determine optimal weights of influencing factors in an algorithm in which these factors are combined.The user similarity can be obtained from the user check-in data,or from the user friend information,or based on the different geographical influences on each user's check-in activities.In this paper,we propose an algorithm that calculates the user similarity based on check-in records and social relationships,using a proposed weighting function to adjust the weights of these two kinds of similarities based on the geographical distance between users.In addition,a non-parametric density estimation method is applied to predict the unique geographical influence on each user by getting the density probability plot of the distance between every pair of user's check-in locations.Experimental results,using foursquare datasets,have shown that comparisons between the proposed algorithm and the other five baseline recommendation algorithms in LBSNs demonstrate that our proposed algorithm is superior in accuracy and recall,furthermore solving the sparsity problem.     

City-size distributions and the world urban system in the twentieth century

"In this paper we trace and interpret changes in the geographical pattern and city-size distribution of the world's largest cities in the twentieth century. Since 1900 the geographical distribution of these cities has become increasingly dispersed; their city-size distribution by rank was nearly linear in 1900 and 1940, and convex in 1980. We interpret the convex distribution which emerged following World War 2 as reflecting an economically integrated but politically and demographically partitioned global urban system. Our interpretation of changes in size distribution of cities emphasizes demographic considerations, largely neglected in previous investigations, including migration and relative rates of population change."