Results 241 to 250 of about 230,711 (275)

Synthetic microbial community SMC-L1 optimizes flavor chemistry in reduced salt soy sauce via targeted metabolic reprogramming. [PDF]

Front Microbiol
Gao Y, Zhang L, Zhang Y, Huang J, Wu C, Zhou R.   +5 more
europepmc   +1 more source

Advances in population-based interventions to control falciparum malaria. [PDF]

Trans R Soc Trop Med Hyg
Glossop SE, Peto TJ, Adhikari B.
europepmc   +1 more source

A tissue-engineered endothelial cell - smooth muscle cell arteriole-like model.

Biomater Sci
Zhu N, Liang L, Zhao N, Chen H, Searson PC.   +4 more
europepmc   +1 more source

Genotypic analysis of Plasmodium falciparum malaria parasites in a clinical trial of RTS,S vaccination in combination with seasonal malaria chemoprevention

LaVerriere E, Kelley K, Dicko A, Sagara I, Mahamar A, Ouedraogo J, Zongo I, Tinto H, Chandramohan D, Greenwood B, Neafsey DE.   +10 more
europepmc   +1 more source

SMC [PDF]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
We address the problem of determining the satisfiability of a Boolean combination of convex constraints over the real numbers, which is common in the context of hybrid system verification and control. We first show that a special type of logic formulas, termed monotone Satisfiability Modulo Convex (SMC) formulas, is the most general class of formulas ...
Shoukry, Yasser, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L, Seshia, Sanjit A, Pappas, George J, Tabuada, Paulo   +5 more
openaire   +2 more sources