Refine Results
Sort By
From
To
Page 3
Page 3
Advances in fuzzy logic systems
Fuzzy logic systems have been a hot topic in the scientific and academic community for more than half a century. The idea of making machines behave and make decisions like humans do is astounding. The development and implementation of fuzzy logic systems can be seen in various real physical applications in daily human life. The methods employed using fuzzy logic have resulted in innovative technologies. This book provides insights into understanding the principles and concepts behind the advances of fuzzy logic systems. It presents ideas concerning fuzzy logic systems and their technological applications. The book is arranged into two sections on theories and foundations of fuzzy logic systems and implementations of fuzzy logic systems in service to the community.
Advanced mathematical science for mobility society
The automotive industry has made steady progress in technological innovations under the names of Connected Autonomous-Shared-Electric (CASE) and Mobility as a Service (MaaS). Needless to say, mathematics and informatics are important to support such innovations. As the concept of cars and movement itself is diversifying, they are indispensable for grasping the essence of the future mobility society and building the foundation for the next generation. This book contains three main contents. 1. Mathematical models of flow 2. Mathematical methodsfor huge data and network analysis 3. Algorithm for mobility society The first one discusses mathematical models of pedestrian and traffic flow, as they are important for preventing accidents and achieving efficient transportation.
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Access Control Systems : Security, Identity Management and Trust Models
Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations of programming systems security, delving into identity management, trust models, and the theory behind access control models. The book details access control mechanisms that are emerging with the latest Internet programming technologies, and explores all models employed and how they work. The latest role-based access control (RBAC) standard is also highlighted.
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.
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility, groups, and components.
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Presents a ""practical theory"" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using ""horizontal"" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity
A Concise Introduction to Data Compression
Compressing data is an option naturally selected when faced with problems of high costs or restricted space. Written by a renowned expert in the field, this book offers readers a succinct, reader-friendly foundation to the chief approaches, methods and techniques currently employed in the field of data compression.
6G Mobile Wireless Networks
Specifically, this book covers the following topics: 6G Use Cases, Requirements, Metrics and Enabling Technologies, PHY Technologies for 6G Wireless, Reconfigurable Intelligent Surface for 6G Wireless Networks, Millimeter-wave and Terahertz Spectrum for 6G Wireless, Challenges in Transport Layer for Tbit/s Communications, High-capacity Backhaul Connectivity for 6G Wireless, Cloud Native Approach for 6G Wireless Networks, Machine Type Communications in 6G, Edge Intelligence and Pervasive AI in 6G, Blockchain: Foundations and Role in 6G, Role of Open-source Platforms in 6G, and Quantum Computing and 6G Wireless.
Artificial intelligence in oral health
Intended to lay the foundation of AI applications focusing on oral health, including general dentistry, periodontology, implantology, oral surgery, oral radiology, orthodontics, and prosthodontics, among others.
Artificial intelligence for oral health care : Applications and future prospects
Offers a deeper understanding of the foundational concepts of AI, its practical applications in oral health, and the possibilities that lie ahead. From oral pathology to maxillofacial surgery, prosthodontics to orthodontics, and endodontics to dental education, it presents compelling, evidence-based insights into how AI is changing the landscape of dentistry.
An introduction to orthodontics
This is the essential orthodontics text for all staff involved in orthodontic treatment, whether they are dental students, orthodontic therapists, postgraduate students at the beginning of their career, or more experienced clinicians wanting an evidence-based, concise update on the foundations of contemporary orthodontic care.
Advanced strategies for tooth extraction in dentistry : Beyond basics
Aims to provide comprehensive insights and techniques to dental students and practicing dentists seeking to expand their skills in tooth extraction. Building upon the foundational knowledge acquired during dental education, this book delves into the intricacies of advanced tooth extraction strategies. It covers a wide range of topics, including complex extractions, impacted teeth, surgical techniques, management of complications, and specialized cases.
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.
Barry's Introduction to Construction of Buildings ; 4th ed.
Based mainly on domestic and residential buildings—and filled with extensive illustrations throughout—this concise text is the ideal introduction to the subject of building construction. It provides the basic material that readers need in order to understand the construction process for the majority of low rise buildings. The book explains construction technology through the key functional and performance requirements for the main elements common to all buildings. With a strong focus on building efficiency and meeting the challenges posed by limiting the environmental impact of buildings, and new “at a glance” summaries allowing you to grasp the salient points of each chapter, readers will find the text fully up to date with the latest building regulations and construction technology. Deals with design, technology, site assembly, and environmental issues of domestic and residential buildings. Thoroughly updated, with particular attention paid to the concept of building efficiency and improved integration of the topics covered to match current student needs. New “at a glance” summaries at the beginning of each chapter.
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.
Artificial intelligence in mechatronics and civil engineering : Bridging the gap
Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. This book covers the successful implementation of different intelligent techniques in various areas of engineering focusing on common areas between mechatronics and civil engineering. The power of artificial intelligence and machine learning techniques in solving some examples of real-life problems in engineering is highlighted in this book. The implementation process to design the optimum intelligent models is discussed in this book.
Applied geotechnics for construction projects ; Vol. 3 : Behavior and Design of Project Foundations and Eurocode Validation
Applied Geotechnics for Construction Projects 3 first presents the basic theoretical principles and rules governing the designing and validation of foundations; shallow, semi-deep and deep, then presents real foundation projects with a detailed comparison of the approaches and methods of calculating foundations in relation to the reference systems and rules in force, closely compared to and validated by the Eurocodes. The third chapter presents examples of foundation projects, covering high-side building rafts, strip footings, piles and embankments, enriched by an unprecedented level of experience in the field of foundations for civil and industrial construction projects.
