Advanced Search
Now showing items 1551-1560 of 1651
A user interface for exploring and querying knowledge graphs (extended abstract)
(International Joint Conferences on Artificial Intelligence, 2020)
Shared vs private randomness in distributed interactive proofs
(Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020)
Gradual verification of recursive heap data structures
(Association for Computing Machinery, 2020)
MPCC: Matching Priors and Conditionals for Clustering
(Springer Science and Business Media Deutschland GmbH, 2020)
Silent MST Approximation for Tiny Memory
(Springer Science and Business Media Deutschland GmbH, 2020)
The CARMENES M-dwarf planet survey
(SPIE, 2020)
Evaluating network reduction strategies for consistent risk assessment of critical infrastructures
(Research Publishing, Singapore, 2020)
Towards a framework for risk monitoring of complex engineering systems with online operation data: A deep learning based solution
(Research Publishing, Singapore, 2020)
Preliminary analysis of the new space communication scenario: The ground segment perspective
(Institute of Electrical and Electronics Engineers Inc., 2020)
A system-level prognostics and health management framework based on graph convolutional neural networks
(Research Publishing, Singapore, 2020)