Relational and Algebraic Methods in Computer Science [electronic resource] : 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings / edited by Uli Fahrenberg, Wesley Fussner, Roland Glück.

Colaborador(es): Fahrenberg, Uli [editor.] | Fussner, Wesley [editor.] | Glück, Roland [editor.] | SpringerLink (Online service)Tipo de material: TextoTextoSeries Lecture Notes in Computer Science ; 14787Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Edición: 1st ed. 2024Descripción: X, 261 p. 28 illus., 11 illus. in color. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783031682797Tema(s): Logic programming | Database management | Expert systems (Computer science) | Computer science -- Mathematics | Artificial intelligence | Data mining | Logic in AI | Database Management System | Knowledge Based Systems | Mathematics of Computing | Artificial Intelligence | Data Mining and Knowledge DiscoveryFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 005.115 Clasificación LoC:QA76.63Recursos en línea: Libro electrónicoTexto
Contenidos:
Tabular and Pretabular Varieties of MTL-algebras -- Cyclic Group Spectra for Some Small Relation Algebras.-Presenting Interval Pomsets with Interfaces -- Irrationality of Process Replication for Higher-Dimensional Automata -- Monotone Ω-Sup-Fuzzy Relations: Converse and Complementation -- On the Structure of Balanced Residuated Partially-ordered Monoids -- Complete Congruences of Completely Distributive Lattices -- A Matrix-oriented View of Bisimulations Quotients over Dioid-labeled Transition Systems -- Restructuring a Concurrent Refinement Algebra -- Frames and Spaces for Distributive Quasi Relation Algebras and Involutive FL-algebras -- Data Migration under a Changing Schema in Ampersand -- Using Matrix Sparsification to Solve Tropical Linear Vector Equations -- Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops -- L-Fuzzy Weak Preference, Preference, and Choice Relations -- Lifting Star-autonomy.
En: Springer Nature eBookResumen: This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19-22, 2024. The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Star ratings
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras
Libro Electrónico Biblioteca Electrónica
Colección de Libros Electrónicos 1 No para préstamo

Tabular and Pretabular Varieties of MTL-algebras -- Cyclic Group Spectra for Some Small Relation Algebras.-Presenting Interval Pomsets with Interfaces -- Irrationality of Process Replication for Higher-Dimensional Automata -- Monotone Ω-Sup-Fuzzy Relations: Converse and Complementation -- On the Structure of Balanced Residuated Partially-ordered Monoids -- Complete Congruences of Completely Distributive Lattices -- A Matrix-oriented View of Bisimulations Quotients over Dioid-labeled Transition Systems -- Restructuring a Concurrent Refinement Algebra -- Frames and Spaces for Distributive Quasi Relation Algebras and Involutive FL-algebras -- Data Migration under a Changing Schema in Ampersand -- Using Matrix Sparsification to Solve Tropical Linear Vector Equations -- Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops -- L-Fuzzy Weak Preference, Preference, and Choice Relations -- Lifting Star-autonomy.

This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19-22, 2024. The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

UABC ; Perpetuidad

Con tecnología Koha