In their recent paper, Muir et al. (Science, 2015, 348, 1135-1138) demonstrate that the maximum depths of staghorn coral assemblages are shallower at higher latitudes, a trend that correlates with winter light levels. Based on these findings, the authors hypothesize that light availability limits the current latitudinal extent of the group and will constrain future range expansion. Here we rean...

Embarkation of Suspected Pirates (SPs) It is important to ensure that all personnel involved in boarding operations complete the hepatitis B vaccination program as there is a risk that they will be exposure to bodily fluids. The Royal Marine boarding team should receive extra first aid training onboard the ship to allow them to deal with the initial management of any casualties encountered. Ide...

We offer a view on how probability is related to logic. Specifically, we argue against the widely held belief that standard classical logics have no direct way of modelling the certainty of assumptions in theories and no direct way of stating the certainty of theorems proved from these (uncertain) assumptions. The argument rests on the observation that probability densities, being functions, ca...

This paper analyses the arguments of a group of philosophers – Davidson [7, 6], Kim [9], Bennett [1] and Parsons [15] – who have worked on the semantics of actions. They argue that inference patterns involving adverbs require a semantics, formalised in first-order logic, in which actions are first-class individuals. In particular, equalities between actions must be meaningful. (We should note, ...

Tennenbaum’s Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to modeltheoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standar...

We present AIM2-F , an improved implementation of AIM-F [4] algorithm for mining frequent itemsets. Past studies have proposed various algorithms and techniques for improving the efficiency of the mining task. We have presented AIM-F at FIMI’03, a combination of some techniques into an algorithm which utilize those techniques dynamically according to the input dataset. The algorithm main featur...

Inhaltsverzeichnis Abbildungsverzeichnis v Tabellenverzeichnis ix Verzeichnis der verwendeten Symbole xi 1 Einleitung 1 1.

Cameron and Storvick introduced the concept of a sequential Fourier-Feynman transform and established the existence of this transform for functionals in a Banach algebra Ŝ of bounded functionals on classical Wiener space. In this paper we investigate various relationships between the sequential Fourier-Feynman transform and the convolution product for functionals which need not be bounded or co...

A study is carried out of the elementary theory of quotients of symmetric groups in a similar spirit to [10]. Apart from the trivial and alternating subgroups, the normal subgroups of the full symmetric group S(μ) on an infinite cardinal μ are all of the form Sκ(μ) = the subgroup consisting of elements whose support has cardinality < κ, for some κ ≤ μ. A many-sorted structure Mκλμ is defined wh...