skip to content
Theory and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings Preview this item
ClosePreview this item
Checking...

Theory and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings

Author: Jin-Yi Cai; S Barry Cooper; Angsheng Li
Publisher: Berlin Heidelberg : Springer-Verlag., 2006.
Series: Lecture notes in computer science, 3959.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books
Summary:
This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. The 75 revised full papers presented together with 7 plenary talks were carefully reviewed and selected from 319 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jin-Yi Cai; S Barry Cooper; Angsheng Li
ISBN: 354034022X 9783540340225
OCLC Number: 228161066
Description: 1 online resource (: v.: digital.
Contents: Plenary Lectures --
On-Line Algorithms, Real Time, the Virtue of Laziness, and the Power of Clairvoyance --
Similarity of Objects and the Meaning of Words --
Totally?? Computably Enumerable and m-topped Degrees --
Mitosis in Computational Complexity --
Models of Intuitionistic Set Theories over Partial Combinatory Algebras --
Width Versus Size in Resolution Proofs --
Recent Progress in Quantum Computational Complexity --
Algorithm --
On Several Scheduling Problems with Rejection or Discretely Compressible Processing Times --
LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing --
A Bounded Item Bin Packing Problem over Discrete Distribution --
Scheduling Jobs on a Flexible Batching Machine: Model, Complexity and Algorithms --
Faster Algorithms for Sorting by Transpositions and Sorting by Block-Interchanges --
An ACO-Based Approach for Task Assignment and Scheduling of Multiprocessor Control Systems --
Adversary Immune Size Approximation of Single-Hop Radio Networks --
On Load-Balanced Semi-matchings for Weighted Bipartite Graphs --
Analyzing Chain Programs over Difference Constraints --
Linear-Time 2-Approximation Algorithm for the Watchman Route Problem --
Further Properties of Cayley Digraphs and Their Applications to Interconnection Networks --
Real Time Critical Edge of the Shortest Path in Transportation Networks --
Finding Min-Sum Disjoint Shortest Paths from a Single Source to All Pairs of Destinations --
A New Approximation Algorithm for the k-Facility Location Problem --
Computational Complexity --
Alternative Measures of Computational Complexity with Applications to Agnostic Learning --
Disjoint NP-Pairs from Propositional Proof Systems --
Valiant's Holant Theorem and Matchgate Tensors --
Variable Minimal Unsatisfiability --
A New Lower Bound of Critical Function for (k, s)-SAT --
Cluster Computing and the Power of Edge Recognition --
Quadratic Lower Bounds on Matrix Rigidity --
Non-reducible Descriptions for Conditional Kolmogorov Complexity --
Generalized Counters and Reversal Complexity --
Multisource Algorithmic Information Theory --
Block Sensitivity of Weakly Symmetric Functions --
Optimization Problems in the Polynomial-Time Hierarchy --
#3-Regular Bipartite Planar Vertex Cover is #P-Complete --
Group Theory Based Synthesis of Binary Reversible Circuits --
On Some Complexity Issues of NC Analytic Functions --
Learning Theory --
Learning Juntas in the Presence of Noise --
Grey Reinforcement Learning for Incomplete Information Processing --
On the Foundations of Universal Sequence Prediction --
Some Recent Results in U-Shaped Learning --
Learning Overcomplete Representations with a Generalized Gaussian Prior --
On PAC Learning Algorithms for Rich Boolean Function Classes --
On-Line Regression Competitive with Reproducing Kernel Hilbert Spaces --
Inductive Inference and Language Learning --
Time Series Predictions Using Multi-scale Support Vector Regressions --
Bioinformatics --
Identification and Comparison of Motifs in Brain-Specific and Muscle-Specific Alternative Splicing --
On Probe Permutation Graphs --
Automatic Classification of Protein Structures Based on Convex Hull Representation by Integrated Neural Network --
Protein Structure Comparison Based on a Measure of Information Discrepancy --
Succinct Text Indexes on Large Alphabet --
Security --
Identity-Based Threshold Proxy Signature Scheme with Known Signers --
Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions --
Formal Method --
Towards Practical Computable Functions on Context-Free Languages --
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces --
Analysis of Properties of Petri Synthesis Net --
A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs --
Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations --
Improved SAT Based Bounded Model Checking --
Models of Computation --
Encodings and Arithmetic Operations in Membrane Computing --
The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation --
Forecasting Black Holes in Abstract Geometrical Computation is Highly Unpredictable --
The Trade-Off Theorem and Fragments of Gödel's T --
On Non-binary Quantum BCH Codes --
Maximal Models of Assertion Graph in GSTE --
Computatability --
Immunity Properties and the n-C.E. Hierarchy --
On Rogers Semilattices --
Invertible Classes --
Universal Cupping Degrees --
On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal --
Enumeration Degrees of the Bounded Total Sets --
A Generic Set That Does Not Bound a Minimal Pair --
Lowness for Weakly 1-generic and Kurtz-Random --
On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies --
Computable Mathematics --
On Mass Problems of Presentability --
Beyond the First Main Theorem --
When Is the Solution of a Linear Cauchy Problem Computable?
Series Title: Lecture notes in computer science, 3959.
Responsibility: edited by Jin-Yi Cai, S. Barry Cooper, Angsheng Li.

Abstract:

This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. The 75 revised full papers presented together with 7 plenary talks were carefully reviewed and selected from 319 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed. The papers are organized in topical sections on algorithm, computational complexity, learning theory, bioinformatics, security, formal methods, models of computation, computatability, and computable mathematics.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/228161066> # Theory and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "228161066" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/931248363#Place/berlin_heidelberg> ; # Berlin Heidelberg
    schema:about <http://experiment.worldcat.org/entity/work/data/931248363#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/931248363#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/931248363#Topic/mathematics_of_computing> ; # Mathematics of Computing
    schema:about <http://experiment.worldcat.org/entity/work/data/931248363#Topic/computation_by_abstract_devices> ; # Computation by Abstract Devices
    schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
    schema:about <http://dewey.info/class/004.0151/> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/973149> ; # Information theory
    schema:about <http://experiment.worldcat.org/entity/work/data/931248363#Topic/computing_methodologies> ; # Computing Methodologies
    schema:about <http://id.worldcat.org/fast/832181> ; # Bioinformatics
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/931248363#Topic/theory_of_computation> ; # Theory of Computation
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/78302097> ; # Angsheng Li
    schema:contributor <http://viaf.org/viaf/8482082> ; # S Barry Cooper
    schema:creator <http://viaf.org/viaf/85610385> ; # Jin-Yi Cai
    schema:datePublished "2006" ;
    schema:description "Plenary Lectures -- On-Line Algorithms, Real Time, the Virtue of Laziness, and the Power of Clairvoyance -- Similarity of Objects and the Meaning of Words -- Totally?? Computably Enumerable and m-topped Degrees -- Mitosis in Computational Complexity -- Models of Intuitionistic Set Theories over Partial Combinatory Algebras -- Width Versus Size in Resolution Proofs -- Recent Progress in Quantum Computational Complexity -- Algorithm -- On Several Scheduling Problems with Rejection or Discretely Compressible Processing Times -- LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing -- A Bounded Item Bin Packing Problem over Discrete Distribution -- Scheduling Jobs on a Flexible Batching Machine: Model, Complexity and Algorithms -- Faster Algorithms for Sorting by Transpositions and Sorting by Block-Interchanges -- An ACO-Based Approach for Task Assignment and Scheduling of Multiprocessor Control Systems -- Adversary Immune Size Approximation of Single-Hop Radio Networks -- On Load-Balanced Semi-matchings for Weighted Bipartite Graphs -- Analyzing Chain Programs over Difference Constraints -- Linear-Time 2-Approximation Algorithm for the Watchman Route Problem -- Further Properties of Cayley Digraphs and Their Applications to Interconnection Networks -- Real Time Critical Edge of the Shortest Path in Transportation Networks -- Finding Min-Sum Disjoint Shortest Paths from a Single Source to All Pairs of Destinations -- A New Approximation Algorithm for the k-Facility Location Problem -- Computational Complexity -- Alternative Measures of Computational Complexity with Applications to Agnostic Learning -- Disjoint NP-Pairs from Propositional Proof Systems -- Valiant's Holant Theorem and Matchgate Tensors -- Variable Minimal Unsatisfiability -- A New Lower Bound of Critical Function for (k, s)-SAT -- Cluster Computing and the Power of Edge Recognition -- Quadratic Lower Bounds on Matrix Rigidity -- Non-reducible Descriptions for Conditional Kolmogorov Complexity -- Generalized Counters and Reversal Complexity -- Multisource Algorithmic Information Theory -- Block Sensitivity of Weakly Symmetric Functions -- Optimization Problems in the Polynomial-Time Hierarchy -- #3-Regular Bipartite Planar Vertex Cover is #P-Complete -- Group Theory Based Synthesis of Binary Reversible Circuits -- On Some Complexity Issues of NC Analytic Functions -- Learning Theory -- Learning Juntas in the Presence of Noise -- Grey Reinforcement Learning for Incomplete Information Processing -- On the Foundations of Universal Sequence Prediction -- Some Recent Results in U-Shaped Learning -- Learning Overcomplete Representations with a Generalized Gaussian Prior -- On PAC Learning Algorithms for Rich Boolean Function Classes -- On-Line Regression Competitive with Reproducing Kernel Hilbert Spaces -- Inductive Inference and Language Learning -- Time Series Predictions Using Multi-scale Support Vector Regressions -- Bioinformatics -- Identification and Comparison of Motifs in Brain-Specific and Muscle-Specific Alternative Splicing -- On Probe Permutation Graphs -- Automatic Classification of Protein Structures Based on Convex Hull Representation by Integrated Neural Network -- Protein Structure Comparison Based on a Measure of Information Discrepancy -- Succinct Text Indexes on Large Alphabet -- Security -- Identity-Based Threshold Proxy Signature Scheme with Known Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method -- Towards Practical Computable Functions on Context-Free Languages -- The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces -- Analysis of Properties of Petri Synthesis Net -- A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs -- Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations -- Improved SAT Based Bounded Model Checking -- Models of Computation -- Encodings and Arithmetic Operations in Membrane Computing -- The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation -- Forecasting Black Holes in Abstract Geometrical Computation is Highly Unpredictable -- The Trade-Off Theorem and Fragments of Gödel's T -- On Non-binary Quantum BCH Codes -- Maximal Models of Assertion Graph in GSTE -- Computatability -- Immunity Properties and the n-C.E. Hierarchy -- On Rogers Semilattices -- Invertible Classes -- Universal Cupping Degrees -- On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal -- Enumeration Degrees of the Bounded Total Sets -- A Generic Set That Does Not Bound a Minimal Pair -- Lowness for Weakly 1-generic and Kurtz-Random -- On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies -- Computable Mathematics -- On Mass Problems of Presentability -- Beyond the First Main Theorem -- When Is the Solution of a Linear Cauchy Problem Computable?"@en ;
    schema:description "This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. The 75 revised full papers presented together with 7 plenary talks were carefully reviewed and selected from 319 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed. The papers are organized in topical sections on algorithm, computational complexity, learning theory, bioinformatics, security, formal methods, models of computation, computatability, and computable mathematics."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/931248363> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/931248363#CreativeWork/> ;
    schema:name "Theory and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings"@en ;
    schema:productID "228161066" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/228161066#PublicationEvent/berlin_heidelberg_springer_verlag_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/931248363#Agent/springer_verlag> ; # Springer-Verlag.
    schema:url <http://dx.doi.org/10.1007/11750321> ;
    schema:url <http://swbplus.bsz-bw.de/bsz280694768cov.htm> ;
    schema:url <http://link.springer.com/10.1007/11750321> ;
    schema:url <https://ebookcentral.proquest.com/lib/ualberta/detail.action?docID=3067765> ;
    schema:workExample <http://dx.doi.org/10.1007/11750321> ;
    schema:workExample <http://worldcat.org/isbn/9783540340225> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/228161066> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/931248363#Agent/springer_verlag> # Springer-Verlag.
    a bgn:Agent ;
    schema:name "Springer-Verlag." ;
    .

<http://experiment.worldcat.org/entity/work/data/931248363#Place/berlin_heidelberg> # Berlin Heidelberg
    a schema:Place ;
    schema:name "Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/931248363#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/931248363#Topic/computation_by_abstract_devices> # Computation by Abstract Devices
    a schema:Intangible ;
    schema:name "Computation by Abstract Devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/931248363#Topic/computing_methodologies> # Computing Methodologies
    a schema:Intangible ;
    schema:name "Computing Methodologies"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/931248363#Topic/mathematics_of_computing> # Mathematics of Computing
    a schema:Intangible ;
    schema:name "Mathematics of Computing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/931248363#Topic/theory_of_computation> # Theory of Computation
    a schema:Intangible ;
    schema:name "Theory of Computation"@en ;
    .

<http://id.worldcat.org/fast/832181> # Bioinformatics
    a schema:Intangible ;
    schema:name "Bioinformatics"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
    schema:name "Computer software"@en ;
    .

<http://id.worldcat.org/fast/906956> # Electronic data processing
    a schema:Intangible ;
    schema:name "Electronic data processing"@en ;
    .

<http://id.worldcat.org/fast/973149> # Information theory
    a schema:Intangible ;
    schema:name "Information theory"@en ;
    .

<http://link.springer.com/10.1007/11750321>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/78302097> # Angsheng Li
    a schema:Person ;
    schema:familyName "Li" ;
    schema:givenName "Angsheng" ;
    schema:name "Angsheng Li" ;
    .

<http://viaf.org/viaf/8482082> # S Barry Cooper
    a schema:Person ;
    schema:familyName "Cooper" ;
    schema:givenName "S. Barry" ;
    schema:name "S Barry Cooper" ;
    .

<http://viaf.org/viaf/85610385> # Jin-Yi Cai
    a schema:Person ;
    schema:familyName "Cai" ;
    schema:givenName "Jin-Yi" ;
    schema:name "Jin-Yi Cai" ;
    .

<http://worldcat.org/entity/work/data/931248363#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/228161066> ; # Theory and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
    .

<http://worldcat.org/isbn/9783540340225>
    a schema:ProductModel ;
    schema:isbn "354034022X" ;
    schema:isbn "9783540340225" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/228161066> ; # Theory and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/228161066>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/228161066> ; # Theory and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
    schema:dateModified "2018-06-17" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.