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