1
Computability and Complexity [E-Book] : Foundations and Tools for Pursuing Scientific Applications /
2
Producing Artificial Intelligent Systems [E-Book] : The Roles of Benchmarking, Standardisation and Certification /
Table of Contents: ... for Robotic Performance -- Co-Regulation and AI Innovation -- Prolegomenon for a Family of Theorems Regarding Trustworthiness in Autonomous Artificial Agents -- The Quest for an AI Ethics: Between Benevolence and Greed....

Full text 
3
Materials Data Science [E-Book] : Introduction to Data Mining, Machine Learning, and Data-Driven Predictions for Materials Science and Engineering /
4
Fundamental Mathematical Concepts for Machine Learning in Science [E-Book] /
5
Mathematics for Natural Scientists II [E-Book] : Advanced Methods /
6
Group Theory in Physics [E-Book] : An Introduction with a Focus on Solid State Physics /
Table of Contents: ...Introduction -- Groups: Definitions and Properties -- Point Groups -- Representations and Characters -- Orthogonality Theorems -- Quantum Mechanics and Group Theory -- Irreducible Representations of the Point Groups in Solids -- Group Theory...

Full text 
7
Digital Forensics and Cyber Crime [E-Book] : 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II /
Table of Contents: ... semantics -- Password Managers and Vault Application Security and Forensics: Research Challenges and Future Opportunities -- Lattice-based Secret Sharing Scheme (Chinese Remainder Theorem) -- A PUF based Audio Fingerprint Based for Device Authentication...

Full text 
8
Neural Information Processing [E-Book] : 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part II /
Table of Contents: ... Level Sentiment Analysis -- New predefined-time stability theorem and applications to the fuzzy stochastic memristive neural networks with impulsive effects -- Removing Double Descent with Data-dependent Regularization under Non-Asymptotic View -- FE-YOLOv5...

Full text 
9
Foundations of Vector Retrieval [E-Book] /
10
Lectures on quantum mechanics. Volume 2: Simple systems [E-Book] /
11
Back-of-the-envelope quantum mechanics [E-Book] : with extensions to many-body systems, integrable PDEs, and rare and exotic methods /
Table of Contents: ... of observables and perturbation theory -- Variational problems -- Gravitational well: a case study -- Miscellaneous -- The Hellmann-Feynman theorem -- Local density approximation theories -- Integrable partial differential equations -- Rare and exotic methods...

Full text 
12
The Advancing World of Applied Electromagnetics [E-Book] : In Honor and Appreciation of Magdy Fahmy Iskander /
Table of Contents: ... diagnosis modality -- Real-time quantitative reconstruction methods in microwave imaging -- Electromagnetics in medical applications: The cardiopulmonary stethoscope journey -- The Ewald-Oseen extinction theorem and the extended boundary condition method...

Full text 
13
Rigorous State-Based Methods [E-Book] : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings /
Table of Contents: ... Abstract State Machines into Basic Abstract State Machines -- Multi-model Animation with Jeb -- Meta-Programming Event-B: Advancing Tool Support and Language Extensions -- Event-B as DSL in Isabelle and HOL -- ThoR: An Alloy5-based DSL for Interactive Theorem...

Full text 
14
Studies in theoretical physics. Volume 2. Advanced mathematical methods [E-Book] /
Table of Contents: ... transformations -- 3.7. Tensor equations and the quotient theorem -- 3.8. Covariant derivatives of a tensor -- 3.9. Intrinsic derivative -- 3.10. Homework assignment...

Full text 
15
Theory and Applications of Models of Computation [E-Book] : 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings /
Table of Contents: ...-Interval Restricted Tests -- An Improved Kernel and Parameterized Algorithm for Almost Induced Matching -- A Tight Threshold Bound for Search Trees with 2-Way Comparisons -- Kleene Theorems for Lasso and ω-Languages -- Tight Double Exponential Lower Bounds...

Full text 
16
Polytopes and graphs [E-Book] /
17
Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more [E-Book] /
Table of Contents: ...Yes you can prove a negative! -- Bell's impossibility theorem(s) -- Enjoying Bell magic -- Arrow's (and friends') impossibility theorems -- Clustering and impossibility -- Godel-ish impossibility -- Turing undecidability and incompleteness -- Chaitin...

Full text 
18
Introduction to Unsteady Aerodynamics and Dynamic Aeroelasticity [E-Book] /
Table of Contents: ...Finite-Part Integrals -- Convolution and Duhamel Integrals -- Laplace and Fourier Transforms -- Review of the Least Square Method -- Vector Identities Used in Aerodynamics -- Reynolds Transport Theorem, Isentropic, Continuity, and Momentum Equations...

Full text 
19
IoT Edge Intelligence [E-Book] /
20
Lecture Notes in Analog Electronics [E-Book] : Noise in Electronic Circuits and Low Noise Amplifier Design /