A Framework to Synergize Partial Order Reduction with State Interpolation [PDF]
arXiv, 2014 We address the problem of reasoning about interleavings in safety verification of concurrent programs. In the literature, there are two prominent techniques for pruning the search space. First, there are well-investigated trace-based methods, collectively known as "Partial Order Reduction (POR)", which operate by weakening the concept of a trace by ...
arxiv
Genotipificación de HCMV a partir de muestras de saliva en pacientes receptores de Trasplante de Precursores Hematopoyéticos de la Fundación Hospital de la Misericordia [PDF]
, 2016 El trasplante de precursores hematopoyéticos es una alternativa de tratamiento para algunas enfermedades hematológicas, neoplasias malignas o enfermedades metabólicas.
Álvarez Correa, Diana Carolina
core
New clues to understand gastroschisis. Embryology, pathogenesis and epidemiology. [PDF]
Colomb Med (Cali), 2021 Chuaire Noack L.
europepmc +1 more source
Universality of vector sequences and universality of Tverberg partitions [PDF]
arXiv, 2018 A result of Rosenthal says that for every $q>1$ and $n \in \mathbb{N}$ there is $N \in \mathbb{N}$ such that every sequence of $N$ distinct positive numbers contains, after a suitable translation and possible multiplication by $-1$, a subsequence $a_1,\ldots,a_n$ that is either $q$-increasing (that is, $a_{i+1}>qa_i$ for all $i$) or $1/q$-decreasing ...
arxiv
Immunohistochemistry in the diagnosis of cutaneous viral and bacterial infections [PDF]
, 2014 Tesis doctoral inédita leída en la Universidad Autónoma de Madrid, Facultad de Medicina, Departamento de Medicina.
Molina Ruiz, Ana María
core +1 more source
Scaling in light scattering by sharp conical metal tips [PDF]
arXiv, 2016 Using the electrostatic approximation, we analyze electromagnetic fields scattered by sharp conical metal tips, which are illuminated with light polarized along the tip axis. We establish scaling relations for the scattered field amplitude and phase, whose validity is verified with numerical simulations.
arxiv
Management of infectious complications associated with coronavirus infection in severe patients admitted to ICU. [PDF]
Med Intensiva (Engl Ed), 2021 Estella Á +13 more
europepmc +1 more source
Analog computing using reflective plasmonic metasurfaces [PDF]
arXiv, 2016 Motivated by the recent renewed interest in compact analog computing using light and metasurfaces (Silva, A. et al., Science 2014, 343, 160-163), we suggest a practical approach to its realization that involves reflective metasurfaces consisting of arrayed gold nanobricks atop a subwavelength-thin dielectric spacer and optically-thick gold film, a ...
arxiv
Gold Photoluminescence Wavelength and Polarization Engineering [PDF]
arXiv, 2016 We demonstrate engineering of the spectral content and polarization of photoluminescence (PL) from arrayed gold nanoparticles atop a subwavelength-thin dielectric spacer and optically-thick gold film, a configuration that supports gap-surface plasmon resonances (GSPRs).
arxiv
Proporción de la infección por citomegalovirus (CMV) en pacientes con tratamiento antirretroviral de gran actividad (TARGA) [PDF]
, 2010 Bacteriólogo (a ...
Bernal Mejía, Olga Alejandra
core