Narrow your search

Library

ULiège (45)

KU Leuven (44)

ULB (44)

UCLouvain (29)

UGent (7)

UAntwerpen (2)

UHasselt (2)

IMEC (1)

KBR (1)

VUB (1)


Resource type

book (48)


Language

English (48)


Year
From To Submit

2000 (48)

Listing 1 - 10 of 48 << page
of 5
>>
Sort by
Information theory
Authors: --- --- --- ---
ISBN: 0780353633 0470544902 9780470544907 9780780353633 Year: 2000 Publisher: New York [Piscataqay, New Jersey] IEEE Press IEEE Xplore

Loading...
Export citation

Choose an application

Bookmark

Abstract

"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.

The Computational Complexity of Equivalence and Isomorphism Problems
Author:
ISBN: 3540410325 3540453032 Year: 2000 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Computer performance evaluation : Modelling techniques and tools. 11th International conference, TOOLS 2000, Schaumburg, IL, USA, March 2000. Proceecings
Authors: ---
ISBN: 3540672605 3540464298 Year: 2000 Publisher: New York, NY ; Berlin : Springer-Verlag,

Advances in case-based reasoning : 5th European workshop, EWCBR 2000, Trento, Italy, September 2000. Proceedings
Authors: ---
ISBN: 3540679332 9783540679332 3540445277 Year: 2000 Volume: 1898 Publisher: New York, NY ; Berlin : Springer-Verlag,

Coding theory and cryptography : from enigma and Geheimschreiber to quantum theory
Author:
ISBN: 3540663363 3642596630 Year: 2000 Publisher: Berlin Heidelberg New York Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

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).

Nonlinear physics with maple for scientists and engineers
Authors: ---
ISBN: 081764119X 376434119X 1461270936 1461213223 Year: 2000 Publisher: Boston Birkhäuser

Loading...
Export citation

Choose an application

Bookmark

Abstract

Supplementary material is available on http://extras.springer.com/.

Theory and application of graph transformations : 6th International workshop, TAGT 98, Paterborn, Germany, November 1998. Selected papers
Authors: --- --- ---
ISBN: 3540672036 3540464646 Year: 2000 Publisher: New York, NY ; Berlin : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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

Automata, Languages and Programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings
Authors: --- --- ---
ISSN: 03029743 ISBN: 3540677151 9783540677154 354045022X Year: 2000 Volume: 1853 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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

STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
Authors: --- ---
ISBN: 3540671412 9783540671411 9786610969739 1280969733 3540465413 Year: 2000 Volume: 1770 Publisher: Berlin, Germany ; New York, New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

FST TCS 2000: Foundations of Software Technology and Theoretical Science : 20th Conference, New Delhi, India, December13-15, 2000 Proceedings
Authors: ---
ISSN: 03029743 ISBN: 3540414134 9783540414131 3540444505 Year: 2000 Volume: 1974 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

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
of 5
>>
Sort by