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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 5UUVOOXTIS
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 51063738-n
Quantité disponible : 1 disponible(s)
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur DB-9783032003461
Quantité disponible : 1 disponible(s)
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur DB-9783032003461
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : New. N° de réf. du vendeur 51063738-n
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 51063738
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 51063738
Quantité disponible : 1 disponible(s)
Vendeur : Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. Neuware -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. 284 pp. Englisch. N° de réf. du vendeur 9783032003461
Quantité disponible : 1 disponible(s)
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 284 pp. Englisch. N° de réf. du vendeur 9783032003461
Quantité disponible : 1 disponible(s)
Vendeur : Wegmann1855, Zwiesel, Allemagne
Taschenbuch. Etat : Neu. Neuware -.- 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. N° de réf. du vendeur 9783032003461
Quantité disponible : 1 disponible(s)