matter. Director-General Taylor's figures do not indicate that within the last ten years any noteworthy evidence of physical decadence has taken place in recruits except as regards their teeth. This may mean a sign of physical degeneracy or an outcome of more care and strictness in examining and appraising the condition of the teeth. It is argued that sanitary laws and reforms have caused the s...

EEcient code generation in implementations of functional logic languages relies on the sequentiality of the program rules | existence of an optimal evaluation order for arguments. Parallel evaluation of arguments in the presence of free variables is out of the question due to the possibility of backtracking and sharing of these variables among diierent arguments. In this paper we show that the ...

Strictness analysis is crucial for the efficient implementation of the lazy flmctionM languages. A related technique for the concurrent logic languages (CLLs) called schedule analysis is presented which divides at compile-time a CLL program into threads of totally ordered atoms, whose relative ordering is determined at run-time. The technique enables the enqueuing and dequeuing of processes to ...

Given a description of inputs and parameters in a program, a Binding-Time Analysis determines parts of a program which can be evaluated at compile-time. A Strictness Analysis determines parts of a program, whose early evaluation does not change the value of the result. In this paper , we present an analysis which subsumes both analyses for a rst-order functional language. The analysis is formul...

In this paper we study the relationship between forms of weak induction in theories of operations and numbers. Therefore, we investigate the structure of the natural numbers. Introducing a concept of N -strictness, we give a natural extension of the theory BON which implies the equivalence of operation and N -induction. In addition, we show that in the presence of the non-constructive -operator...

in this paper, a photonic crystal waveguide with point defects and lattice constant perturbations of +5%, -5% are being investigated. firstly waveguide structures with constant and specific parameters are being studied and photonic band gap diagrams for te/tm modes are depicted; then pulse propagation in the frequencies available in the band gap are shown. after that, effects of parameters like...

Metaprogramming consists of writing programs that generate or manipulate other programs. Template Haskell is a very recent extension of Haskell, currently implemented in the Glasgow Haskell Compiler, giving support to metaprogramming at compile time. Our aim is to apply these facilities in order to statically analyse programs and transform them at compile time. In this paper we use Template Has...

Studies on tactical deception have reported that informed subordinates can withhold information from naive dominants, but they have not directly compared species' performance. Here, we compared the performance in two withholding-of-information tasks of three monkey species differing in the strictness of their dominance hierarchy and degree of fission-fusion dynamics: spider monkeys, capuchin mo...