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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
cognition
biblio
Backwards-directed information flow analysis for concurrent programs
Submitted by grigby1 on Fri, 08/26/2022 - 11:23am
Metrics
weakest-precondition
rely-guarantee-reasoning
information-flow-security
Out of order
Concurrency
automation
Concurrent computing
cognition
security
programming
composability
Analytical models
Hardware
Resiliency
resilience
pubcrawl
biblio
On the Possibility of Using Cognitive Approaches in Information Security Tasks
Submitted by grigby1 on Fri, 08/26/2022 - 10:58am
expert systems
uncertainty
security
Scalability
Resiliency
resilience
mathematical models
information security
Human behavior
pubcrawl
expert assessments
Decision Making
Databases
contextual approach
cognitive thinking
cognition
Boolean algebra
biblio
Show Why the Answer is Correct! Towards Explainable AI using Compositional Temporal Attention
Submitted by aekwall on Fri, 08/12/2022 - 3:58pm
Benchmark testing
visualization
deep learning
Predictive models
Analytical models
Knowledge Discovery
cognition
pubcrawl
Compositionality
biblio
Learning, Development, and Emergence of Compositionality in Natural Language Processing
Submitted by aekwall on Fri, 08/12/2022 - 3:55pm
Linguistics
Conferences
Compositionality
natural language processing
cognition
Bit error rate
pubcrawl
information processing
Animals
contextuality
philosophy of language
statistical distributional model of language
symbolic compositional model of language
biblio
Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness
Submitted by grigby1 on Wed, 08/03/2022 - 4:12pm
pubcrawl
Conferences
composability
cognition
visualization
software reliability
Software systems
trustworthiness
software quality
Evidence
Refinement
Skeleton
biblio
Effects of Immersive Spherical Video-based Virtual Reality on Cognition and Affect Outcomes of Learning: A Meta-analysis
Submitted by grigby1 on Mon, 05/23/2022 - 3:58pm
immersive systems
meta-analysis
immersive spherical video-based virtual reality
head-mounted displays
cognitive and affective
Learning systems
learning outcomes
education
Videos
pubcrawl
virtual reality
Solid modeling
cognition
composability
privacy
Resiliency
Human Factors
Human behavior
biblio
A Novel Model for Cybersecurity Economics and Analysis
Submitted by grigby1 on Thu, 04/21/2022 - 3:09pm
advanced cyber threats
Analytical models
cognition
computer security
cyber fraud
cyber secure
Cybersecurity
cybersecurity cost-benefit
cybersecurity cost-benefit model
cybersecurity economics
cybersecurity impact
Economics
Measurement
standards
biblio
An Interactive Prover for Protocol Verification in the Computational Model
Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm
policy-based collaboration
tools
Solids
Semantics
security protocols
pubcrawl
protocol verification
Protocols
privacy
cognition
observational equivalence
Interactive Prover
formal methods
computational security
Computational modeling
Compositionality
composability
collaboration
biblio
Generating Fake Cyber Threat Intelligence Using Transformer-Based Models
Submitted by grigby1 on Wed, 02/09/2022 - 2:47pm
Human behavior
Data Poisoning Attack
cyber threat intelligence
Cybersecurity
Computer crime
cognition
Artificial Intelligence
AI Poisoning
Transformers
Training
Scalability
Resiliency
resilience
pubcrawl
Open Source Software
Neural networks
biblio
Program Comprehension and Code Complexity Metrics: An fMRI Study
Submitted by aekwall on Mon, 01/31/2022 - 4:30pm
Measurement
Time factors
pubcrawl
Scalability
Resiliency
Complexity theory
Vocabulary
cognition
Correlation
code complexity metrics
cognitive load
Functional magnetic resonance imaging
program comprehension
work factor metrics
1
2
3
4
5
6
7
8
next ›
last »
