Urbanization is found to be closely associated with land use/land cover change which has an important influence in our environment and ecosystems, such as urban heat island effect, biodiversity loss, soil erosion, and pollutions. Studies on accurately simulating urban expansion have been inspired by increasing concerns of the sustainability of urban development. This paper reports our research ...

We explore the simulation of urban growth using complex systems theory and cellular automata (CA). The SLEUTH urban CA model was applied to two different metropolitan areas in Portugal, with the purposes of allowing a comparative analysis, of using the past to understand the dynamics of the regions under study, and of learning how to adapt the model to local characteristics in the simulation of...

Mining frequent trees is very useful in domains like bioinformatics, web mining, mining semi-structured data, and so on. In this paper we introduce SLEUTH, an efficient algorithm for mining frequent, unordered, embedded subtrees in a database of labeled trees. The key contributions of our work are as follows: We give the first algorithm that enumerates all embedded, unordered trees. We propose ...

Several data management challenges arise in the context of Internet advertising networks, where Internet advertisers pay Internet publishers to display advertisements on their Web sites and drive traffic to the advertisers from surfers’ clicks. Although advertisers can target appropriate market segments, the model allows dishonest publishers to defraud the advertisers by simulating fake traffic...

The sleuth-like style and lucid writing certainly make this book an enjoyable read. Many explanations are framed by relevant historical context and tales of mathematicians whose use of experimental mathematics helped them gain insights into difficult problems. Although it was never intended to be a course textbook, it could be used as a supplementary text. Many of the chapters are short, and sh...

A model-driven approach with domain-specific modeling languages (DSLs) aims to support both, the transparency of modeling processes and the reusability of simulation models in computer-based system analysis. However, in contrast to general-purpose programming languages used as modeling languages, a single DSL is not expressive enough to formalize all necessary aspects of computer-based system a...

The future health of ecosystems is arguably as dependent on urban sprawl as it is on human-caused climatic warming. Urban sprawl strongly impacts the urban ecosystems it creates and the natural and agro-ecosystems that it displaces and fragments. Here, we project urban sprawl changes for the next 50 years for the fast-growing Southeast U.S. Previous studies have focused on modeling population d...