Author: Fedor V. Fomin
Publisher: Cambridge University Press
ISBN: 1108577334
Category : Computers
Languages : en
Pages : 531
Book Description
Preprocessing, or data reduction, is a standard technique for simplifying and speeding up computation. Written by a team of experts in the field, this book introduces a rapidly developing area of preprocessing analysis known as kernelization. The authors provide an overview of basic methods and important results, with accessible explanations of the most recent advances in the area, such as meta-kernelization, representative sets, polynomial lower bounds, and lossy kernelization. The text is divided into four parts, which cover the different theoretical aspects of the area: upper bounds, meta-theorems, lower bounds, and beyond kernelization. The methods are demonstrated through extensive examples using a single data set. Written to be self-contained, the book only requires a basic background in algorithmics and will be of use to professionals, researchers and graduate students in theoretical computer science, optimization, combinatorics, and related fields.
Kernelization
Author: Fedor V. Fomin
Publisher: Cambridge University Press
ISBN: 1107057760
Category : Computers
Languages : en
Pages : 531
Book Description
A complete introduction to recent advances in preprocessing analysis, or kernelization, with extensive examples using a single data set.
Publisher: Cambridge University Press
ISBN: 1107057760
Category : Computers
Languages : en
Pages : 531
Book Description
A complete introduction to recent advances in preprocessing analysis, or kernelization, with extensive examples using a single data set.
Parameterized Complexity Theory
Author: J. Flum
Publisher: Springer Science & Business Media
ISBN: 354029953X
Category : Computers
Languages : en
Pages : 494
Book Description
This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It presents detailed proofs of recent advanced results that have not appeared in book form before and replaces the earlier publication "Parameterized Complexity" by Downey and Fellows as the definitive book on this subject. The book will interest computer scientists, mathematicians and graduate students engaged with algorithms and problem complexity.
Publisher: Springer Science & Business Media
ISBN: 354029953X
Category : Computers
Languages : en
Pages : 494
Book Description
This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It presents detailed proofs of recent advanced results that have not appeared in book form before and replaces the earlier publication "Parameterized Complexity" by Downey and Fellows as the definitive book on this subject. The book will interest computer scientists, mathematicians and graduate students engaged with algorithms and problem complexity.
Treewidth, Kernels, and Algorithms
Author: Fedor V. Fomin
Publisher: Springer Nature
ISBN: 303042071X
Category : Computers
Languages : en
Pages : 350
Book Description
This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Jan van Leeuwen. Chapter “Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Publisher: Springer Nature
ISBN: 303042071X
Category : Computers
Languages : en
Pages : 350
Book Description
This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Jan van Leeuwen. Chapter “Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Mathematical Theory and Computational Practice
Author: Klaus Ambos-Spies
Publisher: Springer Science & Business Media
ISBN: 3642030734
Category : Computers
Languages : en
Pages : 524
Book Description
This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.
Publisher: Springer Science & Business Media
ISBN: 3642030734
Category : Computers
Languages : en
Pages : 524
Book Description
This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.
Computability and Complexity
Author: Hubie Chen
Publisher: MIT Press
ISBN: 0262048620
Category : Computers
Languages : en
Pages : 413
Book Description
A clear, comprehensive, and rigorous introduction to the theory of computation. What is computable? What leads to efficiency in computation? Computability and Complexity offers a clear, comprehensive, and rigorous introduction to the mathematical study of the capabilities and limitations of computation. Hubie Chen covers the core notions, techniques, methods, and questions of the theory of computation before turning to several advanced topics. Emphasizing intuitive learning and conceptual discussion, this textbook’s accessible approach offers a robust foundation for understanding both the reach and restrictions of algorithms and computers. Extensive exercises and diagrams enhance streamlined, student-friendly presentation of mathematically rigorous material Includes thorough treatment of automata theory, computability theory, and complexity theory—including the P versus NP question and the theory of NP-completeness Suitable for undergraduate and graduate students, researchers, and professionals
Publisher: MIT Press
ISBN: 0262048620
Category : Computers
Languages : en
Pages : 413
Book Description
A clear, comprehensive, and rigorous introduction to the theory of computation. What is computable? What leads to efficiency in computation? Computability and Complexity offers a clear, comprehensive, and rigorous introduction to the mathematical study of the capabilities and limitations of computation. Hubie Chen covers the core notions, techniques, methods, and questions of the theory of computation before turning to several advanced topics. Emphasizing intuitive learning and conceptual discussion, this textbook’s accessible approach offers a robust foundation for understanding both the reach and restrictions of algorithms and computers. Extensive exercises and diagrams enhance streamlined, student-friendly presentation of mathematically rigorous material Includes thorough treatment of automata theory, computability theory, and complexity theory—including the P versus NP question and the theory of NP-completeness Suitable for undergraduate and graduate students, researchers, and professionals
Parameterized and Exact Computation
Author: Hans L. Bodlaender
Publisher: Springer Science & Business Media
ISBN: 3540390987
Category : Computers
Languages : en
Pages : 289
Book Description
Here are the refereed proceedings of the Second International Workshop on Parameterized and Exact Computation, IWPEC 2006, held in the context of the combined conference ALGO 2006. The book presents 23 revised full papers together with 2 invited lectures. Coverage includes research in all aspects of parameterized and exact computation and complexity, including new techniques for the design and analysis of parameterized and exact algorithms, parameterized complexity theory, and more.
Publisher: Springer Science & Business Media
ISBN: 3540390987
Category : Computers
Languages : en
Pages : 289
Book Description
Here are the refereed proceedings of the Second International Workshop on Parameterized and Exact Computation, IWPEC 2006, held in the context of the combined conference ALGO 2006. The book presents 23 revised full papers together with 2 invited lectures. Coverage includes research in all aspects of parameterized and exact computation and complexity, including new techniques for the design and analysis of parameterized and exact algorithms, parameterized complexity theory, and more.
Algorithms and Data Structures
Author: Frank Dehne
Publisher: Springer
ISBN: 3319218409
Category : Computers
Languages : en
Pages : 657
Book Description
This book constitutes the refereed proceedings of the 14th Algorithms and Data Structures Symposium, WADS 2015, held in Victoria, BC, Canada, August 2015. The 54 revised full papers presented in this volume were carefully reviewed and selected from 148 submissions. The Algorithms and Data Structures Symposium - WADS (formerly Workshop on Algorithms And Data Structures), which alternates with the Scandinavian Workshop on Algorithm Theory, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures. WADS includes papers presenting original research on algorithms and data structures in all areas, including bioinformatics, combinatorics, computational geometry, databases, graphics, and parallel and distributed computing.
Publisher: Springer
ISBN: 3319218409
Category : Computers
Languages : en
Pages : 657
Book Description
This book constitutes the refereed proceedings of the 14th Algorithms and Data Structures Symposium, WADS 2015, held in Victoria, BC, Canada, August 2015. The 54 revised full papers presented in this volume were carefully reviewed and selected from 148 submissions. The Algorithms and Data Structures Symposium - WADS (formerly Workshop on Algorithms And Data Structures), which alternates with the Scandinavian Workshop on Algorithm Theory, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures. WADS includes papers presenting original research on algorithms and data structures in all areas, including bioinformatics, combinatorics, computational geometry, databases, graphics, and parallel and distributed computing.
Hyperspectral Data Processing
Author: Chein-I Chang
Publisher: John Wiley & Sons
ISBN: 1118269772
Category : Technology & Engineering
Languages : en
Pages : 1180
Book Description
Hyperspectral Data Processing: Algorithm Design and Analysis is a culmination of the research conducted in the Remote Sensing Signal and Image Processing Laboratory (RSSIPL) at the University of Maryland, Baltimore County. Specifically, it treats hyperspectral image processing and hyperspectral signal processing as separate subjects in two different categories. Most materials covered in this book can be used in conjunction with the author’s first book, Hyperspectral Imaging: Techniques for Spectral Detection and Classification, without much overlap. Many results in this book are either new or have not been explored, presented, or published in the public domain. These include various aspects of endmember extraction, unsupervised linear spectral mixture analysis, hyperspectral information compression, hyperspectral signal coding and characterization, as well as applications to conceal target detection, multispectral imaging, and magnetic resonance imaging. Hyperspectral Data Processing contains eight major sections: Part I: provides fundamentals of hyperspectral data processing Part II: offers various algorithm designs for endmember extraction Part III: derives theory for supervised linear spectral mixture analysis Part IV: designs unsupervised methods for hyperspectral image analysis Part V: explores new concepts on hyperspectral information compression Parts VI & VII: develops techniques for hyperspectral signal coding and characterization Part VIII: presents applications in multispectral imaging and magnetic resonance imaging Hyperspectral Data Processing compiles an algorithm compendium with MATLAB codes in an appendix to help readers implement many important algorithms developed in this book and write their own program codes without relying on software packages. Hyperspectral Data Processing is a valuable reference for those who have been involved with hyperspectral imaging and its techniques, as well those who are new to the subject.
Publisher: John Wiley & Sons
ISBN: 1118269772
Category : Technology & Engineering
Languages : en
Pages : 1180
Book Description
Hyperspectral Data Processing: Algorithm Design and Analysis is a culmination of the research conducted in the Remote Sensing Signal and Image Processing Laboratory (RSSIPL) at the University of Maryland, Baltimore County. Specifically, it treats hyperspectral image processing and hyperspectral signal processing as separate subjects in two different categories. Most materials covered in this book can be used in conjunction with the author’s first book, Hyperspectral Imaging: Techniques for Spectral Detection and Classification, without much overlap. Many results in this book are either new or have not been explored, presented, or published in the public domain. These include various aspects of endmember extraction, unsupervised linear spectral mixture analysis, hyperspectral information compression, hyperspectral signal coding and characterization, as well as applications to conceal target detection, multispectral imaging, and magnetic resonance imaging. Hyperspectral Data Processing contains eight major sections: Part I: provides fundamentals of hyperspectral data processing Part II: offers various algorithm designs for endmember extraction Part III: derives theory for supervised linear spectral mixture analysis Part IV: designs unsupervised methods for hyperspectral image analysis Part V: explores new concepts on hyperspectral information compression Parts VI & VII: develops techniques for hyperspectral signal coding and characterization Part VIII: presents applications in multispectral imaging and magnetic resonance imaging Hyperspectral Data Processing compiles an algorithm compendium with MATLAB codes in an appendix to help readers implement many important algorithms developed in this book and write their own program codes without relying on software packages. Hyperspectral Data Processing is a valuable reference for those who have been involved with hyperspectral imaging and its techniques, as well those who are new to the subject.
Experimental Algorithmics
Author: Rudolf Fleischer
Publisher: Springer
ISBN: 3540363831
Category : Computers
Languages : en
Pages : 295
Book Description
Experimental algorithmics, as its name indicates, combines algorithmic work and experimentation: algorithms are not just designed, but also implemented and tested on a variety of instances. Perhaps the most important lesson in this process is that designing an algorithm is but the first step in the process of developing robust and efficient software for applications. Based on a seminar held at Dagstuhl Castle, Germany in September 2000, this state-of-the-art survey presents a coherent survey of the work done in the area so far. The 11 carefully reviewed chapters provide complete coverage of all current topics in experimental algorithmics.
Publisher: Springer
ISBN: 3540363831
Category : Computers
Languages : en
Pages : 295
Book Description
Experimental algorithmics, as its name indicates, combines algorithmic work and experimentation: algorithms are not just designed, but also implemented and tested on a variety of instances. Perhaps the most important lesson in this process is that designing an algorithm is but the first step in the process of developing robust and efficient software for applications. Based on a seminar held at Dagstuhl Castle, Germany in September 2000, this state-of-the-art survey presents a coherent survey of the work done in the area so far. The 11 carefully reviewed chapters provide complete coverage of all current topics in experimental algorithmics.
Mathematical Foundations of Computer Science 2013
Author: Krishnendu Chatterjee
Publisher: Springer
ISBN: 3642403131
Category : Computers
Languages : en
Pages : 869
Book Description
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.
Publisher: Springer
ISBN: 3642403131
Category : Computers
Languages : en
Pages : 869
Book Description
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.