Mapping population distribution is an important field of geographical and related research because of the frequent need to combine spatial data representing socio-demographic information across various incompatible spatial units. However, the research may become very complex and difficult when a population in multiple places is estimated by various factors. Previous efforts in the field have co...

Summary The main purpose of formalization is to prove that the set prime numbers diophantine, i.e., representable by a polynomial formula. We formalize this problem, using Mizar system [1], [2], in two independent ways, proving existence without formulating it explicitly as well with its indication. First, we reuse nearly all techniques invented MRDP-theorem [11]. Applying trick schemes go beyo...

Many research approaches are conceptualized as binary choices, representing endpoints of a spectrum (each of them providing important perspectives within their own discourses). Design and creativity are often conceptualized as being focused on one of these binary choices, thereby overlooking other possibilities. To better stimulate, enhance, and support creativity, our research has explored the...

Children, small female, elderly, and obese occupants are vulnerable populations and may sustain increased risk of death and serious injury in motor-vehicle crashes compared with mid-size young male occupants. Unfortunately, current injury assessment tools do not account for immature and growing body structures for children, nor the body shape and composition changes that are thought make female...