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
Stochastic computing
biblio
Bolt-on Differential Privacy for Scalable Stochastic Gradient Descent-based Analytics
Submitted by grigby1 on Thu, 06/07/2018 - 3:09pm
virtualization privacy
Data Sanitization
differential privacy
optimization
pubcrawl
resilience
Resiliency
Scalability
scalable data analytics
security
Stochastic computing
Stochastic Computing Security
stochastic gradient descent
biblio
A Game of Things: Strategic Allocation of Security Resources for IoT
Submitted by grigby1 on Thu, 06/07/2018 - 3:09pm
security
pubcrawl
Scalability
resilience
Resiliency
Stochastic computing
Pareto optimization
stochastic allocation
Internet of Things
network security
Stochastic Computing Security
biblio
Towards a Stochastic Model for Integrated Detection and Filtering of DoS Attacks in Cloud Environments
Submitted by grigby1 on Thu, 06/07/2018 - 3:09pm
security
pubcrawl
Scalability
Cloud Computing
resilience
Resiliency
Stochastic computing
DoS attacks
Performance modeling
queueing theory
Stochastic Computing Security
biblio
Network Anomaly Detection with Stochastically Improved Autoencoder Based Models
Submitted by grigby1 on Thu, 06/07/2018 - 3:09pm
pubcrawl
Zero day attacks
two deep learning
Training
stochastically improved autoencoder
Stochastic processes
Stochastic Computing Security
Stochastic computing
stochastic approach
singular anomaly detection methods
security of data
security
Scalability
Resiliency
resilience
Anomaly Detection
noise reduction
network security
network anomaly detection
learning (artificial intelligence)
KDDTest+ dataset
Intrusion Detection Systems
Intrusion Detection
denoising autoencoder
deep learning
Data models
Computational modeling
autoencoder
anomaly detection models
biblio
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Submitted by grigby1 on Thu, 06/07/2018 - 3:08pm
probability parameters
EAST-ADL
EAST-ADL constraints
EAST-ADL/Stateflow
energy constraints
extended ERT constraints
formal statistical analysis
functional quality assurance
mapping rules
modified EAST-ADL
nonfunctional quality assurance
parallel languages
probabilistic extension
domain specific architectural language
S/S models
safety-critical automotive embedded system design
semantics denotation
Simulink Design Verifier
Simulink/Stateflow integration
software packages
transformed energy-aware real-time behaviors
UPPAAL models
UPPAAL-SMC
verifiable UPPAAL- SMC models
Verification & Validation
Stochastic Computing Security
probability
security
cyber-physical systems
pubcrawl
Scalability
software quality
Analytical models
Wheels
delays
Stochastic processes
traffic engineering computing
Cameras
resilience
formal verification
CPS
embedded systems
Automotive engineering
Resiliency
quality assurance
power aware computing
software development
Stochastic computing
autonomous traffic sign recognition vehicle
cyber-physical system validation
cyber-physical system verification
biblio
Shortfall-Based Optimal Security Provisioning for Internet of Things
Submitted by grigby1 on Thu, 06/07/2018 - 3:08pm
Resiliency
telecommunication network topology
Stochastic Computing Security
Stochastic computing
stochastic allocation
shortfall-based optimal security provisioning
security resource allocation plan
security infrastructure
security
Scalability
risk minimization
risk measure
risk management
resource management
resource allocation
computer network security
resilience
pubcrawl
Pareto optimization
optimization problem
optimization
optimisation
network security
Investment
Internet-of-Things scenarios
Internet of Things
Electronic mail
Economics
continuous topology changes
biblio
Stochastic security-constrained generation expansion planning methodology based on a generalized line outage distribution factors
Submitted by grigby1 on Thu, 06/07/2018 - 3:08pm
Stochastic computing
PTDF
pubcrawl
resilience
Resiliency
SC-GCEP problem
Scalability
security
security-constrained
security-constraint analysis modeling
pre-contingency constraints
Stochastic Computing Security
Stochastic processes
stochastic programming
stochastic security-constrained generation capacity expansion planning problem
transmission lines
two-stage multi-period framework
two-stage problem
uncertainty
optimization
K-means clustering technique
line outage distribution factors
Linear distribution factors
Load flow
Load modeling
load uncertainty
LODF
N-m post-contingency analysis
electrical power systems
partial transmission distribution factors
Planning
post-contingency constraints
post-contingency power flows
power generation
power generation planning
power system security
power systems
biblio
A generalized stochastic N-m security-constrained generation expansion planning methodology using partial transmission distribution factors
Submitted by grigby1 on Thu, 06/07/2018 - 3:08pm
security-constrained analyses
power system security
power transmission economics
pubcrawl
resilience
Resiliency
Scalability
security
security criteria
security-constrained
power system reliability
Stochastic computing
Stochastic Computing Security
stochastic problem
Stochastic processes
stochastic programming
stochastic security-constrained generation capacity expansion planning problem
Transmission line matrix methods
two-stage problem
uncertainty
optimization
generalized stochastic N-m security-constrained generation expansion planning methodology
Generators
line outage distribution factors
Linear distribution factors
Load flow
Load modeling
load scenarios
multiple-line outages
optimisation
generalized generation distribution factors
optimization problem
partial transmission distribution factors
Planning
post-contingency constraints
power generation dispatch
power generation planning
power generation scheduling
power markets
biblio
Scalable stochastic-computing accelerator for convolutional neural networks
Submitted by grigby1 on Thu, 06/07/2018 - 3:06pm
pubcrawl
Weight parameter retraining
system-on-chip
Stochastic computing
scalable stochastic-computing accelerator
SC-based neural networks
Resiliency
resilience
Recognition accuracy
arrays
Neural Network Resilience
neural nets
convolutional neural networks
convolutional neural network
convolution
ConvNets
computational complexity
Biological neural networks
« first
‹ previous
1
2
