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
optimization
biblio
Scalable Verification Framework for C Program
Submitted by
grigby1
on Fri, 06/28/2019 - 10:36am
abstraction refinement
automatic software verification framework
C language
C program verifiers
Complexity theory
Compositionality
context aware software verification
extended structural abstraction
lines-of-code
memory consumption
Metrics
model checking
optimization
program compilers
Program slicing
program verification
program verification problem
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
scalability issues
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
biblio
Energy Demand Scheduling Based on Game Theory for Microgrids
Submitted by
aekwall
on Mon, 06/24/2019 - 2:59pm
Buildings
constrained optimization problem
consumer demand management
consumers
consumption scheduling
demand side management
demand-side management systems
distributed energy demand scheduling approach
distributed power generation
electricity grids
energy consumption
game theory
Human behavior
interesting challenges
Metrics
Microgrids
minimal information exchange
minimal interactions
Minimization
modern grids
opportunity
optimisation
optimization
policy-based governance
pubcrawl
renewable energy sources
Resiliency
scheduling
Smart Grid Consumeer Privacy
smart grid consumer privacy
Smart Grids
smart power grids
Task Analysis
total energy cost
biblio
Optimization Based Adaptive Tagged Visual Cryptography
Submitted by
aekwall
on Mon, 04/29/2019 - 9:51am
Scalability
Resiliency
Human behavior
pubcrawl
Metrics
optimization
adaptive tagged visual cryptography
genetic algorithm
tagged visual cryptography
visual cryptography
BIOS Security
biblio
Efficient Software Implementation of ZUC Stream Cipher
Submitted by
aekwall
on Mon, 03/25/2019 - 9:58am
Resiliency
pubcrawl
composability
Metrics
optimization
information security
Mobile communication
software implementation
ZUC stream cipher
signal processing security
biblio
SELF-HEALING AND RESILIENCE IN FUTURE 5G COGNITIVE AUTONOMOUS NETWORKS
Submitted by
aekwall
on Mon, 03/25/2019 - 9:55am
learning (artificial intelligence)
machine learning
pubcrawl
composability
optimization
Reliability
Anomaly Detection
self-healing
5G mobile communication
automated anomaly detection
Case-Based Reasoning
cognitive network management
critical machine-type communication
degraded states
diagnosis function
future 5G cognitive autonomous networks
future cognitive autonomous mobile networks
future network deployments
gaussian distribution
key requirements
Long Term Evolution
managed network functions
mobile network self-healing
multidimensional statistical methods
radio access networks
resilience
self-healing functions
SON
SON self-healing
sophisticated machine learning methods
statistical analysis
telecommunication computing
ultra-high reliability
self-healing networks
profile
John Fitzgerald
Agriculture
Architectures
Hybrid Models
Certification
Design Automation Tools
Multi-models
Embedded Software
Model Integration
Testing
Platforms
Semantics
Systems Engineering
Modeling
Critical Infrastructure
Resilient Systems
Manufacturing
Transportation
Simulation
Validation and Verification
Model-based Systems Engineering
co-simulation
simulation
optimization
biblio
Trustworthiness Optimization of Industrial Cluster Network Platform Based on Blockchain
Submitted by
aekwall
on Mon, 03/11/2019 - 10:38am
Analytical models
Application Layer
blockchain
collaboration
composability
data layer
Distributed databases
Economics
industrial cluster
industrial cluster network platform
Industries
information service platform
Information services
information trustworthiness
network platform
optimisation
optimization
pubcrawl
security of data
small and medium-sized enterprises
small-to-medium enterprises
smart contracts
Trusted Computing
trustworthiness
trustworthiness optimization
biblio
Optimization Algorithm Research of Logistics Distribution Path Based on the Deep Belief Network
Submitted by
grigby1
on Wed, 03/06/2019 - 4:30pm
actual logistics distribution
ant algorithm
belief networks
collaboration
composability
Data models
Deep Belief Network
Human behavior
Logistics
Logistics distribution
Metrics
optimisation
optimization
optimization algorithm
Path optimization
policy-based governance
Prediction algorithms
pubcrawl
resilience
Resiliency
road traffic
Roads
Scalability
time-share traffic network
Traffic forecast
traffic forecast model
Training
urban traffic
vehicles
biblio
Time Series Forecasting by Evolving Deep Belief Network with Negative Correlation Search
Submitted by
grigby1
on Wed, 03/06/2019 - 4:30pm
Bayes methods
Bayesian optimization
belief networks
collaboration
composability
DBN
Deep Belief Network
derivative-free optimizer-negative correlation search
forecasting
forecasting theory
grid search
Human behavior
hyperparameters optimization
learning (artificial intelligence)
learning rates
Load modeling
Mathematical model
Metrics
Negative correlation search
neural nets
neural network models
Neural networks
optimisation
optimization
policy-based governance
pubcrawl
random search
resilience
Resiliency
Scalability
search problems
time series
Time series analysis
time series datasets
time series forecasting
Training
biblio
An Improved Hybrid Group Intelligent Algorithm Based on Artificial Bee Colony and Particle Swarm Optimization
Submitted by
aekwall
on Thu, 02/21/2019 - 1:02pm
pubcrawl
composability
convergence
particle swarm optimisation
Swarm Intelligence
Artificial Bee Colony
artificial bee colony algorithm
artificial swarm algorithm
complex optimization problems
convergence precision
convergence rate
Hybrid algorithm
hybrid group intelligent algorithm
improved hybrid algorithm
optimization
particle swarm optimization
particle swarm optimization algorithm
PSO
Sociology
standard particle swarm algorithm
Statistics
1
2
3
4
5
6
7
8
9
…
next ›
last »
