Formal verification of bioinformatics software using model checking and theorem proving. [PDF]
Weerasena H +3 more
europepmc +1 more source
Ambrosia beetle invasions are structured by inbreeding, intraspecific hybridization, and bridgeheads. [PDF]
Schmidt TL +4 more
europepmc +1 more source
Morphometric Properties of Olive (Olea europaea) Pits: A Dataset for Cultivar Identification and Analysis. [PDF]
Ben-Dor E +5 more
europepmc +1 more source
FastGA: fast genome alignment. [PDF]
Myers G, Durbin R, Zhou C.
europepmc +2 more sources
Multi-stage bidirectional informed-RRT * plant protection UAV path planning method based on A * algorithm domain guidance. [PDF]
Li J +7 more
europepmc +1 more source
PhenoStras2022: A 2022 smartphone-based image and field phenology dataset for monitoring urban trees in Strasbourg, France. [PDF]
Bressant C, Herrault PA, Puissant A.
europepmc +1 more source
Explainable AI for public health surveillance: investigating the persistent crisis of intentional injury mortality (suicide and homicide) in the Americas. [PDF]
Kularathne S +4 more
europepmc +1 more source
Approaches to Studying Viral Pangenome Variation Graphs. [PDF]
Downing T.
europepmc +1 more source
First Human Infection with Influenza A(H1N2)v Virus - Yunnan Province, China, 2026. [PDF]
Chen L +10 more
europepmc +1 more source
OjibweMorph: an approachable finite-state transducer for Ojibwe (and beyond). [PDF]
Hammerly C +4 more
europepmc +1 more source

