the proceedings contain 57 papers. the topics discussed include: on the basin of attraction and capacity of restricted Hopfield network as an auto-associative memory;a type of recharging scheduling strategy based on a...
ISBN:
(纸本)9798350308693
the proceedings contain 57 papers. the topics discussed include: on the basin of attraction and capacity of restricted Hopfield network as an auto-associative memory;a type of recharging scheduling strategy based on adjustable request threshold in WRSNs;classification and identification of phishing websites based on machine learning;patch-based multi-level attention mechanism for few-shot multi-label medical image classification;exploring event-based dynamic topic modeling;improvement of passkey entry protocol for secure simple pairing;application of Voformer-EC clustering algorithm to stock multivariate time series data;and multimodal deep learning for enhanced arrhythmia detection using ECG time series and image data.
the proceedings contain 37 papers. the topics discussed include: few-shot image classification method with label consistent and inconsistent self-supervised learning;a high performance ai-powered cache mechanism for I...
ISBN:
(纸本)9798331506896
the proceedings contain 37 papers. the topics discussed include: few-shot image classification method with label consistent and inconsistent self-supervised learning;a high performance ai-powered cache mechanism for IoT devices;Q-MMT: Qinqiang Opera generation based on multi-track music transformer;research on human combination continuous motion recognition method;multispectral registration algorithm based on fusion of infrared and color images;improved detection of forged and generated facial images based on ResNet-50;intelligent spectrum management for UAV swarm with multiple combat missions: a DQN-based solution;multispectral registration algorithm based on fusion of infrared and color images;and OCDE: adaptive differential evolution algorithm in distributed intelligent systems.
the proceedings contain 15 papers. the special focus in this conference is on Coordination Models and Language. the topics include: JoT: A Jolie Framework for Testing Microservices;rollback Recovery in Sessi...
ISBN:
(纸本)9783031353604
the proceedings contain 15 papers. the special focus in this conference is on Coordination Models and Language. the topics include: JoT: A Jolie Framework for Testing Microservices;rollback Recovery in Session-Based Programming;safe Asynchronous Mixed-Choice for Timed Interactions;A Formal MDE Framework for Inter-DSL Collaboration;legal Contracts Amending with;toward Run-time Coordination of Reconfiguration Requests in Cloud computingsystems;macroSwarm: A Field-Based Compositional Framework for Swarm Programming;ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala;programming distributed Collective Processes for Dynamic Ensembles and Collective Tasks;shelley: A Framework for Model Checking Call Ordering on Hierarchical systems;stark: A Software Tool for the Analysis of Robustness in the unKnown Environment;RSC to the ReSCu: Automated Verification of systems of Communicating Automata;reasoning About Choreographic Programs;caos: A Reusable Scala Web Animator of Operational Semantics.
the proceedings contain 115 papers. the topics discussed include: detecting targeted interference in NB-IoT;fabric composition classification using hyper-spectral imaging;data market places: best practices, challenges...
ISBN:
(纸本)9798350346497
the proceedings contain 115 papers. the topics discussed include: detecting targeted interference in NB-IoT;fabric composition classification using hyper-spectral imaging;data market places: best practices, challenges, and advancements for embedded finance;exploring the impact of locations and activities in person-wise data mismatch in CSI-based HAR;A fault-tolerant distributed air-to-ground communication architecture for urban air mobility;EDICT: simulation of edge interactions across IoT-enhanced environments;insights from executing TinyML models on smartphones and microcontrollers;Acconotate: exploiting acoustic changes for automatic annotation of inertial data at the source;and autonomous driving through deep learning in video games: a visual-based perception and action approach.
the proceedings contain 6 papers. the topics discussed include: realizing distributed digital twins within federated digital infrastructures;cybersecurity in distributed industrial digital twins: threats, defenses, an...
the proceedings contain 6 papers. the topics discussed include: realizing distributed digital twins within federated digital infrastructures;cybersecurity in distributed industrial digital twins: threats, defenses, and key takeaways;development and evaluation of a FIWARE-based digital twin prototype for road system;an implementation model for correct audit logging in cyber-physical systems;reliability-by-design for digital twins: value creation and trust throughout the whole lifecycle;and science-twins: digital twins for interactive lecture demonstrations.
the proceedings contain 153 papers. the topics discussed include: transaction data management optimization based on multi-partitioning in blockchain systems;semi-asynchronous federated learning optimized for NON-IID d...
ISBN:
(纸本)9798350329223
the proceedings contain 153 papers. the topics discussed include: transaction data management optimization based on multi-partitioning in blockchain systems;semi-asynchronous federated learning optimized for NON-IID data communication based on tensor decomposition;HKTGNN: hierarchical knowledge transferable graph neural network-based supply chain risk assessment;DQR-TTS: semi-supervised text-to-speech synthesis with dynamic quantized representation;deep reinforcement learning-based network moving target defense in DPDK;iNUMAlloc: towards intelligent memory allocation for AI accelerators with NUMA;and predictive queue-based low latency congestion detection in data center networks.
the proceedings contain 40 papers. the special focus in this conference is on Parallel and distributedcomputing. the topics include: Towards Resource-Efficient DNN Deployment for Traffic Object Recognition: From Edge...
ISBN:
(纸本)9783031488023
the proceedings contain 40 papers. the special focus in this conference is on Parallel and distributedcomputing. the topics include: Towards Resource-Efficient DNN Deployment for Traffic Object Recognition: From Edge to Fog;the Implementation of Battery Charging Strategy for IoT Nodes;subMFL: Compatible subModel Generation for Federated Learning in Device Heterogeneous Environment;towards a Simulation as a Service Platform for the Cloud-to-things Continuum;cormas: the Software for Participatory Modelling and Its Application for Managing Natural Resources in Senegal;Malleable APGAS Programs and their Support in Batch Job Schedulers;task-Level Checkpointing for Nested Fork-Join Programs Using Work Stealing;making Uintah Performance Portable for Department of Energy Exascale Testbeds;Benchmarking the Parallel 1D Heat Equation Solver in Chapel, Charm++, C++, HPX, Go, Julia, Python, Rust, Swift, and Java;Parallel Auto-Scheduling of Counting Queries in Machine Learning Applications on HPC systems;Energy Efficiency Impact of Processing in Memory: A Comprehensive Review of Workloads on the UPMEM Architecture;enhancing Supercomputer Performance with Malleable Job Scheduling Strategies;a Performance Modelling-Driven Approach to Hardware Resource Scaling;Adaptive HPC Input/Output systems;dynamic Allocations in a Hierarchical Parallel Context;designing a Sustainable Serverless Graph Processing Tool on the computing Continuum;diorthotis: A Parallel Batch Evaluator for Programming Assignments;Experiences and Lessons Learned from PHYSICS: A Framework for Cloud Development with FaaS;improved IoT Application Placement in Fog computingthrough Postponement;high-Performance distributedcomputing with Smartphones;blockchain-Based Decentralized Authority for Complex Organizational Structures Management;Transparent Remote OpenMP Offloading Based on MPI;DAPHNE Runtime: Harnessing Parallelism for Integrated Data Analysis Pipelines;exploring Factors Impacting Data Offloading Performance in
the proceedings contain 40 papers. the special focus in this conference is on Parallel and distributedcomputing. the topics include: Towards Resource-Efficient DNN Deployment for Traffic Object Recognition: From Edge...
ISBN:
(纸本)9783031506833
the proceedings contain 40 papers. the special focus in this conference is on Parallel and distributedcomputing. the topics include: Towards Resource-Efficient DNN Deployment for Traffic Object Recognition: From Edge to Fog;the Implementation of Battery Charging Strategy for IoT Nodes;subMFL: Compatible subModel Generation for Federated Learning in Device Heterogeneous Environment;towards a Simulation as a Service Platform for the Cloud-to-things Continuum;cormas: the Software for Participatory Modelling and Its Application for Managing Natural Resources in Senegal;Malleable APGAS Programs and their Support in Batch Job Schedulers;task-Level Checkpointing for Nested Fork-Join Programs Using Work Stealing;making Uintah Performance Portable for Department of Energy Exascale Testbeds;Benchmarking the Parallel 1D Heat Equation Solver in Chapel, Charm++, C++, HPX, Go, Julia, Python, Rust, Swift, and Java;Parallel Auto-Scheduling of Counting Queries in Machine Learning Applications on HPC systems;Energy Efficiency Impact of Processing in Memory: A Comprehensive Review of Workloads on the UPMEM Architecture;enhancing Supercomputer Performance with Malleable Job Scheduling Strategies;a Performance Modelling-Driven Approach to Hardware Resource Scaling;Adaptive HPC Input/Output systems;dynamic Allocations in a Hierarchical Parallel Context;designing a Sustainable Serverless Graph Processing Tool on the computing Continuum;diorthotis: A Parallel Batch Evaluator for Programming Assignments;Experiences and Lessons Learned from PHYSICS: A Framework for Cloud Development with FaaS;improved IoT Application Placement in Fog computingthrough Postponement;high-Performance distributedcomputing with Smartphones;blockchain-Based Decentralized Authority for Complex Organizational Structures Management;Transparent Remote OpenMP Offloading Based on MPI;DAPHNE Runtime: Harnessing Parallelism for Integrated Data Analysis Pipelines;exploring Factors Impacting Data Offloading Performance in
the proceedings contain 64 papers. the topics discussed include: analyzing program transitions to compute benefit of tolerating consistency violation faults;GeoChain: a locality-based Sharding protocol for permissione...
ISBN:
(纸本)9781450397964
the proceedings contain 64 papers. the topics discussed include: analyzing program transitions to compute benefit of tolerating consistency violation faults;GeoChain: a locality-based Sharding protocol for permissioned blockchains;impact of redundancy on resilience in distributed optimization and learning;the snow plow problem: perpetual maintenance by mobile agents on the line;self-stabilizing synchronous unison in directed networks;dynamic graph models inspired by the bitcoin network-formation process;scalable skill-oriented task allocation in crowdsourcing within a serverless ecosystem;distributed data minimization for decentralized collaborative filtering systems;the geodesic mutual visibility problem for oblivious robots: the case of trees;almost-surely terminating asynchronous byzantine agreement against general adversaries with optimal resilience;learned load balancing;structured hypergraphs in cellular mobile communication systems;and an approximation algorithm for path planning of vehicles for data collection in wireless rechargeable sensor networks.
the proceedings contain 13 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: With a Little Help from Your Friends: Sem...
ISBN:
(纸本)9783031353543
the proceedings contain 13 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves;efficient Dynamic Model Based Testing: Using Greedy Test Case Selection;minimal Generating Sets for Semiflows;relating Reversible Petri Nets and Reversible Event Structures, Categorically;towards an Automatic Proof of the Bakery Algorithm;certified Compilation of Choreographies with hacc;Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks;branching Bisimulation Semantics Enables Noninterference Analysis of Reversible systems;impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study;operations on Timed Scenarios;on the Use of Model and Logical Embeddings for Model Checking of Probabilistic systems;On Bisimilarity for Polyhedral Models and SLCS.
暂无评论