Kategoria BISAC: Computers >> Computer Science

"The Brain- From Fuzzy Arithmetic to Quantum Computing" presents an original and astounding new understanding of the brain by taking into account novel achievements in Fuzziness and Quantum Information Theory. Bringing together Neuroscience, Soft Computing, Quantum Theory, and recent developments in mathematics the actual knowledge about the brain functioning is formalized into a coherent theoretical framework. This monograph develops new and powerful neural models providing formal descriptions of biochemical transactions in the brain to guide neuroscience experiments and to better...

This book constitutes the thoroughly refereed postproceedings of the 10th Annual International Workshop on Selected Areas in Cryptography, SAC 2003, held in Ottawa, Canada, in August 2003.

The 25 revised full papers presented were carefully selected from 85 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on elliptic and hyperelliptic curves, side channel attacks, security protocols and applications, cryptanalysis, cryptographic primitives, stream ciphers, and efficient implementations.

Building the E-Service Society is a state-of-the-art book which deals with innovative trends in communication systems, information processing, and security and trust in electronic commerce, electronic business, and electronic government. It comprises the proceedings of I3E2004, the Fourth International Conference on E-Commerce, E-Business, and E-Government, which was held in August 2004 as a co-located conference of the 18^th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically configured systems) has made it possible to exploit interaction in novel ways. To harness the flexibility and power of these rapidly evolving,...

Autonomy Oriented Computing is a comprehensive reference for scientists, engineers, and other professionals concerned with this promising development in computer science. It can also be used as a text in graduate/undergraduate programs in a broad range of computer-related disciplines, including Robotics and Automation, Amorphous Computing, Image Processing, Programming Paradigms, Computational Biology, etc.

Part One describes the basic concepts and characteristics of an AOC system and enumerates the critical design and engineering issues faced in AOC system...

By now, most people have become familiar with the basic functionality and interfaces of computers. However, developing new or modified applications that effectively support users' goals still requires considerable expertise in programming that cannot be expected from most people. Thus, one fundamental challenge for the coming years is to develop environments that allow users who do not have background in programming to develop or modify their own applications, with the ultimate aim of empowering people to flexibly employ advanced information and communication technologies.

The...

The impressive growth in Information Technology (IT) is opening new challenging frontiers for computational electromagnetics (EM). Indeed, parallel and distributed computing play a relevant role in the solution of large or complex EM numerical problems. They also represent the ideal starting point to approach the world of grid computing and service-oriented architectures, probably the most attractive and promising area of IT research in the next future.

Advances in Information Technologies for Electromagnetics offers a broad panorama on recently achieved and...

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. In 1957, Allen Newell and Herb Simon introduced the Logic Theory Machine to prove propositional theorems from Whitehead and Russel's "Principia...