Informatik (15 755 Artikel)

Despite decades of work in evolutionary algorithms, there remains a lot of uncertainty as to when it is beneficial or detrimental to use recombination or mutation. This book provides a characteriza...

Calendar units, such as months and days, clock units, such as hours and seconds, and specialized units, such as business days and academic years, play a major role in a wide range of information sy...

This book is concerned with relativistic quantum field theory, especially QED, its most successful example. It is set in the no-man's land between the math ematically rigorous but numerically barre...

Evolutionary Algorithms, in particular Evolution Strategies, Genetic Algorithms, or Evolutionary Programming, have found wide acceptance as robust optimization algorithms in the last ten years. Com...

During the first week of September 1999, the Second EvoNet Summer School on Theoretical Aspects of Evolutionary Computing was held at the Middelheim cam pus of the University of Antwerp, Belgium. O...

This book developed out of a series of publications in the area of image processing with massively parallel algorithms. The topic of image processing is a particularly promising area for the use of...

This textbook was developed at the University of Rochester in courses given to graduate students and advanced undergraduates. Researchers also will find this book a valuable source of reference due...

Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskabl...

The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete informati...

In 1992 it seemed very difficult to answer the question whether it would be possible to develop a portable system for the automatic recognition and translation of spon taneous speech. Previous rese...

Nowadays there is an increasing emphasis on all aspects of adaptively gener ating a grid that evolves with the solution of a PDE. Another challenge is to develop efficient higher-order one-step int...

This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into th...

"As projects get more complicated, managers stop learning from their - perience. It is important to understand how that happens and how to change it.... Fallible estimates: In software development,...

Developing software for current and especially for future architectures will require knowledge about parallel programming techniques of applications and library p- grammers. Multi-core processors a...

General Outlook and Possibilities.- Literature-Based Discovery? The Very Idea.- The Place of Literature-Based Discovery in Contemporary Scientific Practice.- The Tip of the Iceberg: The Quest for I...