Combinatorics on Words [[electronic resource] ] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / / edited by Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XX, 263 p. 55 illus.) |
Disciplina | 511.6 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Artificial intelligence Numerical analysis Computer networks Formal Languages and Automata Theory Mathematical Applications in Computer Science Artificial Intelligence Numerical Analysis Computer Communication Networks |
ISBN | 3-319-66396-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Commutation and Beyond -- Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions -- Overpals, Underlaps, and Underpals -- On Some Interesting Trnary Formulas -- Minimal Forbidden Factors of Circular Words -- A de Brujin Sequence Construction by Concatenating Cycles of the Complemented Cycling Register -- On Words with the Zero Palindromic Defect -- Equations Enforcing Repetitions under Permutations -- Matching Lexicographic and Conjugation Orders on the Conjugation Class of a Special Sturmian Morphism -- More on the Dynamics of the Symbolic Square Root Map -- Study of Christoffel Classes: Normal Form and Periodicity -- On Arithmetic Index in the Generalized Thue-Morse Word -- Complexité abélienne du mot de Thue-Morse sur un alphabet ternaire -- A Set of Sequences of Complexity 2n + 1 -- The Word Entropy and How to Compute It -- First Steps in the Algorithmic Reconstruction of Digital Convex Sets -- . Variants around the Bresenham Method -- Combinatorics of Cyclic Shifts in Plactic, Hypoplactic, Sylvester, and Related Monoids -- Palindromic Length in Free Monoids and Free Groups -- Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms -- Burrows-Wheeler Transform and Run-Length Enconding -- A Permutation on Words in a Two Letter Alphabet -- Symmetric Dyck paths and Hooley's Delta-function. |
Record Nr. | UNISA-996465878903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Combinatorics on Words : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / / edited by Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XX, 263 p. 55 illus.) |
Disciplina | 511.6 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Artificial intelligence Numerical analysis Computer networks Formal Languages and Automata Theory Mathematical Applications in Computer Science Artificial Intelligence Numerical Analysis Computer Communication Networks |
ISBN | 3-319-66396-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Commutation and Beyond -- Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions -- Overpals, Underlaps, and Underpals -- On Some Interesting Trnary Formulas -- Minimal Forbidden Factors of Circular Words -- A de Brujin Sequence Construction by Concatenating Cycles of the Complemented Cycling Register -- On Words with the Zero Palindromic Defect -- Equations Enforcing Repetitions under Permutations -- Matching Lexicographic and Conjugation Orders on the Conjugation Class of a Special Sturmian Morphism -- More on the Dynamics of the Symbolic Square Root Map -- Study of Christoffel Classes: Normal Form and Periodicity -- On Arithmetic Index in the Generalized Thue-Morse Word -- Complexité abélienne du mot de Thue-Morse sur un alphabet ternaire -- A Set of Sequences of Complexity 2n + 1 -- The Word Entropy and How to Compute It -- First Steps in the Algorithmic Reconstruction of Digital Convex Sets -- . Variants around the Bresenham Method -- Combinatorics of Cyclic Shifts in Plactic, Hypoplactic, Sylvester, and Related Monoids -- Palindromic Length in Free Monoids and Free Groups -- Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms -- Burrows-Wheeler Transform and Run-Length Enconding -- A Permutation on Words in a Two Letter Alphabet -- Symmetric Dyck paths and Hooley's Delta-function. |
Record Nr. | UNINA-9910483129103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Developments in Language Theory [[electronic resource] ] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / / edited by Srečko Brlek, Christophe Reutenauer |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 407 p. 48 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Discrete mathematics Natural language processing (Computer science) Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Discrete Mathematics in Computer Science Natural Language Processing (NLP) |
ISBN | 3-662-53132-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal languages and automata -- Combinatorial and algebraic properties of words and languages -- Grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata and languages -- Codes; efficient text algorithms -- Symbolic dynamics; decision problems -- Relationships to complexity theory and logic; picture description and analysis -- Polyominoes and bidimentional patterns; cryptography; concurrency -- Cellular automata; bio-inspried computing; quantum computing. |
Record Nr. | UNISA-996466066103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Developments in Language Theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / / edited by Srečko Brlek, Christophe Reutenauer |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 407 p. 48 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Discrete mathematics Natural language processing (Computer science) Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Discrete Mathematics in Computer Science Natural Language Processing (NLP) |
ISBN | 3-662-53132-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal languages and automata -- Combinatorial and algebraic properties of words and languages -- Grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata and languages -- Codes; efficient text algorithms -- Symbolic dynamics; decision problems -- Relationships to complexity theory and logic; picture description and analysis -- Polyominoes and bidimentional patterns; cryptography; concurrency -- Cellular automata; bio-inspried computing; quantum computing. |
Record Nr. | UNINA-9910485041503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Discrete Geometry for Computer Imagery [[electronic resource] ] : 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009, Proceedings / / edited by Srecko Brlek, Christophe Reutenauer, Xavier Provençal |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 540 p.) |
Disciplina | 006.601516 |
Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
Soggetto topico |
Computer graphics
Pattern recognition Optical data processing Computer science—Mathematics Algorithms Computer Graphics Pattern Recognition Image Processing and Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Discrete Mathematics in Computer Science Algorithm Analysis and Problem Complexity |
Soggetto genere / forma |
Kongress.
Montréal (2009) |
ISBN | 3-642-04397-6 |
Classificazione |
DAT 756f
SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Arithmetic Discrete Planes Are Quasicrystals -- Affine Connections, and Midpoint Formation -- Mathematics in Atmospheric Sciences: An Overview -- Discrete Shape Representation, Recognition and Analysis -- On Three Constrained Versions of the Digital Circular Arc Recognition Problem -- Efficient Lattice Width Computation in Arbitrary Dimension -- Convergence of Binomial-Based Derivative Estimation for C 2 Noisy Discretized Curves -- Christoffel and Fibonacci Tiles -- Optimal Partial Tiling of Manhattan Polyominoes -- An Improved Coordinate System for Point Correspondences of 2D Articulated Shapes -- Two Linear-Time Algorithms for Computing the Minimum Length Polygon of a Digital Contour -- Multiscale Discrete Geometry -- Discrete and Combinatorial Tools for Image Segmentation and Analysis -- Vanishing Point Detection with an Intersection Point Neighborhood -- Ellipse Detection with Elemental Subsets -- Multi-Label Simple Points Definition for 3D Images Digital Deformable Model -- Marching Triangle Polygonization for Efficient Surface Reconstruction from Its Distance Transform -- Multivariate Watershed Segmentation of Compositional Data -- Pixel Approximation Errors in Common Watershed Algorithms -- Digital Deformable Model Simulating Active Contours -- Discrete and Combinatorial Topology -- Topology-Preserving Thinning in 2-D Pseudomanifolds -- Discrete Versions of Stokes’ Theorem Based on Families of Weights on Hypercubes -- Distances on Lozenge Tilings -- Jordan Curve Theorems with Respect to Certain Pretopologies on -- Decomposing Cavities in Digital Volumes into Products of Cycles -- Thinning Algorithms as Multivalued -Retractions -- Characterization of Simple Closed Surfaces in ?3: A New Proposition with a Graph-Theoretical Approach -- Border Operator for Generalized Maps -- Computing Homology: A Global Reduction Approach -- Models for Discrete Geometry -- Surface Sketching with a Voxel-Based Skeleton -- Minimal Offsets That Guarantee Maximal or Minimal Connectivity of Digital Curves in nD -- Arithmetization of a Circular Arc -- On the Connecting Thickness of Arithmetical Discrete Planes -- Patterns in Discretized Parabolas and Length Estimation -- Universal Spaces for Surfaces -- A Linear Time and Space Algorithm for Detecting Path Intersection -- Geometric Transforms -- The Curvilinear Skeleton -- A Discrete ?-Medial Axis -- Appearance Radii in Medial Axis Test Mask for Small Planar Chamfer Norms -- Exact, Scaled Image Rotation Using the Finite Radon Transform -- Lower and Upper Bounds for Scaling Factors Used for Integer Approximation of 3D Anisotropic Chamfer Distance Operator -- A Novel Algorithm for Distance Transformation on Irregular Isothetic Grids -- Fully Parallel 3D Thinning Algorithms Based on Sufficient Conditions for Topology Preservation -- Quasi-Affine Transformation in Higher Dimension -- Discrete Tomography -- Solving Some Instances of the 2-Color Problem -- Grey Level Estimation for Discrete Tomography -- The 1-Color Problem and the Brylawski Model. |
Record Nr. | UNISA-996465627803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Discrete geometry for computer imagery : 15th IAPR international conference, DGCI 2009, Montreal, Canada, September 30 - October 2, 2009, proceedings / / Srecko Brlek, Christophe Reutenauer, Xavier Provencal (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
Descrizione fisica | 1 online resource (XII, 540 p.) |
Disciplina | 006.601516 |
Altri autori (Persone) |
BrlekSrecko
ProvencalXavier ReutenauerChristophe |
Collana | Lecture notes in computer science |
Soggetto topico |
Discrete geometry - Data processing
Geometric tomography |
ISBN | 3-642-04397-6 |
Classificazione |
DAT 756f
SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Arithmetic Discrete Planes Are Quasicrystals -- Affine Connections, and Midpoint Formation -- Mathematics in Atmospheric Sciences: An Overview -- Discrete Shape Representation, Recognition and Analysis -- On Three Constrained Versions of the Digital Circular Arc Recognition Problem -- Efficient Lattice Width Computation in Arbitrary Dimension -- Convergence of Binomial-Based Derivative Estimation for C 2 Noisy Discretized Curves -- Christoffel and Fibonacci Tiles -- Optimal Partial Tiling of Manhattan Polyominoes -- An Improved Coordinate System for Point Correspondences of 2D Articulated Shapes -- Two Linear-Time Algorithms for Computing the Minimum Length Polygon of a Digital Contour -- Multiscale Discrete Geometry -- Discrete and Combinatorial Tools for Image Segmentation and Analysis -- Vanishing Point Detection with an Intersection Point Neighborhood -- Ellipse Detection with Elemental Subsets -- Multi-Label Simple Points Definition for 3D Images Digital Deformable Model -- Marching Triangle Polygonization for Efficient Surface Reconstruction from Its Distance Transform -- Multivariate Watershed Segmentation of Compositional Data -- Pixel Approximation Errors in Common Watershed Algorithms -- Digital Deformable Model Simulating Active Contours -- Discrete and Combinatorial Topology -- Topology-Preserving Thinning in 2-D Pseudomanifolds -- Discrete Versions of Stokes’ Theorem Based on Families of Weights on Hypercubes -- Distances on Lozenge Tilings -- Jordan Curve Theorems with Respect to Certain Pretopologies on -- Decomposing Cavities in Digital Volumes into Products of Cycles -- Thinning Algorithms as Multivalued -Retractions -- Characterization of Simple Closed Surfaces in ?3: A New Proposition with a Graph-Theoretical Approach -- Border Operator for Generalized Maps -- Computing Homology: A Global Reduction Approach -- Models for Discrete Geometry -- Surface Sketching with a Voxel-Based Skeleton -- Minimal Offsets That Guarantee Maximal or Minimal Connectivity of Digital Curves in nD -- Arithmetization of a Circular Arc -- On the Connecting Thickness of Arithmetical Discrete Planes -- Patterns in Discretized Parabolas and Length Estimation -- Universal Spaces for Surfaces -- A Linear Time and Space Algorithm for Detecting Path Intersection -- Geometric Transforms -- The Curvilinear Skeleton -- A Discrete ?-Medial Axis -- Appearance Radii in Medial Axis Test Mask for Small Planar Chamfer Norms -- Exact, Scaled Image Rotation Using the Finite Radon Transform -- Lower and Upper Bounds for Scaling Factors Used for Integer Approximation of 3D Anisotropic Chamfer Distance Operator -- A Novel Algorithm for Distance Transformation on Irregular Isothetic Grids -- Fully Parallel 3D Thinning Algorithms Based on Sufficient Conditions for Topology Preservation -- Quasi-Affine Transformation in Higher Dimension -- Discrete Tomography -- Solving Some Instances of the 2-Color Problem -- Grey Level Estimation for Discrete Tomography -- The 1-Color Problem and the Brylawski Model. |
Record Nr. | UNINA-9910484800103321 |
Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|