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...

Some critics of invasion biology have argued the ecosystems by nonindigenous species can create more valuable ecosystems. They consider invaded communities as because they potentially produce ecosystem services. To establish that introduction creates ecosystems, defend value is provisioned These services are derived from productivity, production and cycling resources. Ecosystem productivity a r...

The theory of respectively interpretation proposed in Yatabe and Tam (2021) "In defense an HPSG-based non-constituent coordination" (Linguistics Philosophy 44, pp. 1-77) entails that Binding Conditions A B need to be formulated as constraints on the form semantic representations. It is possible formulate two binding conditions such if anaphoric relations are encoded representations a way analog...