The Computer Science is relatively new field which is developing very fast not only because due to the huge interest of scientists and the market request, but also because this science has created possibilities for people of investigation and solved many problems that some time ago seemed to be insolvable.
Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems.
These proceedings from the 2013 symposium on "e;Chaos, complexity and leadership"e; reflect current research results from all branches of Chaos, Complex Systems and their applications in Management.
This book constitutes the revised and extended papers of the Second International Conference on Innovations in Digital Economy, SPBU IDE 2020, held in St.
This book provides a scholarly forum for researchers both in academia and industry from a wide range of application areas of smart cities and smart technologies to share their research findings.
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.
This edited volume highlights the scientific contributions of Volker Mehrmann, a leading expert in the area of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory.
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.
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 is a collection of reflections by thought leaders at first-mover organizations in the exploding field of "e;Data Science for Social Good"e;, meant as the application of knowledge from computer science, complex systems and computational social science to challenges such as humanitarian response, public health, sustainable development.
The three-volume set, LNCS 11692, LNCS 11693, and LNCS 11694, constitutes the refereed proceedings of the 39th Annual International Cryptology Conference, CRYPTO 2019, held in Santa Barbara, CA, USA, in August 2019.
Semantic Models for Multimedia Database Searching and Browsing begins with the introduction of multimedia information applications, the need for the development of the multimedia database management systems (MDBMSs), and the important issues and challenges of multimedia systems.
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 comprises selected peer-reviewed proceedings of the International Conference on Advances in Industrial Automation and Smart Manufacturing (ICAIASM) 2019.
This book constitutes the proceedings of the 1st International Conference on Systems and Information Sciences (ICCIS), held in Manta, Ecuador, from July 27 to 29, 2020, and was jointly organized by Universidad Laica Eloy Alfaro de Manabi "e;ULEAM"e;, in collaboration with GDEON.
This book constitutes the refereed joint proceedings of the Second International Workshop on Graphs in Biomedical Image Analysis, GRAIL 2018 and the First International Workshop on Integrating Medical Imaging and Non-Imaging Modalities, Beyond MIC 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.
Descriptor linear systems theory is an important part in the general field of control systems theory, and has attracted much attention in the last two decades.
This book brings together carefully selected, peer-reviewed works on mathematical biology presented at the BIOMAT International Symposium on Mathematical and Computational Biology, which was held at the Institute of Numerical Mathematics, Russian Academy of Sciences, in October 2017, in Moscow.
This book describes system dynamics with discontinuity caused by system interactions and presents the theory of flow singularity and switchability at the boundary in discontinuous dynamical systems.
This book presents a perspective of network analysis as a tool to find and quantify significant structures in the interaction patterns between different types of entities.
This book discusses online engineering and virtual instrumentation, typical working areas for today's engineers and inseparably connected with areas such as Internet of Things, cyber-physical systems, collaborative networks and grids, cyber cloud technologies, and service architectures, to name just a few.
Nonlinear diffusion equations have held a prominent place in the theory of partial differential equations, both for the challenging and deep math- ematical questions posed by such equations and the important role they play in many areas of science and technology.
Presents basic theory for graduate students and researchers with applications in circuit and proof complexity, streaming algorithms and distributed computing.