Evaluation of six night vision enhancement systems: qualitative and quantitative support for intelligent image processing

OBJECTIVE: An evaluation study was conducted to answer the question of which system properties of night vision enhancement systems (NVESs) provide a benefit for drivers without increasing their workload. BACKGROUND: Different infrared sensor, image processing, and display technologies can be integrated into an NVES to support nighttime driving. Because each of these components has its specific strengths and weaknesses, careful testing is required to determine their best combination. METHOD: Six prototypical systems were assessed in two steps. First, a heuristic evaluation with experts from ergonomics, perception, and traffic psychology was conducted. It produced a broad overview of possible effects of system properties on driving. Based on these results, an experimental field study with 15 experienced drivers was performed. Criteria used to evaluate the development potential of the six prototypes were the usability dimensions of effectiveness, efficiency, and user satisfaction (International Organization for Standardization, 1998). RESULTS: Results showed that the intelligibility of information, the easiness with which obstacles could be located in the environment, and the position of the display presenting the output of the system were of crucial importance for the usability of the NVES and its acceptance. Conclusion: All relevant requirements are met best by NVESs that are positioned at an unobtrusive location and are equipped with functions for the automatic identification of objects and for event-based warnings. APPLICATION: These design recommendations and the presented approach to evaluate the systems can be directly incorporated into the development process of future NVESs.     

Constructive Membership Predicates as Index Types

In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we motivate and explore this idea in the concrete setting of lists and trees. We show that the inhabitants of membership predicates are precisely the inhabitants of a generic shape type. We show that membership of x (of type T) in structure S, (x_TS) can not, in general, index all parts of a structure S and we generalize to a form ρS where ρ is a predicate over S. Under this scheme, (λx.True)S is the set of all indexes into S, but we show that not all subsets of indexes are expressible by strictly local predicates. Accordingly, we extend our membership predicates to predicates that retain state “from above” as well as allow “looking below”. Predicates of this form are complete in the sense that they can express every subset of indexes in S. These ideas are motivated by experience programming in Nuprl's constructive type theory and examining the constructive content of mechanically checked formal proofs involving membership predicates.     

Obituary

RILEM Bulletin

Obituary     

Inverse random under sampling for class imbalance problem and its application to multi-label classification

In this paper, a novel inverse random under sampling (IRUS) method is proposed for the class imbalance problem. The main idea is to severely under sample the majority class thus creating a large number of distinct training sets. For each training set we then find a decision boundary which separates the minority class from the majority class. By combining the multiple designs through fusion, we construct a composite boundary between the majority class and the minority class. The proposed methodology is applied on 22 UCI data sets and experimental results indicate a significant increase in performance when compared with many existing class-imbalance learning methods. We also present promising results for multi-label classification, a challenging research problem in many modern applications such as music, text and image categorization.     

MPTP 0.1 - System Description

MPTP (Mizar Problems for Theorem Proving) is a system for translating the Mizar Mathematical Library (MML) into untyped first order format suitable for automated theorem provers, allowing generating theorem proving problems corresponding to MML. The first version generates about 30000 problems from complete proofs of Mizar theorems, and about 630000 problems from the simple (one-step) justifications done by the Mizar checker. We describe the design and structure of the system, some limitations, and planned future extensions.     

General view on current conveyors

We propose a new current conveyor terminology and explain how these terms are coined. Copyright © 2004 John Wiley & Sons, Ltd.     

统计不相关最佳鉴别矢量集的本质研究

对统计不相关最佳鉴别矢量集的本质进行研究，在基于总体散布矩阵特征分解的基础上，构造了一种白化变换，使得变换后的样本空间中的总体散布矩阵为单位矩阵，这样使得传统的最佳鉴别矢量集算法得到的均是具有统计不相关的最佳鉴别矢量集，从而揭示了统计不相关最佳鉴别变换的本质——白化变换加普通的线性鉴别变换。该方法的最大优点在于所获得的最优鉴别矢量同时具有正交性和统计不相关性。该方法对代数特征抽取具有普遍适用性。用ORL人脸数据库的数值实验，验证了该方法的有效性。     

Study of structure and properties of ZnO–Bi<Subscript>2</Subscript>O<Subscript>3</Subscript>–P<Subscript>2</Subscript>O<Subscript>5</Subscript> glasses

Glasses of the ternary system ZnO–Bi₂O₃–P₂O₅ were prepared and studied in two compositional series 50ZnO–xBi₂O₃–(50 − x)P₂O₅ and (50 − y)ZnO–yBi₂O₃–50P₂O₅. Two distinct glass-forming regions were found in the 50ZnO–xBi₂O₃–(50 − x)P₂O₅ glass series with x = 0–10 and 20–35 mol.% Bi₂O₃. All prepared Bi₂O₃-containing glasses reveal a high chemical durability. Small additions of Bi₂O₃ (∼5 mol.%) improve thermal stability of glasses. All glasses crystallize on heating within the temperature range of 505–583 °C. Structural studies by Raman and ³¹P MAS NMR spectroscopies showed the rapid depolymerisation of phosphate chains within the first region with x = 0–15 and the presence of isolated Q⁰ phosphate units within the second region with x = 20–35. Raman studies showed that bismuth is incorporated in the glass structure in BiO₆ units and their vibrational bands were observed within the spectral region of 350–700 cm⁻¹. The evolution of properties and the spectroscopic data are both in accordance with a network former effect of Bi₂O₃.     

Sphk1 and Sphk2 Differentially Regulate Erythropoietin Synthesis in Mouse Renal Interstitial Fibroblast-like Cells

Erythropoietin (Epo) is a crucial hormone regulating red blood cell number and consequently the hematocrit. Epo is mainly produced in the kidney by interstitial fibroblast-like cells. Previously, we have shown that in cultures of the immortalized mouse renal fibroblast-like cell line FAIK F3-5, sphingosine 1-phosphate (S1P), by activating S1P₁ and S1P₃ receptors, can stabilize hypoxia-inducible factor (HIF)-2α and upregulate Epo mRNA and protein synthesis. In this study, we have addressed the role of intracellular iS1P derived from sphingosine kinases (Sphk) 1 and 2 on Epo synthesis in F3-5 cells and in mouse primary cultures of renal fibroblasts. We show that stable knockdown of Sphk2 in F3-5 cells increases HIF-2α protein and Epo mRNA and protein levels, while Sphk1 knockdown leads to a reduction of hypoxia-stimulated HIF-2α and Epo protein. A similar effect was obtained using primary cultures of renal fibroblasts isolated from wildtype mice, Sphk1−/−, or Sphk2−/− mice. Furthermore, selective Sphk2 inhibitors mimicked the effect of genetic Sphk2 depletion and also upregulated HIF-2α and Epo protein levels. The combined blockade of Sphk1 and Sphk2, using Sphk2−/− renal fibroblasts treated with the Sphk1 inhibitor PF543, resulted in reduced HIF-2α and Epo compared to the untreated Sphk2−/− cells. Exogenous sphingosine (Sph) enhanced HIF-2α and Epo, and this was abolished by the combined treatment with the selective S1P₁ and S1P₃ antagonists NIBR-0213 and TY52156, suggesting that Sph was taken up by cells and converted to iS1P and exported to then act in an autocrine manner through S1P₁ and S1P₃. The upregulation of HIF-2α and Epo synthesis by Sphk2 knockdown was confirmed in the human hepatoma cell line Hep3B, which is well-established to upregulate Epo production under hypoxia. In summary, these data show that sphingolipids have diverse effects on Epo synthesis. While accumulation of intracellular Sph reduces Epo synthesis, iS1P will be exported to act through S1P₁₊₃ to enhance Epo synthesis. Furthermore, these data suggest that selective inhibition of Sphk2 is an attractive new option to enhance Epo synthesis and thereby to reduce anemia development in chronic kidney disease.