Listing 1 - 10 of 48 | << page >> |
Sort by
|
Choose an application
"In 1948 Claude Shannon published the paper that single-handedly started the field of information theory, ""The Mathematical Theory of Communication."" This groundbreaking paper laid the foundation for virtually all aspects of modern-day communications. Now INFORMATION THEORY celebrates the discovery of this dynamic field with a major collection of 25 tutorial articles spanning the last 50 years. With over 3,000 references, this book is an ideal resource for industry researchers, practicing engineers, and graduate students in communications, signal processing, and computing. Compiled by the editors of the IEEE Transactions on Information Theory, these articles have been written by leaders in the field, providing insightful introductions and useful summaries of 50 years of work on the theory and practice of * Data compression * Error correction * Modulation and coding * Detection and estimation * Shannon theory * Signal processing. INFORMATION THEORY comes complete with a CD-ROM that includes the author, subject, and transaction indexes of the IEEE Transactions in Information Theory Digital Library. The CD-ROM also includes a complete listing of, and hyperlinks to, all papers from IEEE Transactions on Information Theory since its inception in 1953." Sponsored by: IEEE Information Theory Society.
Information theory --- Engineering & Applied Sciences --- Computer Science --- Information theory. --- Communication theory --- Théorie de l'information --- Communication --- Cybernetics
Choose an application
A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logic, or circuit theory. The computational power of such a model can be judged by evaluating certain problems with respect to that model. The theory of computations is the study of the inherent difficulty of computational problems, that is, their computational complexity. This monograph analyzes the computational complexity of the satisfiability, equivalence, and almost-equivalence problems with respect to various computational models. In particular, Boolean formulas, circuits, and various kinds of branching programs are considered.
Computational complexity --- Isomorphisms (Mathematics) --- Algebra --- Mathematics --- Physical Sciences & Mathematics --- Data processing --- Data processing. --- Complexity, Computational --- Computer science. --- Computers. --- Computer Science. --- Theory of Computation. --- Computation by Abstract Devices. --- Electronic data processing --- Machine theory --- Categories (Mathematics) --- Group theory --- Morphisms (Mathematics) --- Set theory --- Information theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace
Choose an application
Electronic digital computers --- Computer Science --- Engineering & Applied Sciences --- Evaluation --- Evaluation. --- Computer science. --- Computer system failures. --- Software engineering. --- Computers. --- Computer simulation. --- Computer Science. --- Theory of Computation. --- System Performance and Evaluation. --- Software Engineering. --- Simulation and Modeling. --- Information theory. --- Computer system performance. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Failures
Choose an application
Expert systems (Computer science) --- Case-based reasoning --- Computer science. --- Computers. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Artificial Intelligence (incl. Robotics). --- Case-based learning --- Reasoning --- Information theory. --- Artificial Intelligence. --- 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 --- Communication theory --- Communication --- Cybernetics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Expert systems (Computer science) - Congresses --- Case-based reasoning - Congresses
Choose an application
These are the proceedings of the Conference on Coding Theory, Cryptography, and Number Theory held at the U. S. Naval Academy during October 25-26, 1998. This book concerns elementary and advanced aspects of coding theory and cryptography. The coding theory contributions deal mostly with algebraic coding theory. Some of these papers are expository, whereas others are the result of original research. The emphasis is on geometric Goppa codes (Shokrollahi, Shokranian-Joyner), but there is also a paper on codes arising from combinatorial constructions (Michael). There are both, historical and mathematical papers on cryptography. Several of the contributions on cryptography describe the work done by the British and their allies during World War II to crack the German and Japanese ciphers (Hamer, Hilton, Tutte, Weierud, Urling). Some mathematical aspects of the Enigma rotor machine (Sherman) and more recent research on quantum cryptography (Lomonoco) are described. There are two papers concerned with the RSA cryptosystem and related number-theoretic issues (Wardlaw, Cosgrave).
Coding theory --- Cryptography --- Congresses --- Combinatorics. --- Coding theory. --- Information theory. --- Number theory. --- Data encryption (Computer science). --- Data structures (Computer science). --- Coding and Information Theory. --- Number Theory. --- Cryptology. --- Data Structures and Information Theory. --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Computer security --- Number study --- Numbers, Theory of --- Algebra --- Communication theory --- Communication --- Cybernetics --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Combinatorics --- Mathematical analysis
Choose an application
Supplementary material is available on http://extras.springer.com/.
Mathematical physics --- Nonlinear theories --- Data processing. --- Maple (Computer file). --- Engineering & Applied Sciences --- Applied Physics --- Data processing --- Physics. --- Information theory. --- Computer aided design. --- Theoretical, Mathematical and Computational Physics. --- Physics, general. --- Theory of Computation. --- Numerical and Computational Physics, Simulation. --- Complex Systems. --- Computer-Aided Engineering (CAD, CAE) and Design. --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Communication theory --- Communication --- Cybernetics --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Mathematical physics. --- Computers. --- Statistical physics. --- Dynamical systems. --- Computer-aided engineering. --- Physical mathematics --- Physics --- CAE --- Engineering --- Dynamical systems --- Kinetics --- Mathematics --- Mechanics, Analytic --- Force and energy --- Mechanics --- Statics --- Mathematical statistics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Statistical methods
Choose an application
Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.
Computer science --- Graph grammars --- Algebra --- Mathematics --- Physical Sciences & Mathematics --- Grammars, Graph --- Computer science. --- Computers. --- Mathematical logic. --- Artificial intelligence. --- Discrete mathematics. --- Computer Science. --- Theory of Computation. --- Discrete Mathematics. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Artificial Intelligence (incl. Robotics). --- Mathematics. --- Formal languages --- Graph theory --- Information theory. --- Artificial Intelligence. --- Data processing. --- 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 --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer science—Mathematics. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science.
Computer science --- Machine theory --- Programming languages (Electronic computers) --- Automates mathématiques, Théorie des --- Informatique --- Langages de programmation --- Congresses. --- Mathematics --- Congrès --- Mathématiques --- Computer programming --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer Science. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Mathematics of Computing. --- Mathematics. --- Formal languages --- Automates mathématiques, Théorie des --- Congrès --- Mathématiques --- Information theory. --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Computer science—Mathematics. --- Special purpose computers --- Computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Distributed processing --- Machine theory - Congresses --- Computer programming - Congresses
Choose an application
Computer science --- Informatique --- Congresses. --- Congrès --- Congresses --- Congrès --- Computer science. --- Software engineering. --- Data structures (Computer science). --- Computers. --- Computer graphics. --- Computer Science. --- Data Structures, Cryptology and Information Theory. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Computer Graphics. --- Mathematics of Computing. --- Mathematics. --- Data structures (Computer scienc. --- Information theory. --- Data Structures and Information Theory. --- Informatics --- Science --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Digital techniques --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer science - Congresses
Choose an application
Genie logiciel --- Informatique --- Computer science. --- Programming languages (Electronic computers). --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer science --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Mathematics of Computing. --- Mathematics. --- Computer software. --- Logic design. --- Design, Logic --- Design of logic systems --- Software, Computer --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer systems --- Information theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer science—Mathematics. --- Algorism --- Algebra --- Arithmetic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Calculators --- Cyberspace --- Foundations --- Genie logiciel - Congres --- Informatique - Congres
Listing 1 - 10 of 48 | << page >> |
Sort by
|