학술논문
'학술논문'
에서 검색결과 121건 | 목록
20~30
Conference
In: IJCAI International Joint Conference on Artificial Intelligence , Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. (IJCAI International Joint Conference on Artificial Intelligence, 2023, 2023-August:3268-3276)
Report
Buttar, C.; Dittmaier, S.; Drollinger, V.; Frixione, S.; Nikitenko, A.; Abdullin, S. Willenbrock S.; Accomando, E.; Acosta, D.; Arbuzov, A.; Ball, R. D.; Ballestrero, A.; Bartalini, P.; Baur, U.; Belhouari, A.; Belov, S.; Belyaev, A.; Benedetti, D.; Binoth, T.; Bolognesi, S.; Bondarenko, S.; Boos, E. E.; Boudjema, F.; Bredenstein, A.; Bunichev, V. E.; Campbell, J. M.; Calame, C. Carloni; Catani, S.; Cavanaugh, R.; Ciccolini, M.; Collins, J.; Cooper-Sarkar, A. M.; Corcella, G.; Cucciarelli, S.; Davatz, G.; DelDuca, V.; Denner, A.; D'Hondt, J.; Drozdetskiy, A.; Dudko, L. V.; Duehrssen, M.; Frazier, R.; Fujimoto, J.; Gascon-Shotkin, S.; Gehrmann, T.; Ridder, A. Gehrmann-De; Giammanco, A.; Giolo-Nicollerat, A. -S.; Glover, E. W. N.; Godbole, R. M.; Grau, A.; Grazzini, M.; Guillet, J. -Ph.; Gusev, A.; Harlander, R.; Hegde, R.; Heinrich, G.; Heyninck, J.; Huston, J.; Ishikawa, T.; Kalinowski, A.; Kaneko, T.; Kato, K.; Kauer, N.; Kilgore, W.; Kirsanov, M.; Korytov, A.; Kraemer, M.; Kulesza, A.; Kurihara, Y.; Lehti, S.; Magnea, L.; Mahmoudi, F.; Maina, E.; Maltoni, F.; Mariotti, C.; Mellado, B.; Mercier, D.; Mitselmakher, G.; Montagna, G.; Moraes, A.; Moretti, M.; Moretti, S.; Nakano, I.; Nason, P.; Nicrosini, O.; Nolten, M. R.; Olness, F.; Pakhotin, Yu.; Pancheri, G.; Piccinini, F.; Pilon, E.; Pittau, R.; Pozzorini, S.; Pumplin, J.; Quayle, W.; Ross, D. A.; Sadykov, R.; Sandhoff, M.; Savrin, V. I.; Schmidt, A.; Schulze, M.; Schumann, S.; Scurlock, B.; Sherstnev, A.; Skands, P.; Somogyi, G.; Smith, J.; Spira, M.; Srivastava, Y.; Stenzel, H.; Sumino, Y.; Tanaka, R.; Trocsanyi, Z.; Tsuno, S.; Vicini, A.; Wackeroth, D.; Weber, M. M.; Weiser, C.; Willenbrock, S.; Wu, S. L.; Zanetti, M.
Report
Assamagan, K. A.; Narain, M.; Nikitenko, A.; Spira, M.; Zeppenfeld, D.; Alwall, J.; Balázs, C.; Barklow, T.; Baur, U.; Biscarat, C.; Bisset, M.; Boos, E.; Bozzi, G.; Brein, O.; Campbell, J.; Catani, S.; Ciccolini, M.; Cranmer, K.; Dahlhoff, A.; Dawson, S.; de Florian, D.; De Roeck, A.; Del Duca, V.; Dittmaier, S.; Djouadi, A.; Drollinger, V.; Dudko, L.; Dührssen, M.; Ellwanger, U.; Escalier, M.; Fang, Y. Q.; Ferrag, S.; Forshaw, J. R.; Grazzini, M.; Guasch, J.; Guchait, M.; Gunion, J. F.; Hahn, T.; Harlander, R.; He, H. -J.; Heinemeyer, S.; Heyninck, J.; Hollik, W.; Hugonie, C.; Jackson, C.; Kauer, N.; Kersting, N.; Khoze, V.; Kidonakis, N.; Kinnunen, R.; Krämer, M.; Kuang, Y. -P.; Laforge, B.; Lehti, S.; Lethuillier, M.; Li, J.; Logan, H.; Lowette, S.; Maltoni, F.; Mazini, R.; Mellado, B.; Moortgat, F.; Moretti, S.; Nagy, Z.; Nason, P.; Oleari, C.; Paganis, S.; Penaranda, S.; Plehn, T.; Quayle, W.; Rainwater, D.; Rathsman, J.; Ravat, O.; Reina, L.; Vera, A. Sabio; Sopczak, A.; Trócsányi, Z.; Vanlaer, P.; Wackeroth, D.; Weiglein, G.; Willenbrock, S.; Wu, Sau Lan; Yuan, C. -P.; Zhang, B.
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, 6 March 2019, 29(2):187-214)
Academic Journal
In: Journal of Applied Logics . (Journal of Applied Logics, March 2019, 6(2):317-357)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings - 38th International Conference on Logic Programming, ICLP 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 4 August 2022, 364:185-187)
Academic Journal
In: Journal of Applied Logics . (Journal of Applied Logics, June 2018, 5(3):629-676)
Academic Journal
In: Journal of Philosophical Logic . (Journal of Philosophical Logic, 1 June 2018, 47(3):481-511)
Conference
In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022 , Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, 30 June 2022, 36:5692-5699)
Book
In: Artificial Intelligence Research - Third Southern African Conference, SACAIR 2022, Proceedings . (Communications in Computer and Information Science, 2022, 1734 CCIS:202-214)
검색 결과 제한하기
제한된 항목
[AR] Heyninck, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어