SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study

von Banerjee, Soham
Veröffentlicht in VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation (2023)

Covacdiser: A Machine Learning-Based Web Application to Recommend the Prioritization of COVID-19 Vaccination

von Chowdhury, Deepraj
Veröffentlicht in Doctoral Symposium on Intelligence Enabled Research (3. : 2021 : Online) Intelligence enabled research (2022)

Overburden Normalization for In-Flight Centrifuge Miniature Cone Penetration Testing in Sand

von Chen, Jiarui
Veröffentlicht in Geo-Congress (2022 : Charlotte, NC) Geo-Congress 2021 ; 3: Site and soil characterization, computational geotechnics, risl, and lessind (2022)