Meertens number and its variations

In 1998, Bird introduced Meertens numbers as numbers that are invariant under a map similar to the Godel encoding. In base 10, the only known Meertens number is 81312000. We look at some properties of Meertens numbers and consider variations of this concept. In particular, we consider variations where there is a finite time algorithm to decide whether such numbers exist

Meertens number and its variations

In 1998, Bird introduced Meertens numbers as numbers that are invariant under a map similar to the Gödel encoding. In base 10, the only known Meertens number is 81312000. We look at some properties of Meertens numbers and consider variations of this concept. In particular, we consider variations of Meertens numbers where there is a finite time algorithm to decide whether such numbers exist, exhibit infinite families of these variations and provide bounds on parameters needed for their existence

Feasibility of EPC to BPEL Model Transformations Based on Ontology and Patterns

Model-Driven Engineering holds the promise of transforming\ud business models into code automatically. This requires the concept of\ud model transformation. In this paper, we assess the feasibility of model\ud transformations from Event-driven Process Chain models to Business\ud Process Execution Language specifications. To this purpose, we use a\ud framework based on ontological analysis and workflow patterns in order\ud to predict the possibilities/limitations of such a model transformation.\ud The framework is validated by evaluating the transformation of several\ud models, including a real-life case.\ud The framework indicates several limitations for transformation. Eleven\ud guidelines and an approach to apply them provide methodological support\ud to improve the feasibility of model transformation from EPC to\ud BPEL

Functional programming with bananas, lenses, envelopes and barbed wire

We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example functions in Bird and Wadler's Introduction to Functional Programming can be expressed using these operators

Processing Games with Shared Interest

A generalization of processing problems with restricted capacities is introduced.In a processing problem there is a finite set of jobs, each requiring a specific amount of effort to be completed, whose costs depend linearly on their completion times.The new aspect is that players have interest in all jobs. The corresponding cooperative game of this generalization is proved to be totally balanced.Processing games;scheduling;core allocation

Datatype Laws Without Signatures

Using the well-known categorical notion of `functor' one may define the concept of datatype (algebra) without being forced to introduce a signature, that is, names and typings for the individual sorts (types) and operations involved. This has proved to be advantageous for those theory developments where one is not interested in the syntactic appearance of an algebra. The categorical notion of `transformer' developed in this paper allows the same approach to laws: without using signatures one can define the concept of law for datatypes (lawful algebras), and investigate the equational specification of datatypes in a syntax-free way. A transformer is a special kind of functor and also a natural transformation on the level of dialgebras. Transformers are quite expressive, satisfy several closure properties, and are related to naturality and Wadler's Theorems For Free. In fact, any colimit is an initial lawful algebra

Assessing outgroup prejudice among secondary school pupils in northern England : introducing the Outgroup Prejudice Index

The Outgroup Prejudice Index is a six-item scale that uses social distance to assess prejudice towards ethnic and religious out groups among Asians and Whites. It was developed among a sample of 2982 teenagers attending schools in northern England who indicated their religion as either ‘Muslim’, ‘Christian’ or ‘no religion’. The scale demonstrated internal consistency reliability among both Asian (Cronbach’s alpha = .78) and White (Cronbach’s alpha = .85) pupils. The scale demonstrated construct validity in two ways: scores were correlated with a second scale based on stereotyped attitudes, and were also lower among those with friends in outgroups, suggesting the index was a valid measure of ethnic or religious outgroup prejudice

Kinematics of the New Zealand plate boundary: Relative motion by GPS across networks of 1000 km and 50 km spacing

The NASA/DOSE 'Kinematics of the New Zealand Plate Boundary' experiment is a four-year cooperative Global Positioning System (GPS) experiment involving 6 universities and institutions in New Zealand and the United States. The investigation covers two scales, the first on the scale of plates (approximately 1000 km) and the second is on the scale of the plate boundary zone (approximately 50 km). In the first portion of the experiment, phase A, the objective is to make direct measurements of tectonic plate motion between the Australian and Pacific plates using GPS in order to determine the Euler vector of this plate pair. The phase A portion of this experiment was initiated in December 1992 with the first-epoch baseline measurements on the large scale network. The network will be resurveyed two years later to obtain velocities. The stations which were observed for phase A are shown and listed. Additional regional stations which will be used for this study are listed and are part of either CIGNET or other global tracking networks. The phase A portion of the experiment is primarily the responsibility of the UNAVCO investigators. Therefore, this report concentrates on phase A. The first year of NASA funding for phase A included only support for the field work. Processing and analysis will take place with the second year of funding. The second part of the experiemnt measured relative motion between the Australian and Pacific plates across the pate boundary zone between Hokitika and Christchurch on the South Island of New Zealand. The extent and rate of deformation will be determined by comparisons with historical, conventional surveys and by repeated GPS measurements to be made in two years. This activity was the emphasis of the LDGO portion of the study. An ancillary experiment, phase C, concentrated on plate boundary deformation in the vicinity of Wellington and was done as part of training during the early portion of the field campaign. Details of the objectives of the field investigations are given in the appendix. An overview of the 1992 GPS field program is also given in the appendix

The Hegelian Inquiring System and Critical Triangulation Tools for the Internet Information Slave

This paper discusses informing, i.e. increasing people’s understanding of reality by providing representations of this reality. The Hegelian inquiry system is used to explain the nature of informing. Understanding the Hegelian inquiry system is essential for making informed decisions where the reality can be ambiguous and where sources of bias and manipulation have to be understood for increasing the level of free-informed choice. This inquiry system metaphorically identifies information masters and slaves, and we propose critical dialectic information triangulation (CDIT) tools for information slaves (i.e. non-experts) in dialect interactions with informative systems owned by supposed information masters. The paper concludes with suggestions for further research on informative triangulation tools for the internet and management information systems