GitHub

Domain-Specific Languages of Mathematics

Also available: the recorded lectures from the 2021 course instance (most in Swedish, some in English). This repository is mainly the home of the DSLsofMath book (originating from the course lecture ...
www.cs.utexas.edu

SAT 2015

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional ...
GitHub

Data Structures and Algorithms in JavaScript

This is the coding implementations of the DSA.js book and the repo for the NPM package. In this repository, you can find the implementation of algorithms and data structures in JavaScript. This ...
Frontiers

Large-Scale Wildfire Mitigation Through Deep Reinforcement Learning

Forest management can be seen as a sequential decision-making problem to determine an optimal scheduling policy, e.g., harvest, thinning, or do-nothing, that can mitigate the risks of wildfire. Markov ...
PNAS

Solving high-dimensional partial differential equations using deep learning

Partial differential equations (PDEs) are among the most ubiquitous tools used in modeling problems in nature. However, solving high-dimensional PDEs has been notoriously difficult due to the “curse ...