-
1دورية أكاديمية
المؤلفون: Seshia, Sanjit, Dreossi, Tommaso, Fremont, Daniel, Ghos, Shromona, Kim, Edward, Ravanbakhsh, Hadi, Vazquez-Chanlatte, Marcell
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/5qd0m69jTest
-
2تقرير
المؤلفون: Vin, Eric, Kashiwa, Shun, Rhea, Matthew, Fremont, Daniel J., Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.
مصطلحات موضوعية: Computer Science - Programming Languages
الوصول الحر: http://arxiv.org/abs/2307.03325Test
-
3تقرير
المؤلفون: Deng, Grace, Han, Cuize, Dreossi, Tommaso, Lee, Clarence, Matteson, David S.
مصطلحات موضوعية: Statistics - Machine Learning, Computer Science - Machine Learning
الوصول الحر: http://arxiv.org/abs/2110.07460Test
-
4تقرير
المؤلفون: Dreossi, Tommaso, Ballardin, Giorgio, Gupta, Parth, Bakus, Jan, Lin, Yu-Hsiang, Salaka, Vamsi
المصدر: EPTCS 331, 2021, pp. 33-42
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Computer Science - Information Retrieval, Computer Science - Machine Learning
الوصول الحر: http://arxiv.org/abs/2101.05415Test
-
5تقرير
المؤلفون: Fremont, Daniel J., Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning
الوصول الحر: http://arxiv.org/abs/2010.06580Test
-
6دورية أكاديمية
المؤلفون: Seshia, Sanjit, Dreossi, Tommaso, Fremont, Daniel, Ghos, Shromona, Kim, Edward, Ravanbakhsh, Hadi, Vazquez-Chanlatte, Marcell
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/5qd0m69jTest
-
7تقرير
-
8تقرير
المؤلفون: Dreossi, Tommaso, Fremont, Daniel J., Ghosh, Shromona, Kim, Edward, Ravanbakhsh, Hadi, Vazquez-Chanlatte, Marcell, Seshia, Sanjit A.
مصطلحات موضوعية: Computer Science - Artificial Intelligence
الوصول الحر: http://arxiv.org/abs/1902.04245Test
-
9دورية أكاديمية
المؤلفون: Seshia, Sanjit A, Jha, Somesh, Dreossi, Tommaso
المصدر: IEEE Design and Test. 37(2)
مصطلحات موضوعية: Semantics, Machine learning algorithms, Neural networks, Training data, Deep learning, Adversarial machine learning
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/8xp911g3Test
-
10تقرير
المؤلفون: Fremont, Daniel J., Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning
الوصول الحر: http://arxiv.org/abs/1809.09310Test