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