S. Kim, L. G. Huey, R. E. Stickel, R. B. Pierce, G. Chen, M. A. Avery, J. E. Dibb, G. S. Diskin, G. W. Sachse, C. S. McNaughton, A. D. Clarke, B. E. Anderson, and D. R. Blake School of Earth and Atmospheric Sciences, Georgia Institute of Technology, USA NASA Langley Research Center, USA Institute for the Study of Earth, Oceans, and Space, University of New Hampshire, USA Department of Oceanogra...

Black carbon over Mexico: the effect of atmospheric transport on mixing state, mass absorption cross-section, and BC/CO ratios R. Subramanian, G. L. Kok, D. Baumgardner, A. Clarke, Y. Shinozuka, T. L. Campos, C. G. Heizer, and B. B. Stephens Droplet Measurement Technologies, Boulder, CO 80301, USA Universidad Nacional Autónoma de México, Mexico City, Mexico University of Hawai’i, Honolulu, HI 9...

Background: Ulcerative colitis is an inflammatory disease with indefinite treatment. The present study aimed to assess the anti-inflammatory and antioxidant effects of Carum copticum L. (CC) extract on induced colitis in rats. Methods: Sixty male rats were randomly divided into six groups (n=10 per group). Acetic acid-induced colitis rats were orally administered with doses of 100, 200, a...

We describe a tool that formally verifies ANSI-C programs. The tool implements a technique called Bounded Model Checking (BMC). In BMC, the transition relation for a complex state machine and its specification are jointly unwound to obtain a Boolean formula, which is then checked for satisfiability by using a SAT procedure. The tool supports all ANSI-C integer operators and all pointer construc...

C. S. McNaughton, A. D. Clarke, V. Kapustin, Y. Shinozuka, S. G. Howell, B. E. Anderson, E. Winstead, J. Dibb, E. Scheuer, R. C. Cohen, P. Wooldridge, A. Perring, L. G. Huey, S. Kim, J. L. Jimenez, E. J. Dunlea, P. F. DeCarlo, P. O. Wennberg, J. D. Crounse, A. J. Weinheimer, and F. Flocke School of Ocean and Earth Science and Technology, University of Hawaii, Honolulu, HI, 96822, USA NASA Langl...