-
Porous calcium phosphate based nanovectors for growth factor release
Calcium phosphates are the most frequently used ceramics for bone regeneration due to their biocompatibility and favorable resorption properties. Their performance can... -
Techniques for the formal analysis of non-linear dynamical systems
In this thesis, we presented our contributions to the formal analysis of dynamical systems. We focused on the problem of efficiently computing an accurate... -
Two complementary approaches to detecting vulnerabilities in C programs
In general, computer software vulnerabilities are defined as special cases where an unexpected behavior of the system leads to the degradation of security properties... -
Physcal properties of discotic liquid crystals nanoconfined
The aim of this work is to conduct fundamental and experimental studies of the physical properties of columnar discotic liquid crystal (CDLCs) confined in highly...
