Preparation and Characterization of Injectable Brushite Filled-Poly (Methyl Methacrylate) Bone Cement (open access)

Preparation and Characterization of Injectable Brushite Filled-Poly (Methyl Methacrylate) Bone Cement

This article discusses the design of an alternative cement system that can better accommodate calcium-phosphate additives while preserving cement rheological properties and performance.
Date: September 19, 2014
Creator: Rodriguez, Lucas C.; Chari, Jonathan; Aghyarian, Shant; Gindri, Izabelle M.; Kosmopoulos, Victor & Rodrigues, Danieli C.
System: The UNT Digital Library
Deriving Theorems in Implicational Linear Logic, Declaratively (open access)

Deriving Theorems in Implicational Linear Logic, Declaratively

This article aims to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. It was presented at the 36th International Conference on Logic Programming (ICLP).
Date: September 19, 2020
Creator: Tarau, Paul & de Paiva, Valeria
System: The UNT Digital Library