The Takomkane Pro ject is a multiyear bed rock map ping pro gram ini ti ated by the BC Geo log i cal Sur vey in 2005. This pro gram will con cen trate on Me so zoic arc vol ca nic and plutonic rocks of the Quesnel Terrane in the vi cin ity of the Takomkane batholith, which strad dles the Bonaparte Lake (92P) and Quesnel Lake (93A) map sheets (Fig. 1). Pre vi ous bed rock maps of the area are ba...

Digital maps can be stored and distributed electronically using compressed raster image formats. In this paper, we evaluate the most suitable compression methods for storing digital map images. We apply the latest compression standards for binary images (G4, JBIG2), and the standards for computer graphics with limited number of color tones (GIF, PING). Experimental results are given for two set...

In order to obtain close-to-reality Internet maps, IP aliases resolution allows identifying IP addresses belonging to the same router. Mainly, active probing is used for IP aliases resolution following direct and indirect schemes. Also, different types of probe packets are used (ICMP, UDP, etc.) focusing on different header fields and characteristics of IP and higher layers. Responsiveness of r...

1. Zhang Fan, Xiao Guohua, Zhang Xian. Patent map, the typical applications of [J]. science and technology management research, 2008, (2): 190-194. (In Chinese) 2. Wu Xinyin, Liu Ping. Preliminary study on patent map [J]. research and development management, 2003, 15 (5): 88-95. (In Chinese) 3. Gu Zhenyu, Bian Zhixin, Lu Wei, Xiao Huwei. Application of patent map and empirical research [J]. Jou...

This pa per sum ma rizes Qua ter nary ge ol ogy map ping and till geo chem is try stud ies con ducted as part of the re gional min eral po ten tial as sess ment of the Redstone and Loomis Lake map ar eas (NTS 093B/04, 05; Fig ure 1). This study was ini ti ated to com ple ment an on go ing re gional bed rock map ping pro gram and min eral po ten tial as sess ment be ing con ducted in NTS 093C/01...

It can be very advantageous to borrow key components of a logic for use in another logic. The advantages are both conceptual and practical; due to the existence of software systems supporting mechanized reasoning in a given logic, it may be possible to reuse a system developed for one logic|for example, a theorem-prover|to obtain a new system for another. Translations between logics by appropri...