Finite and Profinite Quantum Systems / / by Apostolos Vourdas |
Autore | Vourdas Apostolos |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIII, 196 p. 7 illus., 4 illus. in color.) |
Disciplina | 530.12 |
Collana | Quantum Science and Technology |
Soggetto topico |
Quantum physics
Quantum computers Quantum optics Discrete mathematics Mathematical physics Quantum Physics Quantum Computing Quantum Optics Discrete Mathematics Mathematical Physics |
ISBN | 3-319-59495-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mathematical symbols -- 1 Introduction -- 2 Partial orders and Pontryagin duality -- 3 The ring ℤ (d) -- 4 Quantum systems with variables in ℤ (d) -- 5 Finite Geometries and Mutually Unbiased Bases -- 6 Quantum logic of finite quantum systems -- 7 Galois fields -- 8 Quantum systems with variables in GF(pe) -- 9 p-adic numbers and profinite groups -- 10 A quantum system with positions in the profinite group ℤp -- 11 A quantum system with positions in the profinite group ℤ -- Index. |
Record Nr. | UNINA-9910254578503321 |
Vourdas Apostolos | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamental Algorithms for Permutation Groups [[electronic resource] /] / by Gregory Butler |
Autore | Butler Greg |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (XII, 244 p.) |
Disciplina | 512/.2 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Group theory Discrete mathematics Computer science - Mathematics Algorithms Combinatorics Theory of Computation Group Theory and Generalizations Discrete Mathematics Symbolic and Algebraic Manipulation Algorithm Analysis and Problem Complexity |
ISBN | 3-540-46607-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Group theory background -- List of elements -- Searching small groups -- Cayley graph and defining relations -- Lattice of subgroups -- Orbits and schreier vectors -- Regularity -- Primitivity -- Inductive foundation -- Backtrack search -- Base change -- Schreier-Sims method -- Complexity of the Schreier-Sims method -- Homomorphisms -- Sylow subgroups -- P-groups and soluble groups -- Soluble permutation groups -- Some other algorithms. |
Record Nr. | UNISA-996465315903316 |
Butler Greg | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Gemeinschaftliches Entscheiden : Untersuchung von Entscheidungsverfahren mit mathematischen Hilfsmitteln / / von Kai Diethelm |
Autore | Diethelm Kai |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2016 |
Descrizione fisica | 1 online resource (IX, 138 S. 6 Abb. in Farbe.) |
Disciplina | 511.1 |
Collana | Mathematik im Fokus |
Soggetto topico |
Discrete mathematics
Statistics Discrete Mathematics Statistics for Social Sciences, Humanities, Law |
ISBN | 3-662-48780-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Grundkonzepte -- Beurteilungskriterien für Entscheidungsverfahren -- Macht -- Binärvergleiche. |
Record Nr. | UNINA-9910483104903321 |
Diethelm Kai | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Geometric Description of Images as Topographic Maps [[electronic resource] /] / by Vicent Caselles, Pascal Monasse |
Autore | Caselles Vicent |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XVII, 192 p.) |
Disciplina | 003.54 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Coding theory
Information theory Topology Discrete mathematics Artificial intelligence Combinatorics Coding and Information Theory Discrete Mathematics Information and Communication, Circuits Artificial Intelligence |
ISBN |
1-280-39159-6
9786613569516 3-642-04611-8 |
Classificazione | 68U1094A0805C05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Tree of Shapes of an Image -- Grain Filters -- A Topological Description of the Topographic Map -- Merging the Component Trees -- Computation of the Tree of Shapes of a Digital Image -- Computation of the Tree of Bilinear Level Lines -- Applications. |
Record Nr. | UNISA-996466511603316 |
Caselles Vicent | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Geometry - Intuitive, Discrete, and Convex : A Tribute to László Fejes Tóth / / edited by Imre Bárány, Károly Jr. Böröczky, Gábor Fejes Tóth, Janos Pach |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (384 p.) |
Disciplina | 516 |
Collana | Bolyai Society Mathematical Studies |
Soggetto topico |
Discrete mathematics
Convex geometry Discrete geometry Polytopes Topology Discrete Mathematics Convex and Discrete Geometry |
ISBN | 3-642-41498-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents -- Preface -- Akiyama, J., Kobayashi, M., Nakagawa, H., Nakamura, G. and Sato, I.: Atoms for Parallelohedra -- Bezdek, K.: Tarski's Plank Problem Revisited -- Bezdek, A. and Kupperbeck, W.: Dense Packing of Space with Various Convex Solids -- Brass, P.: Geometric Problems on Coverage in Sensor Networks -- Gruber, P.M.: Applications of an Idea of Voronoi, a Report -- Grünbaum, B.: Uniform Polyhedrals -- Holmsen, A.F.: Geometric Transversal Theory: T-(3)-families in the Plane -- Montejano, L.: Transversals, Topology and Colorful Geometric Results -- Pach, J. Pálvölgyi, D. and Tóth, G.: Survey on Decomposition of Multiple Coverings -- Schaefer, M.: Hanani-Tutte and Related Results -- Schneider, R.: Extremal Properties of Random Mosaics -- Smorodinsky, S.: Conflict-Free Coloring and its Applications. . |
Record Nr. | UNINA-9910437876703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
German Success Stories in Industrial Mathematics [[electronic resource] /] / edited by Hans Georg Bock, Karl-Heinz Küfer, Peter Maass, Anja Milde, Volker Schulz |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (173 pages) |
Disciplina | 650.01510943 |
Collana | Mathematics in Industry |
Soggetto topico |
Mathematics - Data processing
Computer software Mathematical models Mathematical optimization Discrete mathematics Computational Science and Engineering Mathematical Software Mathematical Modeling and Industrial Mathematics Optimization Discrete Mathematics Matemàtica financera |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-81455-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Keynotes -- Energy -- Engineering -- Food and Beverages -- Life Sciences and Health -- Mobility -- Optimization. |
Record Nr. | UNISA-996466557103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
German Success Stories in Industrial Mathematics / / edited by Hans Georg Bock, Karl-Heinz Küfer, Peter Maass, Anja Milde, Volker Schulz |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (173 pages) |
Disciplina | 650.01510943 |
Collana | Mathematics in Industry |
Soggetto topico |
Mathematics - Data processing
Computer software Mathematical models Mathematical optimization Discrete mathematics Computational Science and Engineering Mathematical Software Mathematical Modeling and Industrial Mathematics Optimization Discrete Mathematics Matemàtica financera |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-81455-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Keynotes -- Energy -- Engineering -- Food and Beverages -- Life Sciences and Health -- Mobility -- Optimization. |
Record Nr. | UNINA-9910552722403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Graceful, Harmonious and Magic Type Labelings : Relations and Techniques / / by Susana C. López, Francesc A. Muntaner-Batle |
Autore | López Susana C |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XII, 134 p. 82 illus.) |
Disciplina | 511.5 |
Collana | SpringerBriefs in Mathematics |
Soggetto topico |
Graph theory
Algorithms Discrete mathematics Graph Theory Discrete Mathematics |
ISBN | 3-319-52657-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Notation and terminology -- 2. Graphs labelings -- 3. Super edge magic labelings: first type of relations -- 4. Harmonious labelings -- 5. Graceful labelings: the shifting technique -- 6. The ⊗-product of digraphs: second type of relations -- 7. The polynomial method. . |
Record Nr. | UNINA-9910254291103321 |
López Susana C | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Graph Drawing [[electronic resource] ] : 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers / / edited by Guiseppe Liotta |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XIV, 542 p.) |
Disciplina | 006.6 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Discrete mathematics
Computer science—Mathematics Algorithms Computer graphics Discrete Mathematics Discrete Mathematics in Computer Science Algorithm Analysis and Problem Complexity Computer Graphics |
ISBN |
1-280-30672-6
9786610306725 3-540-24595-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planarity and Planar Drawings -- Confluent Drawings: Visualizing Non-planar Diagrams in a Planar Way -- An Experimental Study of Crossing Minimization Heuristics -- Stop Minding Your P’s and Q’s: Implementing a Fast and Simple DFS-Based Planarity Testing and Embedding Algorithm -- Bounds and Methods for k-Planar Crossing Numbers -- Geometric Graph Theory -- How Many Ways Can One Draw a Graph? -- Two Results on Intersection Graphs of Polygons -- Stretching of Jordan Arc Contact Systems -- Noncrossing Hamiltonian Paths in Geometric Graphs -- Applications and Systems – Part I -- GraphAEL: Graph Animations with Evolving Layouts -- Visualizing Related Metabolic Pathways in Two and a Half Dimensions -- GoVisual for CASE Tools Borland Together ControlCenter and Gentleware Poseidon – System Demonstration -- Straight-Line, Circular, and Circular-Arc Drawings -- Area-Efficient Drawings of Outerplanar Graphs -- A Framework for User-Grouped Circular Drawings -- Fixed-Location Circular-Arc Drawing of Planar Graphs -- A More Practical Algorithm for Drawing Binary Trees in Linear Area with Arbitrary Aspect Ratio -- Symmetries -- An Integer Programming Approach to Fuzzy Symmetry Detection -- Barycentric Drawings of Periodic Graphs -- 3D-Drawings -- Three-Dimensional Grid Drawings with Sub-quadratic Volume -- Laying Out Iterated Line Digraphs Using Queues -- Track Drawings of Graphs with Constant Queue Number -- 3D Visibility Representations of Complete Graphs -- Drawing Series-Parallel Graphs on Restricted Integer 3D Grids -- Nearly Optimal Three Dimensional Layout of Hypercube Networks -- Embeddings and Triangulations -- Graph Embedding with Minimum Depth and Maximum External Face -- More Efficient Generation of Plane Triangulations -- Planar Embeddings of Graphs with Specified Edge Lengths -- Applications and Systems – Part II -- BGPlay: A System for Visualizing the Interdomain Routing Evolution -- GraphEx: An Improved Graph Translation Service -- A Constrained, Force-Directed Layout Algorithm for Biological Pathways -- Intersection-Free Morphing of Planar Graphs -- Fixed Parameter Tractability -- Fixed Parameter Algorithms for one-sided crossing minimization Revisited -- Experiments with the Fixed-Parameter Approach for Two-Layer Planarization -- Clusters, Cuts, and Orthogonal Drawings -- Characterizing Families of Cuts That Can Be Represented by Axis-Parallel Rectangles -- Convex Drawing for c-Planar Biconnected Clustered Graphs -- Layout of Directed Hypergraphs with Orthogonal Hyperedges -- No-Bend Orthogonal Drawings of Subdivisions of Planar Triconnected Cubic Graphs -- k-Level Drawings -- Radial Level Planarity Testing and Embedding in Linear Time -- An Improved Approximation to the One-Sided Bilayer Drawing -- Straight-Line Drawings of 2-Outerplanar Graphs on Two Curves -- Force Directed and Energy-Based Techniques -- An Energy Model for Visual Graph Clustering -- Simultaneous Graph Drawing: Layout Algorithms and Visualization Schemes -- Axis-by-Axis Stress Minimization -- Drawing Graphs with Nonuniform Nodes Using Potential Fields -- Surfaces and Diagrams -- Drawing Area-Proportional Venn and Euler Diagrams -- Optimal Pants Decompositions and Shortest Homotopic Cycles on an Orientable Surface -- Posters -- Degree Navigator TM : The Journey of a Visualization Software -- HexGraph: Applying Graph Drawing Algorithms to the Game of Hex -- GLuskap: Visualization and Manipulation of Graph Drawings in 3-Dimensions -- Web-Linkage Viewer: Drawing Links in the Web Based on a Site-Oriented Framework -- The Puzzle Layout Problem -- Visual Data Mining with ILOG Discovery -- Graph Drawing Contest -- Graph Drawing Contest Report -- Invited Talks -- Engineering and Visualizing Algorithms -- Report on the Invited Lecture by Pat Hanrahan, Titled “On Being in the Right Space” -- Open Problems -- Selected Open Problems in Graph Drawing. |
Record Nr. | UNISA-996465905003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph Drawing : 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers / / edited by Guiseppe Liotta |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XIV, 542 p.) |
Disciplina | 006.6 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Discrete mathematics
Computer science—Mathematics Algorithms Computer graphics Discrete Mathematics Discrete Mathematics in Computer Science Algorithm Analysis and Problem Complexity Computer Graphics |
ISBN |
1-280-30672-6
9786610306725 3-540-24595-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planarity and Planar Drawings -- Confluent Drawings: Visualizing Non-planar Diagrams in a Planar Way -- An Experimental Study of Crossing Minimization Heuristics -- Stop Minding Your P’s and Q’s: Implementing a Fast and Simple DFS-Based Planarity Testing and Embedding Algorithm -- Bounds and Methods for k-Planar Crossing Numbers -- Geometric Graph Theory -- How Many Ways Can One Draw a Graph? -- Two Results on Intersection Graphs of Polygons -- Stretching of Jordan Arc Contact Systems -- Noncrossing Hamiltonian Paths in Geometric Graphs -- Applications and Systems – Part I -- GraphAEL: Graph Animations with Evolving Layouts -- Visualizing Related Metabolic Pathways in Two and a Half Dimensions -- GoVisual for CASE Tools Borland Together ControlCenter and Gentleware Poseidon – System Demonstration -- Straight-Line, Circular, and Circular-Arc Drawings -- Area-Efficient Drawings of Outerplanar Graphs -- A Framework for User-Grouped Circular Drawings -- Fixed-Location Circular-Arc Drawing of Planar Graphs -- A More Practical Algorithm for Drawing Binary Trees in Linear Area with Arbitrary Aspect Ratio -- Symmetries -- An Integer Programming Approach to Fuzzy Symmetry Detection -- Barycentric Drawings of Periodic Graphs -- 3D-Drawings -- Three-Dimensional Grid Drawings with Sub-quadratic Volume -- Laying Out Iterated Line Digraphs Using Queues -- Track Drawings of Graphs with Constant Queue Number -- 3D Visibility Representations of Complete Graphs -- Drawing Series-Parallel Graphs on Restricted Integer 3D Grids -- Nearly Optimal Three Dimensional Layout of Hypercube Networks -- Embeddings and Triangulations -- Graph Embedding with Minimum Depth and Maximum External Face -- More Efficient Generation of Plane Triangulations -- Planar Embeddings of Graphs with Specified Edge Lengths -- Applications and Systems – Part II -- BGPlay: A System for Visualizing the Interdomain Routing Evolution -- GraphEx: An Improved Graph Translation Service -- A Constrained, Force-Directed Layout Algorithm for Biological Pathways -- Intersection-Free Morphing of Planar Graphs -- Fixed Parameter Tractability -- Fixed Parameter Algorithms for one-sided crossing minimization Revisited -- Experiments with the Fixed-Parameter Approach for Two-Layer Planarization -- Clusters, Cuts, and Orthogonal Drawings -- Characterizing Families of Cuts That Can Be Represented by Axis-Parallel Rectangles -- Convex Drawing for c-Planar Biconnected Clustered Graphs -- Layout of Directed Hypergraphs with Orthogonal Hyperedges -- No-Bend Orthogonal Drawings of Subdivisions of Planar Triconnected Cubic Graphs -- k-Level Drawings -- Radial Level Planarity Testing and Embedding in Linear Time -- An Improved Approximation to the One-Sided Bilayer Drawing -- Straight-Line Drawings of 2-Outerplanar Graphs on Two Curves -- Force Directed and Energy-Based Techniques -- An Energy Model for Visual Graph Clustering -- Simultaneous Graph Drawing: Layout Algorithms and Visualization Schemes -- Axis-by-Axis Stress Minimization -- Drawing Graphs with Nonuniform Nodes Using Potential Fields -- Surfaces and Diagrams -- Drawing Area-Proportional Venn and Euler Diagrams -- Optimal Pants Decompositions and Shortest Homotopic Cycles on an Orientable Surface -- Posters -- Degree Navigator TM : The Journey of a Visualization Software -- HexGraph: Applying Graph Drawing Algorithms to the Game of Hex -- GLuskap: Visualization and Manipulation of Graph Drawings in 3-Dimensions -- Web-Linkage Viewer: Drawing Links in the Web Based on a Site-Oriented Framework -- The Puzzle Layout Problem -- Visual Data Mining with ILOG Discovery -- Graph Drawing Contest -- Graph Drawing Contest Report -- Invited Talks -- Engineering and Visualizing Algorithms -- Report on the Invited Lecture by Pat Hanrahan, Titled “On Being in the Right Space” -- Open Problems -- Selected Open Problems in Graph Drawing. |
Record Nr. | UNINA-9910144209403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|