Access Control Models and Architectures For IoT and Cyber Physical Systems
Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, theoretical, and foundational access control solutions. This was developed by the authors to provide an overall broader perspective and grounded approach to solve access control problems in IoT and CPS.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
A Concise Introduction to Software Engineering
This text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required to execute a software project successfully.
Civil Engineering and Urban Research ; Vol.1
Collects papers resulting from the conference on Civil, Architecture and Urban Engineering (ICCAUE 2022), Xining, China, 24–26 June 2022. The primary goal is to promote research and developmental activities in civil engineering, architecture and urban research. Moreover, it aims to promote scientific information interchange between scholars from the top universities, business associations, research centers and high-tech enterprises working all around the world.
Civil Engineering and Urban Research ; Vol.2
Collects papers resulting from the conference on Civil, Architecture and Urban Engineering (ICCAUE 2022), Xining, China, 24–26 June 2022. The primary goal is to promote research and developmental activities in civil engineering, architecture and urban research. Moreover, it aims to promote scientific information interchange between scholars from the top universities, business associations, research centers and high-tech enterprises working all around the world.
Biodiversity and health in the face of climate change
This book identifies and discusses biodiversity’s contribution to physical, mental and spiritual health and wellbeing. Furthermore, the book identifies the implications of this relationship for nature conservation, public health, landscape architecture and urban planning – and considers the opportunities of nature-based solutions for climate change adaptation. This transdisciplinary book will attract a wide audience interested in biodiversity, ecology, resource management, public health, psychology, urban planning, and landscape architecture. The emphasis is on multiple human health benefits from biodiversity - in particular with respect to the increasing challenge of climate change.
Bio-based Building Skin
This book provides a compendium of material properties, demonstrates several successful examples of bio-based materials’ application in building facades, and offers ideas for new designs and novel solutions. It features a state-of-the-art review, addresses the latest trends in material selection, assembling systems, and innovative functions of facades in detail. Selected case studies on buildings from diverse locations are subsequently presented to demonstrate the successful implementation of various biomaterial solutions, which defines unique architectural styles and building functions. The structures, morphologies and aesthetic impressions related to bio-based building facades are discussed from the perspective of art and innovation; essential factors influencing the performance of materials with respect to functionality and safety are also presented. Special emphasis is placed on assessing the performance of a given facade throughout the service life of a building, and after its end.
Assessment of Energy-Efficient Building Details for Seismic Regions
Presents a methodology for the assessment of structural building details, taking into account the contemporary guidelines for earthquake-resistant and energy-efficient buildings. A review of structural details for energy-efficient buildings revealed that in some cases the structural system is interrupted, leading to solutions which are not suitable for earthquake-prone regions. Such typical examples would be the use of thermal insulation under the building foundation and reduction of the load-bearing elements’ dimensions – also at the potential locations of plastic hinges which are crucial for the dissipation of seismic energy.
Airport Building Information Modelling
Details how Building Information Modelling is being successfully deployed in the planning, design, construction and future operation of the Istanbul New Airport, a mega-scale construction project incorporating a varying mix of infrastructures including terminals, runways, passenger gates, car parks, railways and roads. The book demonstrates how Airport Building Information Modelling (ABIM) is being used to: • facilitate collaboration, cooperation and integrated project delivery • manage subcontractors and eliminate cost over-runs • reduce waste on site and enhance overall quality • connect people in a virtual environment to encourage collaborative working • provide clients with an effective interface for lifecycle management including: design development, construction documentation, construction phases and BIM and Big Data Integration for future facilities management
Advances in sustainable materials and technology
Discusses numerous relevant areas and innovative technologies, such as key construction materials and production, materials with lower energy impact, production processes encouraging less use of ever-depleting natural raw materials, minimization of the generation of greenhouse gases, development of new, environmentally friendly materials and agents, characterization of the properties of construction materials, and methodologies applied in the building of structures.
Managing Distributed Cloud Applications and Infrastructure : A Self-Optimising Approach
The emergence of the Internet of Things (IoT), combined with greater heterogeneity not only online in cloud computing architectures but across the cloud-to-edge continuum, is introducing new challenges for managing applications and infrastructure across this continuum.
Component-Based Digital Movie Production : Reference Model of an Integrated Production System
The ongoing digitization process affects all areas of the media industry. Within the scientific discussion, movie production is little observed although it currently faces crucial structural developments. The change to digital production processes allows new ways of cooperation and coordination in the project networks. Marcus Pankow examines the specifics of the movie production industry and its value-creating processes, reflecting the digitization and its impact on the information systems strategy. An empirical case study analysis forms the basis for the development of a reference model for a company-wide application system to support the entire movie production process. Following the concept of a Service Oriented Architecture (SOA), he encapsulates established applications in services and integrates them on one platform.
Complexity management : Optimizing product architecture of Industrial products
This book presents a complexity management model that is based on the reasoning that product architecture determines to a considerable extent how external complexity is translated into physical products. The model demonstrates a procedure to optimize a product’s architecture and is applied to several industrial products.
Asias New Institutional Architecture : Evolving Structures for Managing Trade, Financial, and Security Relations
This book investigates the origins and evolution of Asia’s new institutional architecture in trade, finance, and security from both a theoretical and empirical perspective. The traditional institutional equilibrium in Asia has come under heavy strain in the "post triple shocks period" - the post-Cold War, the post-financial crisis of 1997-98, and the post-9-11 attacks. The new dynamics of rivalry and cooperation among states at both the intraregional and transregional levels is now shaping a new institutional architecture. Political and business leaders from Northeast and Southeast Asia interact with each other more frequently. South Asia’s participation in the rest of Asia in recent years is truly impressive. As we show, the future institutional trajectory of Asia is still open, but we believe that the book provides a timely examination of key shifts in the region. In doing so, our hope is to provide policymakers and analysts with an institutional road map for the future.
ARIS design platform : Getting started with BPM
Containing tips, techniques and short cuts gained from practical experience, this book show how to use ARIS in an easy way, supporting smart methods and smart models, and displays how ARIS can be used as a powerful tool for BPM.
ARIS design platform : Advanced process modelling and administration
ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. The ARIS Design Platform is being used as a business process management (BPM) tool for projects in BPM, quality management, business analysis and design, software development, implementation of service-oriented architectures and so forth. Following on from Rob Davis’ successful introductory text, ARIS Design Platform: Getting Started with BPM, this new book covers in detail some of the more advanced concepts of using ARIS Business Architect in the new ARIS 7 Design Platform. Written in a reader-friendly style, it contains detailed explanations of key concepts combined with numerous examples, hints and tips gained from many years of practical experience of using ARIS.
Making with data : Physical design and craft in a data-driven world
Making with Data: Physical Design and Craft in a Data-Driven World provides a snapshot of the diverse practices contemporary creators are using to produce objects, spaces, and experiences imbued with data. Across 25+ beautifully-illustrated chapters, international artists, designers, and scientists each explain the process of creating a specific data-driven piece—illustrating their practice with candid sketches, photos, and design artifacts from their own studios. Featuring influential voices in computer science, data science, graphic design, art, craft, and architecture, Making with Data is accessible and inspiring for enthusiasts and experts alike.
A Story of Islamic Art
The book also provides a detailed introduction, maps, timeline, glossary, and guides for further reading. This book offers accessible answers to key questions in the scholarship on Islamic art and architecture from its earliest times to the present. The issues dealt with in each of the stories include iconography, attitudes towards representation, the role of script, the elaboration of geometric decoration, the creation of sacred and secular spaces in architecture, and the socio-cultural context of art production and consumption.
Maintenance of brick and stone masonry structures
Deals with all the tasks related to brick and stone masonry structures, from the initial identification of defects and their diagnosis to their treatment and monitoring of its cost-effectiveness.
Building with infra-lightweight concrete : design, planning, construction
Infra-lightweight concrete combines the structural and thermal insulation functions of the building envelope in one monolithic material, thus providing new design options. The handbook is a practical guide to building with this new type of material.



















