Recursive schemes over inductive data structures have been recognized as categorytheoretic universals, yielding a handful of equational laws for program construction and transformation. This paper introduces the implementation of such recursion patterns as type parametric, or polytypic, functionals in the Camila prototyping language. Several examples are discussed.

According to a recent trend, two different labs the Machine Design lab, and Kinematics, and Dynamics lab are combined into one integrated lab. The time students spend on their projects is halved. To save the quality of undergraduate education, an ew methodology has to be developed. The paper explains the methodology developed by the author while teaching the integrated Kinematics, Dynamics, and...

0167-9317/$ see front matter 2012 Elsevier B.V. A http://dx.doi.org/10.1016/j.mee.2012.05.053 ⇑ Corresponding author. E-mail address: [email protected] (J. Hoyland). We present a simple method for producing molds for casting PDMSmicrofluidic chips using photo-lithography with 35 mm photographic negatives as masks. We demonstrate the capabilities and limitations of the approach. We have optimized...

In this paper, we discuss the problem of developing performance-oriented software and the need for methodologies. We then present the EDPEPPS (Environment for Design and Performance Evaluation of Portable Parallel Software) approach to the problem of designing and evaluating high-performance (parallel) applications. The EDPEPPS toolset is based on a rapid prototyping philosophy, where the desig...

We present a new way to simplify the construction of precise broad-coverage grammars, employing typologicallymotivated, customizable extensions to a language-independent core grammar. Each ‘module’ represents a salient dimension of cross-linguistic variation, and presents the grammar developer with simple choices that result in automatically generated language-specific software. We illustrate t...

Using continuous wave visible (514 nm, 488 nm) laser beams and the gaseous precurcsors lrimethylamine alane (CH3)3NAIH3 and oxygen, free-standing three-dimensional (3D) A1203 ceramic microstructures can be directly written under software control. By suitableIaser irradiation, parts of these 3D microobjectscanbe moved through thermal expansion forces. This is a f i s t step towards laser rapid p...

This paper is part of the Oxford Poverty and Human Development Initiative's Research in Progress (RP) series. These are preliminary documents posted online to stimulate discussion and critical comment. The series number and letter identify each version (i.e. paper RP1a after revision will be posted as RP1b) for citation. Please cite these papers as Author Last name, First name, " Title " (Year)...

The objective of this paper is to describe empirical studies evaluating the impact of reference pricing interventions in pharmaceutical markets, and to assess the quality of their evaluation method. A total of ten studies were included in the review. The nature of the intervention, the nature of the data available, the nature of the question to be answered, and the requirements of the evaluatio...

In order to minimize the cost of rapid prototyping, SEdit ooers the possibility to validate a technical system before its actual realization. For this purpose, the system has to be described logically by a set of axioms (system speciication). By means of deduction, it can be proven that the system will show the desired behaviour. For the sake of user acceptance and understandability, SEdit is a...

The teaching of digital design requires a design platform which presents a coherent design methodology to the students. Yet we found ourselves with diflerent tools and hardware subsystems, each having its own idea about what digital design was about. Here we record our eflort t o forge a single design platform for beginning designers from three separate software subsystems and two hardware subs...