-
1تقرير
المؤلفون: Hůla, Jan, Mojžíšek, David, Janota, Mikoláš
مصطلحات موضوعية: Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2408.15418
-
2تقرير
-
3تقرير
-
4تقرير
المؤلفون: Orvalho, Pedro, Janota, Mikoláš, Manquinho, Vasco
المصدر: In the 26th international symposium on Formal Methods, FM 2024
مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2407.09337
-
5
-
6تقرير
المؤلفون: Brown, Chad E., Janota, Mikoláš, Olšák, Mirek
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2404.12048
-
7تقرير
مصطلحات موضوعية: Mathematics - Analysis of PDEs, 35Q70, 70F17, 70-08, 65F22
URL الوصول: http://arxiv.org/abs/2402.06355
-
8تقرير
المؤلفون: Esposito, Antonio, Mikolás, László
مصطلحات موضوعية: Mathematics - Analysis of PDEs, 35R02, 35R06, 35A01, 35A02
URL الوصول: http://arxiv.org/abs/2310.10350
-
9تقرير
المؤلفون: Kitzman, J. M., Lane, J. R., Undershute, C., Drimmer, M., Schleusner, A. J., Beysengulov, N. R., Mikolas, C. A., Pollanen, J.
مصطلحات موضوعية: Quantum Physics
URL الوصول: http://arxiv.org/abs/2308.00807
-
10تقرير