Theory and Applications of Models of Computation, T.V. Gopal; Gerhard J?ger; Silvia Steila
Автор: Giovanni Squillero; Paolo Burelli Название: Applications of Evolutionary Computation ISBN: 3319311522 ISBN-13(EAN): 9783319311524 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: EvoNUM: Local Fitness Meta-Models with Nearest Neighbor Regression.- Validating the Grid Diversity Operator: an Infusion Technique for Diversity Maintenance in Population-Based Optimisation Algorithms.- Benchmarking Languages for Evolutionary Algorithms.- On the Closest Averaged Hausdorff Archive for a Circularly Convex Pareto Front.- Evolving Smoothing Kernels for Global Optimization.- EvoPAR: Implementing Parallel Differential Evolution on Spark.- ECJ+HADOOP: An Easy Way to Deploy Massive Runs of Evolutionary Algorithm.- Addressing High Dimensional Multi-Objective Optimization Problems by Coevolutionary Islands with Overlapping Search Spaces.- Compilable Phenotypes: Accelerating the Evaluation of Individuals in Grammatical Evolution.- GPU Accelerated Molecular Docking Simulation with Genetic Algorithms.- EvoRISK: Challenging Anti-virus Through Evolutionary Malware Obfuscation.- EvoROBOT: Leveraging Online Racing and Population Cloning in Evolutionary Multirobot Systems.- Multi-Agent Behavior-Based Policy Transfer.- On-line Evolution of Foraging Behaviour in a Population of Real Robots.- Hybrid Control for a Real Swarm Robotics System in an Intruder Detection Task.- EvoSTOC: Direct Memory Schemes for Population-Based Incremental Learning in Cyclically Changing Environments.- Simheuristics for the Multiobjective Nondeterministic Firefighter Problem in a Time-Constrained Setting.- Benchmarking Dynamic Three-Dimensional Bin Packing Problems Using Discrete-Event Simulation.- Genetic Programming Algorithms for Dynamic Environments.- A Memory-Based NSGA-II Algorithm for Dynamic Multi-Objective Optimization Problems.- Hybrid Dynamic Resampling Algorithms for Evolutionary Multi-objective Optimization of Invariant-Noise Problems.
Автор: Giuliana Franceschinis; Karsten Wolf Название: Applications and Theory of Petri Nets ISBN: 3642024238 ISBN-13(EAN): 9783642024238 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009.
Автор: Jan Kratochvil; Angsheng Li; Jiri Fiala; Petr Kolm Название: Theory and Applications of Models of Computation ISBN: 3642135617 ISBN-13(EAN): 9783642135613 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. This book presents the papers addressing the three main themes of the conference which were computability, complexity, and algorithms.
Автор: T-H. Hubert Chan; Lap Chi Lau; Luca Trevisan Название: Theory and Applications of Models of Computation ISBN: 3642382355 ISBN-13(EAN): 9783642382352 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computability.- complexity.- algorithms.- present current research.
Автор: Rahul Jain; Sanjay Jain; Frank Stephan Название: Theory and Applications of Models of Computation ISBN: 3319171410 ISBN-13(EAN): 9783319171418 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; graphy theory;
Автор: Jianer Chen; Barry S. Cooper Название: Theory and Applications of Models of Computation ISBN: 364202016X ISBN-13(EAN): 9783642020162 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. This work addresses the three main themes of the conference: Computability, Complexity, and Algorithms.
Автор: Manindra Agrawal; Ding-Zhu Du; Zhenhua Duan; Angsh Название: Theory and Applications of Models of Computation ISBN: 3540792279 ISBN-13(EAN): 9783540792277 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 5th International Conference TAMC 2008 Xian China April 25-29 2008 Proceedings.
Автор: Cecilia Di Chio; Stefano Cagnoni; Carlos Cotta; Ma Название: Applications of Evolutionary Computation ISBN: 3642122388 ISBN-13(EAN): 9783642122385 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since 1998, EvoApplications - formerly known as EvoWorkshops- has provided a unique opportunity for EC researchers to meet and discuss application aspects of EC and has been an important link between EC research and its application in a variety of domains.
Автор: Marijn Heule; Sean Weaver Название: Theory and Applications of Satisfiability Testing -- SAT 2015 ISBN: 3319243179 ISBN-13(EAN): 9783319243177 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation.The paper 'Constructing SAT Filters with a Quantum Annealer' is published open access under a CC BY-NC 2.5 license at link.springer.com.
Автор: Wai-Ki Ching; Michael K. Ng Название: Markov Chains: Models, Algorithms and Applications ISBN: 1441939865 ISBN-13(EAN): 9781441939869 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
MARKOV CHAINS: Models, Algorithms and Applications outlines recent developments of Markov chain models for modeling queueing sequences, Internet, re-manufacturing systems, reverse logistics, inventory systems, bio-informatics, DNA sequences, genetic networks, data mining, and many other practical systems.
The book consists of eight chapters. Chapter 1 is a brief introduction to the classical theory on both discrete and continuous time Markov chains. The relationship between Markov chains of finite states and matrix theory is also discussed. Chapter 2 discusses the applications of continuous time Markov chains to model queueing systems and discrete time Markov chains for computing. Chapter 3 studies re-manufacturing systems and presents Markovian models for reverse manufacturing applications. In Chapter 4, Hidden Markov models are applied to classify customers. Chapter 5 discusses the Markov decision process for customer lifetime values. Customer Lifetime Values (CLV) is an important concept and quantity in marketing management. Chapter 6 covers higher-order Markov chain models. Multivariate Markov models are discussed in Chapter 7. It presents a class of multivariate Markov chain models with a lower order of model parameters. Chapter 8 studies higher-order hidden Markov models. It proposes a class of higher-order hidden Markov models with an efficient algorithm for solving the model parameters.
This book is aimed at students, professionals, practitioners, and researchers in applied mathematics, scientific computing, and operational research, who are interested in the formulation and computation of queueing and manufacturing systems.
Автор: M.F. Thorpe; P.M. Duxbury Название: Rigidity Theory and Applications ISBN: 0306461153 ISBN-13(EAN): 9780306461156 Издательство: Springer Рейтинг: Цена: 34799.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Although rigidity has been studied since the time of Lagrange (1788) and Maxwell (1864), it is only in the last twenty-five years that it has begun to find applications in the basic sciences. This title brings together researchers studying the underlying theory and explores the areas of science where applications of these ideas are implemented.
Автор: Carlos Martin-Vide; Friedrich Otto; Henning Fernau Название: Language and Automata Theory and Applications ISBN: 3540882812 ISBN-13(EAN): 9783540882817 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. This book presents 40 revised papers that are reviewed and selected from 134 submissions and deal with the various issues related to automata theory and formal languages.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
