Results 291 to 300 of about 2,008,551 (307)
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
Materials for next-generation desalination and water purification membranes
Nature Reviews Materials, 2016Jay R Werber +2 more
exaly
Self-healing electronic skins for aquatic environments
Nature Electronics, 2019Yu Jun Tan, Si Li, Wang Wei Lee
exaly
Towards an Open Framework Leveraging a Trusted Execution Environment
International Conference on Cryptography and Security Systems, 2013Javier González, Philippe Bonnet
semanticscholar +1 more source
Design of anti-icing surfaces: smooth, textured or slippery?
Nature Reviews Materials, 2016Jack Alvarenga +2 more
exaly
Crystallization by particle attachment in synthetic, biogenic, and geologic environments
Science, 2015James J De Yoreo +2 more
exaly
Metabolic phenotyping in clinical and surgical environments
Nature, 2012Jeremy K Nicholson +2 more
exaly
Woody cover and hominin environments in the past 6 million years
Nature, 2011Thure E Cerling +2 more
exaly