Foreword -- Preface -- Glossary -- Section1: Setting the scene -- Section 2: Geology and geomorphology -- Section 3: Water -- Section 4: Vegetation and biodiversity -- Section 5: Geomorphic processes -- Section 6: Land and agriculture -- Section 7: Historical, ecological, sociological and cultural dimensions -- Section 8: Geotourism and trekking in Dogu’a Tembien -- Indes -- References -- Ann…
suroto
Prologue -- Walk-through: Using UML for Security -- Background -- Developing Secure Systems -- Model-based Security Engineering with UML -- Applications -- Tool Support -- Tool support for UMLsec -- A Formal Foundation -- Formal Systems Development with UML -- Epilogue -- Further Material -- Outlook.Attacks against computer systems can cause considerable economic or physical damage. High-qualit…
to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic A…
Introduction: An Institutional History of Sociology in the Czech Republic -- 1: Sociology in Service to Nation-Building: The Legacy of Tomáš Garrigue Masaryk -- 2: A False Beginning? The Growth and Destruction of Czech Sociology 1918-1950 -- 3: 1950-1969: Becoming a Counsellor to the Socialist Prince -- 4: 1969-1989: The Long Hour of Party Ideologists -- 5: The 1990s: Reconstruction and the T…
Line Search Descent Methods for Unconstrained Minimization -- Standard Methods for Constrained Optimization -- New Gradient-Based Trajectory and Approximation Methods -- Example Problems -- Some Theorems.This book presents basic optimization principles and gradient-based algorithms to a general audience, in a brief and easy-to-read form without neglecting rigour. The work should enable the prof…
Applications -- Social, Economic, and Ethical Implications of Ambient Intelligence and Ubiquitous Computing -- Integrated Microelectronics for Smart Textiles -- Ambient Intelligence Research in HomeLab: Engineering the User Experience -- How Ambient Intelligence will Improve Habitability and Energy Efficiency in Buildings -- System Design and Architecture -- Networked Infomechanical Systems (NI…
This proceedings book presents the first-ever cross-disciplinary analysis of 16th–20th century South, East, and Southeast Asian cartography. The central theme of the conference was the mutual influence of Western and Asian cartographic traditions, and the focus was on points of contact between Western and Asian cartographic history. Geographically, the topics were limited to South Asia, East …