Nominal unification calculates substitutions that make terms involving binders equal modulo alphaequivalence. Although nominal unification can be seen as equivalent to Miller’s higher-order pattern unification, it has properties, such as the use of first-order terms with names (as opposed to alphaequivalence classes) and that no new names need to be generated during unification, which set it cl...

Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence variables, and seems to be appealing for information extraction in XML documents, program transformation, knowledge representation, and rule-based programming. It is decidable. Context Unification deals with the same p...

The article reveals the essence of facilitation as a method forming favorable socio-psychological climate and partnership in higher education institution. It has been noted that creation institution involves overcoming barriers mental tension process communication, openness, accessibility democracy institution, unification educational participants under appropriate conditions labor division act...

taylor argues that procedural liberalism is not viable, or is insensitive to the conditions of social and political possibility, since it cannot justify the political furtherance of common goods. this is because the ontology and epistemology behind it disregard the “transcendental conditions” of human identity and the “dialogical” way of its formation. taylor’s own version of liberalism, on the...

Although most Americans know that the U.S. population is aging, they are far less informed about the reality of providing elders with personal care, health care, and social support. Families-particularly women-have always been critical in providing elder care, but the entry of so many women into the paid labor force has made elder care increasingly difficult. Ann Bookman and Delia Kimbrel show ...

BACKGROUND Parents of seriously ill children participate in making difficult medical decisions for their child. In some cases, parents face situations where their initial goals, such as curing the condition, may have become exceedingly unlikely. While some parents continue to pursue these goals, others relinquish their initial goals and generate new goals such as maintaining the child's quality...

Designing for better user experiences (e.g., interactions more satisfying, enjoyable) is usually more difficult than aiming for clearer usability goals (e.g., improve systems’ efficiency, easy of use). In this paper, we present a conceptual model validated with data from 603 mobile phone users that clarifies the relationship between usability of basic mobile services and the users’ satisfaction...

The logarithmic running of the gauge couplings α1, α2 and α3, indicates that they may unify at some scale MGUT ∼ 10 GeV. This is often taken to imply that the standard model gauge group is embedded into some larger simple group in which quarks and leptons are placed in the same multiplet. These models have generic features, such as proton decay, and generic problems, namely the splitting of the...