1
Cryptocoding Based on Quasigroups [E-Book] /
2
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 
3
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 
4
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 
5
Bioinformatics [E-Book] : An Introduction /
6
Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
7
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 
8
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 
9
Introduction to proofs and proof strategies /
Book
Subject (ZB): ...set theory...
Table of Contents 
10
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 
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
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 
13
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 
14
Reverse Mathematics [E-Book] : Problems, Reductions, and Proofs /
Table of Contents: ... Combinatorics: 8 Ramsey's theorem -- 9 Other combinatorial principles -- Part IV Other areas: 10 Analysis and topology -- 11 Algebra -- 12 Set theory and beyond....

Full text 
15
Computer Vision - ECCV 2022 [E-Book] : 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part II /
Table of Contents: ... for Point Cloud Completion -- Meta-Sampler: Almost-Universal yet Task-Oriented Sampling for Point Clouds.-A Level Set Theory for Neural Implicit Evolution under Explicit Flows -- Efficient Point Cloud Analysis Using Hilbert Curve....

Full text 
16
Rough Sets [E-Book] : International Joint Conference, IJCRS 2022, Suzhou, China, November 11-14, 2022, Proceedings /
Table of Contents: ... conception, and explainable AI -- Rough set theory and applications -- scikit-weak: A Python library for Weakly Supervised Machine Learning -- Applying Rough Set Theory for Digital Forensics Evidence Analysis -- Binary boundaries and power set space of graded...

Full text 
17
Transactions on Rough Sets XXIII [E-Book] /
18
Optical Waveguide Theory [E-Book] : Mathematical Models, Spectral Theory and Numerical Analysis /
Table of Contents: ...Introduction -- Some Concepts and Definitions of The Set Theory, Function Theory, and Operator Theory -- Shielded Regular Waveguides of Arbitrary Cross-Section.-Planar Waveguides -- Waveguides of Circular Cross-Section.-Open Regular Waveguides...

Full text 
19
Revolutions and Revelations in Computability [E-Book] : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings /
Table of Contents: ...Bio-computing -- Blockchain -- Combinatory Logic -- Computable Analysis -- Computational Complexity -- Computability in Mathematics -- Computability in Set Theory -- Computability Theory -- Constructive Mathematics -- Cryptography -- Foundations...

Full text 
20
Multigrammatical Framework for Knowledge-Based Digital Economy [E-Book] /