Placeholder text

Go to cart

Networked Systems

By Salem Lahlou

Networked Systems

By Salem Lahlou

0 - Default Title
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.
Product details
Binding:
Paperback
Number of Pages:
284
Release Date:
2025-10-02
Publication Date:
2025-10-02
Publisher:
Springer
Languages:
Original: English
ISBN10:
3032003466
ISBN13:
9783032003461
GPSR Manufacturer Reference:
[email protected]
Weight:
435 g
Height:
155 cm
Width:
235 cm
Thickness:
16 cm
Buy on Amazon
Currently sold out