Kategoria BISAC: Computers >> Computer Science

Systematically teaches key paradigmic algorithm design methods

Provides a deep insight into randomization

Simulating Fuzzy Systems demonstrates how many systems naturally become fuzzy systems and shows how regular (crisp) simulation can be used to estimate the alpha-cuts of the fuzzy numbers used to analyze the behavior of the fuzzy system. This monograph presents a concise introduction to fuzzy sets, fuzzy logic, fuzzy estimation, fuzzy probabilities, fuzzy systems theory, and fuzzy computation. It also presents a wide selection of simulation applications ranging from emergency rooms to machine shops to project scheduling, showing the varieties of fuzzy systems.

This textbook presents mathematical models in bioinformatics and describes biological problems that inspire the computer science tools used to manage the enormous data sets involved. The first part of the book covers mathematical and computational methods, with practical applications presented in the second part. The mathematical presentation avoids unnecessary formalism, while remaining clear and precise. The book closes with a thorough bibliography, reaching from classic research results to very recent findings. This volume is suited for a senior undergraduate or graduate course on...

Evolutionary algorithms (EAs) is now a mature problem-solving family of heuristics that has found its way into many important real-life problems and into leading-edge scientific research. Spatially structured EAs have different properties than standard, mixing EAs. By virtue of the structured disposition of the population members they bring about new dynamical features that can be harnessed to solve difficult problems faster and more efficiently. This book describes the state of the art in spatially structured EAs by using graph concepts as a unifying theme. The models, their analysis, and...

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Selected Areas in Cryptography, SAC 2004, held in Waterloo, Canada in August 2004.

The 24 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on stream cipher analysis, side channel analysis, block cipher design, efficient implementations, secret key cryptography, cryptanalysis, and cryptographic protocols.

In today's unsafe and increasingly wired world cryptology plays a vital role in protecting communication channels, databases, and software from unwanted intruders. This revised and extended third edition of the classic reference work on cryptology now contains many new technical and biographical details. The first part treats secret codes and their uses - cryptography. The second part deals with the process of covertly decrypting a secret code - cryptanalysis, where particular advice on assessing methods is given. The book presupposes only elementary mathematical knowledge. Spiced with a...

Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and functioning of living cells and from their interactions in tissues or higher-order biological structures. The models considered, called membrane systems (P systems), are parallel, distributed computing models, processing multisets of symbols in cell-like compartmental architectures. In many applications membrane systems have considerable advantages - among these are their inherently discrete nature, parallelism, transparency, scalability and nondeterminism.

In...

This book constitutes the thoroughly refereed postproceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2004, held in Paris, France in May 2004.

The 16 revised full papers and 7 revised short papers presented together with an invited paper went through two rounds of reviewing, selection and revision. The papers present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of...