'Parallel-in-Time Probabilistic Numerical ODE Solvers', by Nathanael Bosch, Adrien Corenflos, Fatemeh Yaghoobi, Filip Tronarp, Philipp Hennig, Simo Särkkä.

http://jmlr.org/papers/v25/23-1261.html

#kalman #solvers #bayesian

'Stable Implementation of Probabilistic ODE Solvers', by Nicholas Krämer, Philipp Hennig.

http://jmlr.org/papers/v25/20-1423.html

#numerical #solvers #odes

We've been working on a massive riddle tying together #self-organization, #carbonate #diagenesis, reactive transport, #paleoclimate and #Milankovich cycles, and very stiff PDE systems.

If you've missed the poster at #egu24, you can still find it attached to the abstract in the conference program (https://meetingorganizer.copernicus.org/EGU24/EGU24-16400.html) and on Zenodo https://zenodo.org/records/10943274 If you're into numerical methods, tricky PDEs or other aspects of #modeling, please see if you have any advice to us 😄 #solvers #PDE

'Multilevel CNNs for Parametric PDEs', by Cosmas Heiß, Ingo Gühring, Martin Eigel.

http://jmlr.org/papers/v24/23-0421.html

#pdes #solvers #deep

'Scalable Computation of Causal Bounds', by Madhumitha Shridharan, Garud Iyengar.

http://jmlr.org/papers/v24/22-1081.html

#causal #confounders #solvers

Dear Friends of the #positivemind set,

As we gnaw/know the non solutions are easy to drown in. Be swamped by. Be baited by. yuck, muck, ruckus …

The good, #useful, solving scenario is boring but not for more oil, profit, #consumption of trivial #exploitation.

… and that dear friends is the secret:

- ignore the firing squadies
- find the #solvers, be with them #friendly #like
- be content to #improvise #improvement

https://www.wwf.org.uk/thingsyoucando

4/

Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.

Submission deadline: July 10, 2023

https://sites.google.com/view/dpsolve2023

#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers

2/ Second: PTHG-23, The Sixth Workshop on Progress Towards the Holy Grail, organised by Eugene Freuder, Christian Bessiere, Tias Guns, Ian Miguel, Michela Milano, and Helmut Simonis.

Submission deadline: 10 days before the CP 2023 conference early registration deadline

https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/

#ConstraintProgramming #CP2023 #CallForPapers #AcademicMastodon #ArtificialIntelligence #Solvers #CP2023conf #AI

'Combinatorial Optimization and Reasoning with Graph Neural Networks', by Quentin Cappart, Didier Chételat, Elias B. Khalil, Andrea Lodi, Christopher Morris, Petar Velickovic.

http://jmlr.org/papers/v24/21-0449.html

#graph #combinatorial #solvers

4th International Workshop about Sets and Tools (Sets 2023) September 4-8, 2023 Cambridge, UK https://www.lirmm.fr/sets2023/ #mathematics #sets #automated #theorem #provers #coq #smt #solvers