The research presented here is primarily concerned with human-environment interactions on the tropical coast of northern Australia during the late Holocene. Based on the suggestion that significant change can occur within short time-frames as a direct result of interactive processes, the archaeological evidence from the Point Blane Peninsula, Blue Mud Bay, is used to address the issue of how mu…
Northern Australia is one of few tropical places left on Earth in which biodiversity—and the ecological processes underpinning that biodiversity—is still relatively intact. However, scientific knowledge of that biodiversity is still in its infancy and the region remains a frontier for biological discovery. The butterfly and diurnal moth assemblages of the area, and their intimate associatio…
The latter half of the 20th Century witnessed an ‘intensional revolution’: a great collective effort to analyse notions which are absolutely fundamental to our understanding of the world and of ourselves – from meaning and information to knowledge, belief, causation, essence, supervenience, conditionality, as well as nomological, metaphysical, and logical necessity – in terms of a singl…
Grid Computing in High Energy Physics Experiments
Evolutionary Computation Applications in Current Bioinformatics
Evolutionary Computation in Constraint Satisfaction
Evolutionary Computation in Coded Communications: an Implementation of Viterbi Algorithm
forall x is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction …
forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deducti…