Spatial Gems, Volume 1


Book Description

This book presents fundamental new techniques for understanding and processing geospatial data. These “spatial gems” articulate and highlight insightful ideas that often remain unstated in graduate textbooks, and which are not the focus of research papers. They teach us how to do something useful with spatial data, in the form of algorithms, code, or equations. Unlike a research paper, Spatial Gems, Volume 1 does not focus on “Look what we have done!” but rather shows “Look what YOU can do!” With contributions from researchers at the forefront of the field, this volume occupies a unique position in the literature by serving graduate students, professional researchers, professors, and computer developers in the field alike.




Advances in Information Technology in Civil and Building Engineering


Book Description

This book gathers the latest advances, innovations, and applications in the field of information technology in civil and building engineering, presented at the 19th International Conference on Computing in Civil and Building Engineering (ICCCBE), held in Cape Town, South Africa on October 26-28, 2022. It covers highly diverse topics such as BIM, construction information modeling, knowledge management, GIS, GPS, laser scanning, sensors, monitoring, VR/AR, computer-aided construction, product and process modeling, big data and IoT, cooperative design, mobile computing, simulation, structural health monitoring, computer-aided structural control and analysis, ICT in geotechnical engineering, computational mechanics, asset management, maintenance, urban planning, facility management, and smart cities. Written by leading researchers and engineers, and selected by means of a rigorous international peer-review process, the contributions highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations.




Game Engine Gems, Volume One


Book Description

Game Engine Gems brings together in a single volume dozens of new articles from leading professionals in the game development industry. Each "gem" presents a previously unpublished technique related to game engines and real-time virtual simulations. Specific topics include rendering techniques, shaders, scene organization, visibility determination, collision detection, audio, user interface, input devices, memory management, artificial intelligence, resource organization, and cross-platform considerations. A CD-ROM containing all the source codes and demos accompanies the book.




On Monotonicity Testing and the 2-to-2 Games Conjecture


Book Description

This book discusses two questions in Complexity Theory: the Monotonicity Testing problem and the 2-to-2 Games Conjecture. Monotonicity testing is a problem from the field of property testing, first considered by Goldreich et al. in 2000. The input of the algorithm is a function, and the goal is to design a tester that makes as few queries to the function as possible, accepts monotone functions and rejects far-from monotone functions with a probability close to 1. The first result of this book is an essentially optimal algorithm for this problem. The analysis of the algorithm heavily relies on a novel, directed, and robust analogue of a Boolean isoperimetric inequality of Talagrand from 1993. The probabilistically checkable proofs (PCP) theorem is one of the cornerstones of modern theoretical computer science. One area in which PCPs are essential is the area of hardness of approximation. Therein, the goal is to prove that some optimization problems are hard to solve, even approximately. Many hardness of approximation results were proved using the PCP theorem; however, for some problems optimal results were not obtained. This book touches on some of these problems, and in particular the 2-to-2 games problem and the vertex cover problem. The second result of this book is a proof of the 2-to-2 games conjecture (with imperfect completeness), which implies new hardness of approximation results for problems such as vertex cover and independent set. It also serves as strong evidence towards the unique games conjecture, a notorious related open problem in theoretical computer science. At the core of the proof is a characterization of small sets of vertices in Grassmann graphs whose edge expansion is bounded away from 1.




Prophets of Computing


Book Description

When electronic digital computers first appeared after World War II, they appeared as a revolutionary force. Business management, the world of work, administrative life, the nation state, and soon enough everyday life were expected to change dramatically with these machines’ use. Ever since, diverse prophecies of computing have continually emerged, through to the present day. As computing spread beyond the US and UK, such prophecies emerged from strikingly different economic, political, and cultural conditions. This volume explores how these expectations differed, assesses unexpected commonalities, and suggests ways to understand the divergences and convergences. This book examines thirteen countries, based on source material in ten different languages—the effort of an international team of scholars. In addition to analyses of debates, political changes, and popular speculations, we also show a wide range of pictorial representations of "the future with computers."




The Handbook on Socially Interactive Agents


Book Description

The Handbook on Socially Interactive Agents provides a comprehensive overview of the research fields of Embodied Conversational Agents;Intelligent Virtual Agents;and Social Robotics. Socially Interactive Agents (SIAs);whether virtually or physically embodied;are autonomous agents that are able to perceive an environment including people or other agents;reason;decide how to interact;and express attitudes such as emotions;engagement;or empathy. They are capable of interacting with people and one another in a socially intelligent manner using multimodal communicative behaviors;with the goal to support humans in various domains. Written by international experts in their respective fields;the book summarizes research in the many important research communities pertinent for SIAs;while discussing current challenges and future directions. The handbook provides easy access to modeling and studying SIAs for researchers and students;and aims at further bridging the gap between the research communities involved. In two volumes;the book clearly structures the vast body of research. The first volume starts by introducing what is involved in SIAs research;in particular research methodologies and ethical implications of developing SIAs. It further examines research on appearance and behavior;focusing on multimodality. Finally;social cognition for SIAs is investigated using different theoretical models and phenomena such as theory of mind or pro-sociality. The second volume starts with perspectives on interaction;examined from different angles such as interaction in social space;group interaction;or long-term interaction. It also includes an extensive overview summarizing research and systems of human–agent platforms and of some of the major application areas of SIAs such as education;aging support;autism;and games.




Effective Theories in Programming Practice


Book Description

Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms to programming students in a concise, yet precise, manner. The book includes the background material needed to understand the explanations and to develop such explanations for other algorithms. The author demonstrates that clarity and simplicity are achieved not by avoiding formalism, but by using it properly. The book is self-contained, assuming only a background in high school mathematics and elementary program writing skills. It does not assume familiarity with any specific programming language. Starting with basic concepts of sets, functions, relations, logic, and proof techniques including induction, the necessary mathematical framework for reasoning about the correctness, termination and efficiency of programs is introduced with examples at each stage. The book contains the systematic development, from appropriate theories, of a variety of fundamental algorithms related to search, sorting, matching, graph-related problems, recursive programming methodology and dynamic programming techniques, culminating in parallel recursive structures.




Processes in GeoMedia - Volume II


Book Description

This book presents the findings of recent theoretical and experimental studies of processes in the atmosphere, oceans, and lithosphere, discussing their interactions, geology. methods of geophysical research, and environmental problems resulting from human impacts. Particularly focusing on the geomechanical aspects of the production of hydrocarbons, including the laborious extraction of oils, it also includes contributions on ecological problems related to the biosphere.




Artificial Intelligence Applications and Innovations


Book Description

This book constitutes the refereed proceedings of the Workshops held at the 8th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2012, in Halkidiki, Greece, in September 2012. The book includes a total of 66 interesting and innovative research papers from the following 8 workshops: the Second Artificial Intelligence Applications in Biomedicine Workshop (AIAB 2012), the First AI in Education Workshop: Innovations and Applications (AIeIA 2012), the Second International Workshop on Computational Intelligence in Software Engineering (CISE 2012), the First Conformal Prediction and Its Applications Workshop (COPA 2012), the First Intelligent Innovative Ways for Video-to-Video Communiccation in Modern Smart Cities Workshop (IIVC 2012), the Third Intelligent Systems for Quality of Life Information Services Workshop (ISQL 2012), the First Mining Humanistic Data Workshop (MHDW 2012), and the First Workshop on Algorithms for Data and Text Mining in Bioinformatics (WADTMB 2012).




International Encyclopedia of Geography, 15 Volume Set


Book Description

Zweifelsohne das Referenzwerk zu diesem weitgefächerten und dynamischen Fachgebiet. The International Encyclopedia of Geograph ist das Ergebnis einer einmaligen Zusammenarbeit zwischen Wiley und der American Association of Geographers (AAG), beleuchtet und definiert Konzepte, Forschung und Techniken in der Geographie und zugehörigen Fachgebieten. Die Enzyklopädie ist als Online-Ausgabe und 15-bändige farbige Printversion erhältlich. Unter der Mitarbeit einer Gruppe von Experten aus aller Welt ist ein umfassender und fundierter Überblick über die Geographie in allen Erdteilen entstanden. - Enthält mehr als 1.000 Einträge zwischen 1.000 und 10.000 Wörtern, die verständlich in grundlegende Konzepte einführen, komplexe Themen erläutern und Informationen zu geographischen Gesellschaften aus aller Welt enthalten. - Entstanden unter der Mitarbeit von mehr als 900 Wissenschaftlern aus über 40 Ländern und bietet damit einen umfassenden und fundierten Überblick über die Geographie in allen Erdteilen. - Deckt das Fachgebiet umfassend ab und berücksichtigt auch die Richtungen Humangeographie, Physikalische Geographie, geographische Informationswissenschaften und -systeme, Erdwissenschaften und Umweltwissenschaften. - Führt interdisziplinäre Sichtweisen zu geographischen Themen und Verfahren zusammen, die auch für die Sozialwissenschaften, Geisteswissenschaften, Naturwissenschaften und Medizin von Interesse sind. - Printausgabe durchgängig in Farbe mit über 1.000 Illustrationen und Fotos. - Online-Ausgabe wird jährlich aktualisiert.




Recent Books