37,079 research outputs found
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
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.
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
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
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 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
- …