A distributed, semiotic-inductive and human-Oriented approach to web-scale knowledge retrieval

Web-scale knowledge retrieval can be enabled by distributed information retrieval, clustering Web clients to a large-scale computing infrastructure for knowledge discovery from Web documents. Based on this infrastructure, we propose to apply semiotic (i.e., sub-syntactical) and inductive (i.e., probabilistic) methods for inferring concept associations in human knowledge. These associations can be combined to form a fuzzy (i.e.,gradual) semantic net representing a map of the knowledge in the Web. Thus, we propose to provide interactive visualizations of these cognitive concept maps to end users, who can browse and search the Web in a human-oriented, visual, and associative interface.

Novel heating/cooling stage designed for fluid inclusion microthermometry of large stalagmite sections

Liquid–vapour homogenisation temperatures of fluid inclusions in stalagmites are used for quantitative temperature reconstructions in paleoclimate research. Specifically for this application, we have developed a novel heating/cooling stage that can be operated with large stalagmite sections of up to 17 × 35 mm2 to simplify and improve the chronological reconstruction of paleotemperature time-series. The stage is designed for use of an oil immersion objective and a high-NA condenser front lens to obtain high-resolution images for bubble radius measurements. The temperature accuracy of the stage is better than ± 0.1 °C with a precision (reproducibility) of ± 0.02 °C.

Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Forcing for hat inductive definitions in arithmetic

By forcing, we give a direct interpretation of inline image into Avigad's inline image. To the best of the author's knowledge, this is one of the simplest applications of forcing to “real problems”.

THEODORE, a two-step heating system for the EC/OC determination of radiocarbon (14C) in the environment

Measurements of 14C in the organic carbon (OC) and elemental carbon (EC) fractions, respectively, of fine aerosol particles bear the potential to apportion anthropogenic and biogenic emission sources. For this purpose, the system THEODORE (two-step heating system for the EC/OC determination of radiocarbon in the environment) was developed. In this device, OC and EC are transformed into carbon dioxide in a stream of oxygen at 340 and 650 �C, respectively, and reduced to filamentous carbon. This is the target material for subsequent accelerator mass spectrometry (AMS) 14C measurements, which were performed on sub-milligram carbon samples at the PSI/ETH compact 500 kV AMS system. Quality assurance measurements of SRM 1649a, Urban Dust, yielded a fraction of modern fM in total carbon (TC) of 0.522 ±0.018 (n ¼ 5, 95% confidence level) in agreement with reported values. The results for OC and EC are 0.70± 0.05 (n ¼ 3) and 0.066 ± 0.020 (n ¼ 4), respectively.

A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.