Results 41 to 50 of about 16,411 (223)
Memory Models in Symbolic Execution: Key Ideas and New Thoughts [PDF]
, 2019 Symbolic execution is a popular program analysis technique that allows seeking for bugs by reasoning over multiple alternative execution states at once. As the number of states to explore may grow exponentially, a symbolic executor may quickly run out of
Camil Demetrescu +4 more
core +1 more source
Systematic Entomology, Volume 51, Issue 1, January‐March 2026.The newly systematic rearrangement of Gyriosomus recognizes 9 clades, validates 21 taxonomical species and suggests 12 synonyms and 12 species candidates. Three taxonomical species were not evaluated. Polymorphisms, convergences and crypsis have been detected, and therefore morphology‐based taxonomy should be approached with caution. Ecological drivers
Simón Anguita‐Salinas +7 more
wiley +1 more source
Revista Matemática Complutense, 1992 Using a new characterization of the Lorentz quadrics, we establish a reformulation of the Special Relativity Theory.
openaire +2 more sources
Commodity risk assessment of oak and walnut logs from the US
EFSA Journal, Volume 24, Issue 1, January 2026.Abstract The European Commission submitted to the EFSA Panel on Plant Health a Dossier from the United States proposing the use of a vacuum–steam–heat treatment as a stand‐alone phytosanitary measure to mitigate the risk of entry of Bretziella fagacearum, Geosmithia morbida and its vector Pityophthorus juglandis (thousand cankers disease complex) into ...
EFSA Panel on Plant Health (PLH) +30 more
wiley +1 more source
Reseña de la búsqueda de hacer agujeros
Revista Integración, 2018 Un espacio topológico conexo Z es unicoherente si para cualesquiera A y B cerrados y conexos de Z, tales que Z = A ∪ B, se tiene que A ∩ B es conexa. Sea Z un espacio unicoherente: decimos que z ∈ Z agujera a Z si Z − {z} no es unicoherente.
José G. Anaya +2 more
doaj
Food Science &Nutrition, Volume 13, Issue 12, December 2025.This study identified ergosta‐4,6,8(14),22‐tetraen‐3‐one (ETO) as a major anti‐inflammatory compound in Aspergillus oryzae and optimized fermentation conditions (glycerol and N‐acetylglucosamine as carbon/nitrogen sources) to enhance ETO yield. ETO suppressed IL‐6, IL‐1β, and TNF‐α in LPS‐stimulated macrophages by inhibiting the MyD88/NF‐κB/MAPK/NLRP3 ...
Bingye Yang +5 more
wiley +1 more source
Resultados del duodecimo vivero de lineas avanzadas del Cono Sur [PDF]
, 1994 Se refiere al vivero Líneas Avanzadas del Cono Sur (LACOS) de trigo, creado para el intercambio de las mejores líneas de trigo desarrolladas e identificadas en los programas nacionales del Cono Sur ...
Instituto Interamericano de Cooperación para la Agricultura (IICA) +3 more
core
Narrativas de la cohesión social en publicaciones periódicas del Cono Sur americano (1900-1940) [PDF]
, 2020 Este volumen aborda distintos imaginarios de cohesión social presentes en el Cono Sur de América Latina entre 1900 y 1940. Para ello analiza el papel que en su conformación jugaron determinadas publicaciones periódicas 'institucionales, ideológicas ...
González Leandri, Ricardo +1 more
core
El colgajo fasciocutáneo en cono [PDF]
Revista chilena de cirugía, 2009 Use of a new cone shaped flap to cover skin defects. Experience in 108 patients Background: A new type of fasciocutaneous flap with the shape of an ice cream cone that is formed by locally rotated and V-Y advance flaps joined together, that can be used to cover complex defects, was developed. Previously, the irrigation of these flaps was ascertained in
CALDERÓN O, WILFREDO +7 more
openaire +2 more sources
Pest Management Science, Volume 81, Issue 12, Page 8477-8486, December 2025.Climate suitability maps indicate a high economic risk for Pinus‐producing municipalities in Brazil if Hylobius abietis and Hylobius pales invade, highlighting the need for preventive measures. Abstract BACKGROUND The weevils Hylobius abietis and Hylobius pales are major pests of pine species within their native ranges.
Jéssica Simão +5 more
wiley +1 more source