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
Silicon
biblio
Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems
Submitted by
aekwall
on Mon, 07/06/2020 - 10:14am
Monitoring
Scalability
cyber-physical systems
Resiliency
pubcrawl
Metrics
web services
optimisation
resilience
contracts
power system stability
automatic generation
Human Factors
Compositionality
object-oriented programming
Silicon
fault diagnosis
System performance
Automatic Contract Generation
automatic contract refinement
communication overhead
Contract Synthesis
core issue
growing scale
hierarchical contract-based resilience framework
hierarchical contracts generation
large-scale CPS
lower-level contract
manufacturing domain
multiobjective optimization problem
nonfunctional properties
numerous contracts
operating conditions
rapid fault detection
Resilience Decentralized Algorithms
root contract
system design
System Level
Cyber Dependencies
biblio
PRESERVING PARAMETER PRIVACY IN SENSOR NETWORKS
Submitted by
aekwall
on Mon, 04/20/2020 - 10:24am
pubcrawl
wireless sensor networks
privacy
Metrics
Indexes
sensor fusion
Noise measurement
data privacy
Silicon
sensor networks
Perturbation methods
Loss measurement
linear model
Cramér-Rao lower bound
Cramér-Rao lower bounds
decentralized sensors.
inference allowance
information privacy
parameter estimation
parameter privacy preservation
perturbation
predefined privacy gain threshold
privacy gain functions
private parameter estimation
public parameter estimation
utility loss
privacy models and measurement
biblio
PRESERVING PARAMETER PRIVACY IN SENSOR NETWORKS
Submitted by
aekwall
on Mon, 04/20/2020 - 10:24am
pubcrawl
wireless sensor networks
privacy
Metrics
Indexes
sensor fusion
Noise measurement
data privacy
Silicon
sensor networks
Perturbation methods
Loss measurement
linear model
Cramér-Rao lower bound
Cramér-Rao lower bounds
decentralized sensors.
inference allowance
information privacy
parameter estimation
parameter privacy preservation
perturbation
predefined privacy gain threshold
privacy gain functions
private parameter estimation
public parameter estimation
utility loss
privacy models and measurement
biblio
Uncertainty-Aware Opinion Inference Under Adversarial Attacks
Submitted by
grigby1
on Fri, 04/17/2020 - 10:58am
Adv-COI
adversarial collective opinion inference
adversarial evidence
black box adversarial attacks
collective subjective logic
composability
Compositionality
computational complexity
CSL
Data mining
data mining tasks
Data models
Decision Making
highly scalable opinion inference
inference mechanisms
learning (artificial intelligence)
logic-rule based structured data
Metrics
minimax techniques
possible adversarial attacks
Probabilistic logic
probabilistic model
probabilistic soft logic
probability
Probability density function
PSL
pubcrawl
resilience
Resiliency
Robustness
security of data
Silicon
Training
uncertain evidence
uncertainty
uncertainty-aware opinion inference
unknown opinions
white box adversarial attacks
White Box Security
biblio
Integrated High Power Micro Magnets for MEMS Sensors and Actuators
Submitted by
aekwall
on Mon, 02/24/2020 - 10:55am
Resiliency
pubcrawl
microsensors
Resists
Compositionality
remanence
Magnetic flux
Silicon
Surface treatment
Substrates
magnetic resonance imaging
Micromechanical devices
Permanent magnets
back-end-of-line compatible integration
boron alloys
cleanroom environment
elemental semiconductors
integrated high power micromagnets
iron alloys
magnetic MEMS
Magnetic separation
MEMS sensors
Micro magnets
microactuators
micromagnet arrangements
neodymium alloys
permanent magnetic structures
remanent magnetization
Si-NdFeB
silicon frames
size 25.0 mum to 2000.0 mum
size 8.0 inch
substrate conditioning procedures
biblio
Symmetric-Key Multi-Factor Biometric Authentication Scheme
Submitted by
aekwall
on Mon, 02/10/2020 - 12:03pm
authentication
authorisation
biometric
biometric techniques
biometrics (access control)
Burrows-Abadi-Needham (BAN) logic
Cao and Ge's scheme
Cryptography
Germanium
Human Factors
identity password
Metrics
multi-factor
multifactor authentication
password
private key cryptography
ProVeri
ProVerif
pubcrawl
Resiliency
security attacks
Servers
Silicon
smart-card
symmetric-key multifactor biometric authentication scheme
biblio
SECO: A Scalable Accuracy Approximate Exponential Function Via Cross-Layer Optimization
Submitted by
aekwall
on Mon, 01/20/2020 - 11:49am
adaptive exponential integrate-fire neuron model
approximate computing
approximate EFU designs
approximation theory
arithmetic units
convergence
Cross-Layer Approximation
cross-layer design method
Cross-layer optimization
deep neural networks
design space
Design Time
Dynamic Accuracy Scaling
Eigenvalues and eigenfunctions
energy-accuracy-optimal approximate multiplier
energy-efficient computing
Error analysis
error analysis method
Error Modeling
error-resilient applications
Exponential Function
exponential function unit
exponential operation
exponentiation
fault tolerant control
gradient methods
intrinsic error resilience
neural nets
Nickel
Observers
optimisation
power consumption
pubcrawl
Resiliency
runtime optimization method
Scalability
scalable accuracy approximate exponential function
SECO
signal processing
signal processing applications
Silicon
spiking neuron models
Taylor expansion
biblio
Film Bulk Acoustic Wave Resonator for Trace Chemical Warfare Agents Simulants Detection in Micro Chromatography
Submitted by
aekwall
on Mon, 01/13/2020 - 12:08pm
acoustic coupling
acoustic resonators
acoustic transducers
bulk acoustic wave devices
Chemical warfare agents
Chemicals
chromatographic analysis
chromatography
Coatings
CWA detection
Detectors
FBAR sensor
Film bulk acoustic resonator
Film bulk acoustic resonators
film bulk acoustic wave resonator
Gas chromatography
gas sensors
Human behavior
Micro Gas chromatography
microchannel flow
microchromatography
microfabricated separation column
microfabrication
microfluidic channel
microsensors
polymer coated film bulk acoustic resonators
polymer films
pubcrawl
Resiliency
Scalability
Silicon
Surface treatment
thin film sensors
trace chemical warfare agent simulant detection
biblio
Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+
Submitted by
grigby1
on Mon, 12/30/2019 - 2:19pm
communicating parties
contributory group key agreement
Cryptographic Protocols
Cryptography
DC DHKE
divide and conquer key distribution protocol
exponentiation
formal verification
GDH
ING
key agreement protocol verification
liveness property
Mathematical model
mutual key
passive attacker
pre-meditated correctness
protocol correctness
ProVerif
pubcrawl
Resiliency
Scalability
Silicon
TLA
TLA+
biblio
Secure Physical Layer Network Coding versus Secure Network Coding
Submitted by
grigby1
on Thu, 12/05/2019 - 10:47am
coding theory
composability
Compositionality
computation and forward
Cryptography
cyber physical systems
error correction
error correction codes
forward error correction
Metrics
network coding
Noise measurement
noiseless network
noisy channel
Physical layer
physical layer security
Predictive Metrics
pubcrawl
Receivers
resilience
Resiliency
secrecy analysis
secure communication
secure physical layer network coding
security
Silicon
Task Analysis
telecommunication security
1
2
3
4
5
next ›
last »
