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.
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.
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.
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.
Author: Alexander S. Kulikov Publisher: Springer Nature ISBN: 303109574X Category : Computers Languages : en Pages : 364
Book Description
This book constitutes the proceedings of the 17th International Computer Science Symposium in Russia, CSR 2022, held in St. Petersburg, Russia, June 29-July 3, 2022. The 21 full papers were carefully reviewed and selected from 51 submissions. The papers cover a broad range of topics, such as formal languages and automata theory, geometry and discrete structures; theory and algorithms for application domains and much more.
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.
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.
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.
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.
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.
Author: Fedor V. Fomin
Author: J. Flum
Author: Fedor V. Fomin
Author: Hans L. Bodlaender
Author: Alexander S. Kulikov
Author: Klaus Ambos-Spies
Author: Frank Dehne
Author: Chein-I Chang
Author: Rudolf Fleischer
Author: Krishnendu Chatterjee