Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A half-century of automata theory [[electronic resource] ] : celebration and inspiration / / editors, A. Salomaa, D. Wood, S. Yu
| A half-century of automata theory [[electronic resource] ] : celebration and inspiration / / editors, A. Salomaa, D. Wood, S. Yu |
| Pubbl/distr/stampa | River Edge, N.J., : World Scientific, c2001 |
| Descrizione fisica | 1 online resource (164 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
SalomaaArto
WoodDerick <1940-> YuSheng |
| Soggetto topico |
Machine theory
Algebra |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-95168-4
9786611951689 981-281-016-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
CONTENTS ; Preface ; Hazard Algebras (Extended Abstract) ; 1 Introduction ; 2 Transients ; 3 Change-Counting Algebra ; 4 Counting Changes to a Threshold ; 5 Circuit Simulations ; 6 Extensions of Boolean Functions ; 7 Complexity Issues ; 8 Conclusions ; References
Undecidability and Incompleteness Results in Automata Theory 1 Introduction ; 2 Basic Concepts and II2-Completeness; 3 Undecidability and Incompleteness Results ; 4 Representation Independent Incompleteness Results ; 5 Incomplete Languages ; 6 Minimal Automata and Incompleteness ; 7 Succinctness Results 8 Conclusion References ; Automata Theory: Its Past and Future ; 1 Introduction ; 2 Beginnings of Automata Theory ; 3 External Changes Impacting Future Directions ; 4 Conclusions ; References ; Forty Years of Formal Power Series in Automata Theory ; 1 Introduction 2 Continuous monoids and semirings 3 Automata and the Theorem of Kleene ; 4 Algebraic systems and pushdown automata ; 5 Principal cones of algebraic power series ; 6 Decidability questions ; References ; Playing Infinite Games in Finite Time ; 1 Infinite games ; 2 The score function 3 Theoretical results about scoring 4 When to end the play ; 5 Finding playable games ; 6 A specific suggestion ; References ; Gene Assembly in Ciliates: Computing by Folding and Recombination ; Introduction. ; 1 Preliminaries. ; 2 DNA molecules: structure and notation. 3 Gene assembly in ciliates. |
| Record Nr. | UNINA-9910450501403321 |
| River Edge, N.J., : World Scientific, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A half-century of automata theory [[electronic resource] ] : celebration and inspiration / / editors, A. Salomaa, D. Wood, S. Yu
| A half-century of automata theory [[electronic resource] ] : celebration and inspiration / / editors, A. Salomaa, D. Wood, S. Yu |
| Pubbl/distr/stampa | River Edge, N.J., : World Scientific, c2001 |
| Descrizione fisica | 1 online resource (164 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
SalomaaArto
WoodDerick <1940-> YuSheng |
| Soggetto topico |
Machine theory
Algebra |
| ISBN |
1-281-95168-4
9786611951689 981-281-016-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
CONTENTS ; Preface ; Hazard Algebras (Extended Abstract) ; 1 Introduction ; 2 Transients ; 3 Change-Counting Algebra ; 4 Counting Changes to a Threshold ; 5 Circuit Simulations ; 6 Extensions of Boolean Functions ; 7 Complexity Issues ; 8 Conclusions ; References
Undecidability and Incompleteness Results in Automata Theory 1 Introduction ; 2 Basic Concepts and II2-Completeness; 3 Undecidability and Incompleteness Results ; 4 Representation Independent Incompleteness Results ; 5 Incomplete Languages ; 6 Minimal Automata and Incompleteness ; 7 Succinctness Results 8 Conclusion References ; Automata Theory: Its Past and Future ; 1 Introduction ; 2 Beginnings of Automata Theory ; 3 External Changes Impacting Future Directions ; 4 Conclusions ; References ; Forty Years of Formal Power Series in Automata Theory ; 1 Introduction 2 Continuous monoids and semirings 3 Automata and the Theorem of Kleene ; 4 Algebraic systems and pushdown automata ; 5 Principal cones of algebraic power series ; 6 Decidability questions ; References ; Playing Infinite Games in Finite Time ; 1 Infinite games ; 2 The score function 3 Theoretical results about scoring 4 When to end the play ; 5 Finding playable games ; 6 A specific suggestion ; References ; Gene Assembly in Ciliates: Computing by Folding and Recombination ; Introduction. ; 1 Preliminaries. ; 2 DNA molecules: structure and notation. 3 Gene assembly in ciliates. |
| Record Nr. | UNINA-9910783144503321 |
| River Edge, N.J., : World Scientific, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A half-century of automata theory : celebration and inspiration / / editors, A. Salomaa, D. Wood, S. Yu
| A half-century of automata theory : celebration and inspiration / / editors, A. Salomaa, D. Wood, S. Yu |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | River Edge, N.J., : World Scientific, c2001 |
| Descrizione fisica | 1 online resource (164 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
SalomaaArto
WoodDerick <1940-> YuSheng |
| Soggetto topico |
Machine theory
Algebra |
| ISBN |
1-281-95168-4
9786611951689 981-281-016-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
CONTENTS ; Preface ; Hazard Algebras (Extended Abstract) ; 1 Introduction ; 2 Transients ; 3 Change-Counting Algebra ; 4 Counting Changes to a Threshold ; 5 Circuit Simulations ; 6 Extensions of Boolean Functions ; 7 Complexity Issues ; 8 Conclusions ; References
Undecidability and Incompleteness Results in Automata Theory 1 Introduction ; 2 Basic Concepts and II2-Completeness; 3 Undecidability and Incompleteness Results ; 4 Representation Independent Incompleteness Results ; 5 Incomplete Languages ; 6 Minimal Automata and Incompleteness ; 7 Succinctness Results 8 Conclusion References ; Automata Theory: Its Past and Future ; 1 Introduction ; 2 Beginnings of Automata Theory ; 3 External Changes Impacting Future Directions ; 4 Conclusions ; References ; Forty Years of Formal Power Series in Automata Theory ; 1 Introduction 2 Continuous monoids and semirings 3 Automata and the Theorem of Kleene ; 4 Algebraic systems and pushdown automata ; 5 Principal cones of algebraic power series ; 6 Decidability questions ; References ; Playing Infinite Games in Finite Time ; 1 Infinite games ; 2 The score function 3 Theoretical results about scoring 4 When to end the play ; 5 Finding playable games ; 6 A specific suggestion ; References ; Gene Assembly in Ciliates: Computing by Folding and Recombination ; Introduction. ; 1 Preliminaries. ; 2 DNA molecules: structure and notation. 3 Gene assembly in ciliates. |
| Record Nr. | UNINA-9910827386903321 |
| River Edge, N.J., : World Scientific, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of digital document processing : 4th International Workshop, PODDP'98 Saint Malo, France, March 29-30, 1998, proceedings / / Ethan V. Munson, Charles Nicholas, Derick Wood (Eds.)
| Principles of digital document processing : 4th International Workshop, PODDP'98 Saint Malo, France, March 29-30, 1998, proceedings / / Ethan V. Munson, Charles Nicholas, Derick Wood (Eds.) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (VI, 153 p. 11 illus., 1 illus. in color.) |
| Disciplina | 006.7 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Multimedia systems |
| ISBN | 3-540-49654-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Document Models and Structures -- Context and Caterpillars and Structured Documents -- A Conceptual Model for Tables -- Analysis of Document Structures for Element Type Classification -- Using Document Relationships for Better Answers -- Characterization of Documents and Corpora -- Generating, Visualizing, and Evaluating High-Quality Clusters for Information Organization -- On the Specification of the Display of Documents in Multi-lingual Computing -- Spotting Topics with the Singular Value Decomposition -- A Linear Algebra Approach to Language Identification -- Accessing Collections of Documents -- Indexed Tree Matching with Complete Answer Representations -- Combining the Power of Query Languages and Search Engines for On-line Document and Information Retrieval : The QIRi@D Environment -- Intensional HTML -- Data Model for Document Transformation and Assembly. |
| Record Nr. | UNISA-996466147103316 |
| Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of digital document processing : 4th International Workshop, PODDP'98 Saint Malo, France, March 29-30, 1998, proceedings / / Ethan V. Munson, Charles Nicholas, Derick Wood (Eds.)
| Principles of digital document processing : 4th International Workshop, PODDP'98 Saint Malo, France, March 29-30, 1998, proceedings / / Ethan V. Munson, Charles Nicholas, Derick Wood (Eds.) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (VI, 153 p. 11 illus., 1 illus. in color.) |
| Disciplina | 006.7 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Multimedia systems |
| ISBN | 3-540-49654-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Document Models and Structures -- Context and Caterpillars and Structured Documents -- A Conceptual Model for Tables -- Analysis of Document Structures for Element Type Classification -- Using Document Relationships for Better Answers -- Characterization of Documents and Corpora -- Generating, Visualizing, and Evaluating High-Quality Clusters for Information Organization -- On the Specification of the Display of Documents in Multi-lingual Computing -- Spotting Topics with the Singular Value Decomposition -- A Linear Algebra Approach to Language Identification -- Accessing Collections of Documents -- Indexed Tree Matching with Complete Answer Representations -- Combining the Power of Query Languages and Search Engines for On-line Document and Information Retrieval : The QIRi@D Environment -- Intensional HTML -- Data Model for Document Transformation and Assembly. |
| Record Nr. | UNINA-9910767566103321 |
| Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||