arcadio

Logic & probability

University of OxfordUK

Pinned Repositories

ajcontract
Design by contract extension to Java using annotations and bytecode injection
Language:Java1 1 00
data-logic
Expert system with deductive querying and verification of constraints expressed in natural language
Language:Prolog18 2 06
nk-models
Bayesian models used in CD56bright natural killer cells preferentially kill proliferating CD4+ T cells
Language:R2 2 01
t1d-models
Materials to support submitted manuscript
00
nixpkgs
Nix Packages collection & NixOS
Language:Nix17.2k 281 40.4k13.5k

arcadio's Repositories

arcadio/data-logic
Expert system with deductive querying and verification of constraints expressed in natural language
Language:Prolog18 2 06
arcadio/nk-models
Bayesian models used in CD56bright natural killer cells preferentially kill proliferating CD4+ T cells
Language:R2 2 01
arcadio/ajcontract
Design by contract extension to Java using annotations and bytecode injection
Language:Java1 1 00
arcadio/t1d-models
Materials to support submitted manuscript
00