Identification of functional compounds in baru (Dipteryx alata Vog.) nuts: Nutritional value, volatile and phenolic composition, antioxidant activity and antiproliferative effect
Oliveira-Alves, Sheila C., Pereira, Rafaela Sofia, Pereira, Ana Bárbara, Ferreira, António, Mecha, Elsa, Silva, Andreia B., Serra, Ana Teresa, Bronze, Maria R.
Published in Food research international (01.05.2020)
Published in Food research international (01.05.2020)
Get full text
Journal Article
Impact of Drying Processes on the Nutritional Composition, Volatile Profile, Phytochemical Content and Bioactivity of Salicornia ramosissima J. Woods
Oliveira-Alves, Sheila C., Andrade, Fábio, Prazeres, Inês, Silva, Andreia B., Capelo, Jorge, Duarte, Bernardo, Caçador, Isabel, Coelho, Júlio, Serra, Ana Teresa, Bronze, Maria R.
Published in Antioxidants (20.08.2021)
Published in Antioxidants (20.08.2021)
Get full text
Journal Article
Structural Optimization of Antimycobacterial Azaaurones Towards Improved Solubility and Metabolic Stability
Campaniço, André, Harjivan, Shrika G., Freitas, Elisabete, Serafini, Marco, Gaspar, M. Manuela, Capela, Rita, Gomes, Pedro, Jordaan, Audrey, Madureira, Ana M., André, Vânia, Silva, Andreia B., Duarte, M. Teresa, Portugal, Isabel, Perdigão, João, Moreira, Rui, Warner, Digby F., Lopes, Francisca
Published in ChemMedChem (14.12.2023)
Published in ChemMedChem (14.12.2023)
Get full text
Journal Article
Carboxytherapy: Controls the inflammation and enhances the production of fibronectin on wound healing under venous insufficiency
Brochado, Themis M. M., de Carvalho Schweich, Laynna, Di Pietro Simões, Naudimar, Oliveira, Rodrigo J., Antoniolli‐Silva, Andréia C. M. B.
Published in International wound journal (01.04.2019)
Published in International wound journal (01.04.2019)
Get full text
Journal Article
Formalizing Ring Theory in PVS
Avelar da Silva, Andréia B., de Lima, Thaynara Arielly, Galdino, André Luiz
Published in Interactive Theorem Proving (2018)
Published in Interactive Theorem Proving (2018)
Get full text
Book Chapter
Formal Verification of Termination Criteria for First-Order Recursive Functions
Muñoz, Cesar A., Ayala-Rincón, Mauricio, Moscato, Mariano M., Dutle, Aaron M., Narkawicz, Anthony J., Almeida, Ariane Alves, da Silva, Andréia B. Avelar, Ramos, Thiago M. Ferreira
Published in Journal of automated reasoning (01.12.2023)
Published in Journal of automated reasoning (01.12.2023)
Get full text
Journal Article