A much beloved and widely used example showing the elegance and simplicity of lazy functional programming represents itself as “The Sieve of Eratosthenes”. This paper shows that this example is not the sieve, and presents an implementation that actually is.

Software design is crucial to successful software development, yet is a demanding multi-objective problem for software engineers. In an attempt to assist the software designer, interactive (i.e. human in-the-loop) meta-heuristic search techniques such as evolutionary computing have been applied and show promising results. Recent investigations have also shown that Ant Colony Optimization (ACO) ...

The presence of a metallic surface or appearance product packaging and servingware can impact both the sensory hedonic perception various different foods beverages, including promoting impression quality, premiumness, luxury. A total 51 coffee experts 132 consumers took part in study. Metallic-coated ceramic cups were used to assess whether outer coating cup would influence two distinct profile...

As knowledge of microRNAs (miRNA) grows from a compendium of sequences to annotated functional data it has become increasingly clear that a highly significant segment of regulatory biology depends on these approximately 22 nucleotide noncoding transcripts. The expression of many miRNAs in the nervous system, some with a high degree of temporal and spatial specificity, suggests that understandin...

What author of a programming language would not claim that the 3 ‘E’s were the goals? Nevertheless, we claim that computer algebra does lead to particular emphases, and constraints, in these areas. We restrict “efficiency” to mean machine efficiency, since the other ‘E’s cover programmer efficiency. For the sake of clarity, we describe as “expressiveness”, what can be expressed in the language,...

This is a somewhat non-standard piece about Dexter Kozen, longtime colleague and friend. I am sure that the praise of Dexter’s research will have been sung by many of the people contributing to this volume. I could probably have added my own perspective, talking at length about the enormous impact of his most profound work. For example, the wonderful paper on alternation influenced my work on s...

There has been a recent explosion in the wealth of genomic data available to C. elegans researchers, as efforts to characterize gene expression and its regulators at a molecular level have borne significant fruit. Detailed measurement of gene expression at a variety of developmental stages, and in numerous individual tissues, has dramatically increased our understanding of cell-type-specific ge...