COMPUTING LINEAR RESTRICTIONS OF NEURAL NETWORKS

von Sotoudeh, Matthew
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 18 of 20 (2020)

Abstract Neural Networks

von Sotoudeh, Matthew
Veröffentlicht in SAS (27. : 2020 : Online) Static analysis (2020)

SyReNN: A Tool for Analyzing Deep Neural Networks

von Sotoudeh, Matthew
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

HCODF: Hybrid Cognitive Ontology Driven Framework for Socially Relevant News Validation

von Adithya, V.
Veröffentlicht in ICDTA (1. : 2021 : Fes) Digital technologies and applications ; Set 1 (2021)

Influence of Magnetic Water on Properties of Concrete Paver Blocks

von Malathy, R.
Veröffentlicht in SMTS (2019 : Coimbatore) Smart technologies for sustainable development (2021)

Memory-Efficient Fixpoint Computation

von Kim, Sung Kook
Veröffentlicht in SAS (27. : 2020 : Online) Static analysis (2020)

Cycle Time Analysis and Optimization of Resources, Cost, and Time Involved in Marine Piling Construction

von Muthukkumaran, K.
Veröffentlicht in Indian Geotechnical Conference (2021 : Tiruchirapalli) Proceedings of Indian geotechnical conference 2021 ; volume 1: Soil behavior and characterization of geomaterials (2023)

Probabilistic Lipschitz Analysis of Neural Networks

von Mangal, Ravi
Veröffentlicht in SAS (27. : 2020 : Online) Static analysis (2020)