The high degree of parasitic variability in Heterodera glycines and its distribution in a wide range of soybean production systems present multiple challenges for management, which necessitate increased understanding of the biology of H. glycines. Soil amendments are being considered either as stand-alone and/or as part of integrated management approaches. A recycled municipal biosolid with nut...

The predicative Calculus of Inductive Constructions (pCIC), the theory behind the Coq proof system, contains an infinite hierarchy of predicative universes T ype 0 ∈ T ype 1 ∈ T ype 2 ∈. .. and an impredicative universe P rop for propositions, together with an implicit cumulativity relation P rop ⊆ T ype 0 ⊆ T ype 1 ⊆ T ype 2 ⊆. .. . Subtyping in Coq is implicit, and is handled by the kernel. A...

The aim of this paper is to propose a model of decision-making for lotteries. Lottery qualities are the key concepts of the theory. Qualities allow the derivation of optimal decision-making processes and are taken explicitly into account for lottery evaluation. Our contribution explains the major violations of the expected utility theory for decisions on two-point lotteries and shows the necess...

In this paper, we study the predicative semantics of different temporal logics and the relationships between them. We use a notation called generic composition to simplify the manipulation of predicates. The modalities of possibility and necessity become generic composition and its inverse of converse respectively. The relationships between different temporal logics are also characterised as su...

The need to distinguish two syntactic sources for adnominal adjectives (a direct modification and a relative clause one), with the associated interpretive properties, turns out to have certain implications for the semantic classification of adjectives. We will see that it provides evidence for the existence of a class of truly privative adjectives, and for the conclusion that subsective adjecti...

This paper describes a multi-fingered haptic palpation method using stiffness feedback actuators for simulating tissue palpation procedures in traditional and robot-assisted minimally invasive surgery. Soft tissue stiffness is simulated by changing the stiffness property of the actuator during palpation. For the first time, granular jamming and pneumatic air actuation are combined together to r...

We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schütte ordinal Γ 0. First we comprehensively criticize the arguments that have been offered in support of this position. Then we analyze predicativism from first principles and develop a general method for accessing ordinals which is predicatively valid according to this analysis. We find ...

We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schütte ordinal Γ 0. First we comprehensively criticize the arguments that have been offered in support of this position. Then we analyze predicativism from first principles and develop a general method for accessing ordinals which is predicatively valid according to this analysis. We find ...

In this paper, I examine the relation between the type of an argument as selected by a predicate, and the role this argument subsequently plays in the computation of the sentence meaning. The thesis that I will put forth is that there is an important connection between the nature of the type that a predicate selects for as its argument, and the subsequent interpretation of the predicate in the ...