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
Short and Squeezed: Accelerating the Computation of Antisparse Representations with Safe Squeezing
Submitted by grigby1 on Wed, 05/05/2021 - 12:41pm
signal processing
collaboration
pubcrawl
Human behavior
Metrics
policy-based governance
resilience
Resiliency
optimization
Safe Coding
Acceleration
Geometry
speech processing
Transforms
Human Factors
antisparse coding
convex optimization
numerical simulation
safe squeezing
scaled projected gradient
biblio
Scalable yet Rigorous Floating-Point Error Analysis
Submitted by aekwall on Mon, 05/03/2021 - 1:19pm
Resiliency
pubcrawl
resource management
optimization
tools
Scalability
Predictive Metrics
Compositionality
numerical analysis
High performance computing
scalable verification
Error analysis
abstraction
Algorithmic Differentiation
floating-point arithmetic
Round-off error
Scalable Analysis
Symbolic Execution
biblio
Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems
Submitted by aekwall on Mon, 05/03/2021 - 1:15pm
Task Analysis
Resiliency
pubcrawl
standards
optimization
uncertainty
Scalability
Pipelines
Predictive Metrics
Compositionality
scalable verification
Nonlinear dynamical systems
biblio
PASAPTO: Policy-aware Security and Performance Trade-off Analysis–Computation on Encrypted Data with Restricted Leakage
Submitted by grigby1 on Thu, 04/29/2021 - 2:17pm
Cryptography
Decision trees
Heuristic algorithms
Java
optimization
policy-based governance
pubcrawl
security policies
Time measurement
biblio
The Security Policies Optimization Problem for Composite Information Systems
Submitted by grigby1 on Thu, 04/29/2021 - 2:15pm
Access Control
discretionary access control
information security
Information systems
mandatory access control
operating systems
optimization
policy-based governance
pubcrawl
security
security policies
security policy
Task Analysis
biblio
A Rule Reordering Method via Pairing Dependent Rules
Submitted by aekwall on Tue, 04/27/2021 - 1:35pm
Scalability
Conferences
security
Resiliency
pubcrawl
optimization
Communication networks
Heuristic algorithms
Security Heuristics
predictability
merging
Information services
packet classification
Heuristics
optimal rule ordering
biblio
The Role of Combinatorial Mathematical Optimization and Heuristics to improve Small Farmers to Veterinarian access and to create a Sustainable Food Future for the World
Submitted by aekwall on Tue, 04/27/2021 - 1:34pm
Scalability
security
Resiliency
pubcrawl
optimization
Mathematical model
Unified modeling language
Artificial Intelligence
Linear programming
Security Heuristics
predictability
Agriculture
CBC
Cow Necklace
CPLEX
edge
GLPK
Hanumayamma
IoT device
mathematical formulation
Pyomo
Solvers
Z3
biblio
A Review of Reconstruction Algorithms in Compressive Sensing
Submitted by aekwall on Tue, 04/27/2021 - 1:20pm
cyber-physical systems
Resiliency
pubcrawl
composability
optimization
privacy
Matching pursuit algorithms
Image reconstruction
compressed sensing
compressive sampling
Iterative algorithms
compressive sensing
measurements
Reconstruction algorithms
sparse signal
biblio
EFM: An Edge-Computing-Oriented Forwarding Mechanism for Information-Centric Networks
Submitted by aekwall on Thu, 04/08/2021 - 4:28pm
edge computing
edge networks
forwarding strategy
Image edge detection
Information Centric Networks
information-centric networking
Logic gates
optimization
Packet loss
pubcrawl
Resiliency
Scalability
simulation
biblio
Optimization of Secret Key using cuckoo Search Algorithm for ensuring data integrity in TPA
Submitted by aekwall on Mon, 03/22/2021 - 1:07pm
auditing
Cloud Computing
Compositionality
Cuckoo search
cuckoo search algorithm
data integrity
decryption purpose
encryption
encryption audits
optimization
Predictive Metrics
pubcrawl
public key cryptography
Resiliency
search problems
Secret key
secret key generation algorithms
third party auditors
TPA
1
2
3
4
5
6
7
8
9
…
next ›
last »
