This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025. The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions. They are grouped into the following topics: Verification; Distributed Systems; Machine Learning.
This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025. The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions. They are grouped into the following topics: Verification; Distributed Systems; Machine Learning.
. 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.
. 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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
