This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2019, CT-RSA 2019, held in San Francisco, CA, USA, in March 2019.
Ordinary and fractional approximations by non-additive integrals, especially by integral approximators of Choquet, Silkret and Sugeno types, are a new trend in approximation theory.
This book discusses the design of new space missions and their use for a better understanding of the dynamical behaviour of solar system bodies, which is an active field of astrodynamics.
This book constitutes the refereed proceedings of the Second International Conference on Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments, ISDDC 2018, held in Vancouver, BC, Canada, in November 2018.
The three volume-set LNCS 11476, 11477, and 11478 constitute the thoroughly refereed proceedings of the 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2019,held in Darmstadt, Germany, in May 2019.
This book presents new findings on cyber-physical systems design and modelling approaches based on AI and data-driven techniques, identifying the key industrial challenges and the main features of design and modelling processes.
This book provides an in-depth introduction to knowledge risk management (KRM) as well as methods, tools and cases to address knowledge risk management issues in both the public and private sector.
This book is intended for specialists in systems engineering interested in new, general techniques and for students and practitioners interested in using these techniques for solving specific practical problems.
This book describes a set of SystemC-based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration.
This book highlights cutting-edge research in the field of network science, offering scientists, researchers, students, and practitioners a unique update on the latest advances in theory and a multitude of applications.
This book presents the proceedings of the International Conference on Computing Networks, Big Data and IoT [ICCBI 2019], held on December 19-20, 2019 at the Vaigai College of Engineering, Madurai, India.
This book closely examines the concept and theory of 'future' from a multidisciplinary perspective, focusing on the practice of forecasting, especially in its interaction with complexity.
Motivated by recent increased activity of research on time scales, the book provides a systematic approach to the study of the qualitative theory of boundedness, periodicity and stability of Volterra integro-dynamic equations on time scales.
This textbook for core courses in Electronic Circuit Design teaches students the design and application of a broad range of analog electronic circuits in a comprehensive and clear manner.
This book showcases the state of the art in the field of sensors and microsystems, revealing the impressive potential of novel methodologies and technologies.
We are living at the dawn of what has been termed 'the fourth paradigm of science,' a scientific revolution that is marked by both the emergence of big data science and analytics, and by the increasing adoption of the underlying technologies in scientific and scholarly research practices.
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 provides a brief, self-contained introduction to Carleman estimates for three typical second order partial differential equations, namely elliptic, parabolic, and hyperbolic equations, and their typical applications in control, unique continuation, and inverse problems.
This book constitutes the refereed proceedings of the 20th International Conference on Cryptology in India, INDOCRYPT 2019, held in Hyderabad, India, in December 2019.
This book gathers all papers presented at the third edition of the international conference "e;Complex Systems Design & Management Asia"e; (CSD&M Asia 2018), which was held at the National University of Singapore (NUS) on December 6-7, 2018.
With the intriguing development of technologies in several industries, along with the advent of ubiquitous computational resources, there are now ample opportunities to develop innovative computational technologies in order to solve a wide range of issues concerning uncertainty, imprecision, and vagueness in various real-life problems.
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.
This book focuses on information geometry manifolds of structured data/information and their advanced applications featuring new and fruitful interactions between several branches of science: information science, mathematics and physics.
The third edition of the now standard Dissipative Systems Analysis and Control presents a revised and expanded treatment of dissipative systems theory, constituting a self-contained, advanced introduction for graduate students, researchers and practising engineers.
This book presents the proceedings of the 24th International Conference on Difference Equations and Applications, which was held at the Technical University in Dresden, Germany, in May 2018, under the auspices of the International Society of Difference Equations (ISDE).
This book constitutes the refereed proceedings of the 9thInternational Conference on Cloud Computing, CloudComp 2019, and the 4th International Conference on Smart Grid and Innovative Frontiers in Telecommunications, SmartGIFT 2019, both held in Beijing, China, in December 2019.
This book provides an insight on the importance that Internet of Vehicles (IoV) solutions can have in taking care of vehicular safety through internetworking and automation.
This book constitutes the refereed post-conference proceedings of the IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, held in Linz, Austria, in June 2018.
This two-volume set LNCS 12192 and 12193 constitutes the refereed proceedings of the 12th International Conference on Cross-Cultural Design, CCD 2020, held as part of HCI International 2020 in Copenhagen, Denmark in July 2020.
This book introduces the basic concepts of fuzzy collaborative forecasting and clustering, including its methodology, system architecture, and applications.
The two-volume set of LNCS 11239 and LNCS 11240 constitutes the revised proceedings of the 16th International Conference on Theory of Cryptography, TCC 2018, held in Panaji, India, in November 2018.
This book constitutes the refereed proceedings of the 8th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2018, held in Kanpur, India, in December 2018.
This book constitutes the refereed proceedings of the 17th International Workshop on Digital Forensics and Watermarking, IWDW 2018, held on Jeju Island, Korea, in October 2018.
Neural Approximations for Optimal Control and Decision provides a comprehensive methodology for the approximate solution of functional optimization problems using neural networks and other nonlinear approximators where the use of traditional optimal control tools is prohibited by complicating factors like non-Gaussian noise, strong nonlinearities, large dimension of state and control vectors, etc.
This book presents cutting-edge research on innovative human systems integration and human-machine interaction, with an emphasis on artificial intelligence and automation, as well as computational modeling and simulation.
This book contains all refereed papers accepted during the tenth edition of the conference that took place at the Cite Internationale Universitaire de Paris on December 12-13, 2019.
This book contains revised versions of all the papers presented at the 16th International Conference on Cryptology and Network Security, CANS 2017, held in Hong Kong, China, in November/ December 2017.