This book constitutes the proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, held in Tokyo, Japan, in September 2018.
This volume brings together recent, original research and survey articles by leading experts in several fields that include singularity theory, algebraic geometry and commutative algebra.
The book offers a comprehensive overview of controllability problems and minimum energy control for broad classes of dynamical systems, including linear, semilinear and nonlinear systems, which are important for modeling systems in automatic control, electrical engineering, mechanics and informatics.
Dieses Kryptographiebuch ist geschrieben für Studierende der Mathematik, Informatik, Physik, Elektrotechnik oder andere Leser mit mathematischer Grundbildung und wurde in vielen Vorlesungen erfolgreich eingesetzt.
This book presents the outcomes of the 2022 4th International Conference on Cyber Security Intelligence and Analytics (CSIA 2022), an international conference dedicated to promoting novel theoretical and applied research advances in the interdisciplinary field of cyber-security, particularly focusing on threat intelligence, analytics, and countering cyber-crime.
This book constitutes selected papers presented at the 5th International Workshop on Software Foundations for Data Interoperability, SFDI 2021, held in Copenhagen, Denmark, in August 2021.
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.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on High Performance Computing in Science and Engineering, HPCSE 2017, held in Karolinka, Czech Republic, in May 2017.
In this book international expert authors provide solutions for modern fundamental problems including the complexity of computing of critical points for set-valued mappings, the behaviour of solutions of ordinary differential equations, partial differential equations and difference equations, or the development of an abstract theory of global attractors for multi-valued impulsive dynamical systems.
This book presents a new approach for the analysis of chaotic behavior in non-linear dynamical systems, in which output can be represented in quaternion parametrization.
The two-volume set LNCS 12794-12795 constitutes the refereed proceedings of the 9th International Conference on Culture and Computing, C&C 2021, which was held as part of HCI International 2021 and took place virtually during July 24-29, 2021.
The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes the refereed proceedings of the 38th Annual International Cryptology Conference, CRYPTO 2018, held in Santa Barbara, CA, USA, in August 2018.
This book surveys new algorithmic approaches and applications to natural and man-made disasters such as oil spills, hurricanes, earthquakes and wildfires.
This book constitutes the thoroughly refereed proceedings of the 18th International Conference on Transport Systems Telematics, TST 2018, held in Krakow, Poland in March 2018.
This book analyses interest group communication strategies in parliamentary political systems, and considers how political uncertainty, which emerges from the political process, shapes interest group communication strategies.
This book proposes neural networks algorithms and advanced machine learning techniques for processing nonlinear dynamic signals such as audio, speech, financial signals, feedback loops, waveform generation, filtering, equalization, signals from arrays of sensors, and perturbations in the automatic control of industrial production processes.
This book introduces and discusses the analysis of interacting many-body complex systems exhibiting spontaneous synchronization from the perspective of nonequilibrium statistical physics.
This book constitutes the proceedings of the 11th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2018, held in Washington, DC, USA, in July 2018.
This book celebrates the 50th anniversary of the Institute of Mathematics, Statistics and Scientific Computing (IMECC) of the University of Campinas, Brazil, by offering reviews of selected research developed at one of the most prestigious mathematics institutes in Latin America.
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Malaga, Spain, in November 2017.
This book contains three well-written research tutorials that inform the graduate reader about the forefront of current research in multi-agent optimization.
This monograph develops a framework for time-optimal control problems, focusing on minimal and maximal time-optimal controls for linear-controlled evolution equations.
This book constitutes the refereed proceedings of the 5th International Conference on HCI in Business, Government and Organizations, HCIBGO 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA.
This book addresses and examines the impacts of applications and services for data management and analysis, such as infrastructure, platforms, software, and business processes, on both academia and industry.
This book deals with a systematic study of a dynamical system approach to investigate the symmetrization and stabilization properties of nonnegative solutions of nonlinear elliptic problems in asymptotically symmetric unbounded domains.
This book presents the proceedings of the Thirteenth International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX), which took place in the Brunow Palace in Poland from 2nd to 6th July 2018.
This book constitutes the refereed proceedings of the 16th International Conference on on Applied Cryptography and Network Security, ACNS 2018, held in Leuven, Belgium, in July 2018.
This book constitutes the refereed proceedings of the 7th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2018, held in Regensburg, Germany, in September 2018.
This book constitutes the proceedings of the 11th International Conference on Security and Cryptography for Networks, SCN 2018, held in Amalfi, Italy, in September 2018.
This book constitutes the refereed proceedings of the 23rd Australasian Conference on Information Security and Privacy, ACISP 2018, held in Wollongong, Australia, in July 2018.
This book constitutes the refereed proceedings of the 14th World Congress on Services, SERVICES 2018, held as part of the Services Conference Federation, SCF 2018, in Seattle, USA, in June 2018.
This book describes a systematic approach to risk assessment for complex socio-technical systems like industrial processes, especially innovative ones.
This book provides an integrated framework for natural and artificial cognition by highlighting the fundamental role played by the cognitive architecture in the dialectics with the surrounding environment and consequently in the definition of a particular meaningful world.
This book provides an overview of recent innovations and achievements in the broad areas of cyber-physical systems (CPS), including architecture, networking, systems, applications, security, and privacy.