In computational cognitive science, the cognitive architecture ACT-R is very popular. It describes a model of cognition that is amenable to computer implementation, paving the way for computational psychology. Its underlying psychological theory has been investigated in many psychological experiments, but ACT-R lacks a formal definition of its underlying concepts from a mathematical-computation...

This final rule implements provisions related to fair health insurance premiums, guaranteed availability, guaranteed renewability, single risk pools, and catastrophic plans, consistent with title I of the Patient Protection and Affordable Care Act, as amended by the Health Care and Education Reconciliation Act of 2010, referred to collectively as the Affordable Care Act. The final rule clarifie...

Computational psychology has the aim to explain human cognition by computational models of cognitive processes. The cognitive architecture Adaptive Control of Thought – Rational (ACT-R) is popular to develop such models. Although ACT-R has a well-defined psychological theory and has been used to explain many cognitive processes, there are two problems that make it hard to reason formally about ...

administrative organizations for doing public services and keeping public order are obliged to make decision and do unilateral and bilateral actions. what are rules and conditions of forming unilateral administrative actions? regarding observing principle of rule of law on administration, administrative organizations should observe principles and rules for doing their duties and decision-making...

From a general perspective, urbanism can be assumed as a bipolar world. On one hand, large-scale plans formulated by official organizations are shaping urban environment and the entirety of our cities; on the other hand, social activists and artists, active in the field of cities, are making an effort to give it a human character. According to De Certo (1984), the first approach to city, adopte...

let s be a monoid and x a class of s-acts which is closed under coproducts. the object of this article is to find conditions under which all s-acts have x-precovering. we have shown that the existence of torsion-free precovering implies the existence of torsion-free covering. this work is an attempt to further facilitate the study of the conjecture that all s-acts have flat cover.