Deep Residual Learning for Image Recognition
Actualmente diversas investigaciones se han enfocado en analizar a partir de videos de alta velocidad, características de las descargas eléctricas atmosféricas con el fin de adq...
Publications
Explore 3,547 academic publications
Showing 12 of
3,547 publications
MizAR 60 for Mizar 50
As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically ...
DNA sequencing with chain-terminating inhibitors
A new method for determining nucleotide sequences in DNA is described. It is similar to the “plus and minus” method [Sanger, F. & Coulson, A. R. (1975) J. Mol. Biol. 94, 441...
Preferred Reporting Items for Systematic Reviews and Meta-Analyses: The PRISMA Statement
se ha posicionado como un centro de referencia asistencial y académica, con la proyección de conformar clínicas o centros de excelencia.Para lograr este objetivo, es indispensab...
The CES-D Scale
The CES-D scale is a short self-report scale designed to measure depressive symptomatology in the general population. The items of the scale are symptoms associated with depress...
The Hospital Anxiety and Depression Scale
ABSTRACT– A self‐assessment scale has been developed and found to be a reliable instrument for detecting states of depression and anxiety in the setting of an hospital medical o...
Clinical Characteristics of Coronavirus Disease 2019 in China
BACKGROUND: Since December 2019, when coronavirus disease 2019 (Covid-19) emerged in Wuhan city and rapidly spread throughout China, data have been needed on the clinical charac...
An Algorithm for Least-Squares Estimation of Nonlinear Parameters
Previous article Next article An Algorithm for Least-Squares Estimation of Nonlinear ParametersDonald W. MarquardtDonald W. Marquardthttps://doi.org/10.1137/0111030PDFPDF PLUSBi...
QUANTUM ESPRESSO: a modular and open-source software project for quantum simulations of materials
QUANTUM ESPRESSO is an integrated suite of computer codes for electronic-structure calculations and materials modeling, based on density-functional theory, plane waves, and pseu...