Social and material models consider hyperconsumption to be an unsustainable practice of consumer behavior that is responsible for the considerable damage inflicted upon planet. The primary objective this research study was develop validate a novel measurement scale assess (HB) from consumer’s point view. Based on literature theory, HB developed validated over three studies. first consisted item...

1 Context and challenges Model checking is a technique used to verify that a certain system's design satisfies its requirements. Given some models of the design and system's requirements formulated as formal properties, the system model can be checked [1], and if properties are violated, the model checker provides the user with counter examples that represent execution sequences (traces) leadin...

Laguerre function has many advantages such as good approximation capability for different systems, low computational complexity and the facility of on-line parameter identification. Therefore, it is widely adopted for complex industrial process control. In this work, Laguerre function based adaptive model predictive control algorithm (AMPC) was implemented to control continuous stirred tank rea...

This article is a philosopher's expanded review of two recent books on neurophysiology: Rodolfo Llinás's I of the Vortex and György Buszáki's Rhythms of the Brain. Researchers such as these are converging on a view of consciousness as originating in motility and as inherently temporal due to the brainwave oscillations that underlay it. Most current discussions of consciousness include implicit ...

“O morning, as Gregor Samsa was waking up from anxious dreams, he discovered that in his bed he had been changed into a monstrous verminous bug,” wrote Franz Kafka in The Metamorphosis. “He lay on his armorhard back and saw, as he lifted his head up a little, his brown, arched abdomen divided up into rigid bow-like sections. From this height the blanket, just about ready to slide off completely...

As a community, we (programmers, compiler writers, hardware architects, etc.) often take folklore, e.g. claims in programming guides, for granted. Inspired by Descartes’ methodic doubt, i.e. challenging the truth of one’s beliefs, we question this folklore. Thus, we have developed a tool suite to systematically test the memory ordering behaviour of multiand manycore chips and compared our obser...