This article looks at Skilling’s nested sampling from a physical perspective and interprets it as a microcanonical demon algorithm. Using key quantities of statistical physics we investigate the performance of nested sampling on complex systems such as Ising, Potts and protein models. We show that releasing multiple demons helps to smooth the truncated prior and eases sampling from it because t...

In classical machine virtualization, a hypervisor runs multiple operating systems simultaneously, each on its own virtual machine. In nested virtualization, a hypervisor can run multiple other hypervisors with their associated virtual machines. As operating systems gain hypervisor functionality—Microsoft Windows 7 already runs Windows XP in a virtual machine—nested virtualization will become ne...

Nested sequent systems for modal logics are a relatively recent development, within the general area known as deep reasoning. The idea of deep reasoning is to create systems within which one operates at lower levels in formulas than just those involving the main connective or operator. Prefixed tableaus go back to 1972, and are modal tableau systems with extra machinery to represent accessibili...

Nested sequent systems for modal logics were introduced by Kai Brünnler, and have come to be seen as an attractive deep reasoning extension of familiar sequent calculi. In an earlier paper I showed there was a connection between modal nested sequents and modal prefixed tableaus. In this paper I extend the nested sequent machinery to intuitionistic logic, both standard and constant domain, and r...

In statistical term extraction systems the identification and selection of nested term candidates often presents a challenge. The paper presents an implementation and evaluation of C-value, a heuristic that ranks and/or discards nested terms according to their stability in the corpus. The method was tested for English and Slovene, for both the overall performance of the term extractor improved ...

Abstract The social–ecological systems (SES) framework (Ostrom 2009, Science. 325(5939):419–22) typologically decomposes SES characteristics into nested, tiered constituent variables. Yet, aligning the framework’s concepts of resource system (RS) and unit (RU) with realities individual case studies poses challenges if underlying is not a single RS, but mid to large-scale nested RS (NRS). Using ...