A strong law of large numbers for branching processes: almost sure spine events

We demonstrate a novel strong law of large numbers for branching processes, with a simple proof via measure-theoretic manipulations and spine theory. Roughly speaking, any sequence of events that eventually occurs almost surely for the spine entails the almost sure convergence of a certain sum over particles in the population.Comment: 6 page

Endogenous Games and Mechanisms: Side Payments Among Players

We characterize the outcomes of games when players may make binding offers of strategy contingent side payments before the game is played. This does not always lead to efficient outcomes, despite complete information and costless contracting. The characterizations are illustrated in a series of examples, including voluntary contribution public good games, Cournot and Bertrand oligopoly, principal-agent problems, and commons games, among others.game theory, mechanism design, contracts, side payments, endogenous games, public goods

Using philosophy to improve the coherence and interoperability of applications ontologies: A field report on the collaboration of IFOMIS and L&C

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates