Results 331 to 340 of about 1,082,837 (347)
Some of the next articles are maybe not open access.
The Lean Theorem Prover (System Description)
CADE, 2015L. D. Moura +4 more
semanticscholar +1 more source
Cryo-EM of full-length α-synuclein reveals fibril polymorphs with a common structural kernel
Nature Communications, 2018Peng Ge, Kevin A Murray, Meng Zhang
exaly
Rare-Variant Association Testing for Sequencing Data with the Sequence Kernel Association Test
American Journal of Human Genetics, 2011Michael C Wu, Seunggeun Lee, Tianxi Cai
exaly
Kernel-based non-asymptotic state estimation for linear continuous-time systems
American Control Conference, 2013Gilberto Pin +3 more
semanticscholar +1 more source

