function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

combining cfg and recursive functions to get a new language

We propose a new functional programming language(FPL) which differs in some aspects from most well known FPLs[l].We descrihc the prohlmm domain,the language,explain why we need it.

Native oxided AlAs current blocking layer for AIGaInP high brightness light emitting diodes

Native Oxide AlAs layer were employed to block the current injection from the tup anode. The luminous intensity exceeded 75 mcd of the LED chip with native oxide AlAs layer sandwiched 5 mu m AlGaAs current spreading layer under 20 mA current injection. Electrical and optical properties the LED chip and plastically sealed lamp were measured. Aging of the LED chip and lamp were performed under 70 degrees C and room temperature, Experiment results shown that there is no apparent effect of the native oxided AlAs layer and the process on the reliability of the LED devices.

smoothing document language model with local word graph

ACM SIGIR; ACM SIGWEB

N2O fluxes from the native and grazed semi-arid steppes and their driving factors in Inner Mongolia, China

This paper presents results of 2 years (from January 2005 to December 2006) of measurement of N2O fluxes from the native and grazed Leymus chinensis (LC) steppes in Inner Mongolia, China using the static opaque chamber method. The measurement was at a frequency of twice per month in the growing season and once per month in the non-growing season. In addition, the possible effect of water-heat factors on N2O fluxes was statistically analyzed. The results indicated that there were distinct seasonal patterns in N2O fluxes with large fluxes in spring, summer, and autumn but negative fluxes in winter. The annual net emission of N2O ranging from 0.24 to 0.30 kg N2O-N ha(-1) and from 0.06 to 0.26 kg N2O-N ha(-1) from the native and grazed LC steppe, respectively. Grazing activities suppressed N2O production. In the growing season, soil moisture was the primary driving factor of N2O fluxes. The high seasonal variation of N2O fluxes was regulated by the distribution of effective rainfall, rather than precipitation intensity. Air temperature or soil temperature at 0, 5, and 10 cm depth was the most restricting factor of N2O fluxes in the non-growing season.

Robust Tensor Analysis With L1-Norm

Tensor analysis plays an important role in modern image and vision computing problems. Most of the existing tensor analysis approaches are based on the Frobenius norm, which makes them sensitive to outliers. In this paper, we propose L1-norm-based tensor analysis (TPCA-L1), which is robust to outliers. Experimental results upon face and other datasets demonstrate the advantages of the proposed approach.

L1-Norm-Based 2DPCA

In this paper, we first present a simple but effective L1-norm-based two-dimensional principal component analysis (2DPCA). Traditional L2-norm-based least squares criterion is sensitive to outliers, while the newly proposed L1-norm 2DPCA is robust. Experimental results demonstrate its advantages.

Localization of Na+-K+ ATPases in Quasi-Native Cell Membranes

Na+-K+ ATPases have been observed and located by in situ AFM and single molecule recognition technique, topography and recognition imaging (TREC) that is a unique technique to specifically identify single protein in complex during AFM imaging. Na+-K+ ATPases were well distributed in the inner leaflet of cell membranes with about 10% aggregations in total recognized proteins. The height of Na+-K+ ATPases measured by AFM is in the range of 12-14 nm, which is very consistent with the cryoelectron microscopy result. The unbinding force between Na+-K+ ATPases in the membrane and anti-ATPases on the AFM tip is about 80 pN with the apparent loading rate at 40 nN/s.

Native growth of vertically pattened ZnO nanowire arrays under mild conditions without templates or catalysts

Based on the implications of a pellet experiment,we have designed and implemented a low temperature(≤90℃) approach to generate native patterned,vertically aligned ZnO nanoarrys without any templates or catalysts.This simple,economic and spontaneous patterning process offers a promising avenue for overcoming several inherent limitations of the artificial manners[1].While the purity,orientation and electrical properties of the as prepared materials allow them to be applied in various fields.

In-situ FTIR study on adsorption and oxidation of native and thermally denatured calf thymus DNA at glassy carbon electrodes

In-situ Fourier transform infra-red (FTIR) spectra of native and thermally denatured calf thymus DNA (CT DNA) adsorbed and/or oxidized at a glassy carbon (GC) electrode surface are reported. The adsorption of native DNA occurs throughout the potential range (-0.2 similar to 1.3 V) studied, and the adsorbing state of DNA at electrode surface is changed from through the C=O band of bases and pyrimidine rings to through the C=O of cytosine and imidazole rings while the potential shifts negatively from 1.3 V to -0.2 V. An in-situ FTIR spectrum of native CT DNA adsorbed at GC electrode surface is similar to that of the dissolved DNA, indicating that the structure of CT DNA is not distorted while it is adsorbed at the GC electrode surface. In the potential range of -0.2 similar to 1.30 V, the temperature-denatured CT DNA is adsorbed at the electrode surface first, then undergoes electrochemical oxidation reaction and following that, diffuses away from the electrode surface. (C) 2001 Elsevier Science B.V. All rights reserved.