You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Externals for probability distributions are defined in `stdlib/ext/dist-ext.mc`. To use these, you must install the `opam` package `owl` (i.e., `opam install owl`)
117
+
Externals for probability distributions are defined in `https://github.com/miking-lang/miking/blob/develop/src/stdlib/ext/dist-ext.mc`. To use these, you must install the `opam` package `owl` (i.e., `opam install owl`)
and, being in the `rootppl` directory, compiled with:
282
282
```
283
283
rppl models/simple-examples/coin_flip_mean.cu
@@ -301,7 +301,7 @@ no statements that alter the weights of the particles.
301
301
Below follows some examples, these are all models that are defined within one single block.
302
302
303
303
##### Coin Flip Posterior
304
-
Full example: [`rootppl/models/simple-examples/coin_flip.cu`](rootppl/models/simple-examples/coin_flip.cu)
304
+
Full example: [`rootppl/models/simple-examples/coin_flip.cu`](https://github.com/miking-lang/miking-dppl/blob/master/rootppl/models/simple-examples/coin_flip.cu)
305
305
306
306
In this model, a bias for a coin is sampled from the prior beta distribution. Then we observe that the coin flip is true. This model thus infers the
307
307
posterior distribution of the bias, conditioned on the observation.
@@ -316,7 +316,7 @@ BBLOCK(coinFlip, {
316
316
```
317
317
318
318
##### Gaussian Mixture Model
319
-
Full example: [`rootppl/models/simple-examples/mixture.cu`](rootppl/models/simple-examples/mixture.cu)
319
+
Full example: [`rootppl/models/simple-examples/mixture.cu`](https://github.com/miking-lang/miking-dppl/blob/master/rootppl/models/simple-examples/mixture.cu)
320
320
321
321
This model demonstrates an example of *stochastic branching*, meaning that different code is executed depending on the outcome of the sample.
322
322
```CUDA
@@ -333,7 +333,7 @@ BBLOCK(mixture, {
333
333
```
334
334
335
335
##### Geometric Distribution (Recursive)
336
-
Full example: [`rootppl/models/simple-examples/geometric_recursive.cu`](rootppl/models/simple-examples/geometric_recursive.cu)
336
+
Full example: [`rootppl/models/simple-examples/geometric_recursive.cu`](https://github.com/miking-lang/miking-dppl/blob/master/rootppl/models/simple-examples/geometric_recursive.cu)
337
337
338
338
This model combines stochastic branching with recursion. Basic blocks do not fully support recursion themselves, as they take no custom arguments or return values. Instead, a helper function is used to express the recursive model:
339
339
@@ -357,7 +357,7 @@ Note that the helper function takes its return value and parameters comma-separa
357
357
358
358
While recursive functions is supported by CUDA, iterative solutions are encouraged. Below is the same model, implemented with a loop instead.
359
359
##### Geometric Distribution (Iterative)
360
-
Full example: [`rootppl/models/simple-examples/geometric_iterative.cu`](rootppl/models/simple-examples/geometric_iterative.cu)
360
+
Full example: [`rootppl/models/simple-examples/geometric_iterative.cu`](https://github.com/miking-lang/miking-dppl/blob/master/rootppl/models/simple-examples/geometric_iterative.cu)
361
361
```CUDA
362
362
BBLOCK(geometric, {
363
363
int numFlips = 1;
@@ -370,8 +370,8 @@ BBLOCK(geometric, {
370
370
371
371
#### Phylogenetic Models
372
372
373
-
More sophisticated models can be found in the [phylogenetics directory](rootppl/models/phylogenetics). These probabilistic
374
-
models to inference on observed phylogenetic trees. These observed trees can be found in [phylogenetics/tree-utils/trees.cuh](rootppl/models/phylogenetics/tree-utils/trees.cuh).
373
+
More sophisticated models can be found in the [phylogenetics directory](https://github.com/miking-lang/miking-dppl/blob/master/rootppl/models/phylogenetics). These probabilistic
374
+
models to inference on observed phylogenetic trees. These observed trees can be found in [phylogenetics/tree-utils/trees.cuh](https://github.com/miking-lang/miking-dppl/blob/master/rootppl/models/phylogenetics/tree-utils/trees.cuh).
375
375
The correct phylogenetic models contain a link in the top of the file to the WebPPL source code used as reference when implementing them.
376
376
These models contain a number of new things, e.g.:
377
377
- Multiple basic blocks
@@ -381,8 +381,8 @@ These models contain a number of new things, e.g.:
381
381
- Resampling throughout the traversal of the observed tree
382
382
383
383
##### Constant-rate birth-death
384
-
In [phylogenetics/crbd](rootppl/models/phylogenetics/crbd), the constant-rate birth-death models can be found.
385
-
The most interesting file here is [crbd.cu](rootppl/models/phylogenetics/crbd/crbd.cu) as it is a correct model
384
+
In [phylogenetics/crbd](https://github.com/miking-lang/miking-dppl/blob/master/rootppl/models/phylogenetics/crbd), the constant-rate birth-death models can be found.
385
+
The most interesting file here is [crbd.cu](https://github.com/miking-lang/miking-dppl/blob/master/rootppl/models/phylogenetics/crbd/crbd.cu) as it is a correct model
386
386
used by evolutionary biologists. This model uses a pre-processed DFS traversal path over the observed tree, rather than using a call stack.
0 commit comments