A review of modelling and verification approaches for computational biology

This paper reviews most frequently used computational modelling approaches and formal verification techniques in computational biology. The paper also compares a number of model checking tools and software suits used in analysing biological systems and biochemical networks and verifiying a wide range of biological properties

Pattern Recognition

A wealth of advanced pattern recognition algorithms are emerging from the interdiscipline between technologies of effective visual features and the human-brain cognition process. Effective visual features are made possible through the rapid developments in appropriate sensor equipments, novel filter designs, and viable information processing architectures. While the understanding of human-brain cognition process broadens the way in which the computer can perform pattern recognition tasks. The present book is intended to collect representative researches around the globe focusing on low-level vision, filter design, features and image descriptors, data mining and analysis, and biologically inspired algorithms. The 27 chapters coved in this book disclose recent advances and new ideas in promoting the techniques, technology and applications of pattern recognition

Intelligent evacuation management systems: A review

Crowd and evacuation management have been active areas of research and study in the recent past. Various developments continue to take place in the process of efficient evacuation of crowds in mass gatherings. This article is intended to provide a review of intelligent evacuation management systems covering the aspects of crowd monitoring, crowd disaster prediction, evacuation modelling, and evacuation path guidelines. Soft computing approaches play a vital role in the design and deployment of intelligent evacuation applications pertaining to crowd control management. While the review deals with video and nonvideo based aspects of crowd monitoring and crowd disaster prediction, evacuation techniques are reviewed via the theme of soft computing, along with a brief review on the evacuation navigation path. We believe that this review will assist researchers in developing reliable automated evacuation systems that will help in ensuring the safety of the evacuees especially during emergency evacuation scenarios

Linking Climate Change and Socio-economic Impact for Long-term Urban Growth in Three Mega-cities

Urbanization has become a global trend under the impact of population growth, socio-economic development, and globalization. However, the interactions between climate change and urban growth in the context of economic geography are unclear due to missing links in between the recent planning megacities. This study aims to conduct a multi-temporal change analysis of land use and land cover in New York City, City of London, and Beijing using a cellular automata-based Markov chain model collaborating with fuzzy set theory and multi-criteria evaluation to predict the city\u27s future land use changes for 2030 and 2050 under the background of climate change. To determine future natural forcing impacts on land use in these megacities, the study highlighted the need for integrating spatiotemporal modeling analyses, such as Statistical Downscale Modeling (SDSM) driven by climate change, and geospatial intelligence techniques, such as remote sensing and geographical information system, in support of urban growth assessment. These SDSM findings along with current land use policies and socio-economic impact were included as either factors or constraints in a cellular automata-based Markov Chain model to simulate and predict land use changes in megacities for 2030 and 2050. Urban expansion is expected in these megacities given the assumption of stationarity in urban growth process, although climate change impacts the land use changes and management. More land use protection should be addressed in order to alleviate the impact of climate change

Recipes for calibration and validation of agent-based models in cancer biomedicine

Computational models and simulations are not just appealing because of their intrinsic characteristics across spatiotemporal scales, scalability, and predictive power, but also because the set of problems in cancer biomedicine that can be addressed computationally exceeds the set of those amenable to analytical solutions. Agent-based models and simulations are especially interesting candidates among computational modelling strategies in cancer research due to their capabilities to replicate realistic local and global interaction dynamics at a convenient and relevant scale. Yet, the absence of methods to validate the consistency of the results across scales can hinder adoption by turning fine-tuned models into black boxes. This review compiles relevant literature to explore strategies to leverage high-fidelity simulations of multi-scale, or multi-level, cancer models with a focus on validation approached as simulation calibration. We argue that simulation calibration goes beyond parameter optimization by embedding informative priors to generate plausible parameter configurations across multiple dimensions

Addressing future uncertainties in coastal areas : an innovative process to support decision-making for climatic change adaptation based on participatory foresight, artificial intelligence and prospective spatial risk assesment

Programa de Doctorado en Estrategias de Planificación del TerritorioTo date 44% of the world's population lives within 150 kilometers of the coast. Given the socio-economic growth and urban development trends, it is a widespread assumption that climate change will have severe impacts on coastal areas, being sea-level rise a threat of special concern due to the expected magnitude of its impacts. Despite the urgency of moving towards climate change adaptation has been widely recognized in the recent years, significant barriers exist. One major handicap is the necessity to handle the many uncertainties surrounding future conditions and include them into the planning process. Another major obstacle is that it can be challenging for society to care about events that may take place decades from now, let alone fully understand their potential impact. Taking into account these challenges, this thesis aims to contribute to the field of climate change adaptation on coastal areas by providing transferable, participatory and foresight-based tools, to address future uncertainties on coastal areas as well as help to communicate the potential impacts of climate change and generate awareness among communities. A threefold process is proposed to : i) develop a replicable methodology to create explorative, participative, locally-based future scenarios; ii) translate a selected scenario into geospatial data through the use of Artificial Intelligence models; and iii) spatially assess the potential impacts of future sea-level rise combined with an extreme event on a future scenario. The methods have been tested on a pilot site, involving over 60 stakeholders, including local communities, governments, private and public institutions and informal organizations. Results show the threefold process proposed in this thesis could be a valuable tool to assist decision-making on the context of climate change adaptation on coastal areas at the local scale. In particular, it could help to: enhance stakeholders¿ engagement and increase awareness on present and future challenges; assess and visualize future impacts of climate change integrating physical and socio-economic systems; acting as a triggering point for climate change adaptation initiatives; and contributing to co-generate knowledge, promoting a multi-directional dialogue between the research community and society. Further research is encouraged to explore the transferability of the process to other sites as well as to develop further theoretical and practical applications of the methodological approaches hereby presented.Universidad Pablo de Olavide. Departamento de Geografía, Historia y Filosofí

Urban Informatics

This open access book is the first to systematically introduce the principles of urban informatics and its application to every aspect of the city that involves its functioning, control, management, and future planning. It introduces new models and tools being developed to understand and implement these technologies that enable cities to function more efficiently – to become ‘smart’ and ‘sustainable’. The smart city has quickly emerged as computers have become ever smaller to the point where they can be embedded into the very fabric of the city, as well as being central to new ways in which the population can communicate and act. When cities are wired in this way, they have the potential to become sentient and responsive, generating massive streams of ‘big’ data in real time as well as providing immense opportunities for extracting new forms of urban data through crowdsourcing. This book offers a comprehensive review of the methods that form the core of urban informatics from various kinds of urban remote sensing to new approaches to machine learning and statistical modelling. It provides a detailed technical introduction to the wide array of tools information scientists need to develop the key urban analytics that are fundamental to learning about the smart city, and it outlines ways in which these tools can be used to inform design and policy so that cities can become more efficient with a greater concern for environment and equity

Urban Informatics

This open access book is the first to systematically introduce the principles of urban informatics and its application to every aspect of the city that involves its functioning, control, management, and future planning. It introduces new models and tools being developed to understand and implement these technologies that enable cities to function more efficiently – to become ‘smart’ and ‘sustainable’. The smart city has quickly emerged as computers have become ever smaller to the point where they can be embedded into the very fabric of the city, as well as being central to new ways in which the population can communicate and act. When cities are wired in this way, they have the potential to become sentient and responsive, generating massive streams of ‘big’ data in real time as well as providing immense opportunities for extracting new forms of urban data through crowdsourcing. This book offers a comprehensive review of the methods that form the core of urban informatics from various kinds of urban remote sensing to new approaches to machine learning and statistical modelling. It provides a detailed technical introduction to the wide array of tools information scientists need to develop the key urban analytics that are fundamental to learning about the smart city, and it outlines ways in which these tools can be used to inform design and policy so that cities can become more efficient with a greater concern for environment and equity