Abstract: Quadratic programming problems are a widespread class of nonlinear programming problems with many practical applications. The case of inequality constraints have been considered in a ...
Abstract: Physics-informed neural networks (PINNs) have recently been utilized to tackle wave equation-based forward and inverse problems. However, they encounter challenges in accurately predicting ...
Model-based design tools are often used to design safety-critical embedded software. Consequently, generating correct code from such models is crucial. We tackle this challenge on Lustre, a dataflow ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results