Îïèñàíèå: This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to provide solutions that are both efficient and easy to understand and implement.
Îïèñàíèå: Describes recent achievements and classical results of computational complexity theory, including interactive proofs, PCP, derandomization, and quantum computation. It can be used as a reference, for self-study, or as a beginning graduate textbook. More than 300 exercises are included.
Àâòîð: Parmee, Ian C. (advanced Computational Technologies, Exeter, Uk) Íàçâàíèå: Evolutionary and adaptive computing in engineering design ISBN: 1447110617 ISBN-13(EAN): 9781447110613 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 24456.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Prior to the early 1990s the term 'evolutionary computing' (EC) would have meant little to most practising engineers unless they had a particular interest in emerging computing technologies or were part of an organisation with significant in-house research activities. It was around this time that the first tentative utilisation of relatively simple evolutionary algorithms within engineering design began to emerge in the UK The potential was rapidly recognised especially within the aerospace sector with both Rolls Royce and British Aerospace taking a serious interest while in the USA General Electric had already developed a suite of optimisation software which included evolutionary and adaptiv, e search algorithms. Considering that the technologies were already twenty-plus years old at this point the long gestation period is perhaps indicative of the problems associated with their real-world implementation. Engineering application was evident as early as the mid-sixties when the founders of the various techniques achieved some success with computing resources that had difficulty coping with the population-based search characteristics of the evolutionary algorithms. Unlike more conventional, deterministic optimisation procedures, evolutionary algorithms search from a population of possible solutions which evolve over many generations. This largely stochastic process demands serious computing capability especially where objective functions involve complex iterative mathematical procedures
Àâòîð: Elias N. Houstis; John R. Rice; Efstratios Gallopo Íàçâàíèå: Enabling Technologies for Computational Science ISBN: 1461370493 ISBN-13(EAN): 9781461370499 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 13974.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Àâòîð: Kenli Li; Zheng Xiao; Yan Wang; Jiayi Du; Keqin Li Íàçâàíèå: Parallel Computational Fluid Dynamics ISBN: 3642539610 ISBN-13(EAN): 9783642539619 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 12438.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: The papers address issues such as parallel algorithms, developments in software tools and environments, unstructured adaptive mesh applications, industrial applications, atmospheric and oceanic global simulation, interdisciplinary applications and evaluation of computer architectures and software environments.
Îïèñàíèå: This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017.The 11 regular papers presented in this volume were carefully reviewed and selected from 18 submissions.
Îïèñàíèå: This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full papers and 14 short papers presented were carefully reviewed and selected from 87 submissions.
Îïèñàíèå: This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms and applications;
Îïèñàíèå: This text address all current issues in parallel processing, ranging from theory, algorithms, programming and software to implementation, architectures, hardware and applications.
Àâòîð: Power Íàçâàíèå: Engineering Effective Decision Support Technologies ISBN: 1466640022 ISBN-13(EAN): 9781466640023 Èçäàòåëüñòâî: Mare Nostrum (Eurospan) Ðåéòèíã: Öåíà: 28413.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: <em>Engineering Effective Decision Support Technologies: New Models and Applications</em> presents a collection of the latest research in DMSS and applies those theoretical considerations to best practices in the field. This reference includes empirical case studies and an analysis of new models and perspectives in knowledge management, promoting discussion of DMSS strategies among managers, researchers, and students of information science.
Îïèñàíèå: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.
Îïèñàíèå: This book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013.
