Challenging the Chain: Governing the Automated Exchange and Processing of Business Information,
Автор: Malik Ghallab Название: Automated Planning, ISBN: 1558608567 ISBN-13(EAN): 9781558608566 Издательство: Elsevier Science Рейтинг: Цена: 11452.00 р. Наличие на складе: Поставка под заказ.
Описание: Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. This book covers both the theory and practice of automated planning. It is useful for researchers, professionals, and graduate students.
Автор: Bissett Название: Automated Data Analysis Using Excel, Second Edition ISBN: 1482250136 ISBN-13(EAN): 9781482250138 Издательство: Taylor&Francis Рейтинг: Цена: 10411.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This new edition includes some key topics relating to the latest version of MS Office, including use of the ribbon, current Excel file types, Dashboard, and basic Sharepoint integration. It shows how to automate operations, such as curve fitting, sorting, filtering, and analyzing data from a variety of sources.
Автор: Watzenig Название: Automated Driving ISBN: 3319318934 ISBN-13(EAN): 9783319318936 Издательство: Springer Рейтинг: Цена: 30745.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The main topics of this book include advanced control, cognitive data processing, high performance computing, functional safety, and comprehensive validation. These topics are seen as technological bricks to drive forward automated driving.The current state of the art of automated vehicle research, development and innovation is given. The book also addresses industry-driven roadmaps for major new technology advances as well as collaborative European initiatives supporting the evolvement of automated driving. Various examples highlight the state of development of automated driving as well as the way forward.The book will be of interest to academics and researchers within engineering, graduate students, automotive engineers at OEMs and suppliers, ICT and software engineers, managers, and other decision-makers.
Автор: ter Beek Название: Critical Systems: Formal Methods and Automated Verification ISBN: 3319459422 ISBN-13(EAN): 9783319459424 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Автор: Closs Название: Automated Weighing Technology: Process Solutions ISBN: 1606506331 ISBN-13(EAN): 9781606506332 Издательство: McGraw-Hill Рейтинг: Цена: 10982.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reviews the essential challenges in both static and dynamic weighing and then go on to explain how a suite of very popular, highly adopted controllers and sensors from Siemens electronics can be used to make such operations as efficient as possible.
Автор: Martin Giese; Arild Waaler Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 3642027156 ISBN-13(EAN): 9783642027154 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 18th International Conference TABLEAUX 2009 Oslo Norway July 610 2009 Proceedings. .
Автор: Colin Fyfe; Dongsup Kim; Soo-Young Lee; Hujun Yin Название: Intelligent Data Engineering and Automated Learning – IDEAL 2008 ISBN: 3540889051 ISBN-13(EAN): 9783540889052 Издательство: Springer Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: IDEAL 2008 was the ninth IDEAL conference to take place; earlier editions were held in Hong Kong, the UK, Australia and Spain. This was the first time, though hopefully not the last time, that it took place in Daejeon, South Korea, during November 2-5, 2008. As the name suggests, the conference attracts researchers who are involved in either data engineering or learning or, increasingly, both. The former topic involves such aspects as data mining (or intelligent knowledge discovery from databases), infor- tion retrieval systems, data warehousing, speech/image/video processing, and mul- media data analysis. There has been a traditional strand of data engineering at IDEAL conferences which has been based on financial data management such as fraud det- tion, portfolio analysis, prediction and so on. This has more recently been joined by a strand devoted to bioinformatics, particularly neuroinformatics and gene expression analysis. Learning is the other major topic for these conferences and this is addressed by - searchers in artificial neural networks, machine learning, evolutionary algorithms, artificial immune systems, ant algorithms, probabilistic modelling, fuzzy systems and agent modelling. The core of all these algorithms is adaptation.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
