arcadio

Arcadio Rubio García's repositories

Expert system with deductive querying and verification of constraints expressed in natural language

Language:Prolog17 20

Bayesian models used in CD56bright natural killer cells preferentially kill proliferating CD4+ T cells

Language:R2 10

Design by contract extension to Java using annotations and bytecode injection

Language:Java1 10

Materials to support submitted manuscript

000