Learning logic programs by discovering higher-order abstractions by Hocquette, C, Dumancic, S, Cropper, A

Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings / by Diagrams (Conference) (12th : 2021 : Online) 643173, Basu, Amrita, 1953-, editor 643175, Stapleton, Gem, editor 643176, Linker, Sven, editor 643177, Legg, Catherine, editor 643178, Manalo, Emmanuel, editor 643179, Viana, Petrucio, editor 643180

Learning big logical rules by joining small rules by Hocquette, C, Niskanen, A, Morel, R, Järvisalo, M, Cropper, A

Preface by Gibbons, J, Miller, D

System-level FPGA device driver with high-level synthesis support by Vipin, Kizheppatt, Shreejith, Shanker, Gunasekera, Dulitha, Fahmy, Suhaib A., Kapre, Nachiket

Get full text
Get full text

Codesign of quantum error-correcting codes and modular chiplets in the presence of defects by Lin, Sophia Fuhui, Viszlai, Joshua, Smith, Kaitlin N., Ravi, Gokul Subramanian, Yuan, Charles, Chong, Frederic T., Brown, Benjamin J.

Get full text