- Table View
- List View
Gentzen Calculi for Modal Propositional Logic
by Francesca PoggiolesiThe book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50's until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.
Geo-Environmental Hazards using AI-enabled Geospatial Techniques and Earth Observation Systems (Advances in Geographic Information Science)
by Jung-Sup Um Tanupriya Choudhury Bappaditya Koley Anindita Nath Atul Kumar PatidarThis edited collection provides a comprehensive exploration of cutting-edge ideas, approaches, simulations, evaluations of risk, and systems that enhance the practicality of current geospatial technologies for reducing hazard risks. The various sections within this book delve into subjects such as the foundational principles of Earth Observation Systems (EOS) and geospatial methodologies. Additionally, the text serves as an advisory resource on the collaborative use of satellite-derived data and artificial intelligence to track and alleviate geo-environmental threats. The volume imparts extensive understanding regarding geo-environmental dangers and their analysis via EOS along with geospatial strategies. It encompasses key hazard-related themes including coastal degradation, predisposition to landslides, mapping vegetation coverages, tropical storm patterns, soil depletion due to erosion processes, vulnerability to rapid or extended flooding events, variations in oceansurface temperatures alongside chlorophyll-a levels; it also addresses assessments related to groundwater reserves and quality measures as well as sustainable management practices for watersheds that support community livelihoods—all through leveraging AI-integrated geospatial tools in conjunction with earth observation technologies. Furthermore, this work engages in discourse about systems designed for mitigating these ecological challenges sustainably. Scholars engaged in research activities; educational professionals; those involved in landscape design; engineers working at ground level; individuals responsible for policy-making—all who are concerned with geo-environmental hazards or associated domains—will find valuable insights within these pages.
Geo-Informatics in Resource Management and Sustainable Ecosystem: Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers (Communications in Computer and Information Science #569)
by Fuling Bian Yichun XieThis volume constitutes the refereed proceedings of the Third International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2015, held in Wuhan, China, in October 2015.The 101 papers presented were carefully reviewed and selected from 321 submissions. The papers are divided into topical sections on Smart City in Resource Management and Sustainable Ecosystem; Spatial Data Acquisition Through RS and GIS in Resource Management and Sustainable Ecosystem; Ecological and Environmental Data Processing and Management; Advanced Geospatial Model and Analysis for Understanding Ecological and Environmental Process; Applications of Geo-Informatics in Resource Management and Sustainable Ecosystem.
Geo-Spatial Knowledge and Intelligence: 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part I (Communications in Computer and Information Science #848)
by Fuling Bian Hanning Yuan Jing Geng Chuanlu Liu Tisinee SurapuntThis two-volume set (CCIS 848 and CCIS 849) constitutes the thoroughly refereed proceedings of the 5th International Conference Geo-Spatial Knowledge and Intelligence, GSKI 2017, held in Chiang Mai, Thailand, in December 2018.The 142 full papers presented were carefully reviewed and selected from 579 submissions. They are organized in topical sections on smart city in resource management and sustainable ecosystem; spatial data acquisition through RS and GIS in resource management and sustainable ecosystem; ecological and environmental data processing and management; advanced geospatial model and analysis for understanding ecological and environmental process; applications of geo-informatics in resource management and sustainable ecosystem.
Geo-Spatial Knowledge and Intelligence: 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part II (Communications in Computer and Information Science #849)
by Fuling Bian Hanning Yuan Jing Geng Chuanlu Liu Tisinee SurapuntThis two-volume set (CCIS 848 and CCIS 849) constitutes the thoroughly refereed proceedings of the 5th International Conference Geo-Spatial Knowledge and Intelligence, GSKI 2017, held in Chiang Mai, Thailand, in December 2018.The 142 full papers presented were carefully reviewed and selected from 579 submissions. They are organized in topical sections on smart city in resource management and sustainable ecosystem; spatial data acquisition through RS and GIS in resource management and sustainable ecosystem; ecological and environmental data processing and management; advanced geospatial model and analysis for understanding ecological and environmental process; applications of geo-informatics in resource management and sustainable ecosystem.
Geo-Topology: Theory, Models and Applications (GeoJournal Library #133)
by Fivos PapadimitrouGeo-Topology is an exploration of the depth and breadth of the relationships between Geography and Topology, with applications ranging from Landscape Geography to Social Geography and from Spatial Analysis to Geospatial Technologies. It shows how topics of geographical research (landscapes, borders, spatial social relationships etc) can be examined by using mathematical concepts and methods of Topology, exposing the realm of geo-topological modelling and visualization through Point-Set Topology, Knot Theory, Reeb graphs, Topological Surfaces (i.e. Möbius bands and Klein bottles), Differential Topology, Network Analysis, Combinatorial Topology, Braid Theory and Ultrametric Topology. Besides geographers, this book is a trove of new ideas for landscape ecologists, mathematicians, data scientists, sociologists, psychologists, anthropologists and educators. Geo-Topology is a systematic introduction to topological thinking in Geography, also by highlighting the significance of Topology for Geographical Education, as well as for the Philosophy and Epistemology of Geography.
Geo-informatics in Sustainable Ecosystem and Society: 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers (Communications in Computer and Information Science #980)
by Yichun Xie Anbing Zhang Haixin Liu Lili FengThis book constitutes the refereed proceedings of the 6th International Conference on Geo-informatics in Sustainable Ecosystem and Society, GSES 2018, held in Handan, China, in September 2018. The 46 papers presented in this volume were carefully reviewed and selected from 153 submissions and focus on spatial data acquisition, processing and management, modeling and analysis, and recent applications in the context of building healthier ecology and resource management using advanced remote sensing technology and spatial data modeling and analysis.
Geo-intelligence for Sustainable Development (Advances in Geographical and Environmental Sciences)
by R. B. Singh T. P. Singh Dharmaveer SinghGlobally, concerns for the environment and human well-being have increased as results of threats imposed by climate change and disasters, environmental degradation, pollution of natural resources, water scarcity and proliferation of slums. Finding appropriate solutions to these threats and challenges is not simple, as these are generally complex and require state-of-the-art technology to collect, measure, handle and analyse large volumes of varying data sets. However, the recent advances in sensor technology, coupled with the rapid development of computational power, have greatly enhanced our abilities to capture, store and analyse the surrounding physical environment. This book explores diverse dimensions of geo-intelligence (GI) technology in developing a computing framework for location-based, data-integrating earth observation and predictive modelling to address these issues at all levels and scales. The book provides insight into the applications of GI technology in several fields of spatial and social sciences and attempts to bridge the gap between them.
GeoServer Beginner's Guide - Second Edition
by Stefano IacovellaThis step-by-step guide will teach you how to use GeoServer to build custom and interactive maps using your data. About This Book • Exploit the power of GeoServer to provide agile, flexible, and low -cost community projects • Share real-time maps quickly • Boost your map server's performance using the power and flexibility of GeoServer Who This Book Is For If you are a web developer with knowledge of server side scripting, have experience in installing applications on the server, and want to go beyond Google Maps by offering dynamically built maps on your site with your latest geospatial data stored in MySQL, PostGIS, MySQL, or Oracle, this is the book for you. What You Will Learn • Install GeoServer quickly • Access dynamic real-time geospatial data that you can easily integrate into your own web-based application • Create custom styles for lines, points, and polygons for great-looking maps • Command GeoServer remotely using REST • Tune your GeoServer instance for performance • Move GeoServer into production • Learn advanced topics to extend GeoServer's capabilities In Detail GeoServer is an opensource server written in Java that allows users to share, process, and edit geospatial data. This book will guide you through the new features and improvements of GeoServer and will help you get started with it. GeoServer Beginner's Guide gives you the impetus to build custom maps using your data without the need for costly commercial software licenses and restrictions. Even if you do not have prior GIS knowledge, you will be able to make interactive maps after reading this book. You will install GeoServer, access your data from a database, and apply style points, lines, polygons, and labels to impress site visitors with real-time maps. Then you follow a step-by-step guide that installs GeoServer in minutes. You will explore the web-based administrative interface to connect to backend data stores such as PostGIS, and Oracle. Going ahead, you can display your data on web-based interactive maps, use style lines, points, polygons, and embed images to visualize this data for your web visitors. You will walk away from this book with a working application ready for production. After reading GeoServer Beginner's Guide, you will be able to build beautiful custom maps on your website using your geospatial data. Style and approach Step-by-step instructions are included and the needs of a beginner are totally satisfied by the book. The book consists of plenty of examples with accompanying screenshots and code for an easy learning curve.
GeoServer Beginner’s Guide
by Brian Youngblood Stefano IacovellaStep-by-step instructions are included and the needs of a beginner are totally satisfied by the book. The book consists of plenty of examples with accompanying screenshots and code for an easy learning curve. You are a web developer with knowledge of server side scripting, and have experience with installing applications on the server. You have a desire to want more than Google maps, by offering dynamically built maps on your site with your latest geospatial data stored in MySQL, PostGIS, MsSQL or Oracle. If this is the case, this book is meant for you.
GeoServer Cookbook
by Stefano IacovellaThis book is ideal for GIS experts, developers, and system administrators who have had a first glance at GeoServer and who are eager to explore all its features in order to configure professional map servers. Basic knowledge of GIS and GeoServer is required.
Geochemical Mechanics and Deep Neural Network Modeling: Applications to Earthquake Prediction (Advances in Geological Science)
by Mitsuhiro ToriumiThe recent understandings about global earth mechanics are widely based on huge amounts of monitoring data accumulated using global networks of precise seismic stations, satellite monitoring of gravity, very large baseline interferometry, and the Global Positioning System. New discoveries in materials sciences of rocks and minerals and of rock deformation with fluid water in the earth also provide essential information. This book presents recent work on natural geometry, spatial and temporal distribution patterns of various cracks sealed by minerals, and time scales of their crack sealing in the plate boundary. Furthermore, the book includes a challenging investigation of stochastic earthquake prediction testing by means of the updated deep machine learning of a convolutional neural network with multi-labeling of large earthquakes and of the generative autoencoder modeling of global correlated seismicity. Their manifestation in this book contributes to the development of human society resilient from natural hazards. Presented here are (1) mechanics of natural crack sealing and fluid flow in the plate boundary regions, (2) large-scale permeable convection of the plate boundary, (3) the rapid process of massive extrusion of plate boundary rocks, (4) synchronous satellite gravity and global correlated seismicity, (5) Gaussian network dynamics of global correlated seismicity, and (6) prediction testing of plate boundary earthquakes by machine learning and generative autoencoders.
Geodemographics for Marketers
by Barry LeventhalGeodemographics, the process of analyzing survey data to profile economic and demographic characteristics of populations, is a successful data-driven analysis tool for marketers. Geodemographic classifications are widely embedded in customer databases and market research datasets. Written by a leading UK authority on geodemographics, Geodemographics for Marketers provides marketers with the know-how to leverage it as an effective research tool to identify location-based segments for highly targeted marketing. International in scope and impartial in its approach, this book demonstrates how to implement geodemographics techniques for practical application in retail, financial services and telecommunications as well as the public sector. Geodemographics for Marketers includes numerous case studies, from the automotive, retail and telecommunications sectors to the public sector, that illustrate core concepts and how they can be applied to gain positive results. The book also incorporates the newly introduced generation of classifications, as well as a discussion of the key decisions of the proposed 2021 census.
Geodesy for a Sustainable Earth: Proceedings of the 2021 Scientific Assembly of the International Association of Geodesy, Beijing, China, June 28 – July 2, 2021 (International Association of Geodesy Symposia #154)
by Jeffrey T. Freymueller Laura SánchezThis open access volume contains selected papers of the 2021 Scientific Assembly of the International Association of Geodesy – IAG2021. The Assembly was hosted by the Chinese Society for Geodesy, Photogrammetry and Cartography (CSGPC) in Beijing, China from June 28 to July 2, 2021. It was a hybrid conference with in-person and online attendants. In total, the Assembly was attended by 146 in-person participants and 1,123 online participants. The theme of the Assembly was Geodesy for a Sustainable Earth. 613 contributions (255 oral presentations and 358 poster presentations) covered all topics of the broad spectrum considered by the IAG: geodetic reference frames, Earth gravity field modelling, Earth rotation and geodynamics, positioning and applications, the Global Geodetic Observing System (GGOS), geodesy for climate research, marine geodesy, and novel sensors and quantum technology for geodesy. All published papers were peer-reviewed, and we warmly recognize the contributions and support of the Associate Editors and Reviewers.
Geodetic Time Series Analysis in Earth Sciences (Springer Geophysics)
by Jean-Philippe Montillet Machiel S. BosThis book provides an essential appraisal of the recent advances in technologies, mathematical models and computational software used by those working with geodetic data. It explains the latest methods in processing and analyzing geodetic time series data from various space missions (i.e. GNSS, GRACE) and other technologies (i.e. tide gauges), using the most recent mathematical models. The book provides practical examples of how to apply these models to estimate seal level rise as well as rapid and evolving land motion changes due to gravity (ice sheet loss) and earthquakes respectively. It also provides a necessary overview of geodetic software and where to obtain them.
Geoecology and Computers
by Sergey A. YufinThis volume presents technical papers devoted to development and practical use of computer methods in geotechnical and geoenviromental engineering. It covers issues on space use and construction, soil and rock mechanics, and mining applications amongst other topics.
Geographic Data Mining and Knowledge Discovery (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
by Jiawei Han Harvey J. MillerThe Definitive Volume on Cutting-Edge Exploratory Analysis of Massive Spatial and Spatiotemporal DatabasesSince the publication of the first edition of Geographic Data Mining and Knowledge Discovery, new techniques for geographic data warehousing (GDW), spatial data mining, and geovisualization (GVis) have been developed. In addition, there has bee
Geographic Information Systems to Spatial Data Infrastructures: A Global Perspective
by Ian MasserThis book draws on author’s wealth of knowledge working on numerous projects across many countries. It provides a clear overview of the development of the SDI concept and SDI worldwide implementation and brings a logical chronological approach to the linkage of GIS technology with SDI enabling data. The theory and practice approach help understand that SDI development and implementation is very much a social process of learning by doing. The author masterfully selects main historical developments and updates them with an analytical perspective promoting informed and responsible use of geographic information and geospatial technologies for the benefit of society from local to global scales. Features Subject matter spans thirty years of the development of GIS and SDI. Brings a social science perspective into GIS and SDI debates that have been largely dominated by technical considerations. Based on a world-wide perspective as a result of the author's experience and research in the USA, Australia, Canada, Brazil, Peru, China, India, Korea, Malaysia, and Japan as well as most European countries. Draws upon professional and academic experience relating to pioneering UK and European GIS research initiatives. Includes updated historical material with an analytical perspective explaining what was done right, and what didn't work.
Geographic Interpretations of the Internet
by Aharon KellermanThis book introduces the Internet through a systematic geographical interpretation, thus shedding light on the Internet as a spatial entity. The book's approach is to extend basic concepts developed for terrestrial geography to cyberspace, most notably those relating to space, structure, place, distance, mobility, and presence. It further considers the Internet by its constitution of information space, communications space, and screen space. By using well-known concepts from traditional human geography, this book proposes a combination of terrestrial and virtual geographies, which may in turn help in coping with Internet structures and contents. The book appeals to human and economic geographers, especially those interested in information and Internet geographies. It may also be of special interest and importance to sociologists and media scholars and students dealing with communication technology and the Internet.
Geographical Data Imperfection 1: From Theory to Applications
by Mireille Batton-Hubert Eric Desjardin François PinetGeomatics is a field of science that has been intimately intertwined with our daily lives for almost 30 years, to the point where we often forget all the challenges it entails. Who does not have a navigation application on their phone or regularly engage with geolocated data? What is more, in the coming decades, the accumulation of geo-referenced data is expected to increase significantly. This book focuses on the notion of the imperfection of geographic data, an important topic in geomatics. It is essential to be able to define and represent the imperfections that are encountered in geographical data. Ignoring these imperfections can lead to many risks, for example in the use of maps which may be rendered inaccurate. It is, therefore, essential to know how to model and treat the different categories of imperfection. A better awareness of these imperfections will improve the analysis and the use of this type of data.
Geographical Data Imperfection 2: Use Cases
by Mireille Batton-Hubert Eric Desjardin François PinetGeographical data often contains imperfections associated with insufficient precision, errors or incompleteness. If these imperfections are not identified, taken into account and controlled when using the data, the potential for errors may arise, leading to significant consequences with unforeseeable effects, particularly in a decisionmaking context. It is then necessary to characterize and model this imperfection, and take it into account throughout the process. In the previous volume, we introduced different approaches for defining, representing and processing imperfections in geographic data. Volume 2 will now present a number of concrete applications in a variety of fields, demonstrating the practical application of the methodology to use cases such as agriculture, natural disaster management, mountain hazards, land management and assistance for the visually impaired.
Geographical Information Systems Theory, Applications and Management (Communications in Computer and Information Science #936)
by Jorge Gustavo Rocha Robert Laurini Lemonia RagiaThis book constitutes extended, revised and selected contributions from the Second International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2016, held in Rome, Italy, in April 2016. The 10 papers presented in this volume were carefully reviewed and selected from a total of 33 submissions. They contribute to the understanding of relevant trends of current research on the topic, including urban and regional planning; water information systems; geospatial information and technologies; spatio-temporal database management; decision support systems; energy information systems; GPS, and location detection.
Geographical Information Systems Theory, Applications and Management: 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers (Communications in Computer and Information Science #1061)
by Cédric Grueau Robert Laurini Lemonia RagiaThis book constitutes the thoroughly refereed proceedings of the 4th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2018, held in Funchal, Madeira, Portugal, in March 2018.The 7 revised full papers presented were carefully reviewed and selected from 58 submissions. The papers are centered on urban and regional planning; water information systems; geospatial information and technologies; spatio-temporal database management; decision support systems; energy information systems; GPS and location detection.
Geographical Information Systems Theory, Applications and Management: 6th International Conference, GISTAM 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers (Communications in Computer and Information Science #1411)
by Cédric Grueau Robert Laurini Lemonia RagiaThis book constitutes selected, revised and extended papers of the 6th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2020, held in Prague, Czech Republic, May 2020. Due to the COVID-19 pandemic the conference was held online. The 9 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are centered on urban and regional planning; water information systems; geospatial information and technologies; spatio-temporal database management; decision support systems; energy information systems; GPS and location detection.
Geographical Information Systems Theory, Applications and Management: 7th International Conference, GISTAM 2021, Virtual Event, April 23–25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers (Communications in Computer and Information Science #1908)
by Cédric Grueau Robert Laurini Lemonia RagiaThis book constitutes selected, revised and extended papers of the 7th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2021, held in April 2021, and 8th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2022, held in April 2022. Due to the COVID-19 pandemic both conferences were held online. The 4 revised full papers presented at GISTAM 2021 were carefully reviewed and selected from the 44 submissions, and 3 papers presented at GISTAM 2022 were selected from the 27 submissions. The papers are centered on urban and regional planning; water information systems; geospatial information and technologies; spatio-temporal database management; decision support systems; energy information systems; GPS and location detection.