The role of a specific institution in avoiding a "tragedy of the commons" situation in a common pool-resource environment is studied experimentally. The resource users privately decide their own exploitation level and then, once the group outcome is revealed, can choose to select other individuals for inspection. At a cost, the inspector can view the decision of any individual. If the inspected...

Although natural language is ambiguous, various linguistic and extra-linguistic factors often help determine a preferred reading. In this paper , we show that model generation can be used to model this process in the case of reciprocal statements. The proposed analysis builds on insights from Dalrymple et al. 98 and is shown to provide an integrated, computational account of the interplay betwe...

Studying plant phenology is very important to regulate the rangeland utilization. Plant phenology can be determined by Growing Degree Days (GDDs). Since temperature varies yearly, the phenological stages may consequently differ yearly. Determining the base temperature is one of the key steps in the calculation of GDDs. The aim of this study was to calculate the required GDDs for each phenologic...

The theory of Timed Transition Systems (TTSs) developed by Henzinger, Manna and Pnueli provides a formal framework for specifying and reasoning about real-time systems. In this theory a system is described by a set of state transitions with associated time constraints. We report on work in progress to mechanize the published theory of timed transition systems using the HOL theorem prover. Diier...

We approach the problem of adaptively combining the predictions of an ensemble of seasonal climate models as a Multi-task Learning (MTL) problem. Unlike the traditional MTL setting, we only have a single functional task (combining the predictions ensemble members), where we consider multiple forecast periods from the same suite of models as our multiple learning tasks. Even though the same mode...

It is has been well known since Fiengo and Lasnik (1973) and Langendoen (1978) that each other presents a high degree of contextual variability. In a tradition that goes back to Langendoen (1978) and later to Dalrymple et al. (1998), theoreticians have tried to list different truth conditions and to establish a criterion for determining which one holds in which particular context. Along the lin...

In the current world, sports produce considerable statistical information about each player, team, games, and seasons. Traditional sports science believed science to be owned by experts, coaches, team managers, and analyzers. However, sports organizations have recently realized the abundant science available in their data and sought to take advantage of that science through the use of data mini...