Results 1 to 10 of about 23,692 (214)
ACV: an arithmetic circuit verifier [PDF]
Proceedings of International Conference on Computer Aided Design, 2002 Based on a hierarchical verification methodology, we present an arithmetic circuit verifier ACV, in which circuits expressed in a hardware description language, also called ACV, are symbolically verified using Binary Decision Diagrams for Boolean functions and multiplicative Binary Moment Diagrams (*BMDs) for wordlevel functions.
Yirng-An Chen, Randal E. Bryant
core +4 more sources
The Mechanism of ACV Synthetase
Chemical Reviews, 1997 Christopher J. Schofield +2 more
exaly +5 more sources
Comparación del ACV de 2 estibas construidas con madera natural y madera plástica en Simapro 8.4.0
Revista Politécnica, 2021 Se realizó una comparación del análisis de ciclo de vida conceptual para 2 estibas construidas con madera natural (melinna) y madera plástica (100% polietileno) respectivamente, usando el software SIMAPRO 8.4.0.0 en su versión DEMO 2017 la cual usa como ...
Angelica Patricia Vanegas-Padilla +2 more
doaj +1 more source
Pharmaceutics, 2021 The exponentially mounting cases of herpes simplex virus infection or cold sores have become a serious global concern. Acyclovir (ACV) and garlic oil (GO)-loaded lipid nanocarrier could be a promising therapeutic approach in alleviating cold sores, as ...
Alshaimaa M. Almehmady, Sarah A. Ali
doaj +1 more source
Annals of Noninvasive Electrocardiology, 2021 Background Blunted cyclic variation of heart rate (CVHR), measured as a decrease in CVHR amplitude (Acv), predicts mortality risk after acute myocardial infarction (AMI). However, Acv also can be reduced in mild sleep apnea with mild O2 desaturation.
Junichiro Hayano +6 more
doaj +1 more source
Revista de la Facultad de Ciencias Médicas de Córdoba, 2016 ResumenEl sindrome antifosfolipídico es una trombofilia adquirida, de etiología autoinmune, considerada actualmente una enfermedad sistémica. Exponemos el caso clínico de una paciente joven con diagnóstico de SAF que presentó una endocarditis trombótica
Diego Carlos Graña Cruz +3 more
doaj +1 more source
Insects, 2020 Due to its availability and low cost, apple cider vinegar (ACV) is a frequently used as an attractant for monitoring the invasive spotted wing drosophila, Drosophila suzukii.
Rodrigo Lasa +2 more
doaj +1 more source
Acyclovir-Induced Nephrotoxicity: The Protective Benefit of Curcumin
European Journal of Biology, 2021 Objective: Nephrotoxicity may decrease the clinical use of acyclovir (ACV). Curcumin (CUM) is used traditionally as treatments for some diseases. This study examined the protective effect of CUM against ACV-induced nephrotoxicity in rats.
Elias Adikwu, James Kemelayefa
doaj +1 more source
Informes de la Construccion, 2017 La Unidad Prototipo de Vivienda de Emergencia (UPVE) es el resultado del Proyecto de Investigación Aplicada VEM (Vivienda de Emergencia Militar) desarrollado con la colaboración de la Escuela Politécnica Superior de la Universidad CEU y la empresa Airbus
J. M. Ros García, G. Sanglier Contreras
doaj +1 more source
Publicaciones e Investigación, 2019 La producción de biodiesel a partir de aceite vegetal derivado de palma africana requiere diferentes procesos los cuales podrían provocar daños ambientales, como las emisiones atmosféricas, la acidificación, la desertificación y el vertido de aguas ...
Julio Mario Franco Rodriguez +3 more
doaj +1 more source