📜 Analysis of Three Bayesian Network Inference Algorithms : Variable Elimination , Likelihood Weighting , and Gibbs Sampling [2004]

By: Rose F. Liu, Rusmin Soetjipto

📖 https://github.com/papers-we-love/papers-we-love/blob/master/artificial_intelligence/3-bayesian-network-inference-algorithm.pdf
🔍 https://www.semanticscholar.org/paper/ac14e6bf50d1491043baf1d854727a68f5f3f51d

#semanticScholar #paperswelove #research #compsci

papers-we-love/artificial_intelligence/3-bayesian-network-inference-algorithm.pdf at main · papers-we-love/papers-we-love

Papers from the computer science community to read and discuss. - papers-we-love/papers-we-love

GitHub

For fun, I made up an instruction set, and started writing an implementation of it, in itself.

#compsci avocations.🕶️

New work:

Distributed Transaction Patterns

https://github.com/ha1tch/dxp/blob/main/README.md

A framework for understanding and implementing distributed transaction patterns through a phase-based spectrum approach.

The DXP documentation is organized as a progressive journey through distributed transaction patterns.

#DistributedSystems #compsci #cloud #cs #foss #golang #natsio #oss #OpenSource

dxp/README.md at main · ha1tch/dxp

Distributed Transaction Patterns. Contribute to ha1tch/dxp development by creating an account on GitHub.

GitHub

Instead of using LibreOffice Calc to track student progress throughout the semester, I've figured out how to use GnuPlot. >:3

(X-axis: Week of summer class; Y-axis: grade in the class. All assignments start at 0% and as they complete work their grade goes up.)

#CompSci #Education

StarMalloc: verified memory allocator | Lobsters

The Hat, the Spectre and SAT solvers | Lobsters

I've been working for some years on a non-in-line parsing method. It's modeled after the way a human processes math expressions, & probably not useful in practice, but I once won money using it. There's a funny story there, but I never got or wanted the money. The true prize was the puzzle, and the derpy, but interesting way I parsed it. :D #compsci
#MULCIA: PhD position in logics for multi-agent systems, Utrecht University (Netherlands). https://tinyurl.com/27o2u2ht #PhD #CompSci
PhD Position in Logics for Multi-Agent Systems

Interested in developing and applying logic to study accountability and responsibility in multi-agent systems? Join this exciting interdisciplinary project!

Utrecht University
#MULCIA: PhD student in Computing Science focusing on the topic of parametric floating-point reasoning. https://tinyurl.com/2453wpqg #PhD #CompSci
PhD student in Computing Science focusing on the topic of Parametric Floating-Point Reasoning

Are you interested in working in automated reasoning and/or interactive theorem proving, with the support of competent and friendly colleagues in an international environment? Are you looking for an e

Readings shared June 11, 2025

The readings shared in Bluesky on 11 June 2025 are LeanTutor: A formally-verified AI tutor for mathematical proofs. ~ Manooshree Patel et als. #ITP #LeanProver #Math #AIforMath #Teaching Common Lean

Vestigium