Evaluation of the Environmental Toxicity Profile of Shampoos Formulated with Plant Biosurfactants

Autor: Karen G. O. Bezerra, Keila I. da Costa, Julio C. V. dos Santos, Ellanie S. C da Silva, Juliana M. Luna, Fabíola C. G de Almeida, Raquel D. Rufino, Leonie A. Sarubbo

Publikováno v: Chemical Engineering Transactions, Vol 100 (2023)

In developing new cosmetics, a series of steps must be followed until the final product is reached. In general, the process goes through the initial idea and preliminary research before reaching the development of the prototype. After the development

Externí odkaz: https://doaj.org/article/a842be36e90e4294a6a4e8c010503202

Antimicrobial, antioxidant activity and phytochemical prospection of Eugenia involucrata DC. leaf extracts

Autor: A. G. Toledo, J. G. de L. de Souza, C. B. Santana, A. P. Mallmann, C. V. dos Santos, J. M. Corrêa, F. G. da S. Pinto

Publikováno v: SciELO Brazil-OJS
Brazilian Journal of Biology v.83 2023
Brazilian Journal of Biology
Instituto Internacional de Ecologia (IIE)
instacron:IIE
Brazilian Journal of Biology, Vol 83 (2021)

The species Eugenia involucrata DC. is a plant native to Brazil and is traditionally used for intestinal problems, however, little research has documented about its biological potential and phytochemical profile. Thus, the objective of this study was

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7efd3faf72c48bbad664805c00d084b6
https://doi.org/10.1590/1519-6984.245753

A Directed Test Generator for Shared-Memory Verification of Multicore Chip Designs

Autor: Nicolas Pfeifer, Gabriel A. G. Andrade, Luiz C. V. dos Santos, Marleson Graf

Publikováno v: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39:5295-5303

The functional verification of multicore chips requires the generation of parallel test programs able to expose design errors and ensure high coverage in less time. Albeit the coherence hardware can scale gracefully as the number of cores grows, the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::faa0bc993b62d60f1c534425e25677b9
https://doi.org/10.1109/tcad.2020.2974343

Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification

Autor: Marleson Graf, Luiz C. V. dos Santos, Gabriel A. G. Andrade

Publikováno v: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39:728-741

Since nondeterministic behavior is key to exposing shared-memory errors, nonsynchronized parallel programs are often used for verification and test of multicore chips. In the verification phase, however, the slow execution in a simulator requires non

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::cad97ec6fd8c6faf9ab3bbd912eaed5f
https://doi.org/10.1109/tcad.2019.2894376

A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification

Autor: Bruno V. Zimpel, Luiz C. V. dos Santos, Gabriel A. G. Andrade, Nicolas Pfeifer

Publikováno v: DATE

Multicore chips are expected to rely on coherent shared memory. Albeit the coherence hardware can scale gracefully, the protocol state space grows exponentially with core count. That is why design verification requires directed test generation (DTG)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::99c5427b7467e4e034aecb7712a5f9e3
https://doi.org/10.23919/date48585.2020.9116198