Background The Dark Triad literature examining pro-social behaviours is minimal, with mixed results. Participants and procedure This study investigates the relationships between altruistic based on self-report data from 286 adults. Altruism was assessed using two scales: a general measure as well more recent scale measur-ing compassionate altruism towards family, friends, strangers. Results Mac...

For nite convergent term-rewriting systems the equational uniication problem is shown to be recursively independent of the equa-tional matching problem, the word matching problem, and the (simultaneous) 2 nd-order equational matching problem. We also present some new decidability results for simultaneous equational uniication and 2 nd-order equational matching.

The system of equations describing a nonstationary ow of a quasi-newtonian uid, with temperature dependent viscosity and with the viscous heating, is considered. Existence of at least one weak solution is proved, i.e. we get existence of at least one velocity eld having nite energy and existence of a nonnegative temperature eld. Its regularity is a consequence of the L 1-forcing term generated ...

We show that a suitable abstraction of the notion of term-algebra, called compositum, can be used to capture in a precise mathematical way the intuition that the category of algebras of most (order-sorted) equational theories is completely characterised by their term-model. We also use the relationship between composita and order-sorted equa-tional theories to show that every order-sorted compo...

Ins sti it tute e of f f M Med d dic ic i a a al R R Rese ea earch, h, C C Cla lay yt yto on on, V V Victo or ori ia, A A Aus st stra ra alia a a # # # co cont ntri i ribu bute ted d d eq equa uall ll lly y Abstract: Background—Heart attacks and strokes, leading causes of deaths globally, arise from

In 1975 I started a small project to explore the consequences of implementing equational programs with no semantic compromises. Latest results include a compiler that executes exactly the logical consequences of an equa-tional program, with run-time speed comparable to compiled Franz LISP. This paper surveys the development of the project, through theoretical foundations , algorithm development...

The characteristics of a sample of workers from the Panel Study of Income Dynamics who were laid off permanently or whose plants closed between 1968 and 1981 are examined. The displaced workers are found to have roughly the same characteristics as the typical labor-force participant, while those laid off are somewhat younger and less educated. A theoretical model of the losses resulting from di...

A bstract. A formalism recently int roduced [4, 5] uses the met hods of statist ical mech anics to mod el the dynamics of gene t ic algor it hms (GAs) . To be of mor e general int erest this formalism must be able to descr ibe problems ot her th an the tes t cases cons idered in [5]. In this pap er , the technique is applied to th e subset sum prob lem , which is a combinatorial optimizat ion p...

th Australasian Fluid Mechanics Conference Monash University Melbourne Australia December The evolution of a turbulent boundary layer ap proaching a smooth wall equilibrium sink ow is con sidered The closure problem is described for the gen eral arbitrary pressure gradient ow where the only assumptions made are the use of the classical similar ity laws such as Prandtl s law of the wall and Cole...