Table of Contents: “... Fluorescence -- Lanthanide-doped Materials for Optical Applications -- Defect-modulated Trap Engineering of Long Persistent and Mechanoluminescence Phosphors for Advanced Applications -- Optical Materials for Sensing Radioactive Elements -- Triarylamines - a...”

Full text 

Full text 

Table of Contents: “...Concurrency -- Petrification: Software Model Checking for Programs with Dynamic Thread Management -- A Fully Verified Persistency Library -- A Navigation Logic for Recursive Programs with Dynamic Thread Creation -- Neural Networks -- Taming Reachability...”

Full text 

Table of Contents: “... Learning Techniques -- Image Classification using Deep Neural Networks and Persistent Homology -- Network Science -- Understanding worldwide natural gas trade flow for 2017 to 2022: A network-based approach -- Identifying Drug - Disease Interactions Through Link...”

Full text 

Table of Contents: “...An Uncertainty-aware Auction Mechanism for Federated Learning -- Persistent Sketch A Memory-efficient and Robust Algorithm for Finding Top-k Persistent Flows -- FaCa Fast Aware and Competition-Avoided Balancing for Data Center Network -- Optimizing GNN...”

Full text 

Table of Contents: “..., Validation and Concurrency -- Verifying Persistent Libraries -- Hyperproperty Verification as CHC Satisfiability -- Program Analysis -- Maximal Quantified Precondition Synthesis for Linear Array Loops -- Verified Inlining and Specialisation for PureCake...”

Full text 

Full text 

Table of Contents: “...: An Efficient Graph Computing Model in NUMA-Based Persistent Memory Systems -- tHR-Net: A Hybrid Reasoning Framework for Temporal Knowledge Graph -- Improving Code Representation Learning via Multi-view Contrastive Graph Pooling for Abstract Syntax Tree -- Security...”

Full text 

Table of Contents: “... Traps -- 8 Fairness, Simulations, and Inhibitor Arcs -- 9 Unfoldings and Reachability Checking -- 10 Petri Net Computers -- 11 Synthesis of Petri Nets from Labelled Transition Systems -- 12 Persistent Transition Systems and Choice-free Petri Nets -- 13 Divide...”

Full text 

Table of Contents: “... Statistics and Machine Learning -- IoT Malicious Traffic Detection based on Federated Learning -- Persistent Clean-label Backdoor on Graph-based Semi-supervised Cybercrime Detection -- Backdoor Learning on Siamese Networks using Physical Triggers: FaceNet as a...”

Full text 

Table of Contents: “... Series Forecasting -- On the use of persistent homology to control the generalization capacity of a neural network -- On the use of persistent homology to control the generalization capacity of a neural network -- Genetic Programming Symbolic Regression...”

Full text 

Full text 

Full text 

Table of Contents: “...Distributing and Parallelizing Non-canonical Loops -- SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study -- StaticPersist : Compiler Support for PMEM Programming -- Symbolic Abstract Heaps for Polymorphic Information-flow Guard...”

Full text 

Table of Contents: “...Part I Introduction -- Chapter 1 Human milk surveys on persistent organic pollutants from a historical perspective -- Chapter 2 Overview of WHO- and UNEP-coordinated human milk studies and their link to the Stockholm Convention on persistent organic...”

Full text 

Full text 

Table of Contents: “... identification and ranking of malware -- 9. Visual analytics techniques for cyber security -- 10. Collaborative mitigation methodologies against advanced and persistent attacks....”

Full text 

Table of Contents: “...Spotlight on Cyano-photo-biotechnology: Advantages and persisting challenges -- Cyanobacterial bioenergetics in relation to cellular growth and productivity -- The molecular toolset and techniques required to build cyanobacterial cell factories...”

Full text 

Table of Contents: “... Practical Partial Order Reduction for High-Level Formalisms -- SMT-based Verification of Persistency Invariants of Px86 Programs -- A Formal Semantics for P-Code -- Separating Separation Logic - Modular Verification of Red-Black Trees -- Residual Runtime...”

Full text 

Table of Contents: “... Cytometry -- Label Free Identification of Persistent Particles in Association with Primary Immune Cells by Imaging Flow Cytometry -- "Immuno-FlowFISH": Applications for Chronic Lymphocytic Leukaemia -- Quantifying Golgi Apparatus Fragmentation Using Imaging Flow...”

Full text