Theory and Applications of Models of Computation

6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

AvJianer Chen,Barry S. Cooper

Häftad, Engelska, 2009

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

554 kr

554 kr

885 kr

571 kr

571 kr

572 kr

1 135 kr

1 135 kr

1 135 kr

571 kr

Beskrivning

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

Produktinformation

Utgivningsdatum:2009-04-28
Mått:155 x 235 x 27 mm
Vikt:750 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:482
Upplaga:2009
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642020162

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Plenary Talks.- Neural Computations That Support Long Mixed Sequences of Knowledge Acquisition Tasks.- Constraints, Graphs, Algebra, Logic, and Complexity.- Distributed Systems and Their Environments.- Invited Special Session: Models of Computation.- Co-evolution and Information Signals in Biological Sequences.- The Extended Turing Model as Contextual Tool.- Strong Positive Reducibilities.- Invited Special Session: Algorithms and Complexity.- Fixed-Parameter Algorithms for Graph-Modeled Date Clustering.- On Spanners of Geometric Graphs.- Searching Trees: An Essay.- Approximability and Fixed-Parameter Tractability for the Exemplar Genomic Distance Problems.- Contributed Papers.- A Quadratic Kernel for 3-Set Packing.- Quantitative Aspects of Speed-Up and Gap Phenomena.- Computing the Exact Distribution Function of the Stochastic Longest Path Length in a DAG.- On the Connection between Interval Size Functions and Path Counting.- On the Red/Blue Spanning Tree Problem.- Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.- A Computational Proof of Complexity of Some Restricted Counting Problems.- Block-Graph Width.- Minimum Vertex Ranking Spanning Tree Problem on Permutation Graphs.- On Parameterized Exponential Time Complexity.- Best-Order Streaming Model.- Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.- Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data.- Improved Deterministic Algorithms for Weighted Matching and Packing Problems.- Parameterized Complexity of Coloring Problems: Treewidth versus Vertex Cover.- Discovering Almost Any Hidden Motif from Multiple Sequences in Polynomial Time with Low Sample Complexity and High Success Probability.- A Complete Characterisation of the Linear Clique-Width of Path Powers.- Preserving Privacy versus Data Retention.- Kolmogorov Complexity and Combinatorial Methods in Communication Complexity.- An Almost Totally Universal Tile Set.- Linear Kernel for Planar Connected Dominating Set.- A Simple Greedy Algorithm for the k-Disjoint Flow Problem.- Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions.- Exact and Experimental Algorithms for a Huffman-Based Error Detecting Code.- Terminal Coalgebras for Measure-Polynomial Functors.- High Minimal Pairs in the Enumeration Degrees.- Searching a Circular Corridor with Two Flashlights.- On the Complexity of the Multiple Stack TSP, kSTSP.- Linear Programming Based Approximation Algorithms for Feedback Set Problems in Bipartite Tournaments.- An Online Algorithm for Applying Reinforcement Learning to Handle Ambiguity in Spoken Dialogues.- A Fixed-Parameter Enumeration Algorithm for the Weighted FVS Problem.- On the Tractability of Maximal Strip Recovery.- Greedy Local Search and Vertex Cover in Sparse Random Graphs.- Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms.- Feasibility of Motion Planning on Directed Graphs.- Polynomial-Time Algorithm for Sorting by Generalized Translocations.- The Two-Guard Polygon Walk Problem.- Approximation and Hardness Results for Label Cut and Related Problems.- An Observation on Non-Malleable Witness-Indistinguishability and Non-Malleable Zero-Knowledge.

Mer från samma författare

Theory and Applications of Models of Computation

Jinhui Xu, Qilong Feng, Jianer Chen

E-bok

2020

718 kr

Del 8497

Frontiers in Algorithmics

Jianer Chen, John E. Hopcroft, Jianxin Wang

Häftad, 2014

554 kr

Frontiers in Algorithmics

Jianxin Wang, John E. Hopcroft, Jianer Chen

E-bok

2014

712 kr

Del 10392

Computing and Combinatorics

Yixin Cao, Jianer Chen

Häftad, 2017

556 kr

Computing and Combinatorics

Jianer Chen, Yixin Cao

E-bok

2017

718 kr

Del 10823

Frontiers in Algorithmics

Jianer Chen, Pinyan Lu

Häftad, 2018

557 kr

Frontiers in Algorithmics

Pinyan Lu, Jianer Chen

E-bok

2018

718 kr

Theory and Applications of Models of Computation

Barry S. Cooper, Jianer Chen

E-bok

2009

718 kr

Parameterized and Exact Computation

Jianer Chen, Fedor V. Fomin

Häftad, 2010

571 kr

Parameterized and Exact Computation

Fedor V. Fomin, Jianer Chen

E-bok

2009

718 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Del 12337

Theory and Applications of Models of Computation

Jianer Chen, Qilong Feng, Jinhui Xu

Häftad, 2020

554 kr

Theory and Applications of Models of Computation

Barry S. Cooper, Jianer Chen

E-bok

2009

718 kr

Theory and Applications of Models of Computation

Jin-Yi Cai, Barry S. Cooper, Hong Zhu

Häftad, 2007

1 135 kr

Del 13571

Theory and Applications of Models of Computation

Ding-Zhu Du, Donglei Du, Chenchen Wu, Dachuan Xu

Häftad, 2023

885 kr

Theory and Applications of Models of Computation

Manindra Agrawal, Ding-Zhu Du, Zhenhua Duan, Angsheng Li

Häftad, 2008

1 135 kr

Del 14637

Theory and Applications of Models of Computation

Xujin Chen, Bo Li

Häftad, 2024

2 416 kr

Del 11436

Theory and Applications of Models of Computation

T.V. Gopal, Junzo Watada

Häftad, 2019

554 kr

Theory and Applications of Models of Computation

T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan

Häftad, 2013

571 kr

Del 16084

Theory and Applications of Models of Computation

Min Li, Mingji Xia, Peng Zhang

Häftad, 2026

730 kr

Theory and Applications of Models of Computation

6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

AvJianer Chen,Barry S. Cooper

Häftad, Engelska, 2009

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

554 kr

554 kr

885 kr

571 kr

571 kr

572 kr

1 135 kr

1 135 kr

1 135 kr

571 kr

Beskrivning

Produktinformation

Utgivningsdatum:2009-04-28
Mått:155 x 235 x 27 mm
Vikt:750 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:482
Upplaga:2009
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642020162

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Plenary Talks.- Neural Computations That Support Long Mixed Sequences of Knowledge Acquisition Tasks.- Constraints, Graphs, Algebra, Logic, and Complexity.- Distributed Systems and Their Environments.- Invited Special Session: Models of Computation.- Co-evolution and Information Signals in Biological Sequences.- The Extended Turing Model as Contextual Tool.- Strong Positive Reducibilities.- Invited Special Session: Algorithms and Complexity.- Fixed-Parameter Algorithms for Graph-Modeled Date Clustering.- On Spanners of Geometric Graphs.- Searching Trees: An Essay.- Approximability and Fixed-Parameter Tractability for the Exemplar Genomic Distance Problems.- Contributed Papers.- A Quadratic Kernel for 3-Set Packing.- Quantitative Aspects of Speed-Up and Gap Phenomena.- Computing the Exact Distribution Function of the Stochastic Longest Path Length in a DAG.- On the Connection between Interval Size Functions and Path Counting.- On the Red/Blue Spanning Tree Problem.- Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.- A Computational Proof of Complexity of Some Restricted Counting Problems.- Block-Graph Width.- Minimum Vertex Ranking Spanning Tree Problem on Permutation Graphs.- On Parameterized Exponential Time Complexity.- Best-Order Streaming Model.- Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.- Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data.- Improved Deterministic Algorithms for Weighted Matching and Packing Problems.- Parameterized Complexity of Coloring Problems: Treewidth versus Vertex Cover.- Discovering Almost Any Hidden Motif from Multiple Sequences in Polynomial Time with Low Sample Complexity and High Success Probability.- A Complete Characterisation of the Linear Clique-Width of Path Powers.- Preserving Privacy versus Data Retention.- Kolmogorov Complexity and Combinatorial Methods in Communication Complexity.- An Almost Totally Universal Tile Set.- Linear Kernel for Planar Connected Dominating Set.- A Simple Greedy Algorithm for the k-Disjoint Flow Problem.- Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions.- Exact and Experimental Algorithms for a Huffman-Based Error Detecting Code.- Terminal Coalgebras for Measure-Polynomial Functors.- High Minimal Pairs in the Enumeration Degrees.- Searching a Circular Corridor with Two Flashlights.- On the Complexity of the Multiple Stack TSP, kSTSP.- Linear Programming Based Approximation Algorithms for Feedback Set Problems in Bipartite Tournaments.- An Online Algorithm for Applying Reinforcement Learning to Handle Ambiguity in Spoken Dialogues.- A Fixed-Parameter Enumeration Algorithm for the Weighted FVS Problem.- On the Tractability of Maximal Strip Recovery.- Greedy Local Search and Vertex Cover in Sparse Random Graphs.- Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms.- Feasibility of Motion Planning on Directed Graphs.- Polynomial-Time Algorithm for Sorting by Generalized Translocations.- The Two-Guard Polygon Walk Problem.- Approximation and Hardness Results for Label Cut and Related Problems.- An Observation on Non-Malleable Witness-Indistinguishability and Non-Malleable Zero-Knowledge.

Mer från samma författare

Theory and Applications of Models of Computation

Jinhui Xu, Qilong Feng, Jianer Chen

E-bok

2020

718 kr

Del 8497

Frontiers in Algorithmics

Jianer Chen, John E. Hopcroft, Jianxin Wang

Häftad, 2014

554 kr

Frontiers in Algorithmics

Jianxin Wang, John E. Hopcroft, Jianer Chen

E-bok

2014

712 kr

Del 10392

Computing and Combinatorics

Yixin Cao, Jianer Chen

Häftad, 2017

556 kr

Computing and Combinatorics

Jianer Chen, Yixin Cao

E-bok

2017

718 kr

Del 10823

Frontiers in Algorithmics

Jianer Chen, Pinyan Lu

Häftad, 2018

557 kr

Frontiers in Algorithmics

Pinyan Lu, Jianer Chen

E-bok

2018

718 kr

Theory and Applications of Models of Computation

Barry S. Cooper, Jianer Chen

E-bok

2009

718 kr

Parameterized and Exact Computation

Jianer Chen, Fedor V. Fomin

Häftad, 2010

571 kr

Parameterized and Exact Computation

Fedor V. Fomin, Jianer Chen

E-bok

2009

718 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051