| ... | @@ -21,3 +21,4 @@ |
... | @@ -21,3 +21,4 @@ |
|
|
| Wenwen Wang | "Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT", Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler | | |
|
|
| Wenwen Wang | "Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT", Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler | | |
|
|
|
| Muqaddas Ramzan | "Iscalc: An Interactive Symbolic Computation Framework" Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu | | |
|
|
| Muqaddas Ramzan | "Iscalc: An Interactive Symbolic Computation Framework" Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu | | |
|
|
|
| Shokoofeh Kheirdastan | SDSS-DR12 bulk stellar spectral classification: Artificial neural networks approach | |
|
|
| Shokoofeh Kheirdastan | SDSS-DR12 bulk stellar spectral classification: Artificial neural networks approach | |
|
|
|
|
| Edoardo Berardi Vittur | [Aligning Artificial Neural Networks and Ontologies towards Explainable AI](https://ojs.aaai.org/index.php/AAAI/article/view/16626) |
|
|
|
\ No newline at end of file |
