Collocational prepositional phrases like ten koste van (at the expense of), met het oog op (with an eye on), and onder het mom van (under the pretext of) are patterns of the form P-NP-P, which have a non-compositional semantics and which are syntactically rigid or idiosyncratic. We present a number of linguistic tests which set such items apart from regularly built prepositional phrases. To fin...

Previous work by one of the authors minimised the distance travelled by UK football clubs over the Christmas/New Year period. In doing so various constraints have to be respected. One of these relates to clashes which measures how many paired teams play at home on the same day. The schedules that are actually used allow a certain number of clashes and our previous work utilised these values for...

Type 1 ryanodine receptors (RyR1s) release Ca(2+) from the sarcoplasmic reticulum to initiate skeletal muscle contraction. The role of RyR1-G4934 and -G4941 in the pore-lining helix in channel gating and ion permeation was probed by replacing them with amino acid residues of increasing side chain volume. RyR1-G4934A, -G4941A, and -G4941V mutant channels exhibited a caffeine-induced Ca(2+) relea...

This paper explores the collocational behaviour and semantic prosody of near synonyms from a cross-linguistic perspective. The importance of these concepts to language learning is well recognized. Yet while collocation and semantic prosody have recently attracted much interest from researchers studying the English language, there has been little work done on collocation and semantic prosody on ...

This study examines how different dimensions of corpus frequency data may affect the outcome of statistical modeling of lexical items. The corpus used in our analysis is an elderly speaker corpus in its early development, and the target words are temporal expressions, which might reveal how the speech produced by the elderly is organized. We conduct divisive hierarchical clustering based on two...

The computational reading of proofs in intutionistic predicate logic (IPL) as λ-terms can be extended in two well-known ways. On the one hand, Martin-Löf showed how the Axiom of Choice (AC) can be interpreted as a term of dependent type theory. On the other hand, Griffin showed how Peirce’s law (which generates classical logic from intuitionistic) can be interpreted as a program using control o...

All-atom models are essential for many applications in molecular modeling and computational chemistry. Nonbonded atomic contacts much closer than the sum of the van der Waals radii of the two atoms (clashes) are commonly observed in such models derived from protein crystal structures. A set of 94 recently deposited protein structures in the resolution range 1.5-2.8 Å were analyzed for clashes b...