ULKB Logic: A HOL-based framework for reasoning over knowledge graphs
- Guilherme Augusto Ferreira Lima
- Alexandre Rademaker
- et al.
- 2023
- SBMF 2023
Publications
1827 results in 2023
Exploiting Algebraic Structure in Probing Security
- Maxime Plançon
- 2023
- Asiacrypt 2023
Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting Codes
- 2023
- Asiacrypt 2023
QOMPLIANCE: Declarative Data-Centric Policy Compliance
- Daan Oudejans
- Anton Zorin
- et al.
- 2023
- IEEE CSDE 2023
AutoPeptideML: An Automated Machine Learning Method for Building Peptide Bioactivity Predictors Leveraging Protein Language Models
- Raúl Fernández Díaz
- Rodrigo Cossio-pérez
- et al.
- 2023
- ICBG 2023
Helion: Enabling Natural Testing of Smart Homes
- Prianka Mandal
- Sunil Manandhar
- et al.
- 2023
- ESEC/FSE 2023
Aromaticity Reversal Induced by Vibrations in Cyclo[16]carbon
- Igor Rončević
- Freddie J. Leslie
- et al.
- 2023
- JACS
Programming Weights to Analog In-Memory Computing Cores by Direct Minimization of the Matrix-Vector Multiplication Error
- 2023
- IEEE JESTCS
Beyond Statistical Similarity: Rethinking Metrics for Deep Generative Models in Engineering Design
- Lyle Regenwetter
- Akash Srivastava
- et al.
- 2023
- Computer-Aided Design
WFA-FPGA: An efficient accelerator of the wavefront algorithm for short and long read genomics alignment
- Abbas Haghi
- Santiago Marco-Sola
- et al.
- 2023
- Future Generation Computer Systems