-
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Freier ZugriffGWLB - Gottfried Wilhelm Leibniz Bibliothek | 2020| -
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Freier ZugriffSpringer Verlag | 2020| -
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Freier ZugriffSpringer Verlag | 2020| -
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations
Freier ZugriffSpringer Verlag | 2020| -
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
Freier ZugriffSpringer Verlag | 2020| -
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
Freier ZugriffSpringer Verlag | 2020| -
An Abstraction-Based Framework for Neural Network Verification
Freier ZugriffSpringer Verlag | 2020| -
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
Freier ZugriffSpringer Verlag | 2020| -
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models
Freier ZugriffSpringer Verlag | 2020| -
Verification of Deep Convolutional Neural Networks Using ImageStars
Freier ZugriffSpringer Verlag | 2020| -
Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing
Freier ZugriffSpringer Verlag | 2020|
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.