1
Dynamic Logic. New Trends and Applications [E-Book] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /
Table of Contents: ...A spatial logic with time and quantifiers -- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability -- Axiomatization of Hybrid Logic of Link Variations -- Kleene Algebra of Weighted Programs With Domain -- Automated Quantum...

Full text 
2
Artificial Intelligence Security and Privacy [E-Book] : First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part I /
Table of Contents: ... Images -- Hardware Implementation and Optimization of Critical Modules of SM9 Digital Signature Algorithm -- Post-quantum Dropout-resilient Aggregation for Federated Learning via Lattice-basedPRF -- Practical and Privacy-Preserving Decision Tree Evaluation...

Full text 
3
Information Security and Cryptology [E-Book] : 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part II /
Table of Contents: ...-Based Indoor Localization Scheme with Bilateral Privacy -- A Practical Multi-Candidate Voting Protocol on Quantum Blockchain Adapted for Various Tally Principles -- Quantum Augmented Lattice Attack on NTRU with Side Information -- Quantum Attacks: A View...

Full text 
4
Human and Artificial Rationalities [E-Book] : Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings /
Table of Contents: ... Rationality to Quantum Cognition -- Are humans moral creatures? A dual-process approach for natural experiments of history -- Neuropsychology and interaction -- Mindfulness Is in the Eye of the Machine -- Assessing Perception of Virtual Action Boundary in 2D...

Full text 
5
Applications of Evolutionary Computation [E-Book] : 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II /
Table of Contents: ... Learning Approach for Efficient Quantum Algorithms Transpilation -- Measuring Similarities in Model Structure of Metaheuristic Rule Set Learners -- Machine Learning and AI in Digital Healthcare and Personalized Medicine: Incremental growth on Compositional...

Full text 
6
Progress in Cryptology - INDOCRYPT 2023 [E-Book] : 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I /
7
Progress in Cryptology - INDOCRYPT 2023 [E-Book] : 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II /
Table of Contents: ... Functions -- Distributed Protocols for Oblivious Transfer and Polynomial Evaluation -- Obfuscating Decision Trees -- Privacy-Preserving Plagiarism Checking -- PURED: A unified framework for resource-hard functions -- Post-quantum cryptography -- Implementing...

Full text 
8
Programming Languages and Systems [E-Book] : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
Table of Contents: ...Quantum Programming / Domain-Specific Languages -- Circuit Width Estimation via Effect Typing and Linear Dependency -- On the Hardness of Analyzing Quantum Programs Quantitatively -- Reconciling Partial and Local Invertibility -- Efficient Matching...

Full text 
9
Euro-Par 2023: Parallel Processing Workshops [E-Book] : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part I /
Table of Contents: ... Memory Access Diagrams -- Preface QuickPar23 -- A Framework for Performance Optimization of Internet of Things Applications -- Streaming IoT Data and the Quantum Edge: A Classic/Quantum Machine Learning Use Case -- Dynamic Adaptation of Urgent Applications...

Full text 
10
Photonic Neural Networks with Spatiotemporal Dynamics [E-Book] : Paradigms of Computing and Implementation /
Table of Contents: ...Revival of Optical Computing -- Nonlinear Dynamics of Recurrent Neural Networks for Computing -- Fluorescence Energy Transfer Computing -- Quantum-Dot Based Photonic Reservoir Computing -- Exploring Integrated Device Implementation for FRET-based Optical...

Full text 
11
High Performance Computing, Smart Devices and Networks [E-Book] : Select Proceedings of CHSN 2022 /
Table of Contents: ... Convolutional Neural Networks -- Reinforcement Learning Based Spectrum Sensing And Resource Allocation In WSN-IoT Smart Applications -- Planning and Construction of a Quantum Model of the SHA-1 Algorithm Using IBM's Qiskit -- Machine Learning Based Path-loss...

Full text 
12
Performance Evaluation Methodologies and Tools [E-Book] : 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings /
Table of Contents: ... in Epidemic Models with Confinements -- The best of both worlds: Analytically-guided simulation of HPnGs for optimal reachability -- Kubernetes-in-the-Loop: Enriching Microservice Simulation Through Authentic Container Orchestration -- Quantum-enhanced control of a...

Full text 
13
On the Wave Nature of Matter [E-Book] : A New Approach to Reconciling Quantum Mechanics and Relativity /
14
Multidimensional Periodic Schrödinger Operator [E-Book] : Perturbation Theories for High Energy Regions and Their Applications /
15
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 
16
Recent Advances in Nanomaterials [E-Book] : Select Proceedings of ICNOC 2022 /
Table of Contents: ... Nanoformulations -- Energy Gap Dependence on the Hydrostatic Pressure and Temperature of GaAs Quantum Wire -- Effect of Annealing Temperature on Microstructural, Optical and Magnetic Properties of Spinel-ZnFe2O4 Nano Particles -- Studies on Zinc Oxide Thin Film...

Full text 
17
Recent Advances in Functional Materials and Devices [E-Book] : Select Proceedings of AFMD 2023 /
18
Handbook of Materials Science, Volume 1 [E-Book] : Optical Materials /
Table of Contents: ...Basic Concept of Optical Materials: Classification, Properties and Applications -- Photo-luminescent Materials: Down-conversion, Quantum Cutting, Up-conversion, Photo-avalanche, Core@shell Nanostructures -- Advances in Plasmonic Substrate-coupled...

Full text 
19
Trends and Innovations in Energetic Sources, Functional Compounds and Biotechnology [E-Book] : Science, Simulation, Experiments /
Table of Contents: ... Perspectives -- 3 Theoretical and experimental insight for the design and characterization of perovskite-based solar cell -- 4 In silico investigation of the electronic properties of TiS2 and TiSe2 superconductor lamellar materials: a quantum-mechanics approach...

Full text 
20
Fundamentals of NMR and MRI [E-Book] : From Quantum Principles to Medical Applications /