Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
computational model
biblio
Trust or Not?: A Computational Robot-Trusting-Human Model for Human-Robot Collaborative Tasks
Submitted by aekwall on Mon, 06/28/2021 - 11:30am
robots
false trust
Injuries
computational model
robotics
Human Factors
collaboration
trust
human-robot interaction
Scalability
Computational modeling
policy-based governance
pubcrawl
Resiliency
Data models
Task Analysis
Big Data
biblio
A Computational Model for Managing Impressions of an Embodied Conversational Agent in Real-Time
Submitted by grigby1 on Thu, 07/16/2020 - 11:32am
learning (artificial intelligence)
Warmth
Videos
verbal behaviour
Scalability
reinforcement learning algorithm
real-time systems
pubcrawl
nonverbal behaviour
multi-agent systems
Metrics
machine learning approach
machine learning
competence
Impression Management
Human behavior
First Impressions
Facial Expressions Detection
Face
Embodied Conversational Agents
embodied conversational agent
conversational agents
Context modeling
Computational modeling
computational model
biblio
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol
Submitted by grigby1 on Fri, 04/03/2020 - 11:43am
open source Virtual Private Network
WireGuard virtual private network protocol
vpn
Virtual private networks
verification
transport data messages
standards
security protocols
pubcrawl
Protocols
protocol verification
privacy
policy-based governance
Policy Based Governance
authorisation
Noise Protocol Framework
IP networks
Elliptic curve cryptography
CryptoVerif proof assistant
Cryptographic Protocols
cryptographic protocol
cryptographic proof
computer network security
computational model
Compositionality
composability
collaboration
biblio
A Computational Model for Improving the Accuracy of Multi-Criteria Recommender Systems
Submitted by grigby1 on Thu, 05/24/2018 - 11:10am
Measurement
user modelling
user modeling technique
single rating collaborative filtering technique
similarity
Scalability
Resiliency
resilience
recommender systems
pubcrawl
Predictive models
neural nets
multicriteria recommender systems
multicriteria recommendations
Multi-criteria recommendation
modeling approaches
Adaptation models
Human Factors
Human behavior
highly distributed self-organizing structures
criteria ratings
Computational modeling
computational model
collaborative filtering
collaboration
biologically inspired algorithms
biological neurons
Biological neural networks
average similarity techniques
Artificial Neural Networks
aggregation function approach
adaptive self-organizing structures
biblio
Formal Computational Unlinkability Proofs of RFID Protocols
Submitted by grigby1 on Wed, 12/20/2017 - 12:05pm
pubcrawl
unlinkability
Turing machines
tools
Theorem Proving
security protocols
security of data
RFIDs
RFID protocols
RFID
Resiliency
radiofrequency identification
communication complexity
Protocols
Human Factors
Human behavior
Hash functions
formal computational unlinkability proofs
Cryptography
Cryptographic Protocols
Computational modeling
computational model
computational complete symbolic attacker
biblio
Modeling insider threat types in cyber organizations
Submitted by grigby1 on Tue, 12/12/2017 - 12:23pm
Insider Threats
trust
susceptibility
social modeling
security of data
Resiliency
Random variables
pubcrawl
Predictive models
predictability
policy-based governance
Organizations
Metrics
manipulation
knowledge based systems
insider traits
Awareness
insider threat types
insider threat
Human Factors
Human behavior
cyber security
cyber organizations
cultural differences
Computational modeling
computational model
collaboration
business data processing
Behavioral Modeling
Bayesian knowledge bases (BKBs)
Bayes methods
