Search
Now showing items 1-3 of 3
Extending the relational model with constraint satisfaction
(2021-01-01)
We propose a new approach to data driven constraint programming. By extending the relational model to handle constraints and variables as first class citizens, we are able to express first order logic SAT problems using ...
Deep learning approach to discontinuity-preserving image registration
(2020-05-01)
Image registration is an indispensable tool in medical image analysis. Traditionally, registration algorithms are aimed at aligning image pairs using regularizers to impose smoothness restrictions on unknown deformation ...
Discrete optimization of upgrade scheduling
(2022-08-01)
A primary objective of the mission to meet climate change goals of reducing greenhouse gas (GHG) emissions is to transition from fossil fuels to zero-emission energy. Fossil fuel production and transportation account for ...