Imag(in)ing growth and form
نویسندگان
چکیده
منابع مشابه
Imagining Clp(, ) Imagining Clp(, )
We study under which conditions the domain of-terms (() and the equality theory of the-calculus () form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom , and the formula language must depart from Horn clauses and accept universal quantiications and implications in goals. In short, CLP((,) must be close to Prolog. ...
متن کاملImagining Research
Creating connections between analytical psychology and other disciplines requires imagining a research paradigm that draws on a Jungian as well as traditional scholarly perspectives. This paper uses stories and images to explore elements of research such as knowing and not-knowing. Active imagination, amplification, and immersion can be incorporated in any research strategy to take a more wholi...
متن کاملImagining Clp(, )
We study under which conditions the domain of-terms () and the equality theory of the-calculus () form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom , and the formula language must depart from Horn clauses and accept universal quantiications and implications in goals. In short, CLP(,) must be close to Prolog.
متن کاملGrowth and form of spherulites.
Many structural materials (metal alloys, polymers, minerals, etc.) are formed by quenching liquids into crystalline solids. This highly nonequilibrium process often leads to polycrystalline growth patterns that are broadly termed "spherulites" because of their large-scale average spherical shape. Despite the prevalence and practical importance of spherulite formation, only rather qualitative co...
متن کاملImagining Contexts
The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that grasps the full significance of the concept of context. The outcomes presented here are considered important for both the Knowledge Representation and Philosophy of Language communities for two reasons. Firstly, the semantics ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mechanisms of Development
سال: 2017
ISSN: 0925-4773
DOI: 10.1016/j.mod.2017.03.003