We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. This experience report on the use of Racket and Haskell to teach a required first university CS course to students with very good mathematical skills focusses on the ways that programming forces one to get the details right, with consequent benefits in the m...

We investigated whether phonological relationships at the lexical level affect syntactic encoding during sentence production. Cleland and Pickering (2003) showed that syntactic priming effects are enhanced by semantic, but not phonological relations between lexical items, suggesting that there are no effects of phonology on syntactic encoding. Here we report four experiments investigating the i...

The topspin forehand is the most frequent and effective shot in top-level table tennis matches. present study assesses biomechanical differences stroke technique when incoming ball different rotations. Eight national level-1 male athletes (176.6 ± 4.8 cm, 70.8 6.6 kg, 20.9 2.4 yr) performed two kinds of techniques—topspin strokes against (AT) backspin (AB) balls, respectively. kinematic paramet...

This paper addresses the problem of specifying and parsing the syntax of domain-specific languages (DSLs) in a modular, userfriendly way. That is, we want to enable the design of composable DSLs that combine the natural syntax of external DSLs with the easy implementation of internal DSLs. The challenge in parsing composable DSLs is that the composition of several (individually unambiguous) lan...

Abstract We consider the vertical motion of a free falling ball bouncing elastically on racket moving in direction according to regular 1-periodic function f . For fixed coprime p , q we study existence, stability sense Lyapunov and multiplicity periodic motions making bounces period. If is real analytic prove that one unstable give some information set these motions.

In tropical waters, productivity is low and seabirds only feed at the surface, often in association with sub-surface predators. We studied the distribution and abundance of seabirds in the coastal marine environment around Réunion Island, SW Indian Ocean, between February 2001 and October 2002. We investigated the distribution and abundance of birds at sea with respect to the effects of natural...

In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically typed relatives support the straightforward expression via a rich numeric tower, existing statically typed languages force programmers to pollute textbook formulas with explicit coercions or unwieldy notation. In thi...