201
Water [E-Book] : Basic Science /
Table of Contents: ... and microscopic surface wetting -- Chapter 10 Hydrated ions on the surface -- Chapter 11 Microscopic processes of salt dissolution and nucleation -- Chapter XII Surface of ice -- Chapter 13 Quantum behaviors of H in water -- Chapter 14 Phase transitions in confined...

Full text 
202
Artificial General Intelligence [E-Book] : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings /
Table of Contents: ... interaction with an embodied agent controlled by eBICA-based emotional interaction model -- QKSA: Quantum Knowledge Seeking Agent -- Elements of Active Continuous Learning and Uncertainty Self-Awareness: a Narrow Implementation for Face and Facial Expression...

Full text 
203
Concise Guide to Quantum Machine Learning [E-Book] /
Table of Contents: ...Chapter 1: Introduction -- Chapter 2: Basics of Quantum Mechanics -- Chapter 3: Basics of Quantum Computing -- Chapter 4: Relevant Quantum Algorithms -- Chapter 5: QML Toolkit -- Chapter 6: Quantum Clustering -- Chapter 7: Quantum Classification...

Full text 
204
Information Technologies and Intelligent Decision Making Systems [E-Book] : Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers /
Table of Contents: ... Platforms: AWS vs Azure vs GCP -- Mathematical Modeling of the Translation Process and its Optimization by the Criterion of Quality Maximization -- Optimization with Quantum Algorithm that is based on Grover's Method -- Evaluation of the Efficiency of Fault...

Full text 
205
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
Table of Contents: ... Symbolic Verification of Quantum Programs -- PFL: a Probabilistic Logic for Fault Trees -- Energy Buechi Problems -- QMaude: quantitative specification and verification in rewriting logic -- Concurrency and Memory Models -- Minimisation of Spatial Models using...

Full text 
206
AIxIA 2022 - Advances in Artificial Intelligence [E-Book] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings /
Table of Contents: ... finally together -- Deep learning for ECoG brain-computer interface: end-to-end vs hand-crafted features -- Quantum Circuit Compilation for the Graph Coloring Problem -- Toward a Heterogeneous Multi-Robot Framework for Priority-Based Sanitization of Railway...

Full text 
207
Foundations and Practice of Security [E-Book] : 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers /
Table of Contents: ...Cryptography -- Security Analysis of Improved EDHOC Protocol -- A Survey on Identity-based Blind Signature -- Do Not Rely on Clock Randomization: A Side-Channel Attack on a Protected Hardware Implementation of AES -- Post-Quantum and UC-secure Oblivious...

Full text 
208
Code-Based Cryptography [E-Book] : 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers /
Table of Contents: ...Distinguishing and Recovering Generalized Linearized ReedSolomon Codes -- Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation -- Key-Recovery Fault Injection Attack on the Classic McEliece KEM...

Full text 
209
Security Standardisation Research [E-Book] : 8th International Conference, SSR 2023, Lyon, France, April 22-23, 2023, Proceedings /
Table of Contents: ...Quantum-resistant MACsec and IPsec for Virtual Private Networks -- Post-Quantum Security for the Extended Access Control Protocol -- A study of KEM generalizations -- Vision Paper: Do we need to change some things? Open questions posed by the upcoming...

Full text 
210
Programming Languages and Systems [E-Book] : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /
Table of Contents: ...-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages....

Full text 
211
Theoretical Aspects of Software Engineering [E-Book] : 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings /
Table of Contents: ... Abstract Domain -- idDL2DL - Interval syntax to DL -- Safety Verification for Neural Networks Based on Set-boundary Analysis -- Approximately learning quantum automata -- View-Based Axiomatic Reasoning for PSO -- Resource Sensitive Workflow Models -- MTCD...

Full text 
212
The Concept of Matter [E-Book] : A Journey from Antiquity to Quantum Physics /
Table of Contents: ... in the eighteenth century -- Chapter 6. Matter and Electricity -- Chapter 7. Chemistry and matter in the nineteenth century -- Chapter 8. Physics and matter in the nineteenth century -- PART II: Matter and Old Quantum Theory -- Chapter 9. The Apperance of Quanta...

Full text 
213
Piezotronics and Piezo-Phototronics [E-Book] : Applications to Third-Generation Semiconductors /
214
Constructing the Edifice of Mechanics [E-Book] : From Newton to Modernity /
Table of Contents: ... -- 8. Elements of Quantum Mechanics....

Full text 
215
Branes and DAHA Representations [E-Book] /
Subject (ZB): ...Quantum physics....

Full text 
216
Relativistic and Non-Relativistic Quantum Mechanics [E-Book] : Both at Once /
Table of Contents: ...The Need for Quantum Mechanics -- The Wave Equation -- Introducing Relativity in Quantum Mechanics -- Other One-Dimensional Problems -- Quantum Mechanics in Three Dimensions -- Angular Momentum -- Identical Particles -- Some Consequences of Relativity...

Full text 
217
Physics for Particle Detectors and Particle Detectors for Physics [E-Book] : Timing Performance of Semiconductor Detectors with Internal Gain and Constraints on High-Scale Interactions of the Higgs Boson /
218
Topological Phases in Condensed Matter Physics [E-Book] /
Table of Contents: ...Symmetry and Topology -- Topology in One Dimensional (1D) tight binding Models -- Quantum Hall Eect -- Graphene: A Hobby Horse for studying Topology -- Anomalous Quantum Hall and Spin Hall eects in Graphene -- Fractional Quantum Hall Eect: Role...

Full text 
219
Advances in Near-Field Optics [E-Book] /
Table of Contents: ...Chapter 1. Analytical Methods for (Near-Field) Optics and Plasmonics -- Chapter 2. Fundamental limits to near-field optical response -- Chapter 3. Quasinormal mode theories and applications in classical and quantum nanophotonics -- Chapter 4. Probing...

Full text 
220
Instabilities in Field Theory [E-Book] : A Primer with Applications in Modified Gravity /