Deep Learning Phase Segregation - Review

The paper Deep Learning Phase Segregation (2018) by Farimani et al. presents a data-driven approach for the learning, modeling, and prediction of phase segregation.  The authors use a conditional Generative Adversarial Network (cGAN) to map initially dispersed binary fluid to it's equilibrium concentration field.  The authors claim that their deep…

Convolutional Variational Autoencoder as Image Similarity Metric

This is a demonstration of a convolutional variational autoencoder model trained on image data representing the state of non-linear differential equations modeling material morphology evolution during fabrication process of organic thin films.  The ultimate goal of this effort is to find a way to compare two frames from our distribution…

Bitcoin - Review

The paper Bitcoin: A Peer-to-Peer Electronic Cash System (2008) by Satoshi Nakamoto describes a distributed system framework which allows for electronic payments without the need for a centralized institution to manage the process.  Bitcoin is an application of blockchain, a decentralized distributed consensus algorithm, which this paper introduces to accommodate…

CAP Twelve Years Later - Review

The paper CAP Twelve Years Later: How the “Rules” Have Changed (2012) by Eric Brewer is a discussion of the CAP theorem and how it has influenced the development of modern distributed systems.  The CAP theorem asserts a hard limitation on the available properties of a distributed storage system, and…

Structural Causal Models

When working in machine learning, one will find that most problems are described in terms of statistical models, where probability distributions determine the characteristics of the task at hand.  We rely quite heavily on these models, and have built very powerful algorithms based on standard randomization capable of learning from…

Cloud Programming Simplified - Review

The paper Cloud Programming Simplified: A Berkeley View on Serverless Computing (2019) by Jonas et al. summarizes the current state of cloud computing.  The authors provide a brief history of cloud computing, including an accounting of the predictions made in the 2009 Berkeley View of Cloud Computing paper.  They discuss…

Distributed Snapshots - Review

The paper Distributed Snapshots: Determining Global States of Distributed Systems (1985) by K. Mani Chandy and Leslie Lamport presents algorithms which allow processes in distributed systems to determine a global state of the system during a computation.  Many problems and tasks in distributed systems can be formulated as the problem…

Times, Clocks, and the Ordering of Events - Review

The paper Time, Clocks, and the Ordering of Events in a Distributed System (1978) by Leslie Lamport describes the concept of logical clocks in distributed systems in order to provide a total ordering of events in the system.  Lamport discusses the partial ordering defined by the “happened before” relation and…

TaxDC - Review

The paper TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems (2016) by Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi is, as the title suggests, a taxonomy of non-deterministic concurrency bugs which is compiled from a study of 104 distributed concurrency (DC) bugs from four…