1
ArtsIT, Interactivity and Game Creation [E-Book] : 12th EAI International Conference, ArtsIT 2023, São Paulo, Brazil, November 27-29, 2023, Proceedings, Part I /
Table of Contents: ...-Collage Cyberperformance -- Bridging Computational Art and Climate Change: An analysis of a mobile application for raising awareness about climate change through art -- Guitar Improvisation Preparation and Practice: A Digital-Assisted Approach Integrating Set...

Full text 
2
Computational Intelligence in Engineering and Project Management [E-Book] /
3
Proceedings of World Conference on Information Systems for Business Management [E-Book] : ISBM 2023, Volume 2 /
Table of Contents: ... Public School Educators -- Chapter 8: Next Generation Technical Interview Process Automation with Multi-Level Interactive Chatbot based on Intelligent Techniques -- Chapter 9: FEATURE SELECTION USING ARTIFICIAL BEE COLONY AND DISCERNIBILITY MATRIX IN ROUGH SET...

Full text 
4
Cryptocoding Based on Quasigroups [E-Book] /
5
Recent Advances in Energy Systems, Power and Related Smart Technologies [E-Book] : Concepts and Innovative Implementations for a Sustainable Economic Growth in Developing Countries /
Table of Contents: ... using multi-dimensional neural network -- Data farming in a smart low voltage distribution system -- Decision making approach using fuzzy logic and rough set theory for power quality monitoring index of microgrids -- Enabling technologies in IoT: energy...

Full text 
6
Fuzzy Investment Decision Making with Examples [E-Book] /
7
Computability and Complexity [E-Book] : Foundations and Tools for Pursuing Scientific Applications /
Table of Contents: ...Introduction -- Some Naive Set Theory -- Regular Languages and Finite Automata -- General Models of Computation -- Deeper Computability -- Computational Complexity -- NP- and PSPACE-Completeness -- Some Structural Complexity -- Parameterized Complexity...

Full text 
8
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics [E-Book] : Theory and Applications /
Table of Contents: ...Fuzzy Sets Theory and Uncertainty in Mathematical Modeling -- The Extension Principle of Zadeh and Fuzzy Numbers -- Fuzzy Relations -- Notions of Fuzzy Logic -- Fuzzy Rule-Based Systems -- Fuzzy Relational Equations and Approximation -- Measure...

Full text 
9
Logic and Its Applications [E-Book] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings /
Table of Contents: ... Logic with Dual Domain Semantics -- A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering -- Labelled calculi for the logics of rough concepts -- An Infinity of Intuitionistic Connexive Logics -- Relational...

Full text 
10
Automated Deduction - CADE 29 [E-Book] : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Table of Contents: ... Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals...

Full text 
11
Gamification Design for Educational Contexts [E-Book] : Theoretical and Practical Contributions /
Table of Contents: ... -- 4.1 Dissecting Cognitive Load Theory -- 4.2 Application -- 4.3 Summary -- 5 Goal-setting Theory -- 5.1 Dissecting Goal-setting Theory -- 5.2 Applications -- 5.3 Summary -- 6 Theory of Gamified Learning -- 6.1 Dissecting the Theory -- 6.2 Applications -- 6.3...

Full text 
12
Introduction to proofs and proof strategies /
Book
Subject (ZB): ...set theory...
Table of Contents 
13
Rough Sets [E-Book] : International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings /
Table of Contents: ... of binary attributes: rough set theory versus formal concept analysis -- An Acceleration Method for Attribute Reduction Based on Attribute Synthesis -- Attribute Reduction Based on the Multi-annulus Model -- Foundations -- Deterministic and Nondeterministic...

Full text 
14
Algorithms for Constructing Computably Enumerable Sets [E-Book] /
Table of Contents: ...1 Index of notation and terms -- 2 Set theory, requirements, witnesses -- 3 What's new in this chapter? -- 4 Priorities (a splitting theorem) -- 5 Reductions, comparability (Kleene-Post Theorem) -- 6 Finite injury (Friedberg-Muchnik Theorem) -- 7...

Full text 
15
Data Analytics [E-Book] : A Theoretical and Practical View from the EDISON Project /
Table of Contents: ... Sets theory actions and operations -- 3.4 La Place or classic probability -- 3.5 Bayesian Probability -- 3.6 Probability distribution of random variables -- 3.6.1 Random Variable -- 3.6.2 Probability distribution -- 3.6.3 Discrete probability...

Full text 
16
Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
17
Computer Information Systems and Industrial Management [E-Book] : 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings /
Table of Contents: ... Networks and Saliency Maps in Diabetic Retinopathy Diagnosis -- Towards Rough Set Theory for Outliers Detection in Questionnaire Data -- Modelling and Optimization -- Optimization of Bread Production using Neuro-Fuzzy Modelling -- Applications of graph topology...

Full text 
18
Concise Guide to Software Verification [E-Book] : From Model Checking to Annotation Checking /
Table of Contents: ...1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4. Crash Course on Temporal Logic and its Verification -- 5. Software Analysis -- 6. Crash Course on Design by Contract Specifications -- 7. Run-time checking...

Full text 
19
Bioinformatics [E-Book] : An Introduction /
20
Analytical lens design [E-Book] /
Table of Contents: ...2. A mathematical toolkit for stigmatic imaging -- 2.1. A mathematical toolkit -- 2.2. Set theory -- 2.3. Topological spaces -- 2.4. Metric spaces -- 2.5. The conics -- 2.6. Geometric algebra -- 2.7. Conclusions...

Full text