Searching for Ground Truth: a stepping stone in automating genre classification

This paper examines genre classification of documents and its role in enabling the effective automated management of digital documents by digital libraries and other repositories. We have previously presented genre classification as a valuable step toward achieving automated extraction of descriptive metadata for digital material. Here, we present results from experiments using human labellers, conducted to assist in genre characterisation and the prediction of obstacles which need to be overcome by an automated system, and to contribute to the process of creating a solid testbed corpus for extending automated genre classification and testing metadata extraction tools across genres. We also describe the performance of two classifiers based on image and stylistic modeling features in labelling the data resulting from the agreement of three human labellers across fifteen genre classes.

A general condition of inflationary cosmology on trans-Planckian physics

We consider a more general initial condition satisfying the minimal uncertainty relationship. We calculate the power spectrum of a simple model in inflationary cosmology. The results depend on perturbations generated below a fundamental scale, e.g. the Planck scale.Comment: 7 pages, References adde

Interpreting forest and grassland biome productivity utilizing nested scales of image resolution and biogeographical analysis

Several hardware, software, and data collection problems encountered were conquered. The Geographic Information System (GIS) data from other systems were converted to ERDAS format for incorporation with the image data. Statistical analysis of the relationship between spectral values and productivity is being pursued. Several project sites, including Jackson, Pope, Boulder, Smokies, and Huntington Forest are evolving as the most intensively studied areas, primarily due to availability of data and time. Progress with data acquisition and quality checking, more details on experimental sites, and brief summarizations of research results and future plans are discussed. Material on personnel, collaborators, facilities, site background, and meetings and publications of the investigators are included

Experimental Biological Protocols with Formal Semantics

Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the process of biological discovery is still lacking, largely due to incompatible or missing formal representations. While theories are expressed formally as computational models, existing languages for encoding and automating experimental protocols often lack formal semantics. This makes it challenging to extract novel understanding by identifying when theory and experimental evidence disagree due to errors in the models or the protocols used to validate them. To address this, we formalize the syntax of a core protocol language, which provides a unified description for the models of biochemical systems being experimented on, together with the discrete events representing the liquid-handling steps of biological protocols. We present both a deterministic and a stochastic semantics to this language, both defined in terms of hybrid processes. In particular, the stochastic semantics captures uncertainties in equipment tolerances, making it a suitable tool for both experimental and computational biologists. We illustrate how the proposed protocol language can be used for automated verification and synthesis of laboratory experiments on case studies from the fields of chemistry and molecular programming

Immunization for complex network based on the effective degree of vertex

The basic idea of many effective immunization strategies is first to rank the importance of vertices according to the degrees of vertices and then remove the vertices from highest importance to lowest until the network becomes disconnected. Here we define the effective degrees of vertex, i.e., the number of its connections linking to un-immunized nodes in current network during the immunization procedure, to rank the importance of vertex, and modify these strategies by using the effective degrees of vertices. Simulations on both the scale-free network models with various degree correlations and two real networks have revealed that the immunization strategies based on the effective degrees are often more effective than those based on the degrees in the initial network.Comment: 16 pages, 5 figure

Hawking radiation as tunneling and the unified first law of thermodynamics at the apparent horizon in the FRW universe

Relations between the tunneling rate and the unified first law of thermodynamics at the apparent horizon of the FRW universe are investigated. The tunneling rate arises as a consequence of the unified first law of thermodynamics in such a dynamical system. The analysis shows obviously how the tunneling is intimately connected with the unified first law of thermodynamics through the principle of conservation of energy.Comment: Latex, 9 pages, no figur

Super Yangian Double DY(gl(1∣1))DY( gl(1|1)) and Its Gauss Decomposition

We extend Yangian double to super (or graded) case and give its Drinfel'd generators realization by Gauss decomposition.Comment: 6 pages, Latex, no figure