Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Mathematical logic --- 681.3*F13 --- 681.3*G21 --- Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- Machine theory --- Computational complexity --- Decision making --- Automates mathématiques, Théorie des --- Complexité de calcul (Informatique) --- Prise de décision --- 681.3*G21 Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Machine theory - Congresses. --- Computational complexity - Congresses. --- Decision-making - Congresses. --- Mathematics. --- Computer science. --- Logic, Symbolic and mathematical. --- Mathematics, general. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Math

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

cryptografie --- cryptologie --- Computer. Automation --- Computers --- Cryptography --- Ordinateurs --- Cryptographie --- Access control --- Congresses --- Accès --- Contrôle --- Congrès --- 681.3*H2 --- 681.3*D46 --- 681.3*E3 --- 681.3*F13 --- 681.3*F21 --- Database management: security; integrity; protection--See also {?681.5*E5} --- Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- Data encryption: data encryption standard; DES; public key cryptosystems --- Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Numerical algorithms and problems: computation of transforms; computations infinite fields; computations on matrices; computations on polynomials; numer-theoretic computations--See also {681.3*G1}; {681.3*G4}; {681.3*I1} --- 681.3*F21 Numerical algorithms and problems: computation of transforms; computations infinite fields; computations on matrices; computations on polynomials; numer-theoretic computations--See also {681.3*G1}; {681.3*G4}; {681.3*I1} --- 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- 681.3*E3 Data encryption: data encryption standard; DES; public key cryptosystems --- 681.3*D46 Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Accès --- Contrôle --- Congrès --- Computers.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents the proceedings of a workshop on evolutionary models and strategies and another workshop on parallel processing, logic, organization, and technology, both held in Germany in 1989. In the search for new concepts relevant for parallel and distributed processing, the workshop on parallel processing included papers on aspects of space and time, representations of systems, non-Boolean logics, metrics, dynamics and structure, and superposition and uncertainties. The point was stressed that distributed representations of information may share features with quantum physics, such as the superposition principle and the uncertainty relations. Much of the volume contains material on general parallel processing machines, neural networks, and system-theoretic aspects. The material on evolutionary strategies is included because these strategies will yield important and powerful applications for parallel processing machines, and open the wayto new problem classes to be treated by computers.

Parallel processing (Electronic computers) --- -681.3*C1 --- 681.3*F13 --- 681.3*I26 --- Congresses --- Processor architectures (Computer systems organization) --- Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- 681.3*C1 Processor architectures (Computer systems organization) --- 681.3*C1 --- Architecture, Computer. --- Artificial intelligence. --- Microprocessors. --- Mathematical logic. --- Computers. --- Quantum computers. --- Spintronics. --- Computer System Implementation. --- Artificial Intelligence. --- Processor Architectures. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Quantum Information Technology, Spintronics. --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Magnetoelectronics --- Spin electronics --- Microelectronics --- Nanotechnology --- Minicomputers --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Architecture, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

WOPPLOT 86 - Workshop on Parallel Processing: Logic, Organization and Technology - gathered together experts from various fields for a broad overview of current trends in parallel processing. There are contributions from logic (e.g., the connection between time and logic, or non-monotonic reasoning); from organizational structure theory (of great importance for pyramid architecture) and structure representation; from intrinsic parallelism and problem classification; from developments in future technologies (3-D Silicon technology, molecular electronics); and from various applications (pattern storage in adaptive memories, simulation of physical systems). The proceedings show clearly that progress in parallel processing is an interdisciplinary goal; they present a cross section of the state of the art as well as of future trends. Furthermore, some contributions (in particular, those from logic and organization) deserve a broader interest also outside the field of parallel processing.

681.3*B71 --- 681.3*C1 --- Types and design styles: algorithms implemented in hardware; gate arrays; inpput/output circuits; microprocessors and microcomputers; standard cells; VLSI; memory technologies (Integrated circuits) --- Processor architectures (Computer systems organization) --- Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} --- 681.3*C1 Processor architectures (Computer systems organization) --- 681.3*B71 Types and design styles: algorithms implemented in hardware; gate arrays; inpput/output circuits; microprocessors and microcomputers; standard cells; VLSI; memory technologies (Integrated circuits) --- Computer architecture. Operating systems --- 681.3*F13 --- 681.3*I23 --- Computer science. --- Processor Architectures. --- Informatics --- Science --- Parallel processing (Electronic computers)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A New York Times bestseller when it appeared in 1989, Roger Penrose's The Emperor's New Mind was universally hailed as a marvelous survey of modern physics as well as a brilliant reflection on the human mind, offering a new perspective on the scientific landscape and a visionary glimpse of the possible future of science. Now, in Shadows of the Mind, Penrose offers another exhilarating look at modern science as he mounts an even more powerful attack on artificial intelligence. But perhaps more important, in this volume he points the way to a new science, one that may eventually explain the physical basis of the human mind. Penrose contends that some aspects of the human mind lie beyond computation. This is not a religious argument (that the mind is something other than physical) nor is it based on the brain's vast complexity (the weather is immensely complex, says Penrose, but it is still a computable thing, at least in theory). Instead, he provides powerful arguments to support his conclusion that there is something in the conscious activity of the brain that transcends computation--and will find no explanation in terms of present-day science. To illuminate what he believes this "something" might be, and to suggest where a new physics must proceed so that we may understand it, Penrose cuts a wide swathe through modern science, providing penetrating looks at everything from Turing computability and Godel's incompleteness, via Schrodinger's Cat and the Elitzur-Vaidman bomb-testing problem, to detailed microbiology. Of particular interest is Penrose's extensive examination of quantum mechanics, which introduces some new ideas that differ markedly from those advanced in The Emperor's New Mind, especially concerning the mysterious interface where classical and quantum physics meet. But perhaps the most interesting wrinkle in Shadows of the Mind is Penrose's excursion into microbiology, where he examines cytoskeletons and microtubules, minute substructures lying de

Artificial intelligence --- Thought and thinking --- Gödel's theorem --- Quantum theory --- Physics --- Philosophy --- Gödel [Theorema van ] --- Gödel [Théorème de ] --- Gödel, Théorème de --- Godel's theorem --- Gödel's incompleteness theorem --- Undecidable theories --- Incompleteness theorems --- Decidability (Mathematical logic) --- Gödel's theorem. --- Gödel's theorem --- Gödel, Théorème de --- 510.21 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- Mind --- Thinking --- Thoughts --- Educational psychology --- Psychology --- Intellect --- Logic --- Perception --- Psycholinguistics --- Self --- 510.21 General philosophical considerations. Critical aspects. Logical antinomies --- General philosophical considerations. Critical aspects. Logical antinomies --- Quantum dynamics --- Quantum mechanics --- Quantum physics --- Mechanics --- Thermodynamics --- Arithmetic --- Completeness theorem --- Logic, Symbolic and mathematical --- Number theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Foundations --- Cognitive psychology --- Artificial intelligence. --- Intelligence artificielle --- Physique --- Théorie quantique --- Pensée --- Philosophie --- Quantum theory. --- Thought and thinking. --- Philosophy. --- Gèodel's theorem. --- Consciousness --- Conscience --- Pensée --- Théorie quantique --- Conscience. --- Intelligence artificielle. --- Pensée. --- Gödel, Théorème de. --- Théorie quantique. --- Philosophie. --- Physics - Philosophy --- Pensée. --- Gödel, Théorème de.