USING INSECTICIDES FOR THE PROTECTION OF MAIZE PLANTS AGAINST THE ASIAN CORN BORER



Certification of Prefixed Tableau Proofs for Modal Logic

Different theorem provers tend to produce proof objects in different formats C-Fold Towels and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented.This work falls within the general project of establishing a common specification language in order to certify proofs given in

read more

Biotechnology and Biomaterial-Based Therapeutic Strategies for Age-Related Macular Degeneration. Part II: Cell and Tissue Engineering Therapies

Age-related Macular Degeneration (AMD) is an up-to-date untreatable chronic neurodegenerative eye disease of multifactorial origin, and the main causes of blindness in over 65 y.o.people.It is characterized by a slow progression and the presence of a multitude of factors, highlighting those related to diet, genetic heritage and environmental condit

read more