Satisfiability Models and Algorithms for Circuit Delay Computation

by Silva, L. Guerra, Marques-Silva, J. P., Silveira, L. M., Sakallah, K. A.
Published 2002

Mice Cohabiting With Familiar Conspecific in Chronic Stress Condition Exhibit Methamphetamine-Induced Locomotor Sensitization and Augmented Consolation Behavior

by Canto-de-Souza, A., Carmona, I.M, Carneiro de Oliveira, P.E, Casarotto, M., Oliveira, A.C.B, Silveira, L.M
Published 2022

Assessment of the Transmission Dynamics of Clostridioides difficile in a Farm Environment Reveals the Presence of a New Toxigenic Strain Connected to Swine Production

by Alves, F., Castro, R., Gomes, J.P, Matias, R., Moreira, O., Nunes, A., Oleastro, M., Rodrigues, J.C, Sequeira, A., Silveira, L.
Published 2022