Results 121 to 130 of about 3,349 (206)
PENROSE CCC TWIN EONS/NEW FULL COMPILE BY LEAN4 LA BASE ES UN TEOREMA MATEMATICO SOBRE OPERADORES CONJUGADOS EN ESPACIOS DE HILBERT, LA LECTURA FISICA QUEDA PARA INTERPRETACION, ES LO SUFICIENTEMENTE FORMAL PARA COMPILAR LIMPIO EN LEAN4 COSA QUE MUCHOS FRAMEWORKS NO SE PUEDEN DAR EL LUGO DE PRESUMIR...
openaire +1 more source
Conjetura de los números primos gemelos: un algoritmo de apoyo [PDF]
Este trabajo presenta el desarrollo de un algoritmo que tiene como objetivo apoyar la conjetura de los números primos gemelos. La misma postula la existencia infinita de pares de números primos que difieren en dos unidades.
Cambarieri, Mauro +2 more
core
[Psychiatry as clinical neuroscience]. [PDF]
Jiménez-López JL.
europepmc +1 more source
Implementación del ADN libre circulante para la detección de aneuploidías fetales. [PDF]
Madrigal Bajo I +2 more
europepmc +1 more source
Logística 4.0 y gemelos digitales
Introducción: A pesar de movilizar 9,57 millones de TEU en 2023, Panamá enfrenta una brecha operativa significativa respecto a hubs logísticos de clase mundial como Singapur. Los gemelos digitales emergen como tecnología transformadora de la Logística 4.0, capaz de acelerar la modernización portuaria panameña.
openaire +1 more source
Vulnerability to bullying victimization: an investigation of genetic and environmental risk factors in a twin-family study. [PDF]
Martinschledde D +4 more
europepmc +1 more source
Prevalence of characteristics associated with sarcopenia in elders: a cross-sectional study. [PDF]
Sousa CR +7 more
europepmc +1 more source
Experiences of family hope and hopelessness in the context of pregnancy and care for high-risk newborns. [PDF]
Ramos BCL +4 more
europepmc +1 more source
Maternal and neonatal factors associated with exclusive breastfeeding upon hospital discharge. [PDF]
Toapanta-Pinta PC +5 more
europepmc +1 more source

