1
Bieker, Felix
2024
Table of Contents:
“..., Privacy, and Accountability -- Entangled: A Case Study of Data Exchange and Actor Relationships in a Mobility Ecosystem -- Enhancing transparency through Personal Information Management Systems: current state of service offerings and considerations for further...”2024
Full text
2
Jones, Matthew R.
2023
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...”2023
Full text
3
Boucher, Xavier
2023
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...”2023
Full text
4
Bi, Yaxin
2023
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...”2023
Full text
5
Bloem, Roderick
2022
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...”2022
Full text
6
Boucher, Xavier
2022
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...”2022
Full text
7
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
Full text
8
Dutle, Aaron
2021
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...”2021
Full text
9
10
Luo, Yuhua
2021
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...”2021
Full text
11
Ishikawa, Hiroshi
2021
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...”2021
Full text
12
Aved, Alex J.
2018
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...”2018
Full text
13
Thiemann, Peter
2016
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...”2016
Full text
14
15
Cardoso, João M.P.
2016
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...”2016
Full text