Results 161 to 170 of about 215,248 (216)

The Relative Strength of #SAT Proof Systems. [PDF]

J Autom Reason
Beyersdorff O, Fichte JK, Hecher M, Hoffmann T, Kasche L.   +4 more
europepmc   +1 more source

Fisher-Information-Based Cooperative Sensor Node Pre-Selection for UWB-Aided GNSS-Denied UAV Swarm Localization Under Heterogeneous Ranging Noise. [PDF]

Sensors (Basel)
Sun Y, Du X, Gong P.
europepmc   +1 more source

Kaminari: a frugal colored index for approximate <i>k</i>-mer queries. [PDF]

Bioinform Adv
Levallois V, Shibuya Y, Le Gal B, Dufresne Y, Patro R, Peterlongo P, Pibiri GE.   +6 more
europepmc   +1 more source

Shortest path planning and dynamic rescue forces dispatching for urban flood disasters. [PDF]

Sci Rep
Liang J, Liu M, Zhang Z, Yang L.
europepmc   +1 more source

cgDist: Nucleotide-level distance calculation from cgMLST allelic profiles. [PDF]

NAR Genom Bioinform
de Ruvo A, Castelli P, Bucciacchio A, Mangone I, Mixão V, Borges V, Flammini M, Radomski N, Di Pasquale A.   +8 more
europepmc   +1 more source

The lexicographic equal-loss solution. [PDF]

Chun, Youngsub, Peters, Hans
core  

Generating multiple alignments on a pangenomic scale. [PDF]

Bioinformatics
Olbrich J, Büchler T, Ohlebusch E.
europepmc   +1 more source

CREMSA: compressed indexing of (ultra) large multiple sequence alignments. [PDF]

Bioinformatics
Salson M, Boddaert A, Gueye AB, Bulteau L, Hernandez-Courbevoie Y, Marchet C, Pan N, Will S, Ponty Y.   +8 more
europepmc   +1 more source

Entropy-metric estimation of the small data models with stochastic parameters. [PDF]

Heliyon
Kovtun V, Altameem T, Al-Maitah M, Kempa W.   +3 more
europepmc   +1 more source