-
1تقرير
المؤلفون: Abdeen, Zain ul, Roy, Padmaksha, Al-Tawaha, Ahmad, Jia, Rouxi, Freeman, Laura, Beling, Peter, Liu, Chen-Ching, Sangiovanni-Vincentelli, Alberto, Jin, Ming
مصطلحات موضوعية: Computer Science - Cryptography and Security, Electrical Engineering and Systems Science - Systems and Control
الوصول الحر: http://arxiv.org/abs/2405.02989Test
-
2تقرير
المؤلفون: Elmaaroufi, Karim, Shanker, Devan, Cismaru, Ana, Vazquez-Chanlatte, Marcell, Sangiovanni-Vincentelli, Alberto, Zaharia, Matei, Seshia, Sanjit A.
مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Programming Languages
الوصول الحر: http://arxiv.org/abs/2405.03709Test
-
3تقرير
مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Robotics
الوصول الحر: http://arxiv.org/abs/2403.12856Test
-
4تقرير
-
5تقرير
مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Machine Learning
الوصول الحر: http://arxiv.org/abs/2309.03157Test
-
6تقرير
المؤلفون: Chen, Shixin, Li, Shanyi, Zhuang, Zhen, Zheng, Su, Liang, Zheng, Ho, Tsung-Yi, Yu, Bei, Sangiovanni-Vincentelli, Alberto L.
الوصول الحر: http://arxiv.org/abs/2308.01672Test
-
7تقرير
-
8تقرير
المؤلفون: 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
-
9
-
10تقرير
المؤلفون: Lin, Yu-Wen, Tang, Tsz Ling Elaine, Sangiovanni-Vincentelli, Alberto L., Schiavon, Stefano, Spanos, Costas J.
مصطلحات موضوعية: Computer Science - Other Computer Science
الوصول الحر: http://arxiv.org/abs/2305.06380Test