C Unexpectedness and inevitability, two of the aesthetic qualities G.H. Hardy identified as being properties of beautiful proofs [Har, §], together seem paradoxical: how can something be seen as both unexpected and inevitable? Two possibilities are that the inevitability only becomes apparent in hindsight, or that the strategy of the proof is unexpected but, once chosen, proceeds inevitably...

This paper aims to analyze and depict urban equilibrium from the perspective of a complex force field between (positive) agglomeration economies and (negative) environmental externalities. Based on a simplified representation of a linear urban economy, an archetypical model based on general equilibrium principles is designed and its properties are investigated by using numerical simulations. Th...

Multi-class problems have a richer structure than binary classification problems. Thus, they can potentially improve their performance by exploiting the relationship among class labels. While for the purposes of providing an automated classification result this class structure does not need to be explicitly unveiled, for human level analysis or interpretation this is valuable. We develop a mult...

Today real-time analytics of large data sets is invariably computer-assisted and often includes a “human-in-the-loop”. Humans differ from each other and all have a very limited innate capacity to process new information in real-time. This introduces statistical and systematic uncertainties into observations, analyzes and decisions humans make when they are “in the loop”. Humans also have uncons...

Patterns of crop diversification of modern agricultural technology, especially during the period of the Green Revolution in the late sixties and early seventies, there is a continuous surge for diversified agriculture in terms of crops, primarily on economic considerations. Indian agriculture is increasingly getting influenced more and more by economic factors. This need not be surprising becau...

p. cm. – (Political economy of institutions and decisions) Includes bibliographical references and index.

In Aumann (1995) and Aumann (1998), time is assumed implicitly in the description of games of perfect information, and it is part of the epistemic distinction between ex-ante and ex-post knowledge. We show that ex-post knowledge in these papers can be expressed by ex-ante knowledge and therefore epistemically, time is irrelevant to the analysis. Furthermore, we show that material rationality by...

World population was about 2.5 billion in 1950; by 1988 it had doubled. Despite this unprecedented population explosion, global food supply kept pace with the additional demand for food. A technological revolution after World War II in the agriculture of the industrialized countries initially made this achievement possible. In the developing countries, where growth of food production had relied...

We give an analysis of various classical axioms and characterize a notion of minimal classical logic that enforces Peirce’s law without enforcing Ex Falso Quodlibet. We show that a “natural” implementation of this logic is Parigot’s classical natural deduction. We then move on to the computational side and emphasize that Parigot’s λμ corresponds to minimal classical logic. A continuation consta...