Constructive Methods in Computing Science, F.L. Bauer; Manfred Broy; M. Broy; E.W. Dijkstra;
Автор: Leonardo Franco; Jos? M. Jerez Название: Constructive Neural Networks ISBN: 3642045111 ISBN-13(EAN): 9783642045110 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constructive neural networks and other incremental learning algorithms are discussed in this volume as alternatives to methods for assessing adequate architectures. A valuable overview of the field is presented, in addition to useful applications.
Автор: Leonardo Franco; Jos? M. Jerez Название: Constructive Neural Networks ISBN: 3642261086 ISBN-13(EAN): 9783642261084 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constructive neural networks and other incremental learning algorithms are discussed in this volume as alternatives to methods for assessing adequate architectures. A valuable overview of the field is presented, in addition to useful applications.
Автор: Nicolas Clerbout; Shahid Rahman Название: Linking Game-Theoretical Approaches with Constructive Type Theory ISBN: 3319190628 ISBN-13(EAN): 9783319190624 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.
Автор: T.M. Welsh; Thomas M. Duffy; Joost Lowyck; David H Название: Designing Environments for Constructive Learning ISBN: 3642780717 ISBN-13(EAN): 9783642780714 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Research Workshop on The Design of Constructivist Learning Environments: Implications for Instructional Design and the Use of Technology, held at the Catholic University Leuven, Belgium, May 14-18, 1991
Описание: Software development and information systems design have a unique relationship, but are often discussed and studied independently. However, meticulous software development is vital for the success of an information system.<br><br><em>Software Development Techniques for Constructive Information Systems Design</em> focuses the aspects of information systems and software development as a merging process. This reference source pays special attention to the emerging research, trends, and experiences in this area which is bound to enhance the reader’s understanding of the growing and ever-adapting field. Academics, researchers, students, and working professionals in this field will benefit from this publication’s unique perspective.
Описание: This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems.
Автор: D.E. Grierson; P. Hajela Название: Emergent Computing Methods in Engineering Design ISBN: 3642082394 ISBN-13(EAN): 9783642082399 Издательство: Springer Рейтинг: Цена: 34799.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the text of papers presented at the NATO Advanced Research Workshop on Emergent Computing Methods in Engineering Design, held in Nafplio, Greece, August 25-27, 1994. The workshop convened together some thirty or so researchers from Canada, France, Germany, Greece, Israel, Taiwan, The Netherlands, United Kingdom and the United States of America, to address issues related to the application of such emergent computing methods as genetic algorithms, neural networks and simulated annealing in problems of engineering design. The volume is essentially organized into three parts, with each part having some theoretical papers and other papers of a more practical nature. The frrst part, which comprises the largest number of papers, deals with genetic algorithms and evolutionary computing and presents subject matter ranging from proposed improvements to the computing methodology to specific applications in engineering design. The second part deals with neural networks and considers such topics as their application as approximation tools in design, their adaptation in control system design and theoretical issues of interpretation. The third part of the volume presents a collection of papers that examine such diverse topics as the combined use of genetic algorithms and neural networks, the application of simulated annealing techniques, problem decomposition techniques and the computer recognition and interpretation of emerging objects in engineering design.
Автор: D.E. Grierson; P. Hajela Название: Emergent Computing Methods in Engineering Design ISBN: 3540608737 ISBN-13(EAN): 9783540608738 Издательство: Springer Рейтинг: Цена: 34799.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes papers that show the tremendous potential of emerging computing paradigms such as genetic algorithms, evolutionary computing, and neural networks for solving problems of engineering design.
Описание: This book provides a practical guide to applying soft-computing methods to interpret geophysical data. It discusses the design of neural networks with Matlab for geophysical data, as well as fuzzy logic and neuro-fuzzy concepts and their applications. In addition, it describes genetic algorithms for the automatic and/or intelligent processing and interpretation of geophysical data.
Автор: Narendra Chauhan; Machavaram Kartikeyan; Ankush Mi Название: Soft Computing Methods for Microwave and Millimeter-Wave Design Problems ISBN: 3642437605 ISBN-13(EAN): 9783642437601 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This compendium of soft computing methods reflects the explosion of interest in and opportunities for the design and development of microwave components. It shows how to develop and use soft computing methods for tackling challenging microwave design problems.
Автор: Walter Kr?mer; J?rgen Wolff von Gudenberg Название: Scientific Computing, Validated Numerics, Interval Methods ISBN: 144193376X ISBN-13(EAN): 9781441933768 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru