Wildlife warning signs are the most commonly used and widespread form of road impact mitigation, aimed at reducing the incidence of wildlife-vehicle collisions. Evidence of the effectiveness of currently used signs is rare and often indicates minimal change in driver behaviour. Improving the design of these signs to increase the likelihood of appropriate driver response has the potential to red...

Formal veriication tools must often cope with large memory sizes and indirect addressing. This paper presents a new approach of how to handle memory operations in the symbolic simulation of designs with complex control logic, e.g., processors. The simulator is currently used to check the equivalence of two processor descriptions with distinct order of memory operations. During symbolic simulati...

Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. In this paper we describe a new technique of property checking using symbolic simulation which can be applied to larger designs. This technique seamlessly integrate formal verification and standard simulation. The propos...

The later Pleistocene archaeological record of southernmost Africa encompasses several Middle Stone Age industries and the transition to the Later Stone Age. Through this period various signs of complex human behaviour appear episodically, including elaborate lithic technologies, osseous technologies, ornaments, motifs and abstract designs. Here we explore the regional archaeological record usi...

the visual form of writing has not only meaning apart from the content of writing but also different language from the language of writing. based on this claim, graphologists believe that it is possible to recognize writers’ thought through their handwriting. in fact, graphologists constituted some principles for analyzing handwriting as well as semiotic system for interpreting the visual diver...