This book delves into the mathematical theory of causal functions over discrete time, offering a fresh perspective on causality beyond its philosophical roots.
This book presents the proceedings of the Twentieth International Conference on Dependability of Computer Systems, showcasing recent advancements in this broad area.
Worker Injury Third Party Cases: Recognizing and Proving Liability is a practical resource that helps lawyers and others identify viable third party theories of liability in worker injury cases.
This groundbreaking book transcends traditional machine learning approaches by introducing information measurement methodologies that revolutionize the field.
Placing the Suspect Behind the Keyboard is the definitive book on conducting a complete investigation of a cybercrime using digital forensics techniques as well as physical investigative procedures.
The Atlas of Forensic Pathology, For Police, Forensic Scientists, Attorneys and Death Investigators is a Major Reference Work that is specifically is designed for non-pathologists who normally interact with forensic pathologists.
This book reports on advances in mechanical engineering, with a special emphasis on innovative design approaches, constructions and working processes, and on intelligent devices.
As digital transformations continue to accelerate in the world, discourses of big data have come to dominate in a number of fields, from politics and economics, to media and education.
The use of genetics for the resolution of legal conflicts has recently been gaining a higher profile, largely as a result of scientific and technological advancements and the substantial broadening of applications.
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.
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.
Advances in narrow artificial intelligence make possible agentive systems that do things directly for their users (like, say, an automatic pet feeder).
This book discusses and compares several new trends that can be used to overcome Moore's law limitations, including Neuromorphic, Approximate, Parallel, In Memory, and Quantum Computing.
This monograph presents a new analytical approach to the design of proportional-integral-derivative (PID) controllers for linear time-invariant plants.
This book presents research results of PowerWeb, TU Delft's consortium for interdisciplinary research on intelligent, integrated energy systems and their role in markets and institutions.
This book explores potentially disruptive and transformative healthcare-specific use cases made possible by the latest developments in Internet of Things (IoT) technology and Cyber-Physical Systems (CPS).
This volume constitutes the refereed proceedings of the 4th International Conference on Digital Transformation and Global Society, DTGS 2019, held in St.
This book constitutes revised papers from the 12th International Conference on Large-Scale Scientific Computing, LSSC 2019, held in Sozopol, Bulgaria, in June 2019.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Gerotechnology, IWoG 2019, held in Caceres, Spain, in September 2019.
This book explores the universe and its subsystems from the three lenses of evolutionary (contingent), developmental (predictable), and complex (adaptive) processes at all scales.
This book constitutes the refereed proceedings of the 15th International Conference on Persuasive Technology, PERSUASIVE 2020, held in Aalborg, Denmark, in April 2020.
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2020, CT-RSA 2020, held in San Francisco, CA, USA, in February 2020.
This book presents high-quality, original contributions (both theoretical and experimental) on software engineering, cloud computing, computer networks & internet technologies, artificial intelligence, information security, and database and distributed computing.
This book presents high-quality original contributions on positive systems, including those with positivity in compartmental switched systems, Markovian jump systems, Boolean networks, interval observer design, fault detection, and delay systems.
This book presents a new methodology with reduced time impact to address the problem of analog integrated circuit (IC) yield estimation by means of Monte Carlo (MC) analysis, inside an optimization loop of a population-based algorithm.
This three volume set of LNCS 12207, 12208 and 12209 constitutes the refereed proceedings of the 6th International Conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020.
This book covers the essential concepts and strategies within traditional and cutting-edge feature learning methods thru both theoretical analysis and case studies.
This book constitutes the refereed post-conference proceedings of the First International Conference on Data and Information in Online Environments, DIONE 2020, which took place in Florianopolis, Brazil, in March 2020.
This book gathers state-of-the-art research contributions written by academics and researchers, which address emerging trends in system design and implementation for the Internet of Things (IoT), and discuss how to promote IoT technologies and applications.
This book constitutes the refereed proceedings of the 21st International Conference on Integer Programming and Combinatorial Optimization, IPCO 2020, held in London, UK, in June 2020.
This book reports on cutting-edge theories and methods for analyzing complex systems, such as transportation and communication networks and discusses multi-disciplinary approaches to dependability problems encountered when dealing with complex systems in practice.
This book contains revised selected papers from the 26th International Conference on Selected Areas in Cryptography, SAC 2019, held in Waterloo, ON, Canada, in August 2019.
This book constitutes the joint refereed proceedings of the 18th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2018, the 11th Conference on Internet of Things and Smart Spaces, ruSMART 2018.
This book constitutes the proceedings of the 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2020, held in L'Aquila, Italy, in October 2020.