Learning-theoretic perspectives of acceptable numberings

A class of recursive functionsC islimiting standardizable, in a programming system , iff there is an effective procedure which, given any -program (in the -system), synthesizes in the limit acanonical -program which is equivalent to the former. It can arguably be expected that notions similar to the above one would be relevant toGold-style function learning, which features, among other things, the effective limiting synthesis of programs for input recursive functions. Many learning classes have been characterized in terms of variants of the above notion. In this paper, we focus on the limiting standardizability of the entire class of recursive functions inEffective programming systems. To start with, we prove the independence of this notionvis-à-vis finitary recursion theorems. Secondly, we show that this motion does not entail acceptability, in the spirit of the results of Case, Riccardi and Royer on characterizations of the samevis-à-vis programming language control structures.     

Flexible amorphous‐silicon non‐volatile memory

Abstract— The development of a flexible, rewritable, non‐volatile memory (NVM) that is implemented on a standard, low‐temperature a‐Si:H process without additional mask steps is reported. This NVM is a part of a flexible‐display system. Each NVM cell is composed of differentially configured thin‐film‐transistors (TFTs). The cell reads out one of two stable states depending on the relative threshold voltages of the differentially configured TFTs. Information is stored in each cell by increasing the threshold voltage of one differential TFT or the other, utilizing the well‐known electrical‐stress degradation intrinsic to a‐Si:H TFTs. The stored information is retained indefinitely with no applied power. A test array of individually addressable NVM cells has been successfully fabricated and tested on flexible stainless‐steel substrates. Read and write operation, as well as preliminary reliability measurements, are described. The design is readily scalable to large memory arrays.     

Compact modeling of amorphous‐silicon thin‐film transistors with BSIM3

Abstract— A novel approach of modeling a‐Si:H TFTs with the industry‐standard BSIM3 compact model is presented. The described approach defines the a‐Si:H TFT drain current and terminal charges as explicit functions of terminal voltages using a minimum set of BSIM3 parameters. The set of BSIM3 parameters is chosen based on the electrical and physical characteristics of the a‐Si:H TFT and their values extracted from measured data. By using the selected BSIM3 model parameters, the a‐Si:H TFT is simulated inside SPICE to fit the simulated I‐V and C‐V curves with the measured results. Finally, the extracted BSIM3 model is validated by simulating the kickback voltage effect in an AMLCD pixel array.     

Common coupling and pointer variables,with application to a Linux case study

Both common coupling and pointer variables can exert a deleterious effect on the quality of software. The situation is exacerbated when global variables are assigned to pointer variables, that is, when an alias to a global variable is created. When this occurs, the number of global variables increases, and it becomes considerably harder to compute quality metrics correctly. However, unless aliasing is taken into account, variables may incorrectly appear to be unreferenced (neither defined nor used), or to be used without being defined. These ideas are illustrated by means of a case study of common coupling in the Linux kernel.

Histology image analysis for carcinoma detection and grading

This paper presents an overview of the image analysis techniques in the domain of histopathology, specifically, for the objective of automated carcinoma detection and classification. As in other biomedical imaging areas such as radiology, many computer assisted diagnosis (CAD) systems have been implemented to aid histopathologists and clinicians in cancer diagnosis and research, which have been attempted to significantly reduce the labor and subjectivity of traditional manual intervention with histology images. The task of automated histology image analysis is usually not simple due to the unique characteristics of histology imaging, including the variability in image preparation techniques, clinical interpretation protocols, and the complex structures and very large size of the images themselves. In this paper we discuss those characteristics, provide relevant background information about slide preparation and interpretation, and review the application of digital image processing techniques to the field of histology image analysis. In particular, emphasis is given to state-of-the-art image segmentation methods for feature extraction and disease classification. Four major carcinomas of cervix, prostate, breast, and lung are selected to illustrate the functions and capabilities of existing CAD systems.     

跨国建设投资项目协同管理的多元策略

随着上海经济的迅猛发展,建设工程项目市场全球化的趋势愈演愈烈,在沪投资的国际工程项目越来越多。这些外资投资项目在为我国建设企业引入新的管理理念和技术的同时,也与我国传统的建设项目管理模式发生着碰撞。为此,亟待根据我国建设企业项目管理现状,构建适应跨国投资项目良性运作的协同管理体系。     

A framework for computing asset-sighting distance

Safety critical railway assets need to be visible from prescribed distances, ensuring safety. Traditional methods for measuring these sighting distances involve manual labour and disruption of rail services. Drawing parallels with other areas, efficiency and cost of such a task can be improved with automation. Hence, in this work, we describe a framework providing such automation, using image frames captured from video equipment as input. Any such framework needs to meet a set of associated challenges, including: determining the image position of decreasing sized assets as they appear farther from the observer, extracting three-dimensional positioning information (relative to motion) from two-dimensional video information and determining when an asset can no longer be seen (i.e. the sighting distance). Results show that the methods included in this framework perform better than a traditional method and information regarding asset-sighting distance is accurately computed.     

Indoor emissions of total and fluorescent supermicron particles during HOMEChem

Inhalation of particulate matter is associated with adverse health outcomes. The fluorescent portion of supermicron particulate matter has been used as a proxy for bioaerosols. The sources and emission rates of fluorescent particles in residential environments are not well-understood. Using an ultraviolet aerodynamic particle sizer (UVAPS), emissions of total and fluorescent supermicron particles from common human activities were investigated during the HOMEChem campaign, a test-house investigation of the chemistry of indoor environments. Human occupancy and activities, including cooking and mopping, were found to be considerable sources of indoor supermicron fluorescent particles, which enhanced the indoor particle concentrations by two orders of magnitude above baseline levels. The estimated total (fluorescent) mass emission rates for the activities tested were in the range of 4-30 (1-11) mg per person meal for cooking and 0.1-4.9 (0.05-4.7) mg/h for occupancy and mopping. Model calculations indicate that, once released, the dominant fate of coarse particles (2.5-10 micrometer in diameter) was deposition onto indoor surfaces, allowing for the possibility of subsequent resuspension and consequent exposures over durations much longer than the ventilation time scale. Indoor coarse particle deposition would also contribute to soiling of indoor surfaces.