Results 241 to 250 of about 1,926,564 (269)

An in vitro batch fermentation protocol for studying the contribution of food to gut microbiota composition and functionality

Nature Protocols, 2021
Silvia Molino, Beatriz Navajas-Porras, Álvaro Jesús Valverde-Moya   +2 more
exaly  

Protocol in Evaluating Capacity of Zn–Mn Aqueous Batteries: A Clue of pH

Advanced Materials, 2023
Hong Jin Fan
exaly  

The Montreal Protocol protects the terrestrial carbon sink

Nature, 2021
Paul J Young, Anna B Harper, Christopher Huntingford   +2 more
exaly  

Cryptographic Protocol for Trustable Match Making

IEEE Symposium on Security and Privacy, 1985
R. Baldwin, Wayne Gramlich
semanticscholar   +1 more source

Cryptographic Protocol Analysis on Real C Code

International Conference on Verification, Model Checking and Abstract Interpretation, 2005
J. Goubault-Larrecq, Fabrice Parrennes
semanticscholar   +1 more source

Protocol Update for large-scale genome and gene function analysis with the PANTHER classification system (v.14.0)

Nature Protocols, 2019
Huaiyu Mi, Anushya Muruganujan, Xiaosong Huang   +2 more
exaly  

A standardized protocol for repeated social defeat stress in mice

Nature Protocols, 2011
Sam A Golden, Scott J Russo
exaly  

Formal methods for cryptographic protocol analysis: emerging issues and trends

IEEE J. Sel. Areas Commun., 2003
C. Meadows
semanticscholar   +1 more source

The Drug Rediscovery protocol facilitates the expanded use of existing anticancer drugs

Nature, 2019
Niven Mehra, Edwin Cuppen, Hans Gelderblom   +2 more
exaly  

Open issues in formal methods for cryptographic protocol analysis

Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00, 2000
C. Meadows
semanticscholar   +1 more source