1 – 10 of 396
- 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
An abstract approach to the Robin–Robin method
2024)(
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Evaluating the explanatory power of the Conscious Turing Machine
(
- Contribution to journal › Article
-
Mark
Waveform Relaxation for Atmosphere-Ocean-Sea Ice Coupling in the EC-Earth Single Column Model
2024) Platform for Advanced Scientific Computing Conference, PASC 2024(
- Contribution to conference › Poster
-
Mark
A user material approach for the solution of multi-field problems in Abaqus : Theoretical foundations, gradient-enhanced damage mechanics and thermo-mechanical coupling
(
- Contribution to journal › Article
-
Mark
Scattering by a biisotropic obstacle and the properties of the Beltrami spherical vector waves
2024) In Mathematical Methods in the Applied Sciences(
- Contribution to journal › Article
-
Mark
Thermocapillary thin films : periodic steady states and film rupture
(
- Contribution to journal › Article
-
Mark
Multi-fidelity reduced-order surrogate modelling
2024) In Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 480(2283).(
- Contribution to journal › Article
-
Mark
A randomized operator splitting scheme inspired by stochastic optimization methods
2024) In Numerische Mathematik(
- Contribution to journal › Article
-
Mark
ACCELERATED FORWARD-BACKWARD OPTIMIZATION USING DEEP LEARNING
(
- Contribution to journal › Article