Abstracting Strings for Model Checking of C Programs by Henrich Lauko, Martina Olliaro, Agostino Cortesi, Petr Roc̆kai

Subjects: “…string analysis…”
Get full text

Changes in MicroRNA Expression during Rabbit Hemorrhagic Disease Virus (RHDV) Infection by Beata Hukowska-Szematowicz, Agata Maciejak-Jastrzębska, Małgorzata Blatkiewicz, Karolina Maciak, Monika Góra, Joanna Janiszewska, Beata Burzyńska

Subjects: Get full text

Chronic Cold Stress Alters the Skin Mucus Interactome in a Temperate Fish Model by Ignasi Sanahuja, Laura Fernández-Alacid, Sergio Sánchez-Nuño, Borja Ordóñez-Grande, Antoni Ibarz

Subjects: Get full text

In-Vitro antioxidant, anti-lipid peroxidative activities and In-Silico study of Terminalia chebula bioactive compounds by Syed Mubashar Sabir, Syed Rizwan Abbas, Shabnam Shahida, Muhammad Faraz Khan

Subjects: Get full text

Expression of immune response genes in human corneal epithelial cells interacting with Aspergillus flavus conidia by Divya Arunachalam, Shruthi Mahalakshmi Ramanathan, Athul Menon, Lekshmi Madhav, Gopalakrishna Ramaswamy, Venkatesh Prajna Namperumalsamy, Lalitha Prajna, Dharmalingam Kuppamuthu

Subjects: Get full text