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.
Algebraic Methods in General Rough Sets [[electronic resource] /] / edited by A. Mani, Gianpiero Cattaneo, Ivo Düntsch
| Algebraic Methods in General Rough Sets [[electronic resource] /] / edited by A. Mani, Gianpiero Cattaneo, Ivo Düntsch |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 733 p. 120 illus., 4 illus. in color.) |
| Disciplina | 512 |
| Collana | Trends in Mathematics |
| Soggetto topico |
Algebra
Mathematical logic Information theory General Algebraic Systems Mathematical Logic and Formal Languages Information and Communication, Circuits |
| ISBN | 3-030-01162-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations -- Algebraic Methods for Granular Rough Sets -- Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory -- Irredundant Coverings, Tolerances, and Related Algebras -- Algebraic Representation, Dualities and Beyond.-Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces -- Rough Objects in Monoidal Closed Categories -- Rough Algebraic Structures Corresponding to Ring Theory -- S-approximation Spaces -- Index. |
| Record Nr. | UNINA-9910309662803321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Relational Methods in Computer Science [[electronic resource] ] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch
| Relational Methods in Computer Science [[electronic resource] ] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 262 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Computer science—Mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Artificial Intelligence |
| ISBN | 3-540-33340-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through Duality -- Duality Theory for Projective Algebras -- Contributed Papers -- Relational Approach to Boolean Logic Problems -- Static Analysis of Programs Using Omega Algebra with Tests -- Weak Contact Structures -- On Relational Cycles -- A Framework for Kleene Algebra with an Embedded Structure -- Non-termination in Unifying Theories of Programming -- Towards an Algebra of Hybrid Systems -- Relational Correspondences for Lattices with Operators -- Control-Flow Semantics for Assembly-Level Data-Flow Graphs -- Relational Implementation of Simple Parallel Evolutionary Algorithms -- Lattice-Based Paraconsistent Logic -- Verification of Pushdown Systems Using Omega Algebra with Domain -- wp Is wlp -- Relational Representability for Algebras of Substructural Logics -- Knuth-Bendix Completion as a Data Structure -- Quantifier Elimination in Elementary Set Theory -- Time-Dependent Contact Structures in Goguen Categories. |
| Record Nr. | UNINA-9910484733603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Relational Methods in Computer Science [[electronic resource] ] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch
| Relational Methods in Computer Science [[electronic resource] ] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 262 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Computer science—Mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Artificial Intelligence |
| ISBN | 3-540-33340-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through Duality -- Duality Theory for Projective Algebras -- Contributed Papers -- Relational Approach to Boolean Logic Problems -- Static Analysis of Programs Using Omega Algebra with Tests -- Weak Contact Structures -- On Relational Cycles -- A Framework for Kleene Algebra with an Embedded Structure -- Non-termination in Unifying Theories of Programming -- Towards an Algebra of Hybrid Systems -- Relational Correspondences for Lattices with Operators -- Control-Flow Semantics for Assembly-Level Data-Flow Graphs -- Relational Implementation of Simple Parallel Evolutionary Algorithms -- Lattice-Based Paraconsistent Logic -- Verification of Pushdown Systems Using Omega Algebra with Domain -- wp Is wlp -- Relational Representability for Algebras of Substructural Logics -- Knuth-Bendix Completion as a Data Structure -- Quantifier Elimination in Elementary Set Theory -- Time-Dependent Contact Structures in Goguen Categories. |
| Record Nr. | UNISA-996466114903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rough Sets [[electronic resource] ] : International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings / / edited by Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci
| Rough Sets [[electronic resource] ] : International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings / / edited by Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXII, 550 p. 239 illus., 55 illus. in color.) |
| Disciplina | 006.312 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Data mining
Artificial intelligence Arithmetic and logic units, Computer Data Mining and Knowledge Discovery Artificial Intelligence Arithmetic and Logic Structures |
| ISBN | 3-030-22815-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Core Rough Set Models and Methods -- An Application of Bayesian Confirmation Theory for Three-Way Decision -- Concept Approximation Based on Rough Sets and Judgment -- Rough Sets and the Algebra of Conditional Logic -- Rough Sets Defined by Multiple Relations -- On the Roughly Continuous Real Functions -- On topologies defined by binary relations in rough sets -- Iterative Set Approximations Based on Tolerance Relation -- Approximation Based on Representatives -- Local search for attribute reduction -- Rough Matroids Based on Dual Approximation Operators -- Studies on Reducing the Necessary Data Size for Rule Induction from the Decision Table by STRIM -- Rough Approximations on Two Universes under a Mapping -- Rough Sets Based on Possible Indiscernibility Relations in Incomplete Information Tables with Continuous Values -- The Prototype View of Concepts -- A Three-Way Clustering Algorithm via Decomposing Similarity Matrices for Multi-View Data with Noise -- Related Methods and Hybridization -- A Scalable Approach to Fuzzy Rough Nearest Neighbour Classification with Ordered Weighted Averaging Operators -- Learning Multi-granular Features for Harvesting Knowledge from Free Text -- Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant -- Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application -- Soft Petri Net -- Approximations induced by tolerance relations -- Three-Way Classification: Ambiguity and Abstention in Machine Learning -- Concepts Approximation Through Dialogue With User -- A Dynamic Dominance-based Rough Set Approach for Processing Ordered Data -- CSLI: Cost-sensitive collaborative filtering with local information embedding -- Attribute reduction based on optimistic multi-granulation information Systems -- Constructing the Optimal Approximation Sets of Rough Sets in Multi-granularity Spaces -- Discovering Flow Graphs from Data Tables Using the Classification and Prediction Software System (CLAPSS) -- Methods to Edit Multi-label Training Sets Using Rough Sets Theory -- Areas of Applications -- The Impact of Rough Set Conferences -- Multivariate Ovulation Window Detection at OvuFriend -- Incremental Sequential Three-Way Decision Using a Deep Stacked Autoencoder -- Three-way Decision Collaborative Recommendation Algorithm Based on User Reputation -- Multi-Graded Hybrid MRDM Model for Assisting Financial Performance Evaluation Decisions: A Preliminary Work -- 3D Face Recognition Based on Hybrid Data -- Rough Sets and Local Texture Features for Diagnosis of Connective Tissue Disorders -- Developing Pricing Models for Online Art Sales Using Text Analytics -- Hardware Implementation on Field Programmable Gate Array of Two-Stage Algorithm for Rough Set Reduct Generation -- A Multi-Granularity Representation Learning Framework for User Identification Across Social Networks -- A Robust Long-term Pedestrian Tracking-by-Detection Algorithm Based on Three-way Decision -- A Bibliometric Profile of Research on Rough Sets. |
| Record Nr. | UNISA-996466325803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rough Sets [[electronic resource] ] : International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings / / edited by Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci
| Rough Sets [[electronic resource] ] : International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings / / edited by Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXII, 550 p. 239 illus., 55 illus. in color.) |
| Disciplina | 006.312 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Data mining
Artificial intelligence Arithmetic and logic units, Computer Data Mining and Knowledge Discovery Artificial Intelligence Arithmetic and Logic Structures |
| ISBN | 3-030-22815-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Core Rough Set Models and Methods -- An Application of Bayesian Confirmation Theory for Three-Way Decision -- Concept Approximation Based on Rough Sets and Judgment -- Rough Sets and the Algebra of Conditional Logic -- Rough Sets Defined by Multiple Relations -- On the Roughly Continuous Real Functions -- On topologies defined by binary relations in rough sets -- Iterative Set Approximations Based on Tolerance Relation -- Approximation Based on Representatives -- Local search for attribute reduction -- Rough Matroids Based on Dual Approximation Operators -- Studies on Reducing the Necessary Data Size for Rule Induction from the Decision Table by STRIM -- Rough Approximations on Two Universes under a Mapping -- Rough Sets Based on Possible Indiscernibility Relations in Incomplete Information Tables with Continuous Values -- The Prototype View of Concepts -- A Three-Way Clustering Algorithm via Decomposing Similarity Matrices for Multi-View Data with Noise -- Related Methods and Hybridization -- A Scalable Approach to Fuzzy Rough Nearest Neighbour Classification with Ordered Weighted Averaging Operators -- Learning Multi-granular Features for Harvesting Knowledge from Free Text -- Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant -- Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application -- Soft Petri Net -- Approximations induced by tolerance relations -- Three-Way Classification: Ambiguity and Abstention in Machine Learning -- Concepts Approximation Through Dialogue With User -- A Dynamic Dominance-based Rough Set Approach for Processing Ordered Data -- CSLI: Cost-sensitive collaborative filtering with local information embedding -- Attribute reduction based on optimistic multi-granulation information Systems -- Constructing the Optimal Approximation Sets of Rough Sets in Multi-granularity Spaces -- Discovering Flow Graphs from Data Tables Using the Classification and Prediction Software System (CLAPSS) -- Methods to Edit Multi-label Training Sets Using Rough Sets Theory -- Areas of Applications -- The Impact of Rough Set Conferences -- Multivariate Ovulation Window Detection at OvuFriend -- Incremental Sequential Three-Way Decision Using a Deep Stacked Autoencoder -- Three-way Decision Collaborative Recommendation Algorithm Based on User Reputation -- Multi-Graded Hybrid MRDM Model for Assisting Financial Performance Evaluation Decisions: A Preliminary Work -- 3D Face Recognition Based on Hybrid Data -- Rough Sets and Local Texture Features for Diagnosis of Connective Tissue Disorders -- Developing Pricing Models for Online Art Sales Using Text Analytics -- Hardware Implementation on Field Programmable Gate Array of Two-Stage Algorithm for Rough Set Reduct Generation -- A Multi-Granularity Representation Learning Framework for User Identification Across Social Networks -- A Robust Long-term Pedestrian Tracking-by-Detection Algorithm Based on Three-way Decision -- A Bibliometric Profile of Research on Rough Sets. |
| Record Nr. | UNINA-9910337840203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Rough Sets VI [[electronic resource] ] : Commemorating Life and Work of Zdislaw Pawlak, Part I / / edited by James F. Peters, Ivo Düntsch, Jerzy Grzymala-Busse, Ewa Orlowska, Lech Polkowski
| Transactions on Rough Sets VI [[electronic resource] ] : Commemorating Life and Work of Zdislaw Pawlak, Part I / / edited by James F. Peters, Ivo Düntsch, Jerzy Grzymala-Busse, Ewa Orlowska, Lech Polkowski |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XII, 500 p.) |
| Disciplina | 006.3 |
| Collana | Transactions on Rough Sets |
| Soggetto topico |
Artificial intelligence
Data mining Computers Mathematical logic Database management Artificial Intelligence Data Mining and Knowledge Discovery Theory of Computation Mathematical Logic and Formal Languages Computation by Abstract Devices Database Management |
| ISBN |
1-280-90223-X
9786610902231 3-540-71200-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contributed Papers -- Propositional Logics from Rough Set Theory -- Intuitionistic Rough Sets for Database Applications -- An Experimental Comparison of Three Rough Set Approaches to Missing Attribute Values -- Pawlak’s Landscaping with Rough Sets -- A Comparison of Pawlak’s and Skowron–Stepaniuk’s Approximation of Concepts -- Data Preparation for Data Mining in Medical Data Sets -- A Wistech Paradigm for Intelligent Systems -- The Domain of Acoustics Seen from the Rough Sets Perspective -- Rule Evaluations, Attributes, and Rough Sets: Extension and a Case Study -- The Impact of Rough Set Research in China: In Commemoration of Professor Zdzis?aw Pawlak -- A Four-Valued Logic for Rough Set-Like Approximate Reasoning -- On Representation and Analysis of Crisp and Fuzzy Information Systems -- On Partial Covers, Reducts and Decision Rules with Weights -- A Personal View on AI, Rough Set Theory and Professor Pawlak -- Formal Topology and Information Systems -- On Conjugate Information Systems: A Proposition on How to Learn Concepts in Humane Sciences by Means of Rough Set Theory -- Discovering Association Rules in Incomplete Transactional Databases -- On Combined Classifiers, Rule Induction and Rough Sets -- Approximation Spaces in Multi Relational Knowledge Discovery -- Finding Relevant Attributes in High Dimensional Data: A Distributed Computing Hybrid Data Mining Strategy -- A Model PM for Preprocessing and Data Mining Proper Process -- Monographs -- Lattice Theory for Rough Sets. |
| Record Nr. | UNISA-996465615603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Rough Sets VI [[electronic resource] ] : Commemorating Life and Work of Zdislaw Pawlak, Part I / / edited by James F. Peters, Ivo Düntsch, Jerzy Grzymala-Busse, Ewa Orlowska, Lech Polkowski
| Transactions on Rough Sets VI [[electronic resource] ] : Commemorating Life and Work of Zdislaw Pawlak, Part I / / edited by James F. Peters, Ivo Düntsch, Jerzy Grzymala-Busse, Ewa Orlowska, Lech Polkowski |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XII, 500 p.) |
| Disciplina | 006.3 |
| Collana | Transactions on Rough Sets |
| Soggetto topico |
Artificial intelligence
Data mining Computers Mathematical logic Database management Artificial Intelligence Data Mining and Knowledge Discovery Theory of Computation Mathematical Logic and Formal Languages Computation by Abstract Devices Database Management |
| ISBN |
1-280-90223-X
9786610902231 3-540-71200-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contributed Papers -- Propositional Logics from Rough Set Theory -- Intuitionistic Rough Sets for Database Applications -- An Experimental Comparison of Three Rough Set Approaches to Missing Attribute Values -- Pawlak’s Landscaping with Rough Sets -- A Comparison of Pawlak’s and Skowron–Stepaniuk’s Approximation of Concepts -- Data Preparation for Data Mining in Medical Data Sets -- A Wistech Paradigm for Intelligent Systems -- The Domain of Acoustics Seen from the Rough Sets Perspective -- Rule Evaluations, Attributes, and Rough Sets: Extension and a Case Study -- The Impact of Rough Set Research in China: In Commemoration of Professor Zdzis?aw Pawlak -- A Four-Valued Logic for Rough Set-Like Approximate Reasoning -- On Representation and Analysis of Crisp and Fuzzy Information Systems -- On Partial Covers, Reducts and Decision Rules with Weights -- A Personal View on AI, Rough Set Theory and Professor Pawlak -- Formal Topology and Information Systems -- On Conjugate Information Systems: A Proposition on How to Learn Concepts in Humane Sciences by Means of Rough Set Theory -- Discovering Association Rules in Incomplete Transactional Databases -- On Combined Classifiers, Rule Induction and Rough Sets -- Approximation Spaces in Multi Relational Knowledge Discovery -- Finding Relevant Attributes in High Dimensional Data: A Distributed Computing Hybrid Data Mining Strategy -- A Model PM for Preprocessing and Data Mining Proper Process -- Monographs -- Lattice Theory for Rough Sets. |
| Record Nr. | UNINA-9910484065003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||