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
Bayesian inference
biblio
User-Guided Program Reasoning Using Bayesian Inference
Submitted by grigby1 on Thu, 02/14/2019 - 10:19am
alarm ranking
Bayesian inference
belief networks
composability
Metrics
pubcrawl
static analysis
taint analysis
biblio
Synthesis of Probabilistic Privacy Enforcement
Submitted by grigby1 on Wed, 09/05/2018 - 9:45am
Bayesian inference
Control Theory
Human behavior
human factor
privacy
Privacy Enforcement
Program Synthesis
pubcrawl
resilience
Resiliency
Scalability
biblio
Formal Verification of Complex Systems: Model-Based and Data-Driven Methods
Submitted by grigby1 on Wed, 05/09/2018 - 1:47pm
pubcrawl
strategy synthesis
stochastic hybrid systems
similarity metrics
scalable verification
Scalability
Resiliency
resilience
Quantitative Verification
active learning
model checking
Metrics
formal abstractions
experiment design
Dynamical Systems
Control Theory
Compositionality
Bayesian inference
biblio
Content-Agnostic Malware Detection in Heterogeneous Malicious Distribution Graph
Submitted by grigby1 on Fri, 09/15/2017 - 9:50am
Malware Analysis
semi-supervised learning
security
Scalability
Resiliency
pubcrawl
Metrics
malware mitigation
malware detection
Algorithm
label propagation
graph theory
edge detection
download activity graph
Data mining
composability
Bayesian inference
file
Programming Uncertain <T>hings
Submitted by akarns on Tue, 01/26/2016 - 2:52pm. Contributor:
Kathryn McKinley
Presented as part of the
2016 HCSS conference
.
Bayesian inference
compilers
Estimates
inference
programming with estimates
runtimes
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
biblio
Security Enhancements for Mobile Ad Hoc Networks With Trust Management Using Uncertain Reasoning
Submitted by BrandonB on Wed, 05/06/2015 - 7:53am
Observers
uncertainty handling
uncertain reasoning
trust management scheme
Trust management
telecommunication security
telecommunication network topology
telecommunication computing
security vulnerabilities
security enhancements
security
Routing
planning (artificial intelligence)
PDR improvement
packet delivery ratio
open wireless medium
Ad hoc networks
mobile computing
Mobile ad hoc networks (MANETs)
mobile ad hoc networks
MANET
indirect observation
end-to-end delay
dynamic topology
DST method
direct observation
Dempster-Shafer Theory
cognition
Bayesian inference
Bayes methods
artificial intelligence community
biblio
Who Wrote This? Textual Modeling with Authorship Attribution in Big Data
Submitted by BrandonB on Mon, 05/04/2015 - 1:22pm
textual modeling
multiple-author documents
Predictive models
Probabilistic topic models
receiver operating characteristic curve
ROC curve
SAT model
supervised author-topic model
text analysis
meta-data
topic representations
topic-based generative models
Training
unsupervised AT model
Unsupervised Learning
unsupervised learning technique
Vectors
Computational modeling
area under curve
AUC
author-topic model
authorship attribution
authorship learning
authorship prediction
Bayesian inference
Big Data
Analytical models
Data models
dimension reduction
Dirichlet distribution
High dimensional texual data
information discovery
Mathematical model
meta data
biblio
Making active-probing-based network intrusion detection in Wireless Multihop Networks practical: A Bayesian inference approach to probe selection
Submitted by BrandonB on Fri, 05/01/2015 - 8:48am
probe selection algorithm
WMN
wireless multihop networks
wireless mesh networks
Wireless communication
testing
testbed experimentation
Telecommunication standards
spread spectrum communication
security of data
security
Probes
active-probing-based network intrusion detection system
Intrusion Detection
indoor wireless mesh testbed
indoor communication
IEEE 802.11s
Equations
Bayesian model
Bayesian inference
Bayes methods
Bayes inference
AP-NIDS DogoIDS
