41 – 50 of 459
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Proof Logging for the Circuit Constraint
(2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Parametric learning of time-advancement operators for unstable flame evolution
- Contribution to journal › Article
-
Mark
ACCELERATED FORWARD-BACKWARD OPTIMIZATION USING DEEP LEARNING
- Contribution to journal › Article
-
Mark
LARGE-AMPLITUDE STEADY GRAVITY WATER WAVES WITH GENERAL VORTICITY AND CRITICAL LAYERS
- Contribution to journal › Article
-
Mark
Groundwater modelling for decision-support in practice: Insights from Sweden
(2024) In Ambio: a Journal of Environment and Society
- Contribution to journal › Article
-
Mark
Assimilating hydraulic response data from in-situ bioremediation injection treatment for improved decision-support modelling
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Modified Neumann–Neumann methods for semi- and quasilinear elliptic equations
- Contribution to journal › Article
-
Mark
Incorporating history and deviations in forward–backward splitting
- Contribution to journal › Article
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
- Contribution to journal › Article
-
Mark
LOCALLY CONSERVATIVE AND FLUX CONSISTENT ITERATIVE METHODS
- Contribution to journal › Article
