Explore projects
-
Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)
Updated -
A Conflict-Free Replicated JSON Datatype (IEEE Transactions on Parallel and Distributed Systems)
Updated -
From Secure Messaging to Secure Collaboration (Security Protocols Workshop 2018)
Updated -
Entry for Apache Samza in the Encyclopedia of Big Data Technologies (Springer, 2018)
Updated -
"Local-first software: You own your data, in spite of the cloud" (Onward! Essays 2019)
Updated -
A highly-available move operation for replicated trees
Updated -
-
-
Yusuf Hamied Department of Chemistry / Hunter Group / SSIPtools / SSIMPLEapps / solventmapcreator
GNU Affero General Public License v3.0Updated -
-
These slides were presented at my dissertation defense (Division of Applied Mathematics, Brown University, 23 May 2018).
Updated -
XeLaTeX for "A Discriminative Approach to Bayesian Filtering with Applications to Human Neural Decoding"
Updated -
clean, blank latex template with inputenc, geometry, bable, hyperref, microtype, etc. (probably use always) pdf
Updated -
Investigating the R1-R4 feedbacks and nuclear shuttling for the onset of cell division. This project is led by Weibing Yang and myself .
Updated -
Scripts and software for generating the results of Korsbo and Jönsson (2020) "It’s about time: Analysing simplifying assumptions for modelling multi-step pathways in systems biology"
Updated -
Department of Archaeology / encounter / Mixed Transmission
GNU General Public License v3.0 onlyUpdated