We give an overview of results, presented in the form of a poster at CSL03/KGC, about a general study of the notions of rule derivability and admissibility in Hilbert-style proof systems. The basis of our investigation consists in the concept of “abstract Hilbert system”, a framework for Hilbert-style proof systems in which it is abstracted from the syntax of formulas and the operational conten...

Knowledge re nement tools seek to correct faulty knowledge based systems (KBSs). The goal of theKrustWorks project is to provide a source of re nement components from which specialised re nement tools tailored to the needs of a range of KBSs can be built. Central to the toolkit is a set of generic re nement operators and a representation language for KBS rules. The language abstracts those prop...

This paper studies a model of mechanism design when agents’ preferences over transfers need not be quasilinear. In a general model of non-quasilinearity, we characterize dominant strategy incentive compatible mechanisms using a monotonicity property. We also establish a revenue uniqueness result: for every dominant strategy implementable allocation rule, there is a unique payment rule that can ...

RESEARCH ARTICLE Relationships of Zn Between Centella Asiatica and Geochemical Fractions of the Habitat Topsoils: Implications of Biomonitoring of Zn Chee K. Yap, Hishamuddin Omar, Rosimah Nulit, Ghim H. Ong, Alireza R. Bakhtiari, Ali Karami and Salman A. Al-Shami Department of Biology, Faculty of Science, Universiti Putra Malaysia, 43400 UPM Serdang, Selangor, Malaysia. Inti International Univ...

We propose an aqueous rechargeable Zn-Cu Daniell-type battery. In this system, Li(+) prefers to conduct currents rather than react with the electrodes, while the Zn-Cu electrode couples engage in their electrochemical reactions free from conducting currents. Here Li(+) performs like a messenger and thus could be called the electrochemical messenger.

We discuss the structure of the effective Lagrangian for the (2,2) ZN orbifolds and the corresponding Calabi-Yau manifolds which are obtained by “blowing-up” the orbifold singularities. The method to “blow-up” such singularities is reviewed.’ Results are exact at the string tree-level. In particular the question of generating an intermediate scale MI in such models is addressed. It is shown tha...

Backward induction is the most widely accepted principle for predicting behavior in dynamic games. In experiments, however, players frequently violate this principle. An alternative is a 2-parameter “dynamic level-k” model, where players choose a rule from a rule hierarchy. The rule hierarchy is iteratively defined such that the level-k rule is a best-response to the level-(k − 1) rule and the ...

Wikipedia-centric Knowledge Bases (KBs) such as YAGO and DBpedia store the hyperlinks between articles in Wikipedia using wikilink relations. While wikilinks are signals of semantic connection between entities, the meaning of such connection is most of the times unknown to KBs, e.g., for 89% of wikilinks in DBpedia no other relation between the entities is known. The task of discovering the exa...

Understanding Zn uptake dynamics is critical to rice grain Zn biofortification. Here we examined soil Zn availability and Zn uptake pathways as affected by genotype (high-grain Zn varieties IR69428 and IR68144), Zn fertilization and water management in two pot experiments. Results showed significant interactions (P < 0.05) between genotypes and Zn fertilization on DTPA (diethylenetriaminepentaa...

Zn deficiency is a widespread problem in rice (Oryza sativa L.) grown under flooded conditions, limiting growth and grain Zn accumulation. Genotypes with Zn deficiency tolerance or high grain Zn have been identified in breeding programmes, but little is known about the physiological mechanisms conferring these traits. A protocol was developed for growing rice to maturity in agar nutrient soluti...