Theory and Applications of Models of Computation, T-H. Hubert Chan; Lap Chi Lau; Luca Trevisan
Автор: Paola Bonizzoni; Vasco Brattka; Benedikt L?we Название: The Nature of Computation: Logic, Algorithms, Applications ISBN: 3642390528 ISBN-13(EAN): 9783642390524 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013.
Автор: 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.
Автор: 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.
Автор: Giovanni Squillero; Kevin Sim Название: Applications of Evolutionary Computation ISBN: 3319557912 ISBN-13(EAN): 9783319557915 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: EvoSET: Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines.- On the Use of Smelly Examples to Detect Code Smells in JavaScript.- Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka.- Focusing Learning-based Testing away from Known Weaknesses.- Polytypic Genetic Programming.- Evolving Rules for Action Selection in Automated Testing via Genetic Programming - A First Approach.- EvoSTOC: A New Multi-swarm Particle Swarm Optimization for Robust Optimization over Time.- The Static and Stochastic VRP with Time Windows and Both Random Customers and Reveal Times.- Pre-Scheduled Colony Size Variation in Dynamic Environments.- An Online Packing Heuristic for the Three-dimensional Container Loading Problem in Dynamic Environments and the Physical Internet.- Advancing Dynamic Evolutionary Optimization Using In-Memory Database Technology.- Road Traffic Rules Synthesis Using Grammatical Evolution.- Solving Dynamic Graph Coloring Problem Using Dynamic Pool Based Evolutionary Algorithm.- General: Meta-Heuristics for Improved RF Emitter Localization.- Automated Design of Genetic Programming Classification Algorithms Using a Genetic Algorithm.
Автор: Antonio M. Mora; Giovanni Squillero Название: Applications of Evolutionary Computation ISBN: 3319165488 ISBN-13(EAN): 9783319165486 Издательство: Springer Рейтинг: Цена: 13416.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Evolutionary computation, machine learning and data mining in computational biology.- Nature-inspired techniques for telecommunication networks and other parallel and distributed systems.- Evolutionary algorithms and complex systems.- Evolutionary computation in energy applications.- Evolutionary and natural computation in finance and economics.- Bio-inspired algorithms in games.- Evolutionary computation in image analysis, signal processing, and pattern recognition.- Nature-inspired techniques in industrial settings.- Bio-inspired algorithms for continuous parameter optimization.- Parallel implementation of evolutionary algorithms.- Computational intelligence for risk management, security and defence applications.- Evolutionary computation in robotics.- Evolutionary algorithms in stochastic and dynamic environments.
Автор: Giovanni Squillero; Kevin Sim Название: Applications of Evolutionary Computation ISBN: 331955848X ISBN-13(EAN): 9783319558486 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: EvoBAFIN: Minimization of Systemic Risk for Directed Network Using Genetic Algorithm.- Pricing Rainfall Based Futures Using Genetic Programming.- Dynamic Portfolio Optimization in Ultra-High Frequency Environment.- EvoBIO: Integration of Reaction Kinetics Theory and Gene Expression Programming to Infer Reaction Mechanism.- De Novo DNA Assembly with a Genetic Algorithm Finds Accurate Genomes Even with Suboptimal Fitness.- EVE: Cloud-based Annotation of Human Genetic Variants.- Improving the Reproducibility of Genetic Association Results Using Genotype Resampling Methods.- Objective Assessment of Cognitive Impairment in Parkinson's Disease Using Evolutionary Algorithm.- Characterizing the Influence of Rule-based Knowledge Representations in Biological Knowledge Extraction from Transcriptomics Data.- Enhancing Grammatical Evolution through Data Augmentation: Application to Blood Glucose Forecasting.- Genetic Programming Representations for Multi-dimensional Feature Learning in Biomedical Classification.- EvoCOMNET: Meta-heuristically Seeded Genetic Algorithm for Independent Job Scheduling in Grid Computing.- Analysis of Average Communicability in Complex Networks.- Configuring Dynamic Heterogeneous Wireless Communications Networks Using a Customized Genetic Algorithm.- Multi-Objective Evolutionary Algorithms for Influence Maximization in Social Networks.- A fast ILP-based Heuristic for the Robust Design of Body Wireless Sensor Networks.- EvoCOMPLEX: Lamarckian and Lifelong Memetic Search in Agent-based Computing.- Two-phase Strategy Managing Insensitivity in Global Optimization.- Avenues for the Use of Cellular Automata in Image Segmentation.- Local Misfit Approximation in Memetic Solving of Ill-posed Inverse Problems.- The Two Regimes of Neutral Evolution: Localization on Hubs and Delocalized Diffusion.- EvoENERGY: Adaptive Batteries Exploiting On-line Steady-State Evolution Strategy.- Hybrid Multi-Ensemble Scheduling.- EvoGAMES: Driving in TORCS Using Modular Fuzzy Controllers.- Automated Game Balancing in Ms Pacman and StarCraft Using Evolutionary Algorithms.- Evolving Game-specific UCB Alternatives for General Video Game Playing.- Relief Camp Manager: A Serious Game Using the World Health Organization's Relief Camp Guidelines.- Analyisis of Vanilla Rolling Horizon Evolution Parameters in General Video Game Playing.- Darwin's Demons: Does Evolution Improve the Game.- EvoIASP: Evolutionary Art Using the Fly Algorithm.- Bagging and Feature Selection for Classification with Incomplete Data.- Surrogate-model Based Particle Swarm Optimization with Local Search for Feature Selection in Classification.- Feature Selection in High Dimensional Data by a Filter-Based Genetic Algorithm.- Brain Programming and the Random Search in Object Categorization.- Using Particle Swarm Optimization and the Silhouette Metric to Estimate the Number of Clusters, Select Features, and Perform Clustering.- EvoINDUSTRY: Container Vessel Stowage Planning System Using Genetic Algorithm.- The Artificial Immune Ecosystem: a Bio-inspired Meta-algorithm for Boosting Time Series Anomaly Detection with Expert Input.- Empirical Analysis of Optimization Methods for the Real-World Dial-a-Ride Problem.- EvoKNOW: Presenting the ECO: Evolutionary Computation Ontology.- A New Evolutionary Algorithm for Synchronization.- Large Scale Problems in Practice: The Effect of Dimensionality on the Interaction among Variables.- A Framework for Knowledge Integrated Evolutionary Algorithms.- DICE: A New Family of Bivariate Estimation of Distribution Algorithms Based on Dichotomized Multivariate Gaussian Distributions.- EvoNUM: Ranking Programming Languages for Evolutionary Algorithm Operations.- Distance-based Tournament Selection.- Preferences-Based Choice Prediction in Evolutionary Multi-Objective Optimization.- Numerical Optimization of ESA's Messenger Space Mission Benchmark.- EvoPAR: A VNS with Parallel Evaluation of Solutions for the Inverse Lighting P
Автор: 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.
Автор: 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;
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: 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.
Автор: Cecilia Di Chio; Anthony Brabazon; Marc Ebner; Mud Название: Applications of Evolutionary Computation ISBN: 3642122418 ISBN-13(EAN): 9783642122415 Издательство: Springer Рейтинг: Цена: 14673.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.
Автор: T.V. Gopal; Gerhard J?ger; Silvia Steila Название: Theory and Applications of Models of Computation ISBN: 3319559109 ISBN-13(EAN): 9783319559100 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru