{"product_id":"lahlou-salem-networked-systems-9783032003461","title":"Networked Systems","description":".- Verification..- Reachability and Verification of Assertions for IoT Applications..- Enhancing Numerical Invariants Learning with Bounded Reachability Analysis..- Distributed Systems..- Distributed computation of temporal twins in periodic undirected time-varying graphs..- Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars..- Secure Lineage Storage on Public and Private Blockchains..- Byzantine Fault-Tolerant Distributed Set Intersection with Redundancy and Its Relationship with Byzantine Optimization..- Pattern formation of mobile agents in dynamic grids..- An automaton model to succinctly represent suffix-based specifications of a concurrent system..- SmartShards: Churn-Tolerant Continuously Available Distributed Ledger..- On Restricting Separator Problems in the OBLOT Computational Landscape..- Machine Learning..- Going Forward-Forward in Distributed Learning..- An Ensemble Model for 30-Minute Blood Glucose Prediction in Type 1 Diabetes: Balancing Accuracy and Simplicity..- Networked LLM Agents: Toward Autonomous LLMs for Querying Heterogeneous Databases..- Plant Diseases Detection with Retrieval-Augmented Generation..- Impact of Sparsification and Quantization on Energy Consumption in Federated Learning..- Vgg-ViT: A Framework for Deepfakes Images Detection..- Heterogeneous Graph Neural Network Based Arabic Coreference Resolution.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53764995613014,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/lahlou-salem-networked-systems-9783032003461","provider":"momoxbooks","version":"1.0","type":"link"}