This book constitutes the proceedings of the 19th IMA International Conference, IMACC 2023, held in London, UK, during December 12-14, 2023The 14 full papers included in this volume were carefully reviewed and selected from 36 submissions.
This book presents several novel constructive methodologies for global stabilization and H-infinity control in switched dynamic systems by using the systems' structure information.
This two-volume set of LNCS 12188 and 12189 constitutes the refereed proceedings of the 14th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020.
This book describes an accurate analysis technique for energy systems based on formal methods-computer-based mathematical logic techniques for the specification, validation, and verification of the systems.
Chemical Analysis of Firearms, Ammunition, and Gunshot Residue, Second Edition continues in the tradition of the popular first edition, filling the void in forensic texts on the subject.
Introduction to Convolutional Codes with Applications is an introduction to the basic concepts of convolutional codes, their structure and classification, various error correction and decoding techniques for convolutionally encoded data, and some of the most common applications.
The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023.
An unprecedented look at the evolution of American police, from filling their intended role as peacekeepers and guardians of citizen rights to calling themselves-and acting primarily as-"e;law enforcement officers.
This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The Netherlands, during September 3-6, 2024.
This book constitutes the proceedings of the 26th European Conference on Advances in Databases and Information Systems, ADBIS 2022, held in Turin, Italy, in September 2022.
Forensic Chemistry, Third Edition, the new edition of this ground-breaking book, continues to serve as the leading forensic chemistry text on the market.
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.
No-Body Homicides: The Evolution of Investigation and Prosecution examines how police and prosecutors have become more successful in obtaining convictions for homicide when the remains of the victim are unavailable as evidence.
The book presents selected papers from NIELIT's International Conference on Communication, Electronics and Digital Technology (NICEDT-2024) held during 16-17 February 2024 in Guwahati, India.
This book offers the first comprehensive presentation of measure-valued solutions for nonlinear deterministic and stochastic evolution equations on infinite dimensional Banach spaces.
This book deals with the science of science by applying network science methods to citation networks and uniquely presents a physics-inspired model of citation dynamics.
This book constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Medicine, AIME 2022, held in Halifax, NS, Canada, in June 2022.
Based on ideas from Support Vector Machines (SVMs), Learning To Classify Text Using Support Vector Machines presents a new approach to generating text classifiers from examples.
The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023.
This edited book considers social systems as self-organizing structures that reproduce new structural elements endowed with certain functional connections.
Get the expert guidance you need to begin building native applications for Apple's new iPhone 3G as well as the iPod Touch Apple's iPhone is the hottest mobile device on the planet.
The four-volume proceedings LNCS 13090, 13091, 13092, and 13093 constitutes the proceedings of the 27th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2021, which was held during December 6-10, 2021.
This book constitutes the refereed proceedings of the 33rd International Workshop on Combinatorial Algorithms, IWOCA 2022, which took place as a hybrid event in Trier, Germany, during June 7-9, 2022.
This book constitutes revised selected papers from the 13th International Conference on Large-Scale Scientific Computing, LSSC 23021, which was held in Sozopol, Bulgaria, during June 7-11, 2021.
This book offers researchers, police practitioners, and policymakers a platform for organizational reform and an understanding of how the police organization creates stress, which contributes to reduced officer performance.
This book presents the implementation of novel concepts and solutions, which allows to enhance the cyber security of administrative and industrial systems and the resilience of economies and societies to cyber and hybrid threats.
Private Security and the Investigative Process, Fourth Edition is fully updated and continues to provide complete coverage of the investigative process for private investigations by both individuals and in corporate security environments.
Robust and Adaptive Control (second edition) shows readers how to produce consistent and accurate controllers that operate in the presence of uncertainties and unforeseen events.
This book presents the proceedings of 2nd EAI International Conference on Smart Technology (MTYMEX), which took place April 27th, 2021, online and in Monterrey, Mexico.
This book features research papers presented at the International Conference on Emerging Technologies in Data Mining and Information Security (IEMIS 2020) held at the University of Engineering & Management, Kolkata, India, during July 2020.
This book presents a compilation of state-of-the-art work on biomedical and cyber-physical systems in connection with the Internet of Things, and successfully blends theory and practice.
This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2016, held in Porto, Portugal, in November 2016.
Type inheritance is that phenomenon according to which we can say, for example, that every square is also a rectangle, and so properties that apply to rectangles in general apply to squares in particular.
In the last three decades, advances in methods for investigating polynomial ideals and their varieties have provided new possibilities for approaching two long-standing problems in the theory of differential equations: the Poincare center problem and the cyclicity problem (the problem of bifurcation of limit cycles from singular trajectories).
This brief presents readers with a summary of classic, modern, and state-of-the-art methods for discovering the roles of entities in networks (including social networks) that range from small to large-scale.
From the editors of the highly successful LTE for UMTS: Evolution to LTE-Advanced, this new book examines the main technical enhancements brought by LTE-Advanced, thoroughly covering 3GPP Release 10 specifications and the main items in Release 11.
This book celebrates Professor Thanos Antoulas's 70th birthday, marking his fundamental contributions to systems and control theory, especially model reduction and, more recently, data-driven modeling and system identification.
This book covers technical contributions that have been submitted, reviewed and presented at the 22nd annual event of International conference on Information Technology: New Generations (ITNG) The applications of advanced information technology to such domains as astronomy, biology, education, geosciences, security and health care are among topics of relevance to ITNG.
The publication of this third edition of the definitive text on clinical forensic medicine comes at an exciting time for a subject now gaining recognition as a speciality in the medical establishment.
In this monograph the authors present Newton-type, Newton-like and other numerical methods, which involve fractional derivatives and fractional integral operators, for the first time studied in the literature.
This book discusses the P-graph framework for developing and understanding effective design tools for process systems engineering, and addresses the current state of its theory and applications.
