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
inference mechanisms
biblio
A Fault Diagnosis Expert System for Flight Control Software Based on SFMEA and SFTA
Submitted by
grigby1
on Wed, 11/14/2018 - 1:21pm
aerospace applications
aerospace computing
aerospace control
airborne software engineering
CLIPS
CLIPS shell
control engineering computing
Engines
expert system
expert systems
fault diagnosis
fault diagnosis expert system
flight control software
Human behavior
human computer interaction
human-computer interaction interface
inference engine
inference mechanisms
Knowledge representation
pubcrawl
resilience
Resiliency
Scalability
security
SFMEA
SFTA
Software
software failure mode and effect analysis
software fault knowledge
software fault tree analysis
software reliability
software reliability analysis methods
biblio
Symbolic execution and probabilistic reasoning
Submitted by
grigby1
on Wed, 09/05/2018 - 10:42am
Security Metrics
pubcrawl
Symbolic Execution
safety-critical software
Computational modeling
program diagnostics
Software systems
probability
inference mechanisms
Atmospheric modeling
Metrics
reliability theory
Systematics
Probabilistic logic
cognition
Computing Theory
event occurrence probability
probabilistic reasoning
program behaviors
program paths
software system safety
software system security
symbolic path conditions
systematic program analysis technique
biblio
Dmodel: Online Taxicab Demand Model from Big Sensor Data in a Roving Sensor Network
Submitted by
el_wehby
on Fri, 05/25/2018 - 3:50pm
Accuracy
Big Data
big sensor data
Context
customized online training
Dmodel
inference mechanisms
Meteorology
mobile computing
online taxicab demand model
passenger arriving moments inference
passenger demand inference
pickup pattern
real-time mobile sensors
real-time systems
real-world logical information
Roads
roving sensor network
roving taxicabs
sensors
taxicab business
traffic information systems
Training
wireless sensor networks
1536086
biblio
How Good Is a Security Policy against Real Breaches? A HIPAA Case Study
Submitted by
grigby1
on Mon, 04/30/2018 - 3:26pm
accidental misuses
breach ontology
cognition
HHS
HIPAA
inference mechanisms
malicious misuses
Measurement
Medical services
norm violation
Ontologies
pubcrawl
security
Security and privacy breaches
security breaches
security of data
security policies
semantic reasoning
semantic similarity
semantic similarity metric
Semantics
SEMAVER
social norms
software development
software engineering
taxonomy
US Department of Health and Human Services
US Health Insurance Portability and Accountability Act
biblio
Reasoning About Fine-Grained Attribute Phrases Using Reference Games
Submitted by
K_Hooper
on Wed, 02/28/2018 - 11:32am
Compositionality
computer vision
fine-grained attribute phrases
fine-grained visual differences
Games
Image color analysis
image representation
image retrieval
inference mechanisms
instances
learning (artificial intelligence)
listener
Nose
Pragmatics
pubcrawl
reasoning
reference games
semantic attributes
Semantics
speaker
visual descriptions
visualization
biblio
Optimality of inference in hierarchical coding for distributed object-based representations
Submitted by
K_Hooper
on Wed, 02/28/2018 - 11:31am
complex synthetic datasets
Compositionality
convolution
Convolutional codes
convolutional matching pursuit
data compression
Dictionaries
distributed object-based representations
distributed processing
encoding
greedy algorithms
greedy inference algorithm
hierarchical sparse coding
hierarchical systems
inference mechanisms
L0-norm constraint
learning (artificial intelligence)
Matching pursuit algorithms
multiscale representation
near-optimal codes
NP-hard optimization
optimisation
pubcrawl
representation learning
standards
biblio
Verifying and Synthesizing Constant-Resource Implementations with Types
Submitted by
K_Hooper
on Wed, 02/28/2018 - 11:31am
AARA
automatic amortized resource analysis
cognition
Compositionality
constant-resource behavior implementations
Cryptography
encryption
inference mechanisms
Information Flow
information flow tracking
language-based security
program verification
programming
programs verification
pubcrawl
resource allocation
resource analysis
resource aware ML
resource consumption
resource-aware noninterference
Semantics
side channel attacks
standards
static analysis
Syntactics
timing channels
type inference algorithm
biblio
A factored evolutionary optimization approach to Bayesian abductive inference for multiple-fault diagnosis
Submitted by
grigby1
on Thu, 02/15/2018 - 11:46am
resilience
pubcrawl
Resiliency
Human behavior
Bayes methods
belief networks
Logic gates
fault diagnosis
inference mechanisms
Silicon
Metrics
Noise measurement
human factor
Human Factors
Complexity theory
Bayesian abductive inference
diagnostic Bayesian networks
evolutionary computation
factored evolutionary algorithm
factored evolutionary optimization approach
fault detection
fault trees
FEA
multiple-fault diagnosis problem
static fault isolation
multiple fault diagnosis
biblio
Semantic Information Fusion to Enhance Situational Awareness in Surveillance Scenarios
Submitted by
grigby1
on Tue, 02/06/2018 - 2:04pm
video surveillance
Unmanned Aircraft Systems
UAS
surveillance scenarios
surveillance
situational picture
situational awareness
sensor fusion
sensor data
semantic information fusion
security forces
Resiliency
reasoning component
pubcrawl
probabilistic reasoning
Probabilistic logic
probabilistic information processing
OOWM
Ontology
ontologies (artificial intelligence)
object-oriented world model
object-oriented methods
Object oriented modeling
Network reconnaissance
National security
military computing
military applications
Markov processes
Markov logic network
logical reasoning
knowledge model
ISR-AA
intelligence-surveillance-and-reconnaissance analytics architecture
information integration
inference mechanisms
high-level data fusion component
enhanced situational awareness
Databases
Data mining
Data integration
critical events detection
cognition
civil protection
autonomous aerial vehicles
aerospace computing
biblio
Identifying Personal DNA Methylation Profiles by Genotype Inference
Submitted by
grigby1
on Tue, 01/23/2018 - 2:54pm
bioinformatics
biomedical research community
Cancer
cryptographic scheme
Cryptography
data privacy
DNA
DNA cryptography
DNA methylation data
epigenetic element
genomic data
genomics
genotype inference
health care
Human behavior
human health
inference mechanisms
Law
medical computing
Metrics
personal DNA methylation profiles
personalized medicine
predictive medicine
privacy
privacy-sensitive data
pubcrawl
Resiliency
whole-genome sequencing
1
2
next ›
last »
