Second order uni cation is undecidable in general Miller showed that uni cation of so called higher order patterns is decidable and unitary We show that the uni cation of a linear higher order pat tern s with an arbitrary second order term that shares no variables with s is decidable and nitary A few extensions of this uni cation problem are still decidable unifying two second order terms where...

BACKGROUND Too many young people engage in unhealthy behaviours such as eating unhealthily, being physically inactive, binge drinking and smoking. This study aimed to estimate the short-term and long-term cost-effectiveness of a theory-based online health behaviour intervention ("U@Uni") in comparison with control in young people starting university. METHODS A costing analysis was conducted t...

During the execution of functional logic programs particular E uni cation pro blems have to be solved quite frequently In this paper we contribute to the e cient solution of such problems in the case where E is induced by particular term rewriting systems called macro tree transducers We formalize the implementation of a deter ministic partial E uni cation algorithm on a deterministic abstract ...

Self-signaling models predict less selfish behavior in a probabilistic giving setting as individuals are expected to invest pro-social identity. However, there is also substantial evidence that people tend exploit situational excuses for choices (for instance, uncertainty) and behave more selfishly. We contrast these two motivations (identity management self-deception) experimentally order test...

The beneficial effects of dexmedetomidine (DEX) have not been extensively investigated in elderly patients receiving spinal anesthesia. This study evaluated the effects of intravenous DEX infusion on stress and hemodynamic response, as well as on postoperative analgesia in elderly patients undergoing total knee arthroplasty (TKA). We randomly allocated 45 adult patients to 3 patient groups (n=1...

the most well-known uni-arribute control chart used to monitor the number of nonconformities per unit is the shewhart type c-chart. in this paper, a new method is proposed in an attempt to reduce the false alarm rate in the c-chart. to do this, the decision on beliefs (dob) concept is first uti [1] corresponding author e-mail: [email protected]   lized to design an iterat...

In contrast to the pioneers of multimodal interaction, e.g. Richard Bolt in the late seventies, today's researchers can benefit from various existing hardware devices and software toolkits. Although these development tools are avai lable, using them is still a great challenge, particularly in terms of their usability and their appropriateness to the actual design and research process. We presen...

Trichomes of 5 taxa of the genus Ballota were examined by using light and scanning electron microscopy. The indumentum shows considerable variability among different species, and therefore, affords valuable characters in delimitation of species. The characters of taxonomic interest were presence of glandular and non-glandular trichomes, number of cells (uni-, bi-, trior multi-cellular), presenc...