Parameterized and Exact Computation [electronic resource] : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings /

Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction -- Online Problems, Pathwidth, and Persistence -- Chordless Paths Through Three Vertices -- Computing Small Search Numbers in Linear Time -- Bounded Fixed-Parameter Tractability: The Case 2poly( k) -- Refined Memorisation for Vertex Cover -- Parameterized Graph Separation Problems -- Parameterized Coloring Problems on Chordal Graphs -- On Decidability of MSO Theories of Representable Matroids -- On Miniaturized Problems in Parameterized Complexity Theory -- Smaller Kernels for Hitting Set Problems of Constant Arity -- Packing Edge Disjoint Triangles: A Parameterized View -- Looking at the Stars -- Moving Policies in Cyclic Assembly-Line Scheduling -- A Structural View on Parameterizing Problems: Distance from Triviality -- Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable -- Simplifying the Weft Hierarchy -- The Minimum Weight Triangulation Problem with Few Inner Points -- A Direct Algorithm for the Parameterized Face Cover Problem -- On Finding Short Resolution Refutations and Small Unsatisfiable Subsets -- Parameterized Algorithms for Feedback Vertex Set -- Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms -- Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments -- Greedy Localization, Iterative Compression, and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover -- Space and Time Complexity of Exact Algorithms: Some Open Problems -- Practical FPT Implementations and Applications.

Saved in:
Bibliographic Details
Main Authors: Downey, Rod. editor., Fellows, Michael. editor., Dehne, Frank. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
Subjects:Computer science., Data structures (Computer science)., Computers., Algorithms., Computer science, Application software., Probabilities., Computer Science., Algorithm Analysis and Problem Complexity., Probability Theory and Stochastic Processes., Computer Applications., Computation by Abstract Devices., Data Structures., Discrete Mathematics in Computer Science.,
Online Access:http://dx.doi.org/10.1007/b100584
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:225004
record_format koha
spelling KOHA-OAI-TEST:2250042018-07-31T00:04:57ZParameterized and Exact Computation [electronic resource] : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings / Downey, Rod. editor. Fellows, Michael. editor. Dehne, Frank. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,2004.engParameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction -- Online Problems, Pathwidth, and Persistence -- Chordless Paths Through Three Vertices -- Computing Small Search Numbers in Linear Time -- Bounded Fixed-Parameter Tractability: The Case 2poly( k) -- Refined Memorisation for Vertex Cover -- Parameterized Graph Separation Problems -- Parameterized Coloring Problems on Chordal Graphs -- On Decidability of MSO Theories of Representable Matroids -- On Miniaturized Problems in Parameterized Complexity Theory -- Smaller Kernels for Hitting Set Problems of Constant Arity -- Packing Edge Disjoint Triangles: A Parameterized View -- Looking at the Stars -- Moving Policies in Cyclic Assembly-Line Scheduling -- A Structural View on Parameterizing Problems: Distance from Triviality -- Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable -- Simplifying the Weft Hierarchy -- The Minimum Weight Triangulation Problem with Few Inner Points -- A Direct Algorithm for the Parameterized Face Cover Problem -- On Finding Short Resolution Refutations and Small Unsatisfiable Subsets -- Parameterized Algorithms for Feedback Vertex Set -- Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms -- Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments -- Greedy Localization, Iterative Compression, and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover -- Space and Time Complexity of Exact Algorithms: Some Open Problems -- Practical FPT Implementations and Applications.Computer science.Data structures (Computer science).Computers.Algorithms.Computer scienceApplication software.Probabilities.Computer Science.Algorithm Analysis and Problem Complexity.Probability Theory and Stochastic Processes.Computer Applications.Computation by Abstract Devices.Data Structures.Discrete Mathematics in Computer Science.Springer eBookshttp://dx.doi.org/10.1007/b100584URN:ISBN:9783540286394
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Data structures (Computer science).
Computers.
Algorithms.
Computer science
Application software.
Probabilities.
Computer Science.
Algorithm Analysis and Problem Complexity.
Probability Theory and Stochastic Processes.
Computer Applications.
Computation by Abstract Devices.
Data Structures.
Discrete Mathematics in Computer Science.
Computer science.
Data structures (Computer science).
Computers.
Algorithms.
Computer science
Application software.
Probabilities.
Computer Science.
Algorithm Analysis and Problem Complexity.
Probability Theory and Stochastic Processes.
Computer Applications.
Computation by Abstract Devices.
Data Structures.
Discrete Mathematics in Computer Science.
spellingShingle Computer science.
Data structures (Computer science).
Computers.
Algorithms.
Computer science
Application software.
Probabilities.
Computer Science.
Algorithm Analysis and Problem Complexity.
Probability Theory and Stochastic Processes.
Computer Applications.
Computation by Abstract Devices.
Data Structures.
Discrete Mathematics in Computer Science.
Computer science.
Data structures (Computer science).
Computers.
Algorithms.
Computer science
Application software.
Probabilities.
Computer Science.
Algorithm Analysis and Problem Complexity.
Probability Theory and Stochastic Processes.
Computer Applications.
Computation by Abstract Devices.
Data Structures.
Discrete Mathematics in Computer Science.
Downey, Rod. editor.
Fellows, Michael. editor.
Dehne, Frank. editor.
SpringerLink (Online service)
Parameterized and Exact Computation [electronic resource] : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings /
description Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction -- Online Problems, Pathwidth, and Persistence -- Chordless Paths Through Three Vertices -- Computing Small Search Numbers in Linear Time -- Bounded Fixed-Parameter Tractability: The Case 2poly( k) -- Refined Memorisation for Vertex Cover -- Parameterized Graph Separation Problems -- Parameterized Coloring Problems on Chordal Graphs -- On Decidability of MSO Theories of Representable Matroids -- On Miniaturized Problems in Parameterized Complexity Theory -- Smaller Kernels for Hitting Set Problems of Constant Arity -- Packing Edge Disjoint Triangles: A Parameterized View -- Looking at the Stars -- Moving Policies in Cyclic Assembly-Line Scheduling -- A Structural View on Parameterizing Problems: Distance from Triviality -- Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable -- Simplifying the Weft Hierarchy -- The Minimum Weight Triangulation Problem with Few Inner Points -- A Direct Algorithm for the Parameterized Face Cover Problem -- On Finding Short Resolution Refutations and Small Unsatisfiable Subsets -- Parameterized Algorithms for Feedback Vertex Set -- Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms -- Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments -- Greedy Localization, Iterative Compression, and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover -- Space and Time Complexity of Exact Algorithms: Some Open Problems -- Practical FPT Implementations and Applications.
format Texto
topic_facet Computer science.
Data structures (Computer science).
Computers.
Algorithms.
Computer science
Application software.
Probabilities.
Computer Science.
Algorithm Analysis and Problem Complexity.
Probability Theory and Stochastic Processes.
Computer Applications.
Computation by Abstract Devices.
Data Structures.
Discrete Mathematics in Computer Science.
author Downey, Rod. editor.
Fellows, Michael. editor.
Dehne, Frank. editor.
SpringerLink (Online service)
author_facet Downey, Rod. editor.
Fellows, Michael. editor.
Dehne, Frank. editor.
SpringerLink (Online service)
author_sort Downey, Rod. editor.
title Parameterized and Exact Computation [electronic resource] : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings /
title_short Parameterized and Exact Computation [electronic resource] : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings /
title_full Parameterized and Exact Computation [electronic resource] : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings /
title_fullStr Parameterized and Exact Computation [electronic resource] : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings /
title_full_unstemmed Parameterized and Exact Computation [electronic resource] : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings /
title_sort parameterized and exact computation [electronic resource] : first international workshop, iwpec 2004, bergen, norway, september 14-17, 2004. proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 2004
url http://dx.doi.org/10.1007/b100584
work_keys_str_mv AT downeyrodeditor parameterizedandexactcomputationelectronicresourcefirstinternationalworkshopiwpec2004bergennorwayseptember14172004proceedings
AT fellowsmichaeleditor parameterizedandexactcomputationelectronicresourcefirstinternationalworkshopiwpec2004bergennorwayseptember14172004proceedings
AT dehnefrankeditor parameterizedandexactcomputationelectronicresourcefirstinternationalworkshopiwpec2004bergennorwayseptember14172004proceedings
AT springerlinkonlineservice parameterizedandexactcomputationelectronicresourcefirstinternationalworkshopiwpec2004bergennorwayseptember14172004proceedings
_version_ 1756270788452810752