Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I, Dillig Isil, Tasiran Serdar
Автор: Zhidong Deng Название: Proceedings of 2019 Chinese Intelligent Automation Conference ISBN: 9813290498 ISBN-13(EAN): 9789813290495 Издательство: Springer Рейтинг: Цена: 279500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings present selected research papers from the CIAC2019, held in Jiangsu, China on September 20-22, 2019. It covers a wide range of topics including intelligent control, robotics, artificial intelligence, pattern recognition, unmanned systems, IoT and machine learning.
Автор: Sun Xingming, Pan Zhaoqing, Bertino Elisa Название: Artificial Intelligence and Security: 5th International Conference, Icais 2019, New York, Ny, Usa, July 26-28, 2019, Proceedings, Part III ISBN: 3030242706 ISBN-13(EAN): 9783030242701 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 4-volume set LNCS 11632 until LNCS 11635 constitutes the refereed proceedings of the 5th International Conference on Artificial Intelligence and Security, ICAIS 2019, which was held in New York, USA, in July 2019. The conference was formerly called "International Conference on Cloud Computing and Security" with the acronym ICCCS.
The total of 230 full papers presented in this 4-volume proceedings was carefully reviewed and selected from 1529 submissions. The papers were organized in topical sections as follows:
Part I: cloud computing; Part II: artificial intelligence; big data; and cloud computing and security; Part III: cloud computing and security; information hiding; IoT security; multimedia forensics; and encryption and cybersecurity; Part IV: encryption and cybersecurity.
Автор: Sun Xingming, Pan Zhaoqing, Bertino Elisa Название: Artificial Intelligence and Security: 5th International Conference, Icais 2019, New York, Ny, Usa, July 26-28, 2019, Proceedings, Part II ISBN: 3030242641 ISBN-13(EAN): 9783030242640 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 4-volume set LNCS 11632 until LNCS 11635 constitutes the refereed proceedings of the 5th International Conference on Artificial Intelligence and Security, ICAIS 2019, which was held in New York, USA, in July 2019. The conference was formerly called "International Conference on Cloud Computing and Security" with the acronym ICCCS.
The total of 230 full papers presented in this 4-volume proceedings was carefully reviewed and selected from 1529 submissions. The papers were organized in topical sections as follows:
Part I: cloud computing; Part II: artificial intelligence; big data; and cloud computing and security; Part III: cloud computing and security; information hiding; IoT security; multimedia forensics; and encryption and cybersecurity; Part IV: encryption and cybersecurity.
The two volumes LNAI 11649 and 11650 constitute the refereed proceedings of the 20th Annual Conference "Towards Autonomous Robotics", TAROS 2019, held in London, UK, in July 2019.
The 87 full papers and 12 short papers presented were carefully reviewed and selected from 101 submissions. The papers present and discuss significant findings and advances in autonomous robotics research and applications. They are organized in the following topical sections: robotic grippers and manipulation; soft robotics, sensing and mobile robots; robotic learning, mapping and planning; human-robot interaction; and robotic systems and applications.
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Kosice, Slovakia, in July 2019.
The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.
Автор: Kohei Arai; Rahul Bhatia; Supriya Kapoor Название: Proceedings of the Future Technologies Conference (FTC) 2019 ISBN: 3030325229 ISBN-13(EAN): 9783030325220 Издательство: Springer Рейтинг: Цена: 326090.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This book presents state-of-the-art intelligent methods and techniques for solving real-world problemsand offers a vision of future research. Featuring 143 papers from the 4th Future Technologies Conference, held in San Francisco, USA, in 2019, it covers a wide range of important topics, including, but not limited to, computing, electronics, artificial intelligence, robotics, security and communications and their applications to the real world.As such, it is an interesting, exciting and inspiring read.
Автор: Yingmin Jia; Junping Du; Weicun Zhang Название: Proceedings of 2019 Chinese Intelligent Systems Conference ISBN: 981329681X ISBN-13(EAN): 9789813296817 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Multi-Agent Systems.- Intelligent Robots.- Complex Networks.- Complex System Theory and Swarm Behavior.- Event-Triggered Control and Data-Driven Control.- Humanized Systems and Artificial Life.- Robust and Adaptive Control.- Big Data and Brain Science.- Process Control.- Nonlinear Systems and Control.- Intelligent Sensor and Detection Technology.- Embedded Systems and Wireless Sensor Networks.- Intelligent Transportation and Control.- Deep Learning and Learning Control.- Information Acquisition and Fusion.- Guidance, Navigation and Control of Flight Vehicles.- Hybrid Systems and Discrete Event Systems.- Intelligent Manufacturing and Cloud Manufacturing.- Control of Hypersonic Aircrafts.- Electric Power Systems and Automation.- Fuzzy Systems and Neural Networks.- Intelligent Transmitter Systems in Aerospace.
Автор: Andrey A. Radionov; Oleg A. Kravchenko; Victor I. Название: Proceedings of the 5th International Conference on Industrial Engineering (ICIE 2019) ISBN: 3030220400 ISBN-13(EAN): 9783030220402 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Поставка под заказ. Описание: This book highlights recent findings in industrial, manufacturing and mechanical engineering, and provides an overview of the state of the art in these fields, mainly in Russia and Eastern Europe. A broad range of topics and issues in modern engineering are discussed, including the dynamics of machines and working processes, friction, wear and lubrication in machines, surface transport and technological machines, manufacturing engineering of industrial facilities, materials engineering, metallurgy, control systems and their industrial applications, industrial mechatronics, automation and robotics. The book gathers selected papers presented at the 5th International Conference on Industrial Engineering (ICIE), held in Sochi, Russia in March 2019. The authors are experts in various fields of engineering, and all papers have been carefully reviewed. Given its scope, the book will be of interest to a wide readership, including mechanical and production engineers, lecturers in engineering disciplines, and engineering graduates.
Автор: Aboul Ella Hassanien; Khaled Shaalan; Mohamed Fahm Название: Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2019 ISBN: 3030311287 ISBN-13(EAN): 9783030311285 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents the proceedings of the 5th International Conference on Advanced Intelligent Systems and Informatics 2019 (AISI2019), which took place in Cairo, Egypt, from October 26 to 28, 2019. This international and interdisciplinary conference, which highlighted essential research and developments in the fields of informatics and intelligent systems, was organized by the Scientific Research Group in Egypt (SRGE). The book is divided into several sections, covering the following topics: machine learning and applications, swarm optimization and applications, robotic and control systems, sentiment analysis, e-learning and social media education, machine and deep learning algorithms, recognition and image processing, intelligent systems and applications, mobile computing and networking, cyber-physical systems and security, smart grids and renewable energy, and micro-grid and power systems.
Автор: Jerzy ?wi?tek; Leszek Borzemski; Zofia Wilimowska Название: Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology – ISAT 2019 ISBN: 3030306038 ISBN-13(EAN): 9783030306038 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This three-volume book highlights significant advances in the development of new information systems technologies and architectures. Further, it helps readers solve specific research and analytical problems and glean useful knowledge and business value from data. Each chapter provides an analysis of a specific technical problem, followed by a numerical analysis, simulation, and implementation of the solution to the real-world problem.Managing an organization, especially in today’s rapidly changing environment, is a highly complex process. Increased competition in the marketplace, especially as a result of the massive and successful entry of foreign businesses into domestic markets, changes in consumer behaviour, and broader access to new technologies and information, calls for organisational restructuring and the introduction and modification of management methods using the latest scientific advances. This situation has prompted various decision-making bodies to introduce computer modelling of organization management systems.This book presents the peer-reviewed proceedings of the 40th Anniversary International Conference “Information Systems Architecture and Technology” (ISAT), held on September 15–17, 2019, in Wroc?aw, Poland. The conference was organised by the Computer Science Department, Faculty of Computer Science and Management, Wroclaw University of Sciences and Technology, and University of Applied Sciences in Nysa, Poland. The papers have been grouped into three major sections:Part I—discusses topics including, but not limited to, artificial intelligence methods, knowledge discovery and data mining, big data, knowledge-based management, Internet of Things, cloud computing and high-performance computing, distributed computer systems, content delivery networks, and service-oriented computing.Part II—addresses various topics, such as system modelling for control, recognition and decision support, mathematical modelling in computer system design, service-oriented systems, and cloud computing, and complex process modelling.Part III—focuses on a number of themes, like knowledge-based management, modelling of financial and investment decisions, modelling of managerial decisions, production systems management, and maintenance, risk management, small business management, and theories and models of innovation.
Автор: Sukhan Lee; Roslan Ismail; Hyunseung Choo Название: Proceedings of the 13th International Conference on Ubiquitous Information Management and Communication (IMCOM) 2019 ISBN: 3030190625 ISBN-13(EAN): 9783030190620 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Over past few years, technologies have experienced boundaries getting blurred and concept of convergence to gain prominence. Harnessing from this, two main tracks for information processing management and communication are held, covering both research and application works of information management, intelligent information processing, interaction management, networking/ telecommunications, and social interaction. This book creates unique opportunity for research convergence among truly diverse technology domains of computer science. Leveraging from this diversity of topics, researchers get to generate novel research ideas by seeking application of their research in a different technology domain. This volume represents the collection of papers presented at the 13th International Conference on Ubiquitous Information Management and Communication (IMCOM 2019), held on 4-6 January 2019 in Phuket, Thailand. Out of 228 papers submitted from all around the world 88 papers were accepted for presentations. The 88 contributions to this volume are organized into 5 chapters: Chapter 1. Network Evolution, Chapter 2. Intelligent and Secure Network, Chapter 3. Image and Video Processing, Chapter 4. Information Technology and Society, and Chapter 5. Data Mining and Learning. Our editors wish readers to find this volume informative and enjoyable.
Автор: Malyshkin Victor Название: Parallel Computing Technologies: 15th International Conference, Pact 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings ISBN: 3030256359 ISBN-13(EAN): 9783030256357 Издательство: Springer Рейтинг: Цена: 68930.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 15th International Conference on Parallel Computing Technologies, PaCT 2019, held in Almaty, Kazakhstan, in August 2019. The 24 full papers and 10 short papers presented were carefully reviewed and selected from 72 submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
