Exploring Critical Approaches of Evolutionary Computation, Muhammad Sarfraz
Автор: 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.
Автор: Bijaya Ketan Panigrahi; Ponnuthurai Nagaratnam Sug Название: Swarm, Evolutionary, and Memetic Computing ISBN: 3319037528 ISBN-13(EAN): 9783319037523 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of the 4th International Conference on Swarm, Evolutionary and Memetic Computing, SEMCCO 2013, held in Chennai, India, in December 2013. They cover cutting-edge research on swarm, evolutionary and memetic computing, neural and fuzzy computing and its application.
Автор: Anca Muscholl Название: Foundations of Software Science and Computation Structures ISBN: 3642548296 ISBN-13(EAN): 9783642548291 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014.
Автор: Iain Phillips; Hafizur Rahaman Название: Reversible Computation ISBN: 3319599356 ISBN-13(EAN): 9783319599359 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. reversible circuit synthesis;
Автор: Jean Krivine; Jean-Bernard Stefani Название: Reversible Computation ISBN: 3319208594 ISBN-13(EAN): 9783319208596 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.
Автор: Bart Jacobs; Christof L?ding Название: Foundations of Software Science and Computation Structures ISBN: 3662496291 ISBN-13(EAN): 9783662496299 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Types.- Comprehensive parametric polymorphism: categorical models and type theory.- Guarded Dependent Type Theory with Coinductive Types.- Dependent Types and Fibred Computational Effects.- Game Semantics for Bounded Polymorphism.- Recursion and Fixed-Points Join Inverse Categories as Models of Reversible Recursion.- A Coalgebraic View of Bar Recursion and Bar Induction.- A New Foundation for Finitary Corecursion.- Fixed-point elimination in the Intuitionistic Propositional Calculus.- Verification and Program Analysis. A Theory of Monitors.- Contextual approximation and higher-order procedures.- A Theory of Slicing for Probabilistic Control Flow Graphs.- Verification of parameterized communicating automata via split-width.- Automata, Logic, Games - Robust Equilibria in Mean-Payoff Games.- Quantifier Alternation for Infinite Words.-Synchronizing automata over nested words.- On Freeze LTL with Ordered Attributes.- Regular transformations of data words through origin information.- Probabilistic and Timed Systems - Trace Refinement in Labelled Markov Decision Processes.- Qualitative Analysis of VASS-Induced MDPs.- Metric Temporal Logic with Counting.- Distributed Synthesis in Continuous Time.- Proof Theory and Lambda Calculus Unary Resolution: Characterizing Ptime.- Focused and Synthetic Nested Sequents.- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of lambda-terms.- Reasoning about call-by-need by means of types.- Algorithms for Infinite Systems Coverability Trees for Petri Nets with Unordered Data.- Shortest paths in one-counter systems.- The Invariance Problem for Matrix Semigroups.- Order-Sorted Rewriting and Congruence Closure.- Monads.- Towards a formal theory of graded monads.- Profinite Monads, Profinite Equations, and Reiterman's Theorem.
Автор: Zeliha Dilsun Kirli Название: Mobile Computation with Functions ISBN: 1402070241 ISBN-13(EAN): 9781402070242 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Functions that represent mobile agents and formal systems for reasoning about functional programs can be exploited to reason about the behavior of agents. This book explores distributed computation with languages which adopt functions as the programming abstraction and support code mobility through the mobility of functions between remote sites.
Описание: This cutting-edge volume presents recent advances in the area of metaheuristic combinatorial optimisation, with a special focus on evolutionary computation methods. Moreover, it addresses local search methods and hybrid approaches.
Описание: Combinatorial optimisation is a ubiquitous discipline whose usefulness spans vast applications domains. This title presents advances in the area of metaheuristic combinatorial optimisation, with a focus on evolutionary computation methods. It addresses local search methods and hybrid approaches.
Автор: Eckart Zitzler; Kalyanmoy Deb; Lothar Thiele; Carl Название: Evolutionary Multi-Criterion Optimization ISBN: 3540417451 ISBN-13(EAN): 9783540417453 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers organized in sections on algorithm improvements, performance assessment and comparison, constraint handling and problem decomposition, uncertainty and noise, hybrid and alternative methods, scheduling, and applications of multi-objective optimization in a variety of fields.
Автор: Bijaya Ketan Panigrahi; Ponnuthurai Nagaratnam Sug Название: Swarm, Evolutionary, and Memetic Computing ISBN: 3319037552 ISBN-13(EAN): 9783319037554 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of the 4th International Conference on Swarm, Evolutionary and Memetic Computing, SEMCCO 2013, held in Chennai, India, in December 2013. They cover cutting-edge research on swarm, evolutionary and memetic computing, neural and fuzzy computing and its application.
Автор: Helmut Schwichtenberg Название: Proof and Computation ISBN: 3642793630 ISBN-13(EAN): 9783642793639 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
