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.
Combinatorics on Words [[electronic resource] ] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / / edited by Florin Manea, Dirk Nowotka
| Combinatorics on Words [[electronic resource] ] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / / edited by Florin Manea, Dirk Nowotka |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVIII, 237 p. 47 illus.) |
| Disciplina | 511.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Discrete mathematics Artificial intelligence Software engineering Formal Languages and Automata Theory Theory of Computation Discrete Mathematics in Computer Science Artificial Intelligence Software Engineering |
| ISBN | 3-319-23660-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Degrees of Transducibility -- Equality Testing of Compressed Strings -- On the Contribution of WORDS to the Field of Combinatorics on Words -- Codes and Automata in Minimal Sets -- Decidability of Abelian-Power-Freeness and Generalizations -- Thue-Morse Along Two Polynomial Subsequences -- Contents -- Degrees of Transducibility -- 1 Introduction -- 2 Preliminaries -- 2.1 Finite State Transducers and Mealy Machines -- 2.2 Degrees of Transducibility -- 3 Comparison -- 4 Atoms and Polynomials -- 5 A Plethora of Questions -- References -- Equality Testing of Compressed Strings -- 1 Introduction -- 2 Straight-Line Programs -- 3 Sequential Algorithms -- 4 A Parallel Algorithm -- 5 Related Problems -- 6 Open Problems -- References -- On the Contribution of WORDS to the Field of Combinatorics on Words -- References -- Codes and Automata in Minimal Sets -- 1 Introduction -- 2 Neutral and Tree Sets -- 2.1 Neutral Sets -- 2.2 Tree Sets -- 3 Automata -- 4 Codes -- 4.1 A Cardinality Theorem for Prefix Codes -- 4.2 The Group of a Bifix Code -- References -- Thue--Morse Along Two Polynomial Subsequences -- 1 Introduction -- 2 Thue--Morse at Distinct Multiples -- 3 Thue--Morse at Two Polynomials -- References -- Canonical Representatives of Morphic Permutations -- 1 Introduction -- 2 Basic Definitions -- 3 Ergodic Permutations -- 4 Ergodic Permutations Generated by Words -- 4.1 Morphisms on Words and Intervals -- References -- Linear-Time Computation of Prefix Table for Weighted Strings -- 1 Introduction -- 2 Properties and Auxiliary Data Structures -- 3 Algorithm -- 4 Final Remarks -- References -- New Formulas for Dyck Paths in a Rectangle -- 1 Introduction -- 2 Definitions and Notation -- 3 Ferrers Diagrams Comparison Method -- 3.1 Diagrams Decomposition Method -- 3.2 Technical Results.
4 Theorems -- 5 Examples -- 5.1 Example D8,8n+6 -- 5.2 Example D6,6n+2 -- 5.3 Example D6,9. -- References -- Ambiguity of Morphisms in a Free Group -- 1 Introduction -- 2 Preliminaries -- 3 Basic Ambiguity -- 4 Unambiguous Injective Morphisms -- 4.1 Main Theorem -- 4.2 Proof Outline -- 5 Patterns with Terminal Symbols -- References -- The Degree of Squares is an Atom -- 1 Introduction -- 2 Preliminaries -- 3 Finite-State Transducers and Degrees -- 4 Characterising Transducts of Spiralling Sequences -- 5 Squares -- References -- Words with the Maximum Number of Abelian Squares -- 1 Introduction -- 2 Notation and Background -- 3 Abelian-square Rich Words -- 3.1 The Thue-Morse Word -- 3.2 Sturmian Words -- 4 Conclusions and Future Work -- References -- Arithmetics on Suffix Arrays of Fibonacci Words -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 The Suffix Array and Its Inverse -- 5 Burrows-Wheeler Transform -- 6 Outlook -- References -- Prefix-Suffix Square Completion -- 1 Introduction -- 2 Definitions -- 3 Generating Infinite Words -- 4 Finite Words: Algorithms -- 5 Future Work -- References -- Square-Density Increasing Mappings -- 1 Introduction -- 2 Preliminaries -- 3 Fractional-Power Density Increasing Mappings to Expand the Alphabet -- 3.1 Fractional-Power Density Preserving Quaternarizer -- 3.2 Fractional-Power Density Preserving Mappings to Double the Alphabet Size -- 4 Strictly Square-Density Increasing Mappings -- 4.1 Strictly Square-Density Increasing Alphabet Downsizer -- 5 Future Work -- References -- Mechanical Proofs of Properties of the Tribonacci Word -- 1 Introduction -- 2 Tribonacci Representation -- 3 Mechanical Proofs of Properties of the Infinite Tribonacci Word -- 3.1 Repetitions -- 4 Enumeration -- 5 Additional Results -- 5.1 Palindromes -- 5.2 Quasiperiods -- 5.3 Unbordered Factors -- 5.4 Lyndon Words. 5.5 Critical Exponent -- 6 Abelian Properties -- 7 Things We Could Not Do Yet -- References -- On Arithmetic Progressions in the Generalized Thue-Morse Word -- 1 Introduction -- 2 Preliminaries -- 3 Main Result -- 3.1 Case of d=3n-1 -- 3.2 Case of d=3n-1 -- 4 Conclusion -- References -- A Square Root Map on Sturmian Words -- 1 Introduction -- 2 Notation and Preliminary Results -- 2.1 Optimal Squareful Words -- 2.2 Continued Fractions -- 2.3 Sturmian Words -- 2.4 Powers in Sturmian Words -- 3 The Square Root Map -- 4 One Characterization of Words Satisfying the Square Root Condition -- 5 Characterization by a Word Equation -- 6 A More Detailed Combinatorial Description of the Square Root Map -- References -- Specular Sets -- 1 Introduction -- 2 Preliminaries -- 3 Specular Groups -- 4 Specular Sets -- 5 Subgroup Theorems -- References -- On the Tree of Ternary Square-Free Words -- 1 Introduction -- 2 Definitions and Notation -- 3 Letters Fixed by Short Squares -- 4 Long Squares -- 5 Discussion -- References -- Author Index. |
| Record Nr. | UNISA-996200359103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Combinatorics on Words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / / edited by Florin Manea, Dirk Nowotka
| Combinatorics on Words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / / edited by Florin Manea, Dirk Nowotka |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVIII, 237 p. 47 illus.) |
| Disciplina | 511.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Discrete mathematics Artificial intelligence Software engineering Formal Languages and Automata Theory Theory of Computation Discrete Mathematics in Computer Science Artificial Intelligence Software Engineering |
| ISBN | 3-319-23660-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Degrees of Transducibility -- Equality Testing of Compressed Strings -- On the Contribution of WORDS to the Field of Combinatorics on Words -- Codes and Automata in Minimal Sets -- Decidability of Abelian-Power-Freeness and Generalizations -- Thue-Morse Along Two Polynomial Subsequences -- Contents -- Degrees of Transducibility -- 1 Introduction -- 2 Preliminaries -- 2.1 Finite State Transducers and Mealy Machines -- 2.2 Degrees of Transducibility -- 3 Comparison -- 4 Atoms and Polynomials -- 5 A Plethora of Questions -- References -- Equality Testing of Compressed Strings -- 1 Introduction -- 2 Straight-Line Programs -- 3 Sequential Algorithms -- 4 A Parallel Algorithm -- 5 Related Problems -- 6 Open Problems -- References -- On the Contribution of WORDS to the Field of Combinatorics on Words -- References -- Codes and Automata in Minimal Sets -- 1 Introduction -- 2 Neutral and Tree Sets -- 2.1 Neutral Sets -- 2.2 Tree Sets -- 3 Automata -- 4 Codes -- 4.1 A Cardinality Theorem for Prefix Codes -- 4.2 The Group of a Bifix Code -- References -- Thue--Morse Along Two Polynomial Subsequences -- 1 Introduction -- 2 Thue--Morse at Distinct Multiples -- 3 Thue--Morse at Two Polynomials -- References -- Canonical Representatives of Morphic Permutations -- 1 Introduction -- 2 Basic Definitions -- 3 Ergodic Permutations -- 4 Ergodic Permutations Generated by Words -- 4.1 Morphisms on Words and Intervals -- References -- Linear-Time Computation of Prefix Table for Weighted Strings -- 1 Introduction -- 2 Properties and Auxiliary Data Structures -- 3 Algorithm -- 4 Final Remarks -- References -- New Formulas for Dyck Paths in a Rectangle -- 1 Introduction -- 2 Definitions and Notation -- 3 Ferrers Diagrams Comparison Method -- 3.1 Diagrams Decomposition Method -- 3.2 Technical Results.
4 Theorems -- 5 Examples -- 5.1 Example D8,8n+6 -- 5.2 Example D6,6n+2 -- 5.3 Example D6,9. -- References -- Ambiguity of Morphisms in a Free Group -- 1 Introduction -- 2 Preliminaries -- 3 Basic Ambiguity -- 4 Unambiguous Injective Morphisms -- 4.1 Main Theorem -- 4.2 Proof Outline -- 5 Patterns with Terminal Symbols -- References -- The Degree of Squares is an Atom -- 1 Introduction -- 2 Preliminaries -- 3 Finite-State Transducers and Degrees -- 4 Characterising Transducts of Spiralling Sequences -- 5 Squares -- References -- Words with the Maximum Number of Abelian Squares -- 1 Introduction -- 2 Notation and Background -- 3 Abelian-square Rich Words -- 3.1 The Thue-Morse Word -- 3.2 Sturmian Words -- 4 Conclusions and Future Work -- References -- Arithmetics on Suffix Arrays of Fibonacci Words -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 The Suffix Array and Its Inverse -- 5 Burrows-Wheeler Transform -- 6 Outlook -- References -- Prefix-Suffix Square Completion -- 1 Introduction -- 2 Definitions -- 3 Generating Infinite Words -- 4 Finite Words: Algorithms -- 5 Future Work -- References -- Square-Density Increasing Mappings -- 1 Introduction -- 2 Preliminaries -- 3 Fractional-Power Density Increasing Mappings to Expand the Alphabet -- 3.1 Fractional-Power Density Preserving Quaternarizer -- 3.2 Fractional-Power Density Preserving Mappings to Double the Alphabet Size -- 4 Strictly Square-Density Increasing Mappings -- 4.1 Strictly Square-Density Increasing Alphabet Downsizer -- 5 Future Work -- References -- Mechanical Proofs of Properties of the Tribonacci Word -- 1 Introduction -- 2 Tribonacci Representation -- 3 Mechanical Proofs of Properties of the Infinite Tribonacci Word -- 3.1 Repetitions -- 4 Enumeration -- 5 Additional Results -- 5.1 Palindromes -- 5.2 Quasiperiods -- 5.3 Unbordered Factors -- 5.4 Lyndon Words. 5.5 Critical Exponent -- 6 Abelian Properties -- 7 Things We Could Not Do Yet -- References -- On Arithmetic Progressions in the Generalized Thue-Morse Word -- 1 Introduction -- 2 Preliminaries -- 3 Main Result -- 3.1 Case of d=3n-1 -- 3.2 Case of d=3n-1 -- 4 Conclusion -- References -- A Square Root Map on Sturmian Words -- 1 Introduction -- 2 Notation and Preliminary Results -- 2.1 Optimal Squareful Words -- 2.2 Continued Fractions -- 2.3 Sturmian Words -- 2.4 Powers in Sturmian Words -- 3 The Square Root Map -- 4 One Characterization of Words Satisfying the Square Root Condition -- 5 Characterization by a Word Equation -- 6 A More Detailed Combinatorial Description of the Square Root Map -- References -- Specular Sets -- 1 Introduction -- 2 Preliminaries -- 3 Specular Groups -- 4 Specular Sets -- 5 Subgroup Theorems -- References -- On the Tree of Ternary Square-Free Words -- 1 Introduction -- 2 Definitions and Notation -- 3 Letters Fixed by Short Squares -- 4 Long Squares -- 5 Discussion -- References -- Author Index. |
| Record Nr. | UNINA-9910483773103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Developments in Language Theory [[electronic resource] ] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings / / edited by Volker Diekert, Dirk Nowotka
| Developments in Language Theory [[electronic resource] ] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings / / edited by Volker Diekert, Dirk Nowotka |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 503 p.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Algorithms Computer science—Mathematics Discrete mathematics Formal Languages and Automata Theory Theory of Computation Mathematics of Computing Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science |
| ISBN |
1-280-38307-0
9786613560988 3-642-02737-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Factorization Forests -- Weighted versus Probabilistic Logics -- Post Correspondence Problem and Small Dimensional Matrices -- Size Complexity of Two-Way Finite Automata -- Matrix Mortality and the ?erný-Pin Conjecture -- Regular Papers -- A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata -- Regular Languages Definable by Majority Quantifiers with Two Variables -- The Inclusion Problem of Context-Free Languages: Some Tractable Cases -- On the Complexity of Deciding Avoidability of Sets of Partial Words -- Closures in Formal Languages and Kuratowski’s Theorem -- Rich and Periodic-Like Words -- Traces of Control-Flow Graphs -- Left and Right Synchronous Relations -- An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words -- Asymptotic Cellular Complexity -- Strongly Regular Grammars and Regular Approximation of Context-Free Languages -- Powers of Regular Languages -- Existence and Nonexistence of Descriptive Patterns -- On Stateless Multihead Finite Automata and Multihead Pushdown Automata -- On Negative Bases -- Crucial Words for Abelian Powers -- Tight Bounds on the Descriptional Complexity of Regular Expressions -- Subshifts, Languages and Logic -- Magic Numbers and Ternary Alphabet -- The Pumping Lemma for Well-Nested Multiple Context-Free Languages -- The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable -- A Game-Theoretic Characterization of Boolean Grammars -- Word Equations with One Unknown -- On Equations over Sets of Numbers and Their Limitations -- Some Remarks on Superposition Based on Watson-Crick-Like Complementarity -- A Weighted ?-Calculus on Words -- Branching-Time Temporal Logics with Minimal Model Quantifiers -- Simulations by Time-Bounded Counter Machines -- Weighted Timed MSO Logics -- Balanced Words Having Simple Burrows-Wheeler Transform -- On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations -- Definability in the Infix Order on Words -- Two-Sided Bounds for the Growth Rates of Power-Free Languages -- On the Decidability of the Equivalence for a Certain Class of Transducers -- Erasing in Petri Net Languages and Matrix Grammars. |
| Record Nr. | UNISA-996465599903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings / / edited by Volker Diekert, Dirk Nowotka
| Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings / / edited by Volker Diekert, Dirk Nowotka |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 503 p.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Algorithms Computer science—Mathematics Discrete mathematics Formal Languages and Automata Theory Theory of Computation Mathematics of Computing Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science |
| ISBN |
1-280-38307-0
9786613560988 3-642-02737-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Factorization Forests -- Weighted versus Probabilistic Logics -- Post Correspondence Problem and Small Dimensional Matrices -- Size Complexity of Two-Way Finite Automata -- Matrix Mortality and the ?erný-Pin Conjecture -- Regular Papers -- A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata -- Regular Languages Definable by Majority Quantifiers with Two Variables -- The Inclusion Problem of Context-Free Languages: Some Tractable Cases -- On the Complexity of Deciding Avoidability of Sets of Partial Words -- Closures in Formal Languages and Kuratowski’s Theorem -- Rich and Periodic-Like Words -- Traces of Control-Flow Graphs -- Left and Right Synchronous Relations -- An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words -- Asymptotic Cellular Complexity -- Strongly Regular Grammars and Regular Approximation of Context-Free Languages -- Powers of Regular Languages -- Existence and Nonexistence of Descriptive Patterns -- On Stateless Multihead Finite Automata and Multihead Pushdown Automata -- On Negative Bases -- Crucial Words for Abelian Powers -- Tight Bounds on the Descriptional Complexity of Regular Expressions -- Subshifts, Languages and Logic -- Magic Numbers and Ternary Alphabet -- The Pumping Lemma for Well-Nested Multiple Context-Free Languages -- The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable -- A Game-Theoretic Characterization of Boolean Grammars -- Word Equations with One Unknown -- On Equations over Sets of Numbers and Their Limitations -- Some Remarks on Superposition Based on Watson-Crick-Like Complementarity -- A Weighted ?-Calculus on Words -- Branching-Time Temporal Logics with Minimal Model Quantifiers -- Simulations by Time-Bounded Counter Machines -- Weighted Timed MSO Logics -- Balanced Words Having Simple Burrows-Wheeler Transform -- On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations -- Definability in the Infix Order on Words -- Two-Sided Bounds for the Growth Rates of Power-Free Languages -- On the Decidability of the Equivalence for a Certain Class of Transducers -- Erasing in Petri Net Languages and Matrix Grammars. |
| Record Nr. | UNINA-9910484925903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sailing Routes in the World of Computation [[electronic resource] ] : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings / / edited by Florin Manea, Russell G. Miller, Dirk Nowotka
| Sailing Routes in the World of Computation [[electronic resource] ] : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings / / edited by Florin Manea, Russell G. Miller, Dirk Nowotka |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 434 p. 28 illus.) |
| Disciplina | 511.352 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Numerical analysis Computer science Electronic data processing—Management Mathematical Applications in Computer Science Numerical Analysis Theory of Computation IT Operations |
| ISBN | 3-319-94418-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Journey To Computably Enumerable Structures (Tutorial Lectures) -- Polynomial-time Presentations of Algebraic Number Fields (Extended abstract) -- Multiple Permitting and Array Noncomputability -- Degrees of Categoricity for Prime and Homogeneous Models -- Universality in Freezing Cellular Automata -- A Deontic Logic Reasoning Infrastructure -- Optimised Program Extraction for Induction and Coinduction -- Computing Tree Width: From Theory to Practice and Back -- Using Structural Properties for Integer Programs -- From Eventually Different Functions to Pandemic Numberings -- Divide and Conquer Computation of the Multi-String BWT and LCP Array -- Some Observations on Infinitary Complexity -- Taming Koepke's Zoo -- Online Computability and Differentiation in the Cantor Space -- Turing's Vision and Deep Learning -- Computing and Scheduling with Explorable Uncertainty -- Diminishable Parameterized Problems and Strict Polynomial Kernelization -- New Nonterminal Complexity Results for Semi-Conditional Grammars -- Kernelization Lower Bounds for Finding Constant-Size Subgraphs -- On General Sum Approximations of Irrational Numbers -- Computability of Ordinary Differential Equations -- Topological Analysis of Representations -- A Unified Framework for Designing EPTAS's for Load Balancing on Parallel Machines -- Weak Reduction Principle and Computable Metric Spaces -- Decidable and Undecidable Fragments of First-Order Concatenation Theory -- Algorithm Analysis through Proof Complexity -- Computing with SAT Oracles: Past, Present & Future -- The Isometry Degree of a Computable Copy of ℓᵖ -- Algorithmic Statistics and Prediction for Polynomial Time-Bounded Algorithms -- A c.e. Weak Truth Table Degree which is Array Noncomputable and r-maximal -- The Complexity of Tukey Types and Cofinal Types -- Functionals of Type 3 as Realisers of Classical Theorems in Analysis -- Enumeration Degrees and Topology -- A Taxonomy of Deviant Encodings -- Elementary Bi-embeddability Spectra of Structures -- A Generic m-reducibility -- Some Nonstandard Equivalences in Reverse Mathematics -- Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended abstract) -- What is the Concept of Computation? -- Witness Hiding without Extractors or Simulators -- Algorithms and Geometric Constructions -- Computing with Multisets : A Survey on Reaction Automata Theory. |
| Record Nr. | UNISA-996466185503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings / / edited by Florin Manea, Russell G. Miller, Dirk Nowotka
| Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings / / edited by Florin Manea, Russell G. Miller, Dirk Nowotka |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 434 p. 28 illus.) |
| Disciplina | 511.352 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Numerical analysis Computer science Electronic data processing—Management Mathematical Applications in Computer Science Numerical Analysis Theory of Computation IT Operations |
| ISBN | 3-319-94418-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Journey To Computably Enumerable Structures (Tutorial Lectures) -- Polynomial-time Presentations of Algebraic Number Fields (Extended abstract) -- Multiple Permitting and Array Noncomputability -- Degrees of Categoricity for Prime and Homogeneous Models -- Universality in Freezing Cellular Automata -- A Deontic Logic Reasoning Infrastructure -- Optimised Program Extraction for Induction and Coinduction -- Computing Tree Width: From Theory to Practice and Back -- Using Structural Properties for Integer Programs -- From Eventually Different Functions to Pandemic Numberings -- Divide and Conquer Computation of the Multi-String BWT and LCP Array -- Some Observations on Infinitary Complexity -- Taming Koepke's Zoo -- Online Computability and Differentiation in the Cantor Space -- Turing's Vision and Deep Learning -- Computing and Scheduling with Explorable Uncertainty -- Diminishable Parameterized Problems and Strict Polynomial Kernelization -- New Nonterminal Complexity Results for Semi-Conditional Grammars -- Kernelization Lower Bounds for Finding Constant-Size Subgraphs -- On General Sum Approximations of Irrational Numbers -- Computability of Ordinary Differential Equations -- Topological Analysis of Representations -- A Unified Framework for Designing EPTAS's for Load Balancing on Parallel Machines -- Weak Reduction Principle and Computable Metric Spaces -- Decidable and Undecidable Fragments of First-Order Concatenation Theory -- Algorithm Analysis through Proof Complexity -- Computing with SAT Oracles: Past, Present & Future -- The Isometry Degree of a Computable Copy of ℓᵖ -- Algorithmic Statistics and Prediction for Polynomial Time-Bounded Algorithms -- A c.e. Weak Truth Table Degree which is Array Noncomputable and r-maximal -- The Complexity of Tukey Types and Cofinal Types -- Functionals of Type 3 as Realisers of Classical Theorems in Analysis -- Enumeration Degrees and Topology -- A Taxonomy of Deviant Encodings -- Elementary Bi-embeddability Spectra of Structures -- A Generic m-reducibility -- Some Nonstandard Equivalences in Reverse Mathematics -- Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended abstract) -- What is the Concept of Computation? -- Witness Hiding without Extractors or Simulators -- Algorithms and Geometric Constructions -- Computing with Multisets : A Survey on Reaction Automata Theory. |
| Record Nr. | UNINA-9910349417903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||