Author: Jan van Leeuwen
Publisher: Springer Science & Business Media
ISBN: 9783540584346
Category : Computers
Languages : en
Pages : 536
Book Description
This book brings together recent developments in Alzheimer's disease research with related discoveries in the field of cell biology. The book moves between basic cell biological concepts that form the underpinnings of modern Alzheimer's disease research, and current findings about proteins and cellular processes affected by the disease. Divided into three topics, the book addresses (1) protein trafficking, a problem that has become germane to the study of the amyloid precursor protein; (2) phosphorylation, a problem that underlies studies of the pathological transformation of tau to paired helical filaments; and (3) cell death, a pervasive problem in neurodegeneration.
Algorithms - ESA '94
Algorithm Theory - SWAT 2000
Author: Magnús M. Halldórsson
Publisher: Springer Science & Business Media
ISBN: 3540676902
Category : Computers
Languages : en
Pages : 578
Book Description
This book constitutes the refereed proceedings of the 7th Scandinavian Workshop on Algorithm Theory, SWAT 2000, held in Bergen, Norway, in July 2000. The 43 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from a total of 105 submissions. The papers are organized in sections on data structures, dynamic partitions, graph algorithms, online algorithms, approximation algorithms, matchings, network design, computational geometry, strings and algorithm engineering, external memory algorithms, optimization, and distributed and fault-tolerant computing.
Publisher: Springer Science & Business Media
ISBN: 3540676902
Category : Computers
Languages : en
Pages : 578
Book Description
This book constitutes the refereed proceedings of the 7th Scandinavian Workshop on Algorithm Theory, SWAT 2000, held in Bergen, Norway, in July 2000. The 43 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from a total of 105 submissions. The papers are organized in sections on data structures, dynamic partitions, graph algorithms, online algorithms, approximation algorithms, matchings, network design, computational geometry, strings and algorithm engineering, external memory algorithms, optimization, and distributed and fault-tolerant computing.
Algorithm Theory
Author:
Publisher:
ISBN:
Category : Algorithms
Languages : en
Pages : 592
Book Description
Publisher:
ISBN:
Category : Algorithms
Languages : en
Pages : 592
Book Description
Database Theory - ICDT '95
Author: Georg Gottlob
Publisher: Springer Science & Business Media
ISBN: 9783540589075
Category : Computers
Languages : en
Pages : 472
Book Description
This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995. Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis.
Publisher: Springer Science & Business Media
ISBN: 9783540589075
Category : Computers
Languages : en
Pages : 472
Book Description
This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995. Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis.
Distributed Algorithms
Author: Gerard Tel
Publisher: Springer Science & Business Media
ISBN: 9783540584490
Category : Computers
Languages : en
Pages : 388
Book Description
This volume presents the proceedings of the 8th International Workshop on Distributed Algorithms (WDAG '94), held on the island of Terschelling, The Netherlands in September 1994. Besides the 23 research papers carefully selected by the program committee, the book contains 3 invited papers. The volume covers all relevant aspects of distributed algorithms; the topics discussed include network protocols, distributed control and communication, real-time systems, dynamic algorithms, self-stabilizing algorithms, synchronization, graph algorithms, wait-free algorithms, mechanisms for security, replicating data, and distributed databases.
Publisher: Springer Science & Business Media
ISBN: 9783540584490
Category : Computers
Languages : en
Pages : 388
Book Description
This volume presents the proceedings of the 8th International Workshop on Distributed Algorithms (WDAG '94), held on the island of Terschelling, The Netherlands in September 1994. Besides the 23 research papers carefully selected by the program committee, the book contains 3 invited papers. The volume covers all relevant aspects of distributed algorithms; the topics discussed include network protocols, distributed control and communication, real-time systems, dynamic algorithms, self-stabilizing algorithms, synchronization, graph algorithms, wait-free algorithms, mechanisms for security, replicating data, and distributed databases.
Mathematical Foundations of Computer Science 1994
Author: Igor Privara
Publisher: Springer Science & Business Media
ISBN: 9783540583387
Category : Computers
Languages : en
Pages : 644
Book Description
This volume constitutes the proceedings of the 19th International Symposium on Mathematical Foundations of Theoretical Computer Science, MFCS '94, held in Kosice, Slovakia in August 1994. MFCS '94 brought together specialists in theoretical fields of computer science from various countries in order to stimulate mathematical research in theoretical computer science. Besides 12 papers based on invited talks by renowned experts, the book contains 42 research contributions selected from a total of 112 submissions. All areas of theoretical computer science are presented, some from a particular mathematical point of view.
Publisher: Springer Science & Business Media
ISBN: 9783540583387
Category : Computers
Languages : en
Pages : 644
Book Description
This volume constitutes the proceedings of the 19th International Symposium on Mathematical Foundations of Theoretical Computer Science, MFCS '94, held in Kosice, Slovakia in August 1994. MFCS '94 brought together specialists in theoretical fields of computer science from various countries in order to stimulate mathematical research in theoretical computer science. Besides 12 papers based on invited talks by renowned experts, the book contains 42 research contributions selected from a total of 112 submissions. All areas of theoretical computer science are presented, some from a particular mathematical point of view.
Field-Programmable Logic: Architectures, Synthesis and Applications
Author: Reiner W. Hartenstein
Publisher: Springer Science & Business Media
ISBN: 9783540584193
Category : Computers
Languages : en
Pages : 452
Book Description
This volume contains the proceedings of the 4th International Workshop on Field-Programmable Logic and Applications (FPL '94), held in Prague, Czech Republic in September 1994. The growing importance of field-programmable devices is substantiated by the remarkably high number of 116 submissions for FPL '94; from them, the revised versions of 40 full papers and 24 high-quality poster presentations were accepted for inclusion in this volume. Among the topics treated are: testing, layout, synthesis tools, compilation research and CAD, trade-offs and experience, innovations and smart applications, FPGA-based computer architectures, high-level design, prototyping and ASIC emulators, commercial devices, new tools, CCMs and HW/SW co-design, modelers, educational experience, and novel architectures.
Publisher: Springer Science & Business Media
ISBN: 9783540584193
Category : Computers
Languages : en
Pages : 452
Book Description
This volume contains the proceedings of the 4th International Workshop on Field-Programmable Logic and Applications (FPL '94), held in Prague, Czech Republic in September 1994. The growing importance of field-programmable devices is substantiated by the remarkably high number of 116 submissions for FPL '94; from them, the revised versions of 40 full papers and 24 high-quality poster presentations were accepted for inclusion in this volume. Among the topics treated are: testing, layout, synthesis tools, compilation research and CAD, trade-offs and experience, innovations and smart applications, FPGA-based computer architectures, high-level design, prototyping and ASIC emulators, commercial devices, new tools, CCMs and HW/SW co-design, modelers, educational experience, and novel architectures.
CONCUR '94: Concurrency Theory
Author: Bengt Jonsson
Publisher: Springer
ISBN: 3540486542
Category : Computers
Languages : en
Pages : 541
Book Description
This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.
Publisher: Springer
ISBN: 3540486542
Category : Computers
Languages : en
Pages : 541
Book Description
This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.
Experimental Algorithms
Author: Carme Àlvarez
Publisher: Springer Science & Business Media
ISBN: 3540345973
Category : Computers
Languages : en
Pages : 338
Book Description
This book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, WEA 2006, held in Menorca, Spain, May 2006. The book presents 26 revised full papers together with 3 invited talks. The application areas addressed include most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, scheduling, searching, sorting, string matching, coding, networking, and more.
Publisher: Springer Science & Business Media
ISBN: 3540345973
Category : Computers
Languages : en
Pages : 338
Book Description
This book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, WEA 2006, held in Menorca, Spain, May 2006. The book presents 26 revised full papers together with 3 invited talks. The application areas addressed include most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, scheduling, searching, sorting, string matching, coding, networking, and more.
Parallel Computation
Author: Peter Zinterhof
Publisher: Springer
ISBN: 3540491643
Category : Computers
Languages : en
Pages : 619
Book Description
This book constitutes the refereed proceedings of the 4th International Conference on Parallel Computation, ACPC'99, held in Salzburg, Austria in February 1999; the conference included special tracks on parallel numerics and on parallel computing in image processing, video processing, and multimedia. The volume presents 50 revised full papers selected from a total of 75 submissions. Also included are four invited papers and 15 posters. The papers are organized in topical sections on linear algebra, differential equations and interpolation, (Quasi-)Monte Carlo methods, numerical software, numerical applications, image segmentation and image understanding, motion estimation and block matching, video processing, wavelet techniques, satellite image processing, data structures, data partitioning, resource allocation and performance analysis, cluster computing, and simulation and applications.
Publisher: Springer
ISBN: 3540491643
Category : Computers
Languages : en
Pages : 619
Book Description
This book constitutes the refereed proceedings of the 4th International Conference on Parallel Computation, ACPC'99, held in Salzburg, Austria in February 1999; the conference included special tracks on parallel numerics and on parallel computing in image processing, video processing, and multimedia. The volume presents 50 revised full papers selected from a total of 75 submissions. Also included are four invited papers and 15 posters. The papers are organized in topical sections on linear algebra, differential equations and interpolation, (Quasi-)Monte Carlo methods, numerical software, numerical applications, image segmentation and image understanding, motion estimation and block matching, video processing, wavelet techniques, satellite image processing, data structures, data partitioning, resource allocation and performance analysis, cluster computing, and simulation and applications.