Table of Contents: “... -- Use of locally valued non-state ICTs by market actors: A case of transforming agriculture marketing in Karnataka, India -- Identifying Potential Risk Factors in Rural e-Governance: An Imperative for Sustainable Rural Development -- Digital Financial...”

Full text 

Table of Contents: “... Fusion Augmented Graph Contrastive Learning Based on Generative Models -- PRACM: Predictive Rewards for Actor-Critic with Mixing Function in Multi-Agent Reinforcement Learning -- A Cybersecurity Knowledge Graph Completion Method for Scalable Scenarios...”

Full text 

Table of Contents: “...) for Incorporating Changeability in Product-Service Systems -- Extended Reality-Assisted Risk Assessment in Conceptual Product Development -- Economic Assessment of Smart PSS Multi-actor Delivery Networks: Case Study in the Heating Appliance Sector -- Value of Digital...”

Full text 

Table of Contents: “...VSTTE 2021 -- Quantitative Monitoring of Software -- Making Proofs of Floating-Point Programs Accessible to Regular Developers -- A Calculus for Multi-language Operational Semantics -- Partial Order Reduction for Timed Actors -- Uncertainty-Aware Signal...”

Full text 

Table of Contents: “... of Collaborative Multi-Actor Approach Based Digital Agriculture as a Solution for the Farm to Fork Strategy -- Collaborative Optimization Tool for Sustainable Planning of an Agricultural Supply Chain Preserving Farmers' Independence -- Collaborative Eco-Industrial...”

Full text 

Table of Contents: “... Disease Management -- Landscape services and their impact on the well-being of local actors through partici-patory mapping. A case-study in the Inner Areas of Northern Apennines, Piedmont -- Techniques and survey for 3D modeling of touristic caves: Valdemino...”

Full text 

Table of Contents: “... -- Integrating 4D simulations and Virtual Reality environments: An innovative prototype -- Collective knowledge management in city planning: Building spatial-cognition ontologies -- Cooperative Dynamic Programmable Devices using Actor Model for Embedded Systems...”

Full text 

Table of Contents: “... Actor-Action Association in a Weakly Supervised Setting -- Reweighted Non-convex Non-smooth Rank Minimization based Spectral Clustering on Grassmann Manifold -- Biomedical Image Analysis -- Descriptor-Free Multi-View Region Matching for Instance-Wise 3D...”

Full text 

Table of Contents: “... trajectories to design a predictive geofence algorithm -- Online Shielding for Stochastic Systems -- Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model -- An Infrastructure for Faithful Execution of Remote Attestation Protocols...”

Full text 

Full text 

Table of Contents: “... Detection and Isolation of Control Systems -- 18 Approximate Local Utility Design for Potential Game Approach to Cooperative Sensor Network Planning -- 19 Dynamic Sensor-Actor Interactions for Path-Planning in a Threat Field -- 20 Energy-Aware Dynamic Data-Driven...”

Full text 

Full text 

Table of Contents: “... Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified...”

Full text 

Table of Contents: “... in Canny Edge Detector -- Analysis and Exploitation of CTU-Level Parallelism in the HEVC Mode Decision Process Using Actor-based Modeling -- Low-Cost Hardware Infrastructure for Runtime Thread Level Energy Accounting -- Allocation: From Memories to FPGA Hardware...”

Full text