Formal Concept Analysis [[electronic resource] ] : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings / / edited by Rokia Missaoui, Jürg Schmid |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Software engineering Information storage and retrieval Algebra Ordered algebraic structures Artificial Intelligence Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Software Engineering Information Storage and Retrieval Order, Lattices, Ordered Algebraic Structures |
ISBN | 3-540-32204-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- Methods of Conceptual Knowledge Processing -- An Enumeration Problem in Ordered Sets Leads to Possible Benchmarks for Run-Time Prediction Algorithms -- Attribute Implications in a Fuzzy Setting -- The Assessment of Knowledge, in Theory and in Practice -- Regular Papers -- The Basic Theorem on Preconcept Lattices -- The Tensor Product as a Lattice of Regular Galois Connections -- Two Instances of Peirce’s Reduction Thesis -- Very Fast Instances for Concept Generation -- Negation, Opposition, and Possibility in Logical Concept Analysis -- A Note on Negation: A PCS-Completion of Semilattices -- Towards a Generalization of Formal Concept Analysis for Data Mining Purposes -- Interactive Association Rules Discovery -- About the Family of Closure Systems Preserving Non-unit Implications in the Guigues-Duquenne Base -- Spatial Indexing for Scalability in FCA -- Homograph Disambiguation Using Formal Concept Analysis -- Using Concept Lattices to Uncover Causal Dependencies in Software -- An FCA Interpretation of Relation Algebra -- Spring-Based Lattice Drawing Highlighting Conceptual Similarity -- Characterizing Planar Lattices Using Left-Relations -- Automated Layout of Small Lattices Using Layer Diagrams -- Counting Pseudo-intents and #P-completeness. |
Record Nr. | UNISA-996466152203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
From Objects to Diagrams for Ranges of Functors [[electronic resource] /] / by Pierre Gillibert, Friedrich Wehrung |
Autore | Gillibert Pierre |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 158 p. 19 illus.) |
Disciplina | 512 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Algebra
Category theory (Mathematics) Homological algebra Ordered algebraic structures Mathematical logic K-theory Category Theory, Homological Algebra General Algebraic Systems Order, Lattices, Ordered Algebraic Structures Mathematical Logic and Foundations K-Theory |
ISBN | 3-642-21774-5 |
Classificazione | 18A3018A2518A2018A3503E0505D1006A0706A12 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Background -- 2 Boolean Algebras Scaled with Respect to a Poset -- 3 The Condensate Lifting Lemma (CLL) -- 4 Larders from First-order Structures -- 5 Congruence-Preserving Extensions -- 6 Larders from von Neumann Regular Rings -- 7 Discussion. |
Record Nr. | UNINA-9910483144703321 |
Gillibert Pierre | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
From Objects to Diagrams for Ranges of Functors [[electronic resource] /] / by Pierre Gillibert, Friedrich Wehrung |
Autore | Gillibert Pierre |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 158 p. 19 illus.) |
Disciplina | 512 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Algebra
Category theory (Mathematics) Homological algebra Ordered algebraic structures Mathematical logic K-theory Category Theory, Homological Algebra General Algebraic Systems Order, Lattices, Ordered Algebraic Structures Mathematical Logic and Foundations K-Theory |
ISBN | 3-642-21774-5 |
Classificazione | 18A3018A2518A2018A3503E0505D1006A0706A12 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Background -- 2 Boolean Algebras Scaled with Respect to a Poset -- 3 The Condensate Lifting Lemma (CLL) -- 4 Larders from First-order Structures -- 5 Congruence-Preserving Extensions -- 6 Larders from von Neumann Regular Rings -- 7 Discussion. |
Record Nr. | UNISA-996466505003316 |
Gillibert Pierre | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamentals of advanced mathematics 1 : categories, algebraic structures, linear and homological algebra / / Henri Bourles |
Autore | Bourles Henri |
Pubbl/distr/stampa | London, England : , : ISTE Press, , 2017 |
Descrizione fisica | 1 online resource (270 pages) |
Disciplina | 512.5 |
Soggetto topico |
Algebras, Linear
Algebra, Homological Ordered algebraic structures |
ISBN |
0-08-102112-7
1-78548-173-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910583045803321 |
Bourles Henri | ||
London, England : , : ISTE Press, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fuzzy Hypergraphs and Related Extensions [[electronic resource] /] / by Muhammad Akram, Anam Luqman |
Autore | Akram Muhammad |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XXXI, 499 p. 261 illus., 7 illus. in color.) |
Disciplina | 511.322 |
Collana | Studies in Fuzziness and Soft Computing |
Soggetto topico |
Graph theory
Combinatorics Algebra Ordered algebraic structures Information theory Computer science—Mathematics Graph Theory Order, Lattices, Ordered Algebraic Structures Information and Communication, Circuits Discrete Mathematics in Computer Science |
ISBN | 981-15-2403-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Fuzzy Hypergraphs -- 2. Hypergraphs in Intuitionistic Fuzzy Environment -- 3. Hypergraphs in Interval-Valued Fuzzy Environment -- 4. Hypergraphs in Bipolar Fuzzy Environment -- 5. Hypergraphs in m-Polar Fuzzy Environment -- 6. Hypergraphs in q-Rung Orthopair Fuzzy Environment -- 7. Granular Computing Based on q-Rung Picture Fuzzy Hypergraphs -- 8. Hypergraphs in Single-Valued Neutrosophic Environment -- 9. Hypergraphs in Bipolar Neutrosophic Environment. |
Record Nr. | UNINA-9910377821003321 |
Akram Muhammad | ||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Generative complexity in algebra / / Joel Berman, Paweł M. Idziak |
Autore | Berman Joel <1943-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2005] |
Descrizione fisica | 1 online resource (176 p.) |
Disciplina |
510 s
511.3/3 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Ordered algebraic structures
Model theory Algebraic varieties - Classification theory |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4704-0429-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Background Material""; ""Part 1. Introducing Generative Complexity""; ""Chapter 3. Definitions and Examples""; ""Chapter 4. Semilattices and Lattices""; ""Chapter 5. Varieties with a Large Number of Models""; ""Chapter 6. Upper Bounds""; ""Chapter 7. Categorical Invariants""; ""Part 2. Varieties with Few Models""; ""Chapter 8. Types 4 or 5 Need Not Apply""; ""Chapter 9. Semisimple May Apply""; ""Chapter 10. Permutable May also Apply""; ""Chapter 11. Forcing Modular Behavior""; ""Chapter 12. Restricting Solvable Behavior""
""Chapter 13. Varieties with Very Few Models""""Chapter 14. Restricting Nilpotent Behavior""; ""14.1. Nilpotent Congruences in non Nilpotent Algebras""; ""14.2. Nilpotent Algebras""; ""Chapter 15. Decomposing Finite Algebras""; ""Chapter 16. Restricting Afflne Behavior""; ""16.1. Expanded Modules""; ""16.2. Forcing Finite Representation Type""; ""Chapter 17. A Characterization Theorem""; ""17.1. Locally Finite Varieties with Few Models""; ""17.2. Finitely Generated Varieties with Few Models""; ""Part 3. Conclusions""; ""Chapter 18. Application to Groups and Rings"" ""Chapter 19. Open Problems""""Chapter 20. Tables""; ""Bibliography"" |
Record Nr. | UNINA-9910479864803321 |
Berman Joel <1943-> | ||
Providence, Rhode Island : , : American Mathematical Society, , [2005] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Generative complexity in algebra / / Joel Berman, Paweł M. Idziak |
Autore | Berman Joel <1943-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2005] |
Descrizione fisica | 1 online resource (176 p.) |
Disciplina |
510 s
511.3/3 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Ordered algebraic structures
Model theory Algebraic varieties - Classification theory |
ISBN | 1-4704-0429-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Background Material""; ""Part 1. Introducing Generative Complexity""; ""Chapter 3. Definitions and Examples""; ""Chapter 4. Semilattices and Lattices""; ""Chapter 5. Varieties with a Large Number of Models""; ""Chapter 6. Upper Bounds""; ""Chapter 7. Categorical Invariants""; ""Part 2. Varieties with Few Models""; ""Chapter 8. Types 4 or 5 Need Not Apply""; ""Chapter 9. Semisimple May Apply""; ""Chapter 10. Permutable May also Apply""; ""Chapter 11. Forcing Modular Behavior""; ""Chapter 12. Restricting Solvable Behavior""
""Chapter 13. Varieties with Very Few Models""""Chapter 14. Restricting Nilpotent Behavior""; ""14.1. Nilpotent Congruences in non Nilpotent Algebras""; ""14.2. Nilpotent Algebras""; ""Chapter 15. Decomposing Finite Algebras""; ""Chapter 16. Restricting Afflne Behavior""; ""16.1. Expanded Modules""; ""16.2. Forcing Finite Representation Type""; ""Chapter 17. A Characterization Theorem""; ""17.1. Locally Finite Varieties with Few Models""; ""17.2. Finitely Generated Varieties with Few Models""; ""Part 3. Conclusions""; ""Chapter 18. Application to Groups and Rings"" ""Chapter 19. Open Problems""""Chapter 20. Tables""; ""Bibliography"" |
Record Nr. | UNINA-9910788749503321 |
Berman Joel <1943-> | ||
Providence, Rhode Island : , : American Mathematical Society, , [2005] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Generative complexity in algebra / / Joel Berman, Paweł M. Idziak |
Autore | Berman Joel <1943-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2005] |
Descrizione fisica | 1 online resource (176 p.) |
Disciplina |
510 s
511.3/3 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Ordered algebraic structures
Model theory Algebraic varieties - Classification theory |
ISBN | 1-4704-0429-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Background Material""; ""Part 1. Introducing Generative Complexity""; ""Chapter 3. Definitions and Examples""; ""Chapter 4. Semilattices and Lattices""; ""Chapter 5. Varieties with a Large Number of Models""; ""Chapter 6. Upper Bounds""; ""Chapter 7. Categorical Invariants""; ""Part 2. Varieties with Few Models""; ""Chapter 8. Types 4 or 5 Need Not Apply""; ""Chapter 9. Semisimple May Apply""; ""Chapter 10. Permutable May also Apply""; ""Chapter 11. Forcing Modular Behavior""; ""Chapter 12. Restricting Solvable Behavior""
""Chapter 13. Varieties with Very Few Models""""Chapter 14. Restricting Nilpotent Behavior""; ""14.1. Nilpotent Congruences in non Nilpotent Algebras""; ""14.2. Nilpotent Algebras""; ""Chapter 15. Decomposing Finite Algebras""; ""Chapter 16. Restricting Afflne Behavior""; ""16.1. Expanded Modules""; ""16.2. Forcing Finite Representation Type""; ""Chapter 17. A Characterization Theorem""; ""17.1. Locally Finite Varieties with Few Models""; ""17.2. Finitely Generated Varieties with Few Models""; ""Part 3. Conclusions""; ""Chapter 18. Application to Groups and Rings"" ""Chapter 19. Open Problems""""Chapter 20. Tables""; ""Bibliography"" |
Record Nr. | UNINA-9910818806103321 |
Berman Joel <1943-> | ||
Providence, Rhode Island : , : American Mathematical Society, , [2005] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Geometry of Continued Fractions [[electronic resource] /] / by Oleg Karpenkov |
Autore | Karpenkov Oleg |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (409 p.) |
Disciplina | 515.243 |
Collana | Algorithms and Computation in Mathematics |
Soggetto topico |
Algebra
Ordered algebraic structures Approximation theory Convex geometry Discrete geometry Number theory Order, Lattices, Ordered Algebraic Structures Approximations and Expansions Convex and Discrete Geometry Number Theory |
ISBN | 3-642-39368-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Introduction -- Part 1. Regular continued fractions: Chapter 1. Classical notions and definitions -- Chapter 2. On integer geometry -- Chapter 3. Geometry of regular continued fractions -- Chapter 4. Complete invariant of integer angles -- Chapter 5. Integer trigonometry for integer angles -- Chapter 6. Integer angles of integer triangles -- Chapter 7. Continued fractions and SL(2; Z) conjugacy classes. Elements of Gauss Reduction Theory. Markoff spectrum -- Chapter 8. Lagrange theorem -- Chapter 9. Gauss-Kuzmin statistics -- Chapter 10. Geometric approximation aspects -- Chapter 11. Geometry of continued fractions with real elements and the second Kepler law -- Chapter 12. Integer angles of polygons and global relations to toric singularities -- Part 2. Klein polyhedra: Chapter 13. Basic notions and definitions of multidimensional integer geometry -- Chapter 14. On empty simplices, pyramids, parallelepipeds -- Chapter 15. Multidimensional continued fractions in the sense of Klein -- Chapter 16. Dirichlet groups and lattice reduction -- Chapter 17. Periodicity of Klein polyhedra. Generalization of Lagrange theorem -- Chapter 18. Multidimensional Gauss-Kuzmin statistics -- Chapter 19. On construction of multidimensional continued fractions -- Chapter 20. Gauss Reduction in higher dimensions -- Chapter 21. Decomposable forms. Relation to Littlewood and Oppenheim conjectures -- Chapter 22. Approximation of maximal commutative subgroups -- Chapter 23. Other generalizations of continued fractions -- Bibliography . |
Record Nr. | UNINA-9910438036903321 |
Karpenkov Oleg | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hyper-lattice Algebraic Model for Data Warehousing [[electronic resource] /] / by Soumya Sen, Agostino Cortesi, Nabendu Chaki |
Autore | Sen Soumya |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (71 p.) |
Disciplina | 658.40380285574 |
Collana | SpringerBriefs in Applied Sciences and Technology |
Soggetto topico |
Electrical engineering
Data structures (Computer science) Algebra Ordered algebraic structures Statistics Communications Engineering, Networks Data Structures and Information Theory Order, Lattices, Ordered Algebraic Structures Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences |
ISBN | 3-319-28044-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Hyper Lattice -- Applications of Hyper-Lattice in Real Life -- Generating Co-Operative Queries over Concept Hierarchies -- Conclusions. |
Record Nr. | UNINA-9910253960803321 |
Sen Soumya | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|