Computing and Combinatorics [[electronic resource] ] : 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings / / edited by Oscar H. Ibarra, Louxin Zhang |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 614 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Discrete mathematics Algorithms Computer science—Mathematics Computer graphics Computer communication systems Theory of Computation Discrete Mathematics Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Computer Graphics Computer Communication Networks |
ISBN | 3-540-45655-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- The Assembly of the Human and Mouse Genomes -- Data Structures for One-Dimensional Packet Classification Using Most-Specific-Rule Matching -- DNA Complementarity and Paradigms of Computing -- Complexity Theory I -- On Higher Arthur-Merlin Classes -- (2 + f(n))-SAT and Its Properties -- On the Minimal Polynomial of a Matrix -- Computable Real Functions of Bounded Variation and Semi-computable Real Numbers -- Discrete Algorithms I -- Improved Compact Routing Tables for Planar Networks via Orderly Spanning Trees -- Coloring Algorithms on Subcubic Graphs -- Efficient Algorithms for the Hamiltonian Problem on Distance-Hereditary Graphs -- Extending the Accommodating Function -- Computational Biology and Learning Theory I -- Inverse Parametric Sequence Alignment -- The Full Steiner Tree Problem in Phylogeny -- Inferring a Union of Halfspaces from Examples -- Dictionary Look-Up within Small Edit Distance -- Coding Theory and Cryptography -- Polynomial Interpolation of the Elliptic Curve and XTR Discrete Logarithm -- Co-orthogonal Codes -- Efficient Power-Sum Systolic Architectures for Public-Key Cryptosystems in GF(2m) -- A Combinatorial Approach to Anonymous Membership Broadcast -- Parallel and Distributed Architectures -- Solving Constraint Satisfaction Problems with DNA Computing -- New Architecture and Algorithms for Degradable VLSI/WSI Arrays -- Cluster: A Fast Tool to Identify Groups of Similar Programs -- Broadcasting in Generalized de Bruijn Digraphs -- Graph Theory -- On the Connected Domination Number of Random Regular Graphs -- On the Number of Minimum Cuts in a Graph -- On Crossing Numbers of 5-Regular Graphs -- Maximum Flows and Critical Vertices in AND/OR Graphs -- Radio Networks -- New Energy-Efficient Permutation Routing Protocol for Single-Hop Radio Networks -- Simple Mutual Exclusion Algorithms Based on Bounded Tickets on the Asynchronous Shared Memory Model -- Time and Energy Optimal List Ranking Algorithms on the k-Channel Broadcast Communication Model -- Energy-Efficient Size Approximation of Radio Networks with No Collision Detection -- Automata and Formal Languages -- A New Class of Symbolic Abstract Neural Nets: Tissue P Systems -- Transducers with Set Output -- Self-assembling Finite Automata -- Repetition Complexity of Words -- Internet Networks -- Using PageRank to Characterize Web Structure -- On Randomized Broadcasting and Gossiping in Radio Networks -- Fast and Dependable Communication in Hyper-rings -- Computational Geometry I -- The On-Line Heilbronn’s Triangle Problem in Three and Four Dimensions -- Algorithms for Normal Curves and Surfaces -- Terrain Polygon Decomposition, with Application to Layered Manufacturing -- Computational Biology and Learning Theory II -- Supertrees by Flipping -- A Space and Time Efficient Algorithm for Constructing Compressed Suffix Arrays -- Sharpening Occam’s Razor -- Approximating 3D Points with Cylindrical Segments -- Discrete Algorithms II -- Algorithms for the Multicolorings of Partial k-Trees -- A Fault-Tolerant Merge Sorting Algorithm -- 2-Compromise Usability in 1-Dimensional Statistical Databases -- Computational Geometry II -- An Experimental Study and Comparison of Topological Peeling and Topological Walk -- On-Line Maximizing the Number of Items Packed in Variable-Sized Bins -- On-Line Grid-Packing with a Single Active Grid -- Bend Minimization in Orthogonal Drawings Using Integer Programming -- Combinatorial Optimization -- The Conditional Location of a Median Path -- New Results on the k-Truck Problem -- Theory of Equal-Flows in Networks -- Minimum Back-Walk-Free Latency Problem -- Complexity II -- Counting Satisfying Assignments in 2-SAT and 3-SAT -- On the Maximum Number of Irreducible Coverings of an n-Vertex Graph by n — 3 Cliques -- On Reachability in Graphs with Bounded Independence Number -- On Parameterized Enumeration -- Quantum Computing -- Probabilistic Reversible Automata and Quantum Automata -- Quantum versus Deterministic Counter Automata -- Quantum DNF Learnability Revisited. |
Record Nr. | UNISA-996465563403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computing and Combinatorics : 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings / / edited by Oscar H. Ibarra, Louxin Zhang |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 614 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Discrete mathematics Algorithms Computer science—Mathematics Computer graphics Computer communication systems Theory of Computation Discrete Mathematics Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Computer Graphics Computer Communication Networks |
ISBN | 3-540-45655-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- The Assembly of the Human and Mouse Genomes -- Data Structures for One-Dimensional Packet Classification Using Most-Specific-Rule Matching -- DNA Complementarity and Paradigms of Computing -- Complexity Theory I -- On Higher Arthur-Merlin Classes -- (2 + f(n))-SAT and Its Properties -- On the Minimal Polynomial of a Matrix -- Computable Real Functions of Bounded Variation and Semi-computable Real Numbers -- Discrete Algorithms I -- Improved Compact Routing Tables for Planar Networks via Orderly Spanning Trees -- Coloring Algorithms on Subcubic Graphs -- Efficient Algorithms for the Hamiltonian Problem on Distance-Hereditary Graphs -- Extending the Accommodating Function -- Computational Biology and Learning Theory I -- Inverse Parametric Sequence Alignment -- The Full Steiner Tree Problem in Phylogeny -- Inferring a Union of Halfspaces from Examples -- Dictionary Look-Up within Small Edit Distance -- Coding Theory and Cryptography -- Polynomial Interpolation of the Elliptic Curve and XTR Discrete Logarithm -- Co-orthogonal Codes -- Efficient Power-Sum Systolic Architectures for Public-Key Cryptosystems in GF(2m) -- A Combinatorial Approach to Anonymous Membership Broadcast -- Parallel and Distributed Architectures -- Solving Constraint Satisfaction Problems with DNA Computing -- New Architecture and Algorithms for Degradable VLSI/WSI Arrays -- Cluster: A Fast Tool to Identify Groups of Similar Programs -- Broadcasting in Generalized de Bruijn Digraphs -- Graph Theory -- On the Connected Domination Number of Random Regular Graphs -- On the Number of Minimum Cuts in a Graph -- On Crossing Numbers of 5-Regular Graphs -- Maximum Flows and Critical Vertices in AND/OR Graphs -- Radio Networks -- New Energy-Efficient Permutation Routing Protocol for Single-Hop Radio Networks -- Simple Mutual Exclusion Algorithms Based on Bounded Tickets on the Asynchronous Shared Memory Model -- Time and Energy Optimal List Ranking Algorithms on the k-Channel Broadcast Communication Model -- Energy-Efficient Size Approximation of Radio Networks with No Collision Detection -- Automata and Formal Languages -- A New Class of Symbolic Abstract Neural Nets: Tissue P Systems -- Transducers with Set Output -- Self-assembling Finite Automata -- Repetition Complexity of Words -- Internet Networks -- Using PageRank to Characterize Web Structure -- On Randomized Broadcasting and Gossiping in Radio Networks -- Fast and Dependable Communication in Hyper-rings -- Computational Geometry I -- The On-Line Heilbronn’s Triangle Problem in Three and Four Dimensions -- Algorithms for Normal Curves and Surfaces -- Terrain Polygon Decomposition, with Application to Layered Manufacturing -- Computational Biology and Learning Theory II -- Supertrees by Flipping -- A Space and Time Efficient Algorithm for Constructing Compressed Suffix Arrays -- Sharpening Occam’s Razor -- Approximating 3D Points with Cylindrical Segments -- Discrete Algorithms II -- Algorithms for the Multicolorings of Partial k-Trees -- A Fault-Tolerant Merge Sorting Algorithm -- 2-Compromise Usability in 1-Dimensional Statistical Databases -- Computational Geometry II -- An Experimental Study and Comparison of Topological Peeling and Topological Walk -- On-Line Maximizing the Number of Items Packed in Variable-Sized Bins -- On-Line Grid-Packing with a Single Active Grid -- Bend Minimization in Orthogonal Drawings Using Integer Programming -- Combinatorial Optimization -- The Conditional Location of a Median Path -- New Results on the k-Truck Problem -- Theory of Equal-Flows in Networks -- Minimum Back-Walk-Free Latency Problem -- Complexity II -- Counting Satisfying Assignments in 2-SAT and 3-SAT -- On the Maximum Number of Irreducible Coverings of an n-Vertex Graph by n — 3 Cliques -- On Reachability in Graphs with Bounded Independence Number -- On Parameterized Enumeration -- Quantum Computing -- Probabilistic Reversible Automata and Quantum Automata -- Quantum versus Deterministic Counter Automata -- Quantum DNF Learnability Revisited. |
Record Nr. | UNINA-9910143899203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Selected topics in post-genome knowledge discovery [[electronic resource] /] / editor[s], Limsoon Wong, Louxin Zhang |
Pubbl/distr/stampa | Singapore, : Singapore University Press |
Descrizione fisica | 1 online resource (176 p.) |
Disciplina |
572.8
572.80285 |
Altri autori (Persone) |
WongLimsoon <1965->
ZhangLouxin |
Collana | Lecture notes series |
Soggetto topico |
Genetics - Mathematics
Genetics |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-93473-9
9786611934736 981-279-484-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents ; Foreword ; Preface ; Dynamic Programming Strategies for Analyzing Biomolecular Sequences ; 1. Introduction ; 2. Elementary Dynamic-Programming Algorithms ; 2.1. Fibonacci numbers ; 2.2. The maximum-sum substring problem ; 2.3. Longest increasing subsequence
2.4. Longest common subsequence 3. Sequence Alignment ; 3.1. Global alignment ; 3.2. Local alignment ; 3.3. Affine gap penalties ; 3.4. Space-saving strategies ; 3.5. Multiple sequence alignment ; The Representation Comparison and Prediction of Protein Pathways ; 1. Introduction 2. Online Pathway Resources 3. Pathway Representation ; 3.1. Pathway Space ; 3.2. SLIPR Format ; 4. Pathway Comparison ; 4.1. Comparing Individual Components ; 4.2. Aligning Two Pathways Using Dynamic Programming ; 4.3. Pathway Database Comparison 4.4. One Implementation: PM_search Documentation 5. Orthologous Pathway Prediction ; 6. Discussion ; 6.1. Theoretical Issues on Evolutionary Study of Pathways ; 6.2. Establishing a Relational Pathway Database and its Web Interfaces ; 6.3. Pathway Prediction and Beyond Gene Network Inference and Biopathway Modeling 1. Introduction ; 2. Gene Network Inference from Microarray Data ; 2.1. Boolean Network Model ; 2.2. Bayesian Network Model ; 3. Modeling and Simulation ; 3.1. Architecture for Biopathway Modeling ; 3.2. How to Model Biopathways 3.3. Genomic Object Net and Biopathway Databases Towards Simulation |
Record Nr. | UNINA-9910454291203321 |
Singapore, : Singapore University Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Selected topics in post-genome knowledge discovery [[electronic resource] /] / editor[s], Limsoon Wong, Louxin Zhang |
Pubbl/distr/stampa | Singapore, : Singapore University Press |
Descrizione fisica | 1 online resource (176 p.) |
Disciplina |
572.8
572.80285 |
Altri autori (Persone) |
WongLimsoon <1965->
ZhangLouxin |
Collana | Lecture notes series |
Soggetto topico |
Genetics - Mathematics
Genetics |
ISBN |
1-281-93473-9
9786611934736 981-279-484-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents ; Foreword ; Preface ; Dynamic Programming Strategies for Analyzing Biomolecular Sequences ; 1. Introduction ; 2. Elementary Dynamic-Programming Algorithms ; 2.1. Fibonacci numbers ; 2.2. The maximum-sum substring problem ; 2.3. Longest increasing subsequence
2.4. Longest common subsequence 3. Sequence Alignment ; 3.1. Global alignment ; 3.2. Local alignment ; 3.3. Affine gap penalties ; 3.4. Space-saving strategies ; 3.5. Multiple sequence alignment ; The Representation Comparison and Prediction of Protein Pathways ; 1. Introduction 2. Online Pathway Resources 3. Pathway Representation ; 3.1. Pathway Space ; 3.2. SLIPR Format ; 4. Pathway Comparison ; 4.1. Comparing Individual Components ; 4.2. Aligning Two Pathways Using Dynamic Programming ; 4.3. Pathway Database Comparison 4.4. One Implementation: PM_search Documentation 5. Orthologous Pathway Prediction ; 6. Discussion ; 6.1. Theoretical Issues on Evolutionary Study of Pathways ; 6.2. Establishing a Relational Pathway Database and its Web Interfaces ; 6.3. Pathway Prediction and Beyond Gene Network Inference and Biopathway Modeling 1. Introduction ; 2. Gene Network Inference from Microarray Data ; 2.1. Boolean Network Model ; 2.2. Bayesian Network Model ; 3. Modeling and Simulation ; 3.1. Architecture for Biopathway Modeling ; 3.2. How to Model Biopathways 3.3. Genomic Object Net and Biopathway Databases Towards Simulation |
Record Nr. | UNINA-9910782118703321 |
Singapore, : Singapore University Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Selected topics in post-genome knowledge discovery / / editor[s], Limsoon Wong, Louxin Zhang |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Singapore, : Singapore University Press |
Descrizione fisica | 1 online resource (176 p.) |
Disciplina |
572.8
572.80285 |
Altri autori (Persone) |
WongLimsoon <1965->
ZhangLouxin |
Collana | Lecture notes series |
Soggetto topico |
Genetics - Mathematics
Genetics |
ISBN |
1-281-93473-9
9786611934736 981-279-484-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents ; Foreword ; Preface ; Dynamic Programming Strategies for Analyzing Biomolecular Sequences ; 1. Introduction ; 2. Elementary Dynamic-Programming Algorithms ; 2.1. Fibonacci numbers ; 2.2. The maximum-sum substring problem ; 2.3. Longest increasing subsequence
2.4. Longest common subsequence 3. Sequence Alignment ; 3.1. Global alignment ; 3.2. Local alignment ; 3.3. Affine gap penalties ; 3.4. Space-saving strategies ; 3.5. Multiple sequence alignment ; The Representation Comparison and Prediction of Protein Pathways ; 1. Introduction 2. Online Pathway Resources 3. Pathway Representation ; 3.1. Pathway Space ; 3.2. SLIPR Format ; 4. Pathway Comparison ; 4.1. Comparing Individual Components ; 4.2. Aligning Two Pathways Using Dynamic Programming ; 4.3. Pathway Database Comparison 4.4. One Implementation: PM_search Documentation 5. Orthologous Pathway Prediction ; 6. Discussion ; 6.1. Theoretical Issues on Evolutionary Study of Pathways ; 6.2. Establishing a Relational Pathway Database and its Web Interfaces ; 6.3. Pathway Prediction and Beyond Gene Network Inference and Biopathway Modeling 1. Introduction ; 2. Gene Network Inference from Microarray Data ; 2.1. Boolean Network Model ; 2.2. Bayesian Network Model ; 3. Modeling and Simulation ; 3.1. Architecture for Biopathway Modeling ; 3.2. How to Model Biopathways 3.3. Genomic Object Net and Biopathway Databases Towards Simulation |
Altri titoli varianti | Post-genome knowledge discovery |
Record Nr. | UNINA-9910823657403321 |
Singapore, : Singapore University Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|