|< 4 5 6 7 8 >|
CSV
publication icon
Slusarz N (2022) Differentiable Logics for Neural Network Training and Verification in Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
publication icon
Desmartin R (2022) Neural Networks in Imandra: Matrix Representation as a Verification Choice in Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
publication icon
Westbrook RH (2012) Prevalence and clinical outcomes of the 46/1 haplotype, Janus kinase 2 mutations, and ten-eleven translocation 2 mutations in Budd-Chiari syndrome and their impact on thrombotic complications post liver transplantation. in Liver transplantation : official publication of the American Association for the Study of Liver Diseases and the International Liver Transplantation Society
publication icon
Bensalem S (2022) Formal Specification for Learning-Enabled Autonomous Systems in Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings