-
1تقرير
المؤلفون: Carbonnelle, Pierre, Schenner, Gottfried, Bruynooghe, Maurice, Bogaerts, Bart, Denecker, Marc
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
الوصول الحر: http://arxiv.org/abs/2311.03424Test
-
2تقرير
المؤلفون: Carbonnelle, Pierre, Vennekens, Joost, Bogaerts, Bart, Denecker, Marc
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/2305.17140Test
-
3تقرير
المصدر: EPTCS 385, 2023, pp. 213-226
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
الوصول الحر: http://arxiv.org/abs/2202.00898Test
-
4تقرير
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
الوصول الحر: http://arxiv.org/abs/2202.00343Test
-
5دورية أكاديمية
المؤلفون: Carbonnelle, Pierre, Schenner, Gottfried, Bruynooghe, Maurice, Bogaerts, Bart, Denecker, Marc
المصدر: Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 38 No. 8: AAAI-24 Technical Tracks 8; 7961-7968 ; 2374-3468 ; 2159-5399
مصطلحات موضوعية: CSO: Satisfiability, CSO: Satisfiability Modulo Theories
وصف الملف: application/pdf
العلاقة: https://ojs.aaai.org/index.php/AAAI/article/view/28633/29229Test; https://ojs.aaai.org/index.php/AAAI/article/view/28633/29230Test; https://ojs.aaai.org/index.php/AAAI/article/view/28633Test
الإتاحة: https://doi.org/10.1609/aaai.v38i8.28633Test
https://ojs.aaai.org/index.php/AAAI/article/view/28633Test -
6دورية أكاديمية
المؤلفون: Favache, Audrey, Ryelandt, Sophie, Melchior, Maxime, Zeb, Gul, Carbonnelle, Pierre, Raskin, Jean-Pierre, Pardoen, Thomas
المساهمون: UCL - SST/IMMC/IMAP - Materials and process engineering, UCL - SST/ICTM/ELEN - Pôle en ingénierie électrique
المصدر: Review of Scientific Instruments, Vol. 87, no.1, p. 015002 (2016)
العلاقة: boreal:171169; http://hdl.handle.net/2078.1/171169Test; urn:ISSN:0034-6748; urn:EISSN:1089-7623
-
7
-
8مؤتمر
المؤلفون: Favache, Audrey, Teillet, A., Poirier, C., Pardoen, Thomas, Jacques, Pascal, Carbonnelle, Pierre, Raskin, Jean-Pierre, Bailly, Christian, Nysten, Bernard, European Symposium on Friction, Wear and Wear Protection
المساهمون: UCL - SST/IMMC/IMAP - Materials and process engineering, UCL - SST/ICTM/ELEN - Pôle en ingénierie électrique, UCL - SST/IMCN/BSMA - Bio and soft matter
العلاقة: boreal:106124; http://hdl.handle.net/2078.1/106124Test
-
9مؤتمر
المؤلفون: Ryelandt, Sophie, Carbonnelle, Pierre, Coulombier, Michaël, Colla, Marie-Stéphane, Houri, Samer, Zeb, G., Zulfiqar, A., Bhaskar, Umesh Kumar, Raskin, Jean-Pierre, Pardoen, Thomas, European Congress on Advanced Materials and Processes – EuroMAT 2011
المساهمون: UCL - SST/ICTM - Institute of Information and Communication Technologies, Electronics and Applied Mathematics
مصطلحات موضوعية: NANO
العلاقة: boreal:123518; http://hdl.handle.net/2078/123518Test
-
10مؤتمرNanomechanical testing of thin metallic films application to aluminium, palladium and chromium films
المؤلفون: Ryelandt, Sophie, Carbonnelle, Pierre, Boe, Alexandre, Coulombier, Michaël, Bhaskar, Umesh Kumar, Zulfiqar, Azeem, Colla, Marie-Stéphane, Dille, J., Poirier, C., Proost, Joris, Godet, Stéphane, Raskin, Jean-Pierre, Pardoen, Thomas, European Conference on Nano Film - ECNF'10
المساهمون: UCL - SST/IMMC/IMAP - Materials and process engineering, UCL, UCL - SST/ICTM - Institute of Information and Communication Technologies, Electronics and Applied Mathematics, UCL - EPL/ELEC - Département d'électricité
العلاقة: boreal:75749; http://hdl.handle.net/2078.1/75749Test