Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2012 | Journal Article | IST-REx-ID: 9049
Palacci, Jérémie A, Cécile Cottin-Bizonne, Christophe Ybert, and Lydéric Bocquet. “Osmotic Traps for Colloids and Macromolecules Based on Logarithmic Sensing in Salt Taxis.” Soft Matter. Royal Society of Chemistry, 2012. https://doi.org/10.1039/c1sm06395b.View | DOI
2012 | Journal Article | IST-REx-ID: 91
Higginbotham, Andrew P, Jacqueline Cole, Martin Blood Forsythe, and Daniel Hickstein. “Identifying and Evaluating Organic Nonlinear Optical Materials via Molecular Moments.” Journal of Applied Physics. American Institute of Physics, 2012. https://doi.org/10.1063/1.3678593.View | DOI
2012 | Journal Article | IST-REx-ID: 9142 |
Muller, Caroline J, and Isaac M. Held. “Detailed Investigation of the Self-Aggregation of Convection in Cloud-Resolving Simulations.” Journal of the Atmospheric Sciences. American Meteorological Society, 2012. https://doi.org/10.1175/jas-d-11-0257.1.View | DOI | Download Published Version (ext.)
2012 | Conference Paper | IST-REx-ID: 1384 |
Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.View | DOI | Download Preprint (ext.)