Filter by
Mathematical Aspects of Logic Programming Semantics
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distanc…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Consequences of hydroxyl generation by the silica/water reaction. Part II: Gl…
Water diffusing into silica surfaces gives rise for several effects on diffusion behaviour and mechanical properties. In a preceding booklet, we focused on diffusion and fiber strengths and deformations which were obtained by water soaking under external loading. In the present booklet we deal with results and interpretations of strength increase in the absence of applied stresses.
- Edition
- Ed. 1
- ISBN/ISSN
- 9783731511595, 9783731511595
- Collation
- 226
- Series Title
- -
- Call Number
- 621 CON c
Human-Centred Autonomous Shipping
Tracing the development of autonomous and automated shipping from a hype of unmanned ships to a more realistic use of automation to augment humans in maritime operations, this book shows why human factors and human-centred design are essential to the endeavour. Themes addressed in the book include technology and cybersecurity, regulation and classification, and competence and skills. It comb…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Infrastructure Investments in Developing Economies
This book aims to provide knowledge on how infrastructure is planned and built in a typical developing country, and what key variables are there in the system limiting the efficient use of public investments in infrastructure. The book begins with a comprehensive literature review on construction and economic development, and trade and economic development. The focus of the book is on the case …
- Edition
- 1
- ISBN/ISSN
- 978-981-287-248-7
- Collation
- Ekonomi
- Series Title
- -
- Call Number
- 330
Design Science Research
Consolidating existing knowledge in Design Science, this book proposes a new research method to aid the exploration of design and problem solving within business, science and technology. It seeks to overcome a dichotomy that exists in the field between theory and practice to enable researches to find solutions to problems, rather than focusing on the explanation and exploration of the problems …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-07374-3
- Collation
- Business Management
- Series Title
- -
- Call Number
- 650
Context-Aware Communication and Computing: Applications for Smart Environment
This book introduces context-aware computing, providing definitions, categories, characteristics, and context awareness itself and discussing its applications with a particular focus on smart learning environments. It also examines the elements of a context-aware system, including acquisition, modelling, reasoning, and distribution of context. It also reviews applications of context-aware compu…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-59035-6
- Collation
- Komputer
- Series Title
- -
- Call Number
- 004
VoIP Technology: Applications and Challenges
This book offers an accessible introduction and practical guide to Voice over Internet Protocol (VoIP) technology, providing readers with the know-how to solve the problems encountered in applying VoIP technology across all types of network. It incorporates the latest research findings and brings readers up to date with the challenges that are faced by researchers developing novel applications …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-95594-0
- Collation
- Komputer
- Series Title
- -
- Call Number
- 004
Cyber Security: The Lifeline of Information and Communication Technology
This book discusses a broad range of cyber security issues, addressing global concerns regarding cyber security in the modern era. The growth of Information and Communication Technology (ICT) and the prevalence of mobile devices make cyber security a highly topical and relevant issue. The transition from 4G to 5G mobile communication, while bringing convenience, also means cyber threats are gro…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-31703-4
- Collation
- Komputer
- Series Title
- -
- Call Number
- 004
5G and Beyond Wireless Systems
This book presents the fundamental concepts, recent advancements, and opportunities for future research in various key enabling technologies in next-generation wireless communications. The book serves as a comprehensive source of information in all areas of wireless communications with a particular emphasis on physical (PHY) layer techniques related to 5G wireless systems and beyond. In particu…
- Edition
- 1
- ISBN/ISSN
- 978-981-15-6390-4
- Collation
- Computer
- Series Title
- -
- Call Number
- 004
Information Theory, Mathematical Optimization, and Their Crossroads in 6G Sys…
This book provides a broad understanding of the fundamental tools and methods from information theory and mathematical programming, as well as specific applications in 6G and beyond system designs. The contents focus on not only both theories but also their intersection in 6G. Motivations are from the multitude of new developments which will arise once 6G systems integrate new communication net…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-2016-5
- Collation
- Engineering
- Series Title
- -
- Call Number
- 620
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography