1
Concise Guide to Quantum Machine Learning [E-Book] /
2
Elements of Dimensionality Reduction and Manifold Learning [E-Book] /
Table of Contents: ...Chapter 1: Introduction -- Part 1: Preliminaries and Background -- Chapter 2: Background on Linear Algebra -- Chapter 3: Background on Kernels -- Chapter 4: Background on Optimization -- Part 2: Spectral dimensionality Reduction -- Chapter 5: Principal...

Full text 
3
Computer Algebra in Scientific Computing [E-Book] : 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings /
Table of Contents: ...Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions -- Generating Elementary Integrable Expressions -- How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse a Case Study -- A Modular...

Full text 
4
Rough Sets [E-Book] : International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings /
Table of Contents: ...Rough Set Models -- Selected approaches to conflict analysis inspired by the Pawlak model - case study -- Multi-heuristic Induction of Decision Rules -- Algebraic formulations and geometric interpretations of decision-theoretic rough sets -- Reduction...

Full text 
5
Learning and Collaboration Technologies [E-Book] : 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I /
Table of Contents: ... from Autism -- Two-phases AI Model for a Smart Learning System -- Learning System for Relational Algebra -- Design and Simulation of an IoT Intelligent University Campus for Academic Aim -- Behavioral Coding for Predicting Perceptions of Interactions...

Full text 
6
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Table of Contents: ... -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions...

Full text 
7
Towards Autonomous Robotic Systems [E-Book] : 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings /
Table of Contents: ... Geometric Algebra Solution to the 3D Registration Problem -- Active Anomaly Detection for Autonomous Robots: a Benchmark -- Multi-robot Systems -- Hardware Validation of Adaptive Fault Diagnosis in Swarm Robots -- Mobile Robots For Collaborative Manipulation Over...

Full text 
8
WAIC and WBIC with R Stan [E-Book] : 100 Exercises for Building Logic /
Table of Contents: ...Over view of Watanabe's Bayes -- Introduction to Watanabe Bayesian Theory -- MCMC and Stan -- Mathematical Preparation -- Regular Statistical Models -- Information Criteria -- Algebraic Geometry -- The Essence of WAOIC -- WBIC and Its Application...

Full text 
9
Data Privacy Management, Cryptocurrencies and Blockchain Technology [E-Book] : ESORICS 2022 International Workshops, DPM 2022 and CBT 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers /
Table of Contents: ... Quantification and Applications -- Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores -- A Parallel Privacy Preserving Shortest Path Protocol from a Path Algebra Problem -- A blockchain-based architecture to manage user privacy...

Full text 
10
Programming Languages and Systems [E-Book] : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings /
Table of Contents: ... for Strong Evaluation -- Proofs as Terms, Terms as Graphs -- Typed Non-determinism in Functional and Concurrent Calculi -- Interactive Theorem Proving -- A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists -- Oracle Computability and Turing...

Full text 
11
Relational and Algebraic Methods in Computer Science [E-Book] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings /
Table of Contents: ...Amalgamation Property for Some Varieties of BL-algebras Generated by one Finite Set of BL-chains with Finitely-many Components -- Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture -- A General Method for Representing Sets of Relations...

Full text 
12
Algorithms and Complexity [E-Book] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings /
13
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications [E-Book] : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam, November 23-25, 2022, Proceedings /
Table of Contents: ... Lightweight Cryptography enabled Blockchain -- Signature Algorithms on Non-commutative Algebras over Finite Fields of Characteristic Two -- Design a Smart Lock System Using Fingerprint and Password for Enhancing Security -- Machine Learning and Artificial...

Full text 
14
Proceedings of 2022 Chinese Intelligent Systems Conference [E-Book] : Volume II /
Table of Contents: ... Aviation Airborne INS/GPS/ADR Complementary Filtering Integrated Navigation Method -- A Research on GPS Prediction Anti-jamming Method of Civil Aviation Airborne Based on Time Series Model -- Algebraic parameter solution algorithms for high-order control systems...

Full text 
15
Artificial Intelligence Logic and Applications [E-Book] : The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings /
Table of Contents: ... -- Paraconsistent Rough Set Algebras -- Applications -- A Generalization of Bounded Commutative Rℓ-Monoids -- On the Weak Dominance Relation between Conjunctors -- New Modification to Toulmin Model as an Analytical Framework for Argumentative Essays -- Value-based...

Full text 
16
Information and Communication Technologies in Education, Research, and Industrial Applications [E-Book] : 17th International Conference, ICTERI 2021, Kherson, Ukraine, September 28-October 2, 2021, Revised Selected Papers /
Table of Contents: ... for Personalized Investment Portfolio Generation -- Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems -- Performance Evaluation of Raspberry Pi 4B Microcomputer: Case Studies on MPICH Cluster, VMware ESXi ARM Fling, and Windows 11 ARM OS...

Full text 
17
Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption [E-Book] : 17th European Conference on Technology Enhanced Learning, EC-TEL 2022, Toulouse, France, September 12-16, 2022, Proceedings /
Table of Contents: ... Playful Intelligent Tutoring Software to Support Engaging and Effective Algebra Learning -- Towards Generalized Methods for Automatic Question Generation in Educational Domains -- Learners' Strategies in Interactive Sorting Tasks -- Adapting learning analytics...

Full text 
18
Programming Languages and Systems [E-Book] : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings /
Table of Contents: ...Semantics and Analysis -- An Algebraic Theory for Shared-State Concurrency -- Decoupling the Ascending and Descending Phases in Abstract Interpretation -- Inferring Region Types via an Abstract Notion of Environment Transformation -- Testing...

Full text 
19
Algebraic Informatics [E-Book] : 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings /
Table of Contents: ...Invited Papers -- Chaining Multiplications in Finite Fields with Chudnovsky-type Algorithms and Tensor Rank of the k-multiplication -- On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function -- Shuffle product of regular languages: results...

Full text 
20
Discrete Geometry and Mathematical Morphology [E-Book] : Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings /
Table of Contents: ... -- Morphological adjunctions represented by matrices in max-plus algebra for signal and image processing -- MorphoActivations: Generalizing ReLU activations by mathematical morphology -- Logarithmic Morphological Neural Nets robust to lighting variations -- Distance...

Full text