Results 21 to 30 of about 11,919,334 (91)
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [PDF]
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +1 more source
Forest edges buffer effects of agricultural management on bee–plant interaction networks
Ecological Entomology, EarlyView.Agricultural management effects: Organic and conventional crop margins host similar bee and plant species, but network structure differs: organic farms exhibit higher interaction diversity, conventional farms higher connectance. Role of forest edges: Native forest edges stabilize bee–plant networks by providing continuous floral resources and suitable ...
Samantha Marx de Castro +6 more
wiley +1 more source
Multi-parametric imaging of cell heterogeneity in apoptosis analysis [PDF]
, 2017 Apoptosis is a multistep process of programmed cell death where different morphological and molecular events occur simultaneously and/or consequently.
Barteneva, Natasha S. +2 more
core +1 more source
Two new species of Calea ser. Multiplinerviae (Asteraceae: Neurolaeneae) from Brazil
Nordic Journal of Botany, Volume 2026, Issue 9, September 2026.Detailed studies of specimens from Rondônia and Mato Grosso do Sul showed that two new species have been misidentified: Calea micropappa resembles Calea pilosa, but differs by leaf apex obtuse to acuminate (versus acute), paleae present (versus paleae absent), disc corolla lobes 1.2–1.3 mm long (versus 0.7–0.8 mm), and pappus scales 0.1–0.25 mm long ...
Vinícius Resende Bueno +2 more
wiley +1 more source
Lippia umbellata Cav.: Chemical Composition, Insecticidal, and Antimicrobial Activities
Chemistry &Biodiversity, Volume 23, Issue 8, August 2026.Hexane extracts of Lippia umbellata leaves and flowers contain lupenone, α‐amyrin, and hentriacontane. They exhibit insecticidal activity against Drosophila melanogaster and inhibit AChE in vitro and in silico. Furthermore, the extracts can inhibit the growth of medically important bacteria and yeasts, including multidrug‐resistant strains.
José Guillermo Avila‐Acevedo +11 more
wiley +1 more source
Nordic Journal of Botany, Volume 2026, Issue 8, August 2026.Dicrananthera C. Presl. is a monospecific genus of the tribe Marcetieae, comprising perennial herbs typically occurring in areas adjacent to wetlands. The species exhibits a disjunct distribution, with confirmed records in both the Amazon and Atlantic Forest domains.
Elias Julio Oliveira Correa +4 more
wiley +1 more source
Nordic Journal of Botany, Volume 2026, Issue 8, August 2026.Vitex L. is a pantropical genus of Lamiaceae comprising 209 taxa. Brazil harbors 35 species, representing nearly 50% of the genus richness in the Neotropics, with the Amazon showing the highest richness, followed by the Atlantic Forest and Cerrado domains. Nevertheless, most taxonomic studies of the genus have been conducted in Africa and Asia.
Thaís Teixeira Conegiro +2 more
wiley +1 more source
TAXON, Volume 75, Issue 4, August 2026.Abstract Sixteenth‐century herbaria are the oldest plant collections that survive today and, as such, they provide valuable insights in past floras and historical botanical interactions. One of the most fascinating still extant 16th‐century herbaria is the four‐volume collection of the German physician, botanist and traveler Leonhard Rauwolf (1535 ...
Anastasia Stefanaki +5 more
wiley +1 more source
Nordic Journal of Botany, Volume 2026, Issue 7, July 2026.Ouratea cidiana (Ochnaceae) is a microendemic shrub species from the Brazilian Amazonia, occurring along the banks of the Trombetas River and restricted to the Cachoeira Porteira region, in western Pará State. Since the original collection nearly forty years ago, no additional records have been made, which is concerning given the continuous decline in ...
Clebiana de Sá Nunes +4 more
wiley +1 more source
Decolonising Research Methods [PDF]
, 2023 This webinar was organised by QUEST (Qualitative Expertise at Southampton) in collaboration with the National Centre for Research Methods and the South Coast Doctoral Training Partnership. It was held on 4 July 2023.
Canton, Wanda +2 more
core +1 more source